Trace number 3458805

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 Resolution 2.3.0SAT (TO)-45 1800.21 1793.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM4c9dc9cf5c24873d3237c90ee1682632
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1797.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109379
Number of constraints which are clauses109379
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458805-1307148498.opb
0.10/0.11	c reading problem ... 
0.99/0.75	c ... done. Wall clock time 0.634s.
0.99/0.75	c #vars     1400
0.99/0.75	c #constraints  109379
0.99/0.75	c constraints type 
0.99/0.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
0.99/0.77	c SATISFIABLE
0.99/0.77	c OPTIMIZING...
0.99/0.77	c Got one! Elapsed wall clock time (in seconds):0.662
0.99/0.77	o -37
1.13/0.81	c Got one! Elapsed wall clock time (in seconds):0.693
1.13/0.81	o -38
1.42/0.90	c Got one! Elapsed wall clock time (in seconds):0.771
1.42/0.90	o -39
1.42/0.93	c Got one! Elapsed wall clock time (in seconds):0.815
1.42/0.93	o -40
1.42/0.97	c Got one! Elapsed wall clock time (in seconds):0.863
1.42/0.97	o -41
1.86/1.27	c Got one! Elapsed wall clock time (in seconds):1.161
1.86/1.27	o -43
3.09/2.45	c cleaning 2674 clauses out of 5350 with flag 4001/5350
4.87/4.10	c cleaning 4338 clauses out of 8675 with flag 10000/11349
6.88/6.15	c cleaning 5662 clauses out of 11337 with flag 17000/18349
9.29/8.60	c cleaning 6835 clauses out of 13677 with flag 25002/26351
12.25/11.49	c cleaning 7917 clauses out of 15840 with flag 34000/35349
15.37/14.50	c cleaning 8957 clauses out of 17923 with flag 44000/45349
18.60/17.78	c cleaning 9979 clauses out of 19966 with flag 55000/56349
22.54/21.67	c cleaning 10988 clauses out of 21988 with flag 67001/68350
27.06/26.14	c cleaning 12000 clauses out of 24000 with flag 80001/81350
31.88/30.95	c cleaning 13000 clauses out of 26000 with flag 94001/95350
37.60/36.67	c cleaning 13990 clauses out of 27999 with flag 109000/110349
40.41/39.45	c Got one! Elapsed wall clock time (in seconds):39.336
40.41/39.45	o -44
42.11/41.18	c cleaning 13693 clauses out of 27385 with flag 5000/123725
44.24/43.29	c cleaning 9843 clauses out of 19693 with flag 11001/129726
46.65/45.65	c cleaning 8417 clauses out of 16849 with flag 18000/136725
49.37/48.37	c cleaning 8213 clauses out of 16432 with flag 26000/144725
52.57/51.53	c cleaning 8600 clauses out of 17220 with flag 35001/153726
56.19/55.17	c cleaning 9302 clauses out of 18620 with flag 45001/163726
60.11/59.00	c cleaning 10158 clauses out of 20317 with flag 56000/174725
64.03/62.93	c cleaning 11079 clauses out of 22160 with flag 68001/186726
68.95/67.86	c cleaning 12031 clauses out of 24080 with flag 81000/199725
74.37/73.21	c cleaning 13018 clauses out of 26049 with flag 95000/213725
80.88/79.80	c cleaning 14016 clauses out of 28032 with flag 110001/228726
87.02/85.89	c cleaning 15007 clauses out of 30015 with flag 126000/244725
94.03/92.90	c cleaning 15997 clauses out of 32008 with flag 143000/261725
100.07/98.91	c cleaning 17004 clauses out of 34012 with flag 161001/279726
107.21/105.99	c cleaning 18004 clauses out of 36008 with flag 180001/298726
115.24/113.94	c cleaning 18997 clauses out of 38003 with flag 200000/318725
124.17/122.87	c cleaning 19997 clauses out of 40006 with flag 221000/339725
133.29/132.00	c cleaning 21005 clauses out of 42009 with flag 243000/361725
144.23/142.85	c cleaning 21999 clauses out of 44005 with flag 266001/384726
152.68/151.25	c cleaning 23003 clauses out of 46007 with flag 290002/408727
162.22/160.72	c cleaning 23999 clauses out of 48003 with flag 315001/433726
172.36/170.83	c cleaning 24996 clauses out of 50003 with flag 341000/459725
183.33/181.78	c cleaning 25990 clauses out of 52008 with flag 368001/486726
196.77/195.17	c cleaning 27003 clauses out of 54017 with flag 396000/514725
209.45/207.72	c cleaning 28003 clauses out of 56014 with flag 425000/543725
223.91/222.21	c cleaning 29000 clauses out of 58011 with flag 455000/573725
236.06/234.26	c cleaning 30000 clauses out of 60011 with flag 486000/604725
248.53/246.61	c cleaning 30997 clauses out of 62011 with flag 518000/636725
263.35/261.46	c cleaning 32007 clauses out of 64014 with flag 551000/669725
278.22/276.28	c cleaning 33001 clauses out of 66008 with flag 585001/703726
293.68/291.64	c cleaning 33985 clauses out of 68007 with flag 620001/738726
313.05/310.96	c cleaning 35010 clauses out of 70021 with flag 656000/774725
330.03/327.88	c cleaning 36003 clauses out of 72011 with flag 693000/811725
348.97/346.77	c cleaning 37004 clauses out of 74008 with flag 731000/849725
369.55/367.25	c cleaning 37986 clauses out of 76005 with flag 770001/888726
384.91/382.57	c cleaning 39006 clauses out of 78018 with flag 810000/928725
403.68/401.20	c cleaning 39999 clauses out of 80012 with flag 851000/969725
422.47/419.90	c cleaning 41004 clauses out of 82013 with flag 893000/1011725
429.91/427.39	c Got one! Elapsed wall clock time (in seconds):427.275
429.91/427.39	o -45
431.92/429.38	c cleaning 32128 clauses out of 64267 with flag 5001/1034983
434.26/431.60	c cleaning 19057 clauses out of 38138 with flag 11000/1040982
436.77/434.16	c cleaning 13037 clauses out of 26081 with flag 18000/1047982
439.79/437.15	c cleaning 10515 clauses out of 21044 with flag 26000/1055982
443.19/440.58	c cleaning 9755 clauses out of 19529 with flag 35000/1064982
447.12/444.45	c cleaning 9884 clauses out of 19775 with flag 45001/1074983
451.61/448.90	c cleaning 10435 clauses out of 20890 with flag 56000/1085982
456.23/453.54	c cleaning 11223 clauses out of 22456 with flag 68001/1097983
460.85/458.16	c cleaning 12114 clauses out of 24233 with flag 81001/1110983
466.57/463.88	c cleaning 13054 clauses out of 26118 with flag 95000/1124982
472.58/469.82	c cleaning 14030 clauses out of 28065 with flag 110001/1139983
479.49/476.74	c cleaning 15013 clauses out of 30034 with flag 126000/1155982
487.41/484.67	c cleaning 16009 clauses out of 32021 with flag 143000/1172982
496.53/493.79	c cleaning 17004 clauses out of 34013 with flag 161001/1190983
503.71/500.85	c cleaning 18004 clauses out of 36008 with flag 180000/1209982
511.75/508.84	c cleaning 18996 clauses out of 38004 with flag 200000/1229982
520.77/517.88	c cleaning 20003 clauses out of 40009 with flag 221001/1250983
530.60/527.62	c cleaning 21001 clauses out of 42006 with flag 243001/1272983
540.15/537.12	c cleaning 21999 clauses out of 44005 with flag 266001/1295983
550.36/547.38	c cleaning 23001 clauses out of 46005 with flag 290000/1319982
562.91/559.89	c cleaning 23993 clauses out of 48004 with flag 315000/1344982
571.80/568.70	c cleaning 25004 clauses out of 50011 with flag 341000/1370982
581.77/578.58	c cleaning 25998 clauses out of 52007 with flag 368000/1397982
592.95/589.70	c cleaning 26991 clauses out of 54009 with flag 396000/1425982
604.39/601.04	c cleaning 28010 clauses out of 56019 with flag 425001/1454983
616.54/613.17	c cleaning 28997 clauses out of 58008 with flag 455000/1484982
629.79/626.36	c cleaning 30002 clauses out of 60012 with flag 486001/1515983
644.45/640.97	c cleaning 31005 clauses out of 62009 with flag 518000/1547982
660.63/657.08	c cleaning 32003 clauses out of 64005 with flag 551001/1580983
677.77/674.19	c cleaning 33001 clauses out of 66002 with flag 585001/1614983
693.62/689.97	c cleaning 33994 clauses out of 68001 with flag 620001/1649983
710.67/706.97	c cleaning 34999 clauses out of 70006 with flag 656000/1685982
730.03/726.21	c cleaning 36004 clauses out of 72007 with flag 693000/1722982
749.40/745.51	c cleaning 36998 clauses out of 74003 with flag 731000/1760982
768.04/764.11	c cleaning 37997 clauses out of 76005 with flag 770000/1799982
786.78/782.84	c cleaning 38995 clauses out of 78008 with flag 810000/1839982
807.56/803.52	c cleaning 40003 clauses out of 80013 with flag 851000/1880982
829.13/825.07	c cleaning 41001 clauses out of 82010 with flag 893000/1922982
851.37/847.27	c cleaning 42004 clauses out of 84009 with flag 936000/1965982
878.80/874.68	c cleaning 42991 clauses out of 86005 with flag 980000/2009982
896.35/892.05	c cleaning 43992 clauses out of 88015 with flag 1025001/2054983
916.32/911.96	c cleaning 45000 clauses out of 90023 with flag 1071001/2100983
938.57/934.15	c cleaning 46009 clauses out of 92023 with flag 1118001/2147983
963.05/958.58	c cleaning 47002 clauses out of 94013 with flag 1166000/2195982
987.74/983.16	c cleaning 47994 clauses out of 96011 with flag 1215000/2244982
1016.42/1011.75	c cleaning 48997 clauses out of 98017 with flag 1265000/2294982
1040.10/1035.35	c cleaning 50006 clauses out of 100020 with flag 1316000/2345982
1067.62/1062.70	c cleaning 51001 clauses out of 102014 with flag 1368000/2397982
1100.11/1095.19	c cleaning 52004 clauses out of 104013 with flag 1421000/2450982
1128.47/1123.31	c cleaning 53003 clauses out of 106009 with flag 1475000/2504982
1161.67/1156.41	c cleaning 53990 clauses out of 108006 with flag 1530000/2559982
1194.18/1188.88	c cleaning 55005 clauses out of 110016 with flag 1586000/2615982
1227.65/1222.23	c cleaning 56000 clauses out of 112011 with flag 1643000/2672982
1260.01/1254.54	c cleaning 56998 clauses out of 114011 with flag 1701000/2730982
1294.73/1289.21	c cleaning 58004 clauses out of 116013 with flag 1760000/2789982
1328.42/1322.70	c cleaning 58999 clauses out of 118009 with flag 1820000/2849982
1362.71/1356.94	c cleaning 60000 clauses out of 120010 with flag 1881000/2910982
1402.70/1396.87	c cleaning 61002 clauses out of 122010 with flag 1943000/2972982
1430.92/1424.92	c cleaning 61997 clauses out of 124008 with flag 2006000/3035982
1458.32/1452.26	c cleaning 63005 clauses out of 126011 with flag 2070000/3099982
1488.38/1482.26	c cleaning 63995 clauses out of 128006 with flag 2135000/3164982
1521.29/1515.02	c cleaning 64999 clauses out of 130011 with flag 2201000/3230982
1561.41/1555.06	c cleaning 65997 clauses out of 132013 with flag 2268001/3297983
1598.93/1592.41	c cleaning 66997 clauses out of 134015 with flag 2336000/3365982
1636.34/1629.77	c cleaning 68000 clauses out of 136018 with flag 2405000/3434982
1671.52/1664.85	c cleaning 69003 clauses out of 138019 with flag 2475001/3504983
1710.68/1703.83	c cleaning 70006 clauses out of 140015 with flag 2546000/3575982
1754.95/1748.04	c cleaning 70991 clauses out of 142009 with flag 2618000/3647982
1793.91/1786.91	c cleaning 72006 clauses out of 144018 with flag 2691000/3720982
1800.05/1792.94	c starts		: 260
1800.05/1792.94	c conflicts		: 3735156
1800.05/1792.94	c decisions		: 4039425
1800.05/1792.94	c propagations		: 22450923
1800.05/1792.94	c inspects		: 5083266253
1800.05/1792.94	c shortcuts		: 0
1800.05/1792.94	c learnt literals	: 0
1800.05/1792.94	c learnt binary clauses	: 0
1800.05/1792.94	c learnt ternary clauses	: 0
1800.05/1792.94	c learnt constraints	: 3735155
1800.05/1792.94	c ignored constraints	: 0
1800.05/1792.94	c root simplifications	: 0
1800.05/1792.94	c removed literals (reason simplification)	: 50425603
1800.05/1792.94	c reason swapping (by a shorter reason)	: 0
1800.05/1792.94	c Calls to reduceDB	: 118
1800.05/1792.94	c number of reductions to clauses (during analyze)	: 0
1800.05/1792.94	c number of learned constraints concerned by reduction	: 0
1800.05/1792.94	c number of learning phase by resolution	: 0
1800.05/1792.94	c number of learning phase by cutting planes	: 0
1800.05/1792.94	c speed (assignments/second)	: 16441.010322626
1800.05/1792.94	c non guided choices	0
1800.05/1792.97	c learnt constraints type 
1800.05/1792.97	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86251
1800.05/1792.97	c constraints type 
1800.05/1792.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1792.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
1800.05/1792.97	s SATISFIABLE
1800.05/1792.97	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
1800.05/1792.97	c objective function=-45
1800.05/1792.97	c Total wall clock time (in seconds): 1792.861

Verifier Data 

OK	-45

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458805-1307148498/watcher-3458805-1307148498 -o /tmp/evaluation-result-3458805-1307148498/solver-3458805-1307148498 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458805-1307148498.opb 

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: 1.01 1.01 1.18 2/443 20106
/proc/meminfo: memFree=31359956/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 1364 0 1 0 0 0 0 0 22 0 2 0 826448562 36679680 1066 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 8955 1066 828 9 0 386 0
[pid=20106/tid=20107] ppid=20104 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 4096 0 1 0 0 0 0 0 23 0 2 0 826448563 13850947584 4912 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.049178 s]
/proc/loadavg: 1.01 1.01 1.18 2/443 20106
/proc/meminfo: memFree=31359956/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 13750 0 1 0 2 1 0 0 22 0 13 0 826448562 13874667520 13446 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3387370 13446 1672 9 0 3378118 0
[pid=20106/tid=20107] ppid=20104 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 12602 0 1 0 2 1 0 0 25 0 13 0 826448563 13874667520 13446 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606693323 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.101182 s]
/proc/loadavg: 1.01 1.01 1.18 2/443 20106
/proc/meminfo: memFree=31359956/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13621448 CPUtime=0.1 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 15512 0 1 0 9 1 0 0 22 0 18 0 826448562 13948362752 15171 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3405362 15171 2092 9 0 3396096 0
[pid=20106/tid=20107] ppid=20104 vsize=13621448 CPUtime=0.08 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 13545 0 1 0 7 1 0 0 25 0 18 0 826448563 13948362752 15171 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505219871 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621448

[startup+0.301099 s]
/proc/loadavg: 1.01 1.01 1.18 2/443 20106
/proc/meminfo: memFree=31359956/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13622960 CPUtime=0.48 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 18524 0 1 0 46 2 0 0 22 0 18 0 826448562 13949911040 17892 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3405740 17892 2199 9 0 3396474 0
[pid=20106/tid=20107] ppid=20104 vsize=13622960 CPUtime=0.28 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 15453 0 1 0 27 1 0 0 25 0 18 0 826448563 13949911040 17892 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505216975 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13622960

[startup+0.701029 s]
/proc/loadavg: 1.01 1.01 1.18 2/443 20106
/proc/meminfo: memFree=31359956/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13626824 CPUtime=0.99 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 58069 0 1 0 94 5 0 0 22 0 18 0 826448562 13953867776 56617 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3406706 56617 2210 9 0 3397440 0
[pid=20106/tid=20107] ppid=20104 vsize=13626824 CPUtime=0.68 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 53299 0 1 0 63 5 0 0 25 0 18 0 826448563 13953867776 56617 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505502833 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13626824

[startup+1.50094 s]
/proc/loadavg: 1.01 1.01 1.18 4/483 20149
/proc/meminfo: memFree=30868220/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=2.15 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 68007 0 1 0 209 6 0 0 22 0 19 0 826448562 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 66231 2231 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=1.48 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 62290 0 1 0 142 6 0 0 25 0 19 0 826448563 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505745902 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448565 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826448566 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826448567 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448567 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.37 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2790 0 0 0 37 0 0 0 15 0 19 0 826448569 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.29 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 1766 0 0 0 29 0 0 0 21 0 19 0 826448569 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 66231 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13628440

[startup+3.1006 s]
/proc/loadavg: 1.01 1.01 1.18 3/483 20149
/proc/meminfo: memFree=30821348/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=3.84 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 83212 0 1 0 376 8 0 0 22 0 19 0 826448562 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 81431 2259 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=3.01 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 66781 0 1 0 295 6 0 0 25 0 19 0 826448563 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505763775 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 929 0 0 0 1 0 0 0 18 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 3122 0 0 0 1 0 0 0 18 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 1315 0 0 0 1 0 0 0 18 0 19 0 826448565 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=0.03 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 5336 0 0 0 3 0 0 0 16 0 19 0 826448566 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.42 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2801 0 0 0 42 0 0 0 15 0 19 0 826448569 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.31 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 1772 0 0 0 31 0 0 0 18 0 19 0 826448569 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 81431 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13628440

[startup+6.30104 s]
/proc/loadavg: 1.09 1.03 1.18 3/483 20149
/proc/meminfo: memFree=30620356/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=7.09 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 100560 0 1 0 699 10 0 0 22 0 19 0 826448562 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 98590 2259 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=6.11 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 66784 0 1 0 605 6 0 0 25 0 19 0 826448563 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505930968 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 3431 0 0 0 1 0 0 0 15 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 2866 0 0 0 0 0 0 0 15 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 4 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 992 0 0 0 0 0 0 0 16 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 5573 0 0 0 1 0 0 0 18 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=0.01 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 2389 0 0 0 1 0 0 0 16 0 19 0 826448565 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=0.1 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 12739 0 0 0 9 1 0 0 15 0 19 0 826448566 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.44 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2802 0 0 0 44 0 0 0 15 0 19 0 826448569 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.32 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 1779 0 0 0 32 0 0 0 17 0 19 0 826448569 13955522560 98590 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0

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

[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=1.17 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 15138 0 0 0 115 2 0 0 15 0 19 0 826448565 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.96 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 13706 0 0 0 95 1 0 0 15 0 19 0 826448565 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=1 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 23232 0 0 0 97 3 0 0 16 0 19 0 826448565 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=9.04 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 113249 0 0 0 892 12 0 0 15 0 19 0 826448566 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.44 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2803 0 0 0 44 0 0 0 15 0 19 0 826448569 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.41 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 2628 0 0 0 41 0 0 0 15 0 19 0 826448569 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 370218 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.25
Current children cumulated vsize (KiB) 13628440

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.89 3/483 20208
/proc/meminfo: memFree=28475188/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=1789.32 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 377691 0 1 0 178882 50 0 0 22 0 19 0 826448562 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 374496 2260 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=1769.78 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 108709 0 1 0 176962 16 0 0 25 0 19 0 826448563 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505774748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=1.26 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 20562 0 0 0 124 2 0 0 15 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0.97 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 20237 0 0 0 95 2 0 0 16 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=1.18 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 15066 0 0 0 117 1 0 0 16 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=1.41 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 17814 0 0 0 138 3 0 0 16 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 4 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=1.46 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 20352 0 0 0 144 2 0 0 15 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=1.17 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 15138 0 0 0 115 2 0 0 16 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.96 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 13706 0 0 0 95 1 0 0 15 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=1 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 23232 0 0 0 97 3 0 0 15 0 19 0 826448565 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=9.15 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 116189 0 0 0 903 12 0 0 15 0 19 0 826448566 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.44 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2803 0 0 0 44 0 0 0 15 0 19 0 826448569 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.41 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 2628 0 0 0 41 0 0 0 15 0 19 0 826448569 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 374496 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.32
Current children cumulated vsize (KiB) 13628440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.9 s]
/proc/loadavg: 2.08 2.05 1.90 3/463 20211
/proc/meminfo: memFree=29846404/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=1800.05 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 381239 0 1 0 179954 51 0 0 22 0 19 0 826448562 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 378041 2260 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=1780.25 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 110171 0 1 0 178009 16 0 0 25 0 19 0 826448563 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505752874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=1.26 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 20562 0 0 0 124 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0.97 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 20237 0 0 0 95 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=1.2 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 15066 0 0 0 119 1 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=1.47 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 17814 0 0 0 144 3 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 4 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=1.46 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 20352 0 0 0 144 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=1.21 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 15138 0 0 0 119 2 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.96 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 13706 0 0 0 95 1 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=1.05 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 23232 0 0 0 102 3 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=9.26 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 118275 0 0 0 913 13 0 0 15 0 19 0 826448566 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.44 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2803 0 0 0 44 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.41 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 2628 0 0 0 41 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13628440

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

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

[startup+1792.9 s]
/proc/loadavg: 2.08 2.05 1.90 3/463 20211
/proc/meminfo: memFree=29846404/32950928 swapFree=34365992/67111528
[pid=20106] ppid=20104 vsize=13628440 CPUtime=1800.05 cores=0,2,4,6
/proc/20106/stat : 20106 (java) S 20104 20106 12983 0 -1 4202496 381239 0 1 0 179954 51 0 0 22 0 19 0 826448562 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 3407110 378041 2260 9 0 3397844 0
[pid=20106/tid=20107] ppid=20104 vsize=13628440 CPUtime=1780.25 cores=0,2,4,6
/proc/20106/task/20107/stat : 20107 (java) R 20104 20106 12983 0 -1 4202560 110171 0 1 0 178009 16 0 0 25 0 19 0 826448563 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 46912505752874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20106/tid=20110] ppid=20104 vsize=13628440 CPUtime=1.26 cores=0,2,4,6
/proc/20106/task/20110/stat : 20110 (java) S 20104 20106 12983 0 -1 4202560 20562 0 0 0 124 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20111] ppid=20104 vsize=13628440 CPUtime=0.97 cores=0,2,4,6
/proc/20106/task/20111/stat : 20111 (java) S 20104 20106 12983 0 -1 4202560 20237 0 0 0 95 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20112] ppid=20104 vsize=13628440 CPUtime=1.2 cores=0,2,4,6
/proc/20106/task/20112/stat : 20112 (java) S 20104 20106 12983 0 -1 4202560 15066 0 0 0 119 1 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20113] ppid=20104 vsize=13628440 CPUtime=1.47 cores=0,2,4,6
/proc/20106/task/20113/stat : 20113 (java) S 20104 20106 12983 0 -1 4202560 17814 0 0 0 144 3 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 4 0 0 0
[pid=20106/tid=20114] ppid=20104 vsize=13628440 CPUtime=1.46 cores=0,2,4,6
/proc/20106/task/20114/stat : 20114 (java) S 20104 20106 12983 0 -1 4202560 20352 0 0 0 144 2 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20115] ppid=20104 vsize=13628440 CPUtime=1.21 cores=0,2,4,6
/proc/20106/task/20115/stat : 20115 (java) S 20104 20106 12983 0 -1 4202560 15138 0 0 0 119 2 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=13628440 CPUtime=0.96 cores=0,2,4,6
/proc/20106/task/20116/stat : 20116 (java) S 20104 20106 12983 0 -1 4202560 13706 0 0 0 95 1 0 0 15 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20117] ppid=20104 vsize=13628440 CPUtime=1.05 cores=0,2,4,6
/proc/20106/task/20117/stat : 20117 (java) S 20104 20106 12983 0 -1 4202560 23232 0 0 0 102 3 0 0 16 0 19 0 826448565 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20123] ppid=20104 vsize=13628440 CPUtime=9.26 cores=0,2,4,6
/proc/20106/task/20123/stat : 20123 (java) S 20104 20106 12983 0 -1 4202560 118275 0 0 0 913 13 0 0 15 0 19 0 826448566 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 0 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20124] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20124/stat : 20124 (java) S 20104 20106 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20125/stat : 20125 (java) S 20104 20106 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826448567 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20135] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20135/stat : 20135 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606690225 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20136] ppid=20104 vsize=13628440 CPUtime=0.44 cores=0,2,4,6
/proc/20106/task/20136/stat : 20136 (java) S 20104 20106 12983 0 -1 4202560 2803 0 0 0 44 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 2 0 0 0
[pid=20106/tid=20137] ppid=20104 vsize=13628440 CPUtime=0.41 cores=0,2,4,6
/proc/20106/task/20137/stat : 20137 (java) S 20104 20106 12983 0 -1 4202560 2628 0 0 0 41 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20138] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20138/stat : 20138 (java) S 20104 20106 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606682521 0 4 0 16800975 18446604448688095552 0 0 -1 6 0 0 0
[pid=20106/tid=20139] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20139/stat : 20139 (java) S 20104 20106 12983 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826448569 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
[pid=20106/tid=20148] ppid=20104 vsize=13628440 CPUtime=0 cores=0,2,4,6
/proc/20106/task/20148/stat : 20148 (java) S 20104 20106 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826448639 13955522560 378041 33554432000 1073741824 1073778376 140735904426064 18446744073709551615 235606683136 0 4 0 16800975 18446604448688095552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13628440

Child status: 143
Real time (s): 1793.04
CPU time (s): 1800.21
CPU user time (s): 1799.63
CPU system time (s): 0.573912
CPU usage (%): 100.4
Max. virtual memory (cumulated for all children) (KiB): 13628440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.573912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381274
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39668
involuntary context switches= 38626

runsolver used 8.40372 second user time and 17.9683 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 02:48:18
IDJOB=3458805
IDBENCH=2245
IDSOLVER=1952
FILE ID=node120/3458805-1307148498
RUNJOBID= node120-1307148498-20092
PBS_JOBID= 13508796
Free space on /tmp= 73812 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458805-1307148498/watcher-3458805-1307148498 -o /tmp/evaluation-result-3458805-1307148498/solver-3458805-1307148498 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458805-1307148498.opb

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

MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632
RANDOM SEED=1424705624

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31360632 kB
Buffers:        294080 kB
Cached:         980832 kB
SwapCached:      12852 kB
Active:         345660 kB
Inactive:       952412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31360632 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            4352 kB
Writeback:           0 kB
AnonPages:       20132 kB
Mapped:           8832 kB
Slab:           133064 kB
PageTables:      91432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105376280 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node120 at 2011-06-04 03:18:13