Trace number 3710808

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)149 1800.08 1794.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
MD5SUM8e6ac0bad8d074da12c63269189a8260
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark110
Best CPU time to get the best result obtained on this benchmark0.130979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 110
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints362
Number of constraints which are clauses362
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 constraint3
Maximum length of a constraint48
Number of terms in the objective function 2091
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 2091
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2091
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.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.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710808-1338153366.opb
0.09/0.12	c reading problem ... 
0.27/0.24	c ... done. Wall clock time 0.124s.
0.27/0.24	c declared #vars     2091
0.27/0.24	c #constraints  362
0.27/0.24	c constraints type 
0.46/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 362
0.46/0.33	c 362 constraints processed.
0.46/0.33	c SATISFIABLE
0.46/0.33	c OPTIMIZING...
0.46/0.33	c Got one! Elapsed wall clock time (in seconds):0.151
0.46/0.33	o 149
1.41/1.08	c cleaning 2496 clauses out of 5001 with flag 5001/5001
2.39/1.96	c cleaning 4246 clauses out of 8506 with flag 11002/11002
3.40/2.95	c cleaning 5619 clauses out of 11258 with flag 18000/18000
4.51/4.10	c cleaning 6813 clauses out of 13640 with flag 26001/26001
5.97/5.41	c cleaning 7910 clauses out of 15826 with flag 35000/35000
7.36/6.85	c cleaning 8948 clauses out of 17917 with flag 45001/45001
8.96/8.40	c cleaning 9978 clauses out of 19969 with flag 56001/56001
10.77/10.21	c cleaning 10992 clauses out of 21990 with flag 68000/68000
12.58/12.06	c cleaning 11991 clauses out of 23998 with flag 81000/81000
14.69/14.15	c cleaning 12995 clauses out of 26007 with flag 95000/95000
16.89/16.40	c cleaning 13997 clauses out of 28012 with flag 110000/110000
19.31/18.73	c cleaning 15001 clauses out of 30015 with flag 126000/126000
21.82/21.28	c cleaning 16001 clauses out of 32014 with flag 143000/143000
24.63/24.06	c cleaning 17002 clauses out of 34014 with flag 161001/161001
27.43/26.80	c cleaning 17999 clauses out of 36011 with flag 180000/180000
30.36/29.76	c cleaning 18999 clauses out of 38014 with flag 200002/200002
33.68/33.02	c cleaning 20001 clauses out of 40013 with flag 221000/221000
37.11/36.47	c cleaning 21003 clauses out of 42014 with flag 243002/243002
40.94/40.21	c cleaning 22000 clauses out of 44010 with flag 266001/266001
44.66/43.97	c cleaning 22988 clauses out of 46009 with flag 290000/290000
48.87/48.13	c cleaning 24001 clauses out of 48021 with flag 315000/315000
52.20/51.48	c cleaning 25003 clauses out of 50021 with flag 341001/341001
56.73/55.91	c cleaning 26000 clauses out of 52017 with flag 368000/368000
61.56/60.73	c cleaning 27000 clauses out of 54017 with flag 396000/396000
65.89/65.07	c cleaning 28000 clauses out of 56018 with flag 425001/425001
70.32/69.49	c cleaning 29006 clauses out of 58018 with flag 455001/455001
73.94/73.02	c cleaning 30001 clauses out of 60011 with flag 486000/486000
79.46/78.60	c cleaning 31001 clauses out of 62011 with flag 518001/518001
84.48/83.59	c cleaning 31999 clauses out of 64009 with flag 551000/551000
89.61/88.61	c cleaning 32999 clauses out of 66011 with flag 585001/585001
95.24/94.22	c cleaning 34001 clauses out of 68011 with flag 620000/620000
100.55/99.55	c cleaning 34995 clauses out of 70011 with flag 656001/656001
106.68/105.68	c cleaning 36000 clauses out of 72016 with flag 693001/693001
112.98/111.92	c cleaning 36992 clauses out of 74015 with flag 731000/731000
119.91/118.86	c cleaning 38003 clauses out of 76023 with flag 770000/770000
127.01/125.90	c cleaning 38999 clauses out of 78020 with flag 810000/810000
133.73/132.66	c cleaning 40001 clauses out of 80026 with flag 851005/851005
140.87/139.78	c cleaning 40998 clauses out of 82020 with flag 893000/893000
147.39/146.24	c cleaning 42001 clauses out of 84025 with flag 936003/936003
154.31/153.10	c cleaning 43008 clauses out of 86022 with flag 980001/980001
160.51/159.40	c cleaning 44001 clauses out of 88014 with flag 1025001/1025001
168.85/167.64	c cleaning 44993 clauses out of 90012 with flag 1071000/1071000
176.77/175.56	c cleaning 46003 clauses out of 92019 with flag 1118000/1118000
185.28/184.02	c cleaning 46996 clauses out of 94016 with flag 1166000/1166000
192.82/191.52	c cleaning 48001 clauses out of 96020 with flag 1215000/1215000
200.84/199.53	c cleaning 48995 clauses out of 98019 with flag 1265000/1265000
208.97/207.61	c cleaning 50001 clauses out of 100024 with flag 1316000/1316000
217.24/215.89	c cleaning 51003 clauses out of 102023 with flag 1368000/1368000
225.56/224.19	c cleaning 52006 clauses out of 104022 with flag 1421002/1421002
233.87/232.43	c cleaning 53001 clauses out of 106016 with flag 1475002/1475002
243.20/241.78	c cleaning 53999 clauses out of 108014 with flag 1530001/1530001
251.73/250.25	c cleaning 54992 clauses out of 110015 with flag 1586001/1586001
260.65/259.19	c cleaning 56000 clauses out of 112022 with flag 1643000/1643000
271.17/269.61	c cleaning 57003 clauses out of 114023 with flag 1701001/1701001
282.31/280.73	c cleaning 58002 clauses out of 116021 with flag 1760002/1760002
291.13/289.59	c cleaning 58996 clauses out of 118018 with flag 1820001/1820001
300.46/298.81	c cleaning 60003 clauses out of 120021 with flag 1881000/1881000
310.09/308.48	c cleaning 61002 clauses out of 122018 with flag 1943000/1943000
320.52/318.85	c cleaning 61994 clauses out of 124016 with flag 2006000/2006000
330.90/329.17	c cleaning 63000 clauses out of 126023 with flag 2070001/2070001
340.41/338.62	c cleaning 64003 clauses out of 128022 with flag 2135000/2135000
351.74/349.94	c cleaning 65002 clauses out of 130020 with flag 2201001/2201001
361.68/359.88	c cleaning 66002 clauses out of 132017 with flag 2268000/2268000
373.34/371.49	c cleaning 67006 clauses out of 134021 with flag 2336006/2336006
386.44/384.52	c cleaning 67993 clauses out of 136009 with flag 2405000/2405000
397.48/395.56	c cleaning 69003 clauses out of 138019 with flag 2475003/2475003
408.03/406.07	c cleaning 69997 clauses out of 140013 with flag 2546000/2546000
418.96/416.97	c cleaning 71000 clauses out of 142016 with flag 2618000/2618000
430.78/428.78	c cleaning 71990 clauses out of 144017 with flag 2691001/2691001
443.80/441.77	c cleaning 73004 clauses out of 146026 with flag 2765000/2765000
456.95/454.81	c cleaning 73994 clauses out of 148023 with flag 2840001/2840001
471.07/468.97	c cleaning 75010 clauses out of 150029 with flag 2916001/2916001
485.81/483.69	c cleaning 76003 clauses out of 152018 with flag 2993000/2993000
497.15/494.97	c cleaning 77004 clauses out of 154016 with flag 3071001/3071001
509.87/507.70	c cleaning 77997 clauses out of 156013 with flag 3150002/3150002
523.09/520.89	c cleaning 78999 clauses out of 158015 with flag 3230001/3230001
537.05/534.79	c cleaning 80002 clauses out of 160015 with flag 3311000/3311000
551.46/549.10	c cleaning 80994 clauses out of 162013 with flag 3393000/3393000
566.21/563.81	c cleaning 82001 clauses out of 164019 with flag 3476000/3476000
582.17/579.73	c cleaning 83003 clauses out of 166019 with flag 3560001/3560001
598.84/596.34	c cleaning 83984 clauses out of 168015 with flag 3645000/3645000
613.48/611.00	c cleaning 85003 clauses out of 170031 with flag 3731000/3731000
628.52/625.97	c cleaning 86000 clauses out of 172028 with flag 3818000/3818000
644.59/641.92	c cleaning 87007 clauses out of 174029 with flag 3906001/3906001
662.25/659.56	c cleaning 88000 clauses out of 176021 with flag 3995000/3995000
679.04/676.29	c cleaning 89003 clauses out of 178022 with flag 4085001/4085001
697.77/695.00	c cleaning 89997 clauses out of 180019 with flag 4176001/4176001
713.61/710.76	c cleaning 90999 clauses out of 182021 with flag 4268000/4268000
733.24/730.31	c cleaning 91996 clauses out of 184022 with flag 4361000/4361000
750.28/747.31	c cleaning 92998 clauses out of 186026 with flag 4455000/4455000
766.22/763.23	c cleaning 94007 clauses out of 188029 with flag 4550001/4550001
781.46/778.49	c cleaning 95003 clauses out of 190022 with flag 4646001/4646001
797.33/794.26	c cleaning 95995 clauses out of 192018 with flag 4743000/4743000
813.66/810.50	c cleaning 97002 clauses out of 194023 with flag 4841000/4841000
830.30/827.16	c cleaning 98005 clauses out of 196021 with flag 4940000/4940000
848.63/845.44	c cleaning 98999 clauses out of 198018 with flag 5040002/5040002
867.55/864.28	c cleaning 99997 clauses out of 200017 with flag 5141000/5141000
883.32/879.91	c cleaning 100999 clauses out of 202020 with flag 5243000/5243000
900.69/897.23	c cleaning 101999 clauses out of 204021 with flag 5346000/5346000
921.68/918.11	c cleaning 102994 clauses out of 206024 with flag 5450002/5450002
939.85/936.29	c cleaning 104002 clauses out of 208029 with flag 5555001/5555001
962.29/958.63	c cleaning 105006 clauses out of 210031 with flag 5661005/5661005
981.46/977.72	c cleaning 105997 clauses out of 212020 with flag 5768000/5768000
1004.69/1000.94	c cleaning 106995 clauses out of 214024 with flag 5876001/5876001
1029.45/1025.64	c cleaning 108007 clauses out of 216029 with flag 5985001/5985001
1048.13/1044.21	c cleaning 108992 clauses out of 218021 with flag 6095000/6095000
1072.26/1068.36	c cleaning 110003 clauses out of 220031 with flag 6206002/6206002
1097.02/1093.04	c cleaning 110999 clauses out of 222027 with flag 6318001/6318001
1121.77/1117.79	c cleaning 112001 clauses out of 224027 with flag 6431000/6431000
1141.91/1137.85	c cleaning 113010 clauses out of 226028 with flag 6545002/6545002
1163.86/1159.74	c cleaning 114001 clauses out of 228016 with flag 6660000/6660000
1185.09/1180.97	c cleaning 114991 clauses out of 230015 with flag 6776000/6776000
1203.45/1199.27	c cleaning 116002 clauses out of 232024 with flag 6893000/6893000
1224.30/1220.04	c cleaning 117006 clauses out of 234025 with flag 7011003/7011003
1245.57/1241.20	c cleaning 118003 clauses out of 236019 with flag 7130003/7130003
1267.07/1262.62	c cleaning 118999 clauses out of 238013 with flag 7250000/7250000
1292.34/1287.84	c cleaning 119993 clauses out of 240014 with flag 7371000/7371000
1313.95/1309.37	c cleaning 121003 clauses out of 242021 with flag 7493000/7493000
1335.99/1331.31	c cleaning 122002 clauses out of 244018 with flag 7616000/7616000
1357.65/1352.92	c cleaning 122999 clauses out of 246016 with flag 7740000/7740000
1380.01/1375.24	c cleaning 124000 clauses out of 248017 with flag 7865000/7865000
1401.07/1396.24	c cleaning 124996 clauses out of 250017 with flag 7991000/7991000
1426.97/1422.05	c cleaning 125994 clauses out of 252021 with flag 8118000/8118000
1451.86/1446.82	c cleaning 127007 clauses out of 254027 with flag 8246000/8246000
1476.61/1471.54	c cleaning 127997 clauses out of 256021 with flag 8375001/8375001
1502.19/1497.02	c cleaning 128996 clauses out of 258024 with flag 8505001/8505001
1528.57/1523.32	c cleaning 129997 clauses out of 260029 with flag 8636002/8636002
1554.05/1548.76	c cleaning 130997 clauses out of 262030 with flag 8768000/8768000
1580.79/1575.47	c cleaning 132007 clauses out of 264040 with flag 8901007/8901007
1604.88/1599.49	c cleaning 133000 clauses out of 266028 with flag 9035002/9035002
1629.52/1624.08	c cleaning 133999 clauses out of 268028 with flag 9170002/9170002
1659.39/1653.85	c cleaning 135002 clauses out of 270027 with flag 9306000/9306000
1688.33/1682.65	c cleaning 136003 clauses out of 272025 with flag 9443000/9443000
1715.23/1709.45	c cleaning 137007 clauses out of 274023 with flag 9581001/9581001
1747.02/1741.11	c cleaning 137993 clauses out of 276017 with flag 9720002/9720002
1778.43/1772.46	c cleaning 139003 clauses out of 278025 with flag 9860003/9860003
1800.08/1794.02	c starts		: 301
1800.08/1794.02	c conflicts		: 9973615
1800.08/1794.02	c decisions		: 19492590
1800.08/1794.02	c propagations		: 2814604557
1800.08/1794.02	c inspects		: 2371725562
1800.08/1794.02	c shortcuts		: 0
1800.08/1794.02	c learnt literals	: 0
1800.08/1794.02	c learnt binary clauses	: 0
1800.08/1794.02	c learnt ternary clauses	: 0
1800.08/1794.02	c learnt constraints	: 9973615
1800.08/1794.02	c ignored constraints	: 0
1800.08/1794.02	c root simplifications	: 301
1800.08/1794.02	c removed literals (reason simplification)	: 2556160
1800.08/1794.02	c reason swapping (by a shorter reason)	: 0
1800.08/1794.02	c Calls to reduceDB	: 136
1800.08/1794.02	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.02	c number of learned constraints concerned by reduction	: 0
1800.08/1794.02	c number of learning phase by resolution	: 0
1800.08/1794.02	c number of learning phase by cutting planes	: 0
1800.08/1794.02	c speed (assignments/second)	: 1569100.9243665154
1800.08/1794.02	c non guided choices	104214
1800.08/1794.05	c learnt constraints type 
1800.08/1794.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 252742
1800.08/1794.05	c constraints type 
1800.08/1794.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 362
1800.08/1794.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1794.05	c 363 constraints processed.
1800.08/1794.05	s SATISFIABLE
1800.08/1794.06	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 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 
1800.08/1794.06	c objective function=149
1800.08/1794.06	c Total wall clock time (in seconds): 1793.94

Verifier Data 

OK	149

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-3710808-1338153366/watcher-3710808-1338153366 -o /tmp/evaluation-result-3710808-1338153366/solver-3710808-1338153366 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710808-1338153366.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.92 2.02 2.00 3/194 21062
/proc/meminfo: memFree=27459480/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/21062/stat : 21062 (java) R 21060 21062 16973 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 281462325 9433088 62 33554432000 1073741824 1073778376 140734512591392 140734512588520 270320826186 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2306 74 57 9 0 38 0

[startup+0.012054 s]
/proc/loadavg: 1.92 2.02 2.00 3/194 21062
/proc/meminfo: memFree=27459480/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 1273 0 0 0 0 0 0 0 20 0 2 0 281462325 98570240 974 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 24065 974 740 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260

[startup+0.100242 s]
/proc/loadavg: 1.92 2.02 2.00 3/194 21062
/proc/meminfo: memFree=27459480/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 4286 0 1 0 8 1 0 0 20 0 18 0 281462325 9787842560 5493 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2389610 6005 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300168 s]
/proc/loadavg: 1.92 2.02 2.00 3/194 21062
/proc/meminfo: memFree=27459480/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 5615 0 1 0 44 2 0 0 20 0 19 0 281462325 9856004096 8365 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 8365 2236 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625004

[startup+0.700115 s]
/proc/loadavg: 1.92 2.02 2.00 3/194 21062
/proc/meminfo: memFree=27459480/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 6995 0 1 0 108 2 0 0 20 0 19 0 281462325 9856004096 9442 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 9442 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625004

[startup+1.50059 s]
/proc/loadavg: 1.92 2.02 2.00 3/213 21081
/proc/meminfo: memFree=27427916/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=1.95 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 7245 0 1 0 192 3 0 0 20 0 19 0 281462325 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 12558 2273 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2510 0 1 0 144 1 0 0 20 0 19 0 281462326 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393613001144 140393438561632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 22 0 0 0 20 0 19 0 281462331 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.2 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2068 0 0 0 20 0 0 0 20 0 19 0 281462331 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 12558 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625004

[startup+3.10065 s]
/proc/loadavg: 1.92 2.02 2.00 3/213 21081
/proc/meminfo: memFree=27410788/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=3.61 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 7266 0 1 0 358 3 0 0 20 0 19 0 281462325 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 14615 2273 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=3.02 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2511 0 1 0 301 1 0 0 20 0 19 0 281462326 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393613001256 140393438452359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 281462328 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2069 0 0 0 23 0 0 0 20 0 19 0 281462331 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 14615 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9625004

[startup+6.30054 s]
/proc/loadavg: 1.93 2.02 2.00 3/213 21081
/proc/meminfo: memFree=27406328/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=6.86 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 7465 0 1 0 682 4 0 0 20 0 19 0 281462325 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 15458 2273 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=6.17 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2513 0 1 0 616 1 0 0 20 0 19 0 281462326 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393613001008 140393438501399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462327 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 281462328 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2254 0 0 0 28 0 0 0 20 0 19 0 281462331 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 15458 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 9625004

[startup+12.7005 s]

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

[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2309 0 0 0 29 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 95 0 0 0 12 11 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1668.03
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 21212
/proc/meminfo: memFree=27080828/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=1728.21 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 10424 0 1 0 172776 45 0 0 20 0 19 0 281462325 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 97913 2274 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=1709.13 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2682 0 1 0 170885 28 0 0 20 0 19 0 281462326 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393613001008 140393438531608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 237 0 0 0 93 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 300 0 0 0 84 3 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 361 0 0 0 88 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 384 0 0 0 86 2 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 445 0 0 0 81 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 252 0 0 0 91 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 224 0 0 0 92 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 359 0 0 0 90 4 0 0 20 0 19 0 281462327 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=6.64 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 171 0 0 0 663 1 0 0 20 0 19 0 281462328 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2309 0 0 0 29 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 99 0 0 0 12 12 0 0 20 0 19 0 281462331 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 97913 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.21
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21212
/proc/meminfo: memFree=27062152/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=1788.37 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 10473 0 1 0 178790 47 0 0 20 0 19 0 281462325 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 101512 2274 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=1768.7 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2685 0 1 0 176841 29 0 0 20 0 19 0 281462326 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393613001008 140393438530670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 237 0 0 0 96 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 321 0 0 0 89 3 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 362 0 0 0 90 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 390 0 0 0 88 2 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 447 0 0 0 83 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 257 0 0 0 93 5 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 224 0 0 0 94 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 364 0 0 0 92 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=6.86 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 173 0 0 0 685 1 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2309 0 0 0 29 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 103 0 0 0 13 12 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21212
/proc/meminfo: memFree=27062280/32873660 swapFree=7120/7120
[pid=21062] ppid=21060 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21062 16973 0 -1 4202496 10473 0 1 0 179961 47 0 0 20 0 19 0 281462325 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140734512582528 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21062/statm: 2406251 101512 2274 9 0 2396937 0
[pid=21062/tid=21064] ppid=21060 vsize=9625004 CPUtime=1780.38 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) R 21060 21062 16973 0 -1 4202560 2685 0 1 0 178008 30 0 0 20 0 19 0 281462326 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393613001008 140393438507707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21065] ppid=21060 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21062 16973 0 -1 4202560 237 0 0 0 96 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393574492456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21066] ppid=21060 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21062 16973 0 -1 4202560 321 0 0 0 89 3 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393573439656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21067] ppid=21060 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21062 16973 0 -1 4202560 362 0 0 0 90 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393572387368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21068] ppid=21060 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21062 16973 0 -1 4202560 390 0 0 0 88 2 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393571334568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21069] ppid=21060 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21062 16973 0 -1 4202560 447 0 0 0 83 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393570282280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21070] ppid=21060 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21062 16973 0 -1 4202560 257 0 0 0 93 5 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393569229480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21062/tid=21071] ppid=21060 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21062 16973 0 -1 4202560 224 0 0 0 94 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393568177192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21072] ppid=21060 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21062 16973 0 -1 4202560 364 0 0 0 92 4 0 0 20 0 19 0 281462327 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393567124392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21073] ppid=21060 vsize=9625004 CPUtime=6.86 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21062 16973 0 -1 4202560 173 0 0 0 685 1 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393436928232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21074] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21062 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393435874296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21075] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21062 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281462328 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393434821896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21076] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393433770384 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21077] ppid=21060 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21077/stat : 21077 (java) S 21060 21062 16973 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393432718008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21078] ppid=21060 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21062/task/21078/stat : 21078 (java) S 21060 21062 16973 0 -1 4202560 2309 0 0 0 29 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393431665208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21062/tid=21079] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21079/stat : 21079 (java) S 21060 21062 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393430613112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21062/tid=21080] ppid=21060 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21080/stat : 21080 (java) S 21060 21062 16973 0 -1 4202560 103 0 0 0 13 12 0 0 20 0 19 0 281462331 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393429560520 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21062/tid=21081] ppid=21060 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21081/stat : 21081 (java) S 21060 21062 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281462350 9856004096 101512 33554432000 1073741824 1073778376 140734512591392 140393428505512 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21062 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=98103
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=872867
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.08
CPU time (s): 1800.08
CPU user time (s): 1799.61
CPU system time (s): 0.47
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.872867
maximum resident set size= 406472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41682
involuntary context switches= 14342

runsolver used 5.73213 second user time and 14.0939 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-27 23:16:06
IDJOB=3710808
IDBENCH=2886
IDSOLVER=2289
FILE ID=node117/3710808-1338153366
RUNJOBID= node117-1338124635-16989
PBS_JOBID= 14624513
Free space on /tmp= 70048 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710808-1338153366/watcher-3710808-1338153366 -o /tmp/evaluation-result-3710808-1338153366/solver-3710808-1338153366 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710808-1338153366.opb

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

MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260
RANDOM SEED=1786529277

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        27459652 kB
Buffers:          334000 kB
Cached:          4047424 kB
SwapCached:            0 kB
Active:          2350648 kB
Inactive:        2185940 kB
Active(anon):     146520 kB
Inactive(anon):    11352 kB
Active(file):    2204128 kB
Inactive(file):  2174588 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:        163980 kB
Mapped:            22568 kB
Shmem:               200 kB
Slab:             735184 kB
SReclaimable:     179440 kB
SUnreclaim:       555744 kB
KernelStack:        1600 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     697928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70048 MiB
End job on node117 at 2012-05-27 23:46:02