Trace number 3710185

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)55081 1800.04 1796.37

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
MD5SUMa588ec671da067d931709859b503c557
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41202
Best CPU time to get the best result obtained on this benchmark244.379
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
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 constraint1
Maximum length of a constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	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-3710185-1338164970.opb
0.09/0.12	c reading problem ... 
0.27/0.29	c ... done. Wall clock time 0.172s.
0.27/0.29	c declared #vars     1945
0.27/0.29	c #constraints  3355
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 920
0.27/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2431
0.27/0.29	c 3355 constraints processed.
0.50/0.31	c SATISFIABLE
0.50/0.31	c OPTIMIZING...
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.196
0.50/0.31	o 55211
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.229
0.50/0.35	o 55081
1.93/1.31	c cleaning 2503 clauses out of 5011 with flag 5001/5011
2.91/2.26	c cleaning 4249 clauses out of 8507 with flag 11000/11010
4.01/3.32	c cleaning 5622 clauses out of 11259 with flag 18001/18011
5.22/4.53	c cleaning 6812 clauses out of 13637 with flag 26001/26011
6.66/5.95	c cleaning 7908 clauses out of 15824 with flag 35000/35010
8.17/7.46	c cleaning 8954 clauses out of 17917 with flag 45001/45011
9.87/9.17	c cleaning 9976 clauses out of 19962 with flag 56000/56010
11.68/10.98	c cleaning 10981 clauses out of 21986 with flag 68000/68010
13.68/12.92	c cleaning 11998 clauses out of 24006 with flag 81001/81011
15.68/14.98	c cleaning 12994 clauses out of 26007 with flag 95000/95010
18.18/17.49	c cleaning 14002 clauses out of 28013 with flag 110000/110010
20.79/20.02	c cleaning 15001 clauses out of 30011 with flag 126000/126010
23.39/22.65	c cleaning 15994 clauses out of 32010 with flag 143000/143010
26.19/25.49	c cleaning 17000 clauses out of 34016 with flag 161000/161010
29.49/28.74	c cleaning 17999 clauses out of 36016 with flag 180000/180010
32.79/32.04	c cleaning 19006 clauses out of 38018 with flag 200001/200011
36.01/35.24	c cleaning 19996 clauses out of 40011 with flag 221000/221010
39.51/38.77	c cleaning 21001 clauses out of 42015 with flag 243000/243010
43.42/42.65	c cleaning 22001 clauses out of 44014 with flag 266000/266010
47.23/46.45	c cleaning 22996 clauses out of 46013 with flag 290000/290010
51.13/50.38	c cleaning 24002 clauses out of 48017 with flag 315000/315010
56.04/55.21	c cleaning 24993 clauses out of 50015 with flag 341000/341010
60.37/59.54	c cleaning 25998 clauses out of 52022 with flag 368000/368010
64.99/64.16	c cleaning 27007 clauses out of 54027 with flag 396003/396013
69.69/68.86	c cleaning 28000 clauses out of 56017 with flag 425000/425010
74.50/73.68	c cleaning 29003 clauses out of 58017 with flag 455000/455010
79.40/78.55	c cleaning 30001 clauses out of 60014 with flag 486000/486010
85.21/84.30	c cleaning 30998 clauses out of 62013 with flag 518000/518010
90.81/89.96	c cleaning 32001 clauses out of 64015 with flag 551000/551010
96.73/95.80	c cleaning 32998 clauses out of 66014 with flag 585000/585010
102.43/101.54	c cleaning 34001 clauses out of 68016 with flag 620000/620010
108.45/107.56	c cleaning 35001 clauses out of 70015 with flag 656000/656010
114.75/113.82	c cleaning 35994 clauses out of 72014 with flag 693000/693010
121.28/120.30	c cleaning 36997 clauses out of 74020 with flag 731000/731010
129.20/128.20	c cleaning 37995 clauses out of 76025 with flag 770002/770012
135.81/134.85	c cleaning 39005 clauses out of 78028 with flag 810000/810010
142.63/141.68	c cleaning 40002 clauses out of 80023 with flag 851000/851010
149.74/148.70	c cleaning 40998 clauses out of 82022 with flag 893001/893011
157.06/156.00	c cleaning 42000 clauses out of 84024 with flag 936001/936011
163.87/162.87	c cleaning 43000 clauses out of 86023 with flag 980000/980010
171.17/170.17	c cleaning 43998 clauses out of 88023 with flag 1025000/1025010
178.68/177.64	c cleaning 45001 clauses out of 90026 with flag 1071001/1071011
187.12/186.06	c cleaning 46002 clauses out of 92024 with flag 1118000/1118010
196.72/195.63	c cleaning 47000 clauses out of 94022 with flag 1166000/1166010
204.73/203.70	c cleaning 47998 clauses out of 96022 with flag 1215000/1215010
213.46/212.38	c cleaning 49000 clauses out of 98024 with flag 1265000/1265010
222.77/221.60	c cleaning 49998 clauses out of 100026 with flag 1316002/1316012
231.40/230.20	c cleaning 51005 clauses out of 102027 with flag 1368001/1368011
241.02/239.81	c cleaning 52004 clauses out of 104022 with flag 1421001/1421011
250.44/249.28	c cleaning 53001 clauses out of 106018 with flag 1475001/1475011
260.95/259.75	c cleaning 53996 clauses out of 108016 with flag 1530000/1530010
271.16/269.95	c cleaning 54961 clauses out of 110020 with flag 1586000/1586010
280.59/279.38	c cleaning 56016 clauses out of 112059 with flag 1643000/1643010
291.39/290.15	c cleaning 57015 clauses out of 114043 with flag 1701000/1701010
302.63/301.38	c cleaning 57998 clauses out of 116028 with flag 1760000/1760010
313.05/311.74	c cleaning 59008 clauses out of 118030 with flag 1820000/1820010
323.87/322.53	c cleaning 60002 clauses out of 120022 with flag 1881000/1881010
334.80/333.42	c cleaning 60997 clauses out of 122021 with flag 1943001/1943011
345.83/344.42	c cleaning 61998 clauses out of 124023 with flag 2006000/2006010
356.24/354.80	c cleaning 63000 clauses out of 126025 with flag 2070000/2070010
367.08/365.68	c cleaning 64000 clauses out of 128025 with flag 2135000/2135010
378.91/377.40	c cleaning 65000 clauses out of 130025 with flag 2201000/2201010
390.94/389.48	c cleaning 66004 clauses out of 132026 with flag 2268001/2268011
402.35/400.83	c cleaning 66999 clauses out of 134021 with flag 2336000/2336010
415.55/414.05	c cleaning 67997 clauses out of 136024 with flag 2405002/2405012
427.98/426.43	c cleaning 68996 clauses out of 138026 with flag 2475001/2475011
440.41/438.87	c cleaning 69994 clauses out of 140029 with flag 2546000/2546010
453.22/451.67	c cleaning 70981 clauses out of 142035 with flag 2618000/2618010
465.64/464.10	c cleaning 72018 clauses out of 144055 with flag 2691001/2691011
479.75/478.12	c cleaning 73010 clauses out of 146038 with flag 2765002/2765012
494.77/493.10	c cleaning 74004 clauses out of 148027 with flag 2840001/2840011
511.21/509.51	c cleaning 75002 clauses out of 150023 with flag 2916001/2916011
526.24/524.58	c cleaning 76003 clauses out of 152020 with flag 2993000/2993010
539.68/537.91	c cleaning 76997 clauses out of 154018 with flag 3071001/3071011
553.29/551.54	c cleaning 78005 clauses out of 156020 with flag 3150000/3150010
567.81/566.06	c cleaning 78983 clauses out of 158015 with flag 3230000/3230010
582.54/580.79	c cleaning 80007 clauses out of 160032 with flag 3311000/3311010
596.77/594.94	c cleaning 81000 clauses out of 162025 with flag 3393000/3393010
611.00/609.17	c cleaning 82005 clauses out of 164026 with flag 3476001/3476011
628.12/626.22	c cleaning 82999 clauses out of 166020 with flag 3560000/3560010
644.85/642.92	c cleaning 84003 clauses out of 168021 with flag 3645000/3645010
660.38/658.42	c cleaning 84996 clauses out of 170018 with flag 3731000/3731010
676.61/674.68	c cleaning 85991 clauses out of 172022 with flag 3818000/3818010
693.23/691.29	c cleaning 86978 clauses out of 174031 with flag 3906000/3906010
709.85/707.80	c cleaning 88019 clauses out of 176053 with flag 3995000/3995010
725.98/723.99	c cleaning 88999 clauses out of 178034 with flag 4085000/4085010
743.01/740.92	c cleaning 89999 clauses out of 180035 with flag 4176000/4176010
759.41/757.31	c cleaning 91004 clauses out of 182037 with flag 4268001/4268011
776.84/774.74	c cleaning 92007 clauses out of 184032 with flag 4361000/4361010
794.96/792.86	c cleaning 93003 clauses out of 186025 with flag 4455000/4455010
811.27/809.12	c cleaning 94007 clauses out of 188024 with flag 4550002/4550012
827.59/825.42	c cleaning 94999 clauses out of 190015 with flag 4646000/4646010
845.40/843.23	c cleaning 95997 clauses out of 192016 with flag 4743000/4743010
862.55/860.37	c cleaning 96997 clauses out of 194019 with flag 4841000/4841010
881.67/879.48	c cleaning 98002 clauses out of 196022 with flag 4940000/4940010
900.63/898.35	c cleaning 98999 clauses out of 198020 with flag 5040000/5040010
919.63/917.29	c cleaning 99997 clauses out of 200023 with flag 5141002/5141012
938.76/936.34	c cleaning 101006 clauses out of 202026 with flag 5243002/5243012
959.18/956.78	c cleaning 101996 clauses out of 204018 with flag 5346000/5346010
978.11/975.70	c cleaning 103001 clauses out of 206022 with flag 5450000/5450010
996.33/993.81	c cleaning 103995 clauses out of 208021 with flag 5555000/5555010
1016.67/1014.18	c cleaning 105000 clauses out of 210027 with flag 5661001/5661011
1037.52/1034.91	c cleaning 106000 clauses out of 212027 with flag 5768001/5768011
1057.73/1055.19	c cleaning 107002 clauses out of 214026 with flag 5876000/5876010
1078.55/1075.91	c cleaning 108004 clauses out of 216024 with flag 5985000/5985010
1099.28/1096.65	c cleaning 109001 clauses out of 218023 with flag 6095003/6095013
1121.54/1118.88	c cleaning 109994 clauses out of 220020 with flag 6206001/6206011
1143.77/1141.02	c cleaning 111005 clauses out of 222026 with flag 6318001/6318011
1165.79/1163.07	c cleaning 111987 clauses out of 224020 with flag 6431000/6431010
1189.02/1186.22	c cleaning 112990 clauses out of 226033 with flag 6545000/6545010
1211.73/1208.94	c cleaning 114010 clauses out of 228043 with flag 6660000/6660010
1232.97/1230.18	c cleaning 114997 clauses out of 230033 with flag 6776000/6776010
1252.89/1250.08	c cleaning 116007 clauses out of 232036 with flag 6893000/6893010
1274.41/1271.60	c cleaning 117001 clauses out of 234031 with flag 7011002/7011012
1298.24/1295.39	c cleaning 118003 clauses out of 236028 with flag 7130000/7130010
1320.26/1317.30	c cleaning 119010 clauses out of 238025 with flag 7250000/7250010
1345.59/1342.62	c cleaning 119997 clauses out of 240015 with flag 7371000/7371010
1369.03/1366.07	c cleaning 120998 clauses out of 242019 with flag 7493001/7493011
1397.17/1394.17	c cleaning 122004 clauses out of 244020 with flag 7616000/7616010
1423.72/1420.67	c cleaning 122953 clauses out of 246016 with flag 7740000/7740010
1447.75/1444.66	c cleaning 123976 clauses out of 248063 with flag 7865000/7865010
1472.39/1469.26	c cleaning 125023 clauses out of 250087 with flag 7991000/7991010
1497.52/1494.38	c cleaning 126018 clauses out of 252064 with flag 8118000/8118010
1522.17/1518.91	c cleaning 127019 clauses out of 254047 with flag 8246001/8246011
1550.81/1547.58	c cleaning 128001 clauses out of 256027 with flag 8375000/8375010
1579.20/1575.82	c cleaning 129002 clauses out of 258026 with flag 8505000/8505010
1610.57/1607.16	c cleaning 130000 clauses out of 260024 with flag 8636000/8636010
1640.11/1636.66	c cleaning 131000 clauses out of 262025 with flag 8768001/8768011
1665.85/1662.38	c cleaning 132004 clauses out of 264024 with flag 8901000/8901010
1689.49/1685.91	c cleaning 133003 clauses out of 266022 with flag 9035002/9035012
1717.00/1713.48	c cleaning 133999 clauses out of 268017 with flag 9170000/9170010
1743.54/1739.96	c cleaning 134994 clauses out of 270018 with flag 9306000/9306010
1771.27/1767.61	c cleaning 135998 clauses out of 272024 with flag 9443000/9443010
1798.50/1794.89	c cleaning 137002 clauses out of 274026 with flag 9581000/9581010
1800.04/1796.31	c starts		: 302
1800.04/1796.31	c conflicts		: 9588965
1800.04/1796.31	c decisions		: 25165911
1800.04/1796.31	c propagations		: 6030745753
1800.04/1796.31	c inspects		: 9275143137
1800.04/1796.31	c shortcuts		: 0
1800.04/1796.31	c learnt literals	: 0
1800.04/1796.31	c learnt binary clauses	: 0
1800.04/1796.31	c learnt ternary clauses	: 0
1800.04/1796.31	c learnt constraints	: 9588965
1800.04/1796.31	c ignored constraints	: 0
1800.04/1796.31	c root simplifications	: 302
1800.04/1796.31	c removed literals (reason simplification)	: 2305829
1800.04/1796.31	c reason swapping (by a shorter reason)	: 0
1800.04/1796.31	c Calls to reduceDB	: 134
1800.04/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.32	c number of learned constraints concerned by reduction	: 0
1800.04/1796.32	c number of learning phase by resolution	: 0
1800.04/1796.32	c number of learning phase by cutting planes	: 0
1800.04/1796.32	c speed (assignments/second)	: 3357839.6187124867
1800.04/1796.32	c non guided choices	2489
1800.04/1796.34	c learnt constraints type 
1800.04/1796.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145126
1800.04/1796.34	c constraints type 
1800.04/1796.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 920
1800.04/1796.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
1800.04/1796.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2431
1800.04/1796.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1796.34	c 3356 constraints processed.
1800.04/1796.34	s SATISFIABLE
1800.04/1796.35	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 
1800.04/1796.35	c objective function=55081
1800.04/1796.35	c Total wall clock time (in seconds): 1796.234

Verifier Data 

OK	55081

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-3710185-1338164970/watcher-3710185-1338164970 -o /tmp/evaluation-result-3710185-1338164970/solver-3710185-1338164970 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710185-1338164970.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: 2.00 2.00 2.00 2/194 5453
/proc/meminfo: memFree=28811280/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/5453/stat : 5453 (java) D 5451 5453 3132 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 282622872 9515008 183 33554432000 1073741824 1073778376 140736741303312 140736741294344 259112386229 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/5453/statm: 2323 183 140 9 0 71 0

[startup+0.070443 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 5453
/proc/meminfo: memFree=28811280/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 3336 0 1 0 4 0 0 0 20 0 18 0 282622872 9787842560 4032 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2389610 4032 1766 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 5453
/proc/meminfo: memFree=28811280/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 4350 0 1 0 8 1 0 0 20 0 18 0 282622872 9787842560 5555 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2389610 5555 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 5453
/proc/meminfo: memFree=28811280/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9558440 CPUtime=0.5 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 5910 0 1 0 49 1 0 0 20 0 18 0 282622872 9787842560 8372 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2389610 8372 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440

[startup+0.700195 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 5453
/proc/meminfo: memFree=28811280/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 10642 0 1 0 128 2 0 0 20 0 19 0 282622872 9856004096 11469 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 11469 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625004

[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5472
/proc/meminfo: memFree=28774160/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=2.17 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 10917 0 1 0 214 3 0 0 20 0 19 0 282622872 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 13612 2280 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2565 0 1 0 145 0 0 0 20 0 19 0 282622873 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515770261928 140515642786793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3982 0 0 0 31 0 0 0 20 0 19 0 282622878 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3126 0 0 0 34 0 0 0 20 0 19 0 282622878 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 13612 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004

[startup+3.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5472
/proc/meminfo: memFree=28765596/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=3.81 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 10930 0 1 0 378 3 0 0 20 0 19 0 282622872 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 14643 2280 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=3.03 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2566 0 1 0 303 0 0 0 20 0 19 0 282622873 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515770262040 140515642675720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 282622875 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3128 0 0 0 36 0 0 0 20 0 19 0 282622878 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 14643 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5472
/proc/meminfo: memFree=28760384/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=7.07 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 11502 0 1 0 704 3 0 0 20 0 19 0 282622872 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 14590 2281 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=6.18 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2568 0 1 0 618 0 0 0 20 0 19 0 282622873 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515770261808 140515642643496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282622874 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 282622875 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3682 0 0 0 41 0 0 0 20 0 19 0 282622878 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 14590 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 44569 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3690 0 0 0 43 0 0 0 20 0 19 0 282622878 9856004096 44569 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44569 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 101 0 0 0 13 17 0 0 20 0 19 0 282622878 9856004096 44569 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 44569 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.94
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 5603
/proc/meminfo: memFree=28696268/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=1786 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 13428 0 1 0 178568 32 0 0 20 0 19 0 282622872 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 44580 2282 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2705 0 1 0 177135 29 0 0 20 0 19 0 282622873 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515770261808 140515642634691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 212 0 0 0 49 2 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 384 0 0 0 52 0 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 143 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 56 0 0 0 48 2 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 242 0 0 0 52 2 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 81 0 0 0 45 2 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 296 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 177 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=4.76 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 171 0 0 0 475 1 0 0 20 0 19 0 282622875 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3690 0 0 0 43 0 0 0 20 0 19 0 282622878 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 103 0 0 0 13 18 0 0 20 0 19 0 282622878 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 44580 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 1.99 2.00 2.00 4/213 5603
/proc/meminfo: memFree=28695584/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 13433 0 1 0 179972 32 0 0 20 0 19 0 282622872 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 44657 2282 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=1785.55 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2706 0 1 0 178525 30 0 0 20 0 19 0 282622873 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515770261808 140515642656544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 212 0 0 0 50 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 384 0 0 0 53 0 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 143 0 0 0 48 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 56 0 0 0 48 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 242 0 0 0 53 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 81 0 0 0 45 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 296 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 177 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=4.82 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 173 0 0 0 481 1 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3690 0 0 0 43 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 105 0 0 0 14 19 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

[startup+1796.31 s]
/proc/loadavg: 1.99 2.00 2.00 4/213 5603
/proc/meminfo: memFree=28695584/32873648 swapFree=6844/6844
[pid=5453] ppid=5451 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/5453/stat : 5453 (java) S 5451 5453 3132 0 -1 4202496 13433 0 1 0 179972 32 0 0 20 0 19 0 282622872 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140735730580560 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/5453/statm: 2406251 44657 2282 9 0 2396937 0
[pid=5453/tid=5455] ppid=5451 vsize=9625004 CPUtime=1785.55 cores=0,2,4,6
/proc/5453/task/5455/stat : 5455 (java) R 5451 5453 3132 0 -1 4202560 2706 0 1 0 178525 30 0 0 20 0 19 0 282622873 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515770261808 140515642656544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5456] ppid=5451 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/5453/task/5456/stat : 5456 (java) S 5451 5453 3132 0 -1 4202560 212 0 0 0 50 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515613735336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5457] ppid=5451 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/5453/task/5457/stat : 5457 (java) S 5451 5453 3132 0 -1 4202560 384 0 0 0 53 0 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515612682792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5458] ppid=5451 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/5453/task/5458/stat : 5458 (java) S 5451 5453 3132 0 -1 4202560 143 0 0 0 48 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515611629736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5459] ppid=5451 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/5453/task/5459/stat : 5459 (java) S 5451 5453 3132 0 -1 4202560 56 0 0 0 48 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515610577192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5460] ppid=5451 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/5453/task/5460/stat : 5460 (java) S 5451 5453 3132 0 -1 4202560 242 0 0 0 53 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515609525160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5461] ppid=5451 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/5453/task/5461/stat : 5461 (java) S 5451 5453 3132 0 -1 4202560 81 0 0 0 45 2 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515608472616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5453/tid=5462] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5462/stat : 5462 (java) S 5451 5453 3132 0 -1 4202560 296 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515607419560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5463] ppid=5451 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/5453/task/5463/stat : 5463 (java) S 5451 5453 3132 0 -1 4202560 177 0 0 0 47 1 0 0 20 0 19 0 282622874 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515606367016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5464] ppid=5451 vsize=9625004 CPUtime=4.82 cores=0,2,4,6
/proc/5453/task/5464/stat : 5464 (java) S 5451 5453 3132 0 -1 4202560 173 0 0 0 481 1 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515594168680 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5465] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5465/stat : 5465 (java) S 5451 5453 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515593115000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5466] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5466/stat : 5466 (java) S 5451 5453 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282622875 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515592061832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5467] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5467/stat : 5467 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515591010576 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5468] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5468/stat : 5468 (java) S 5451 5453 3132 0 -1 4202560 3985 0 0 0 33 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515589958456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5453/tid=5469] ppid=5451 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/5453/task/5469/stat : 5469 (java) S 5451 5453 3132 0 -1 4202560 3690 0 0 0 43 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515588905912 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5470] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5470/stat : 5470 (java) S 5451 5453 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515587853048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5453/tid=5471] ppid=5451 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/5453/task/5471/stat : 5471 (java) S 5451 5453 3132 0 -1 4202560 105 0 0 0 14 19 0 0 20 0 19 0 282622878 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515586800712 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5453/tid=5472] ppid=5451 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5453/task/5472/stat : 5472 (java) S 5451 5453 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282622902 9856004096 44657 33554432000 1073741824 1073778376 140735730589424 140515585745960 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1796.37
CPU time (s): 1800.04
CPU user time (s): 1799.72
CPU system time (s): 0.32
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.09
system time used= 0.751885
maximum resident set size= 178788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13476
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41621
involuntary context switches= 8447

runsolver used 5.9111 second user time and 13.7639 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 02:29:30
IDJOB=3710185
IDBENCH=25050
IDSOLVER=2289
FILE ID=node124/3710185-1338164970
RUNJOBID= node124-1338143409-3148
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.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-3710185-1338164970/watcher-3710185-1338164970 -o /tmp/evaluation-result-3710185-1338164970/solver-3710185-1338164970 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710185-1338164970.opb

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

MD5SUM BENCH= a588ec671da067d931709859b503c557
RANDOM SEED=923064180

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28812032 kB
Buffers:          357344 kB
Cached:          2696616 kB
SwapCached:            0 kB
Active:          1114608 kB
Inactive:        2137708 kB
Active(anon):     200740 kB
Inactive(anon):        0 kB
Active(file):     913868 kB
Inactive(file):  2137708 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               820 kB
Writeback:            52 kB
AnonPages:        207192 kB
Mapped:            22776 kB
Shmem:               200 kB
Slab:             669336 kB
SReclaimable:     113528 kB
SUnreclaim:       555808 kB
KernelStack:        1592 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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= 71432 MiB
End job on node124 at 2012-05-28 02:59:28