Trace number 3688669

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-108 1800.91 1784.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
MD5SUMd847cf1d914db0ec942abd195c5092c7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-128
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31592
Sum of products size (including duplicates)63184
Number of different products15796
Sum of products size31592

Quality of the solution as a function of time


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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688669-1337886284.opb
0.08/0.12	c reading problem ... 
1.29/0.67	c ... done. Wall clock time 0.555s.
1.29/0.67	c declared #vars     1000
1.29/0.67	c internal #vars     16796
1.29/0.67	c #constraints  32592
1.29/0.67	c constraints type 
1.29/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796
1.29/0.67	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.29/0.67	c ignored satisfied constraints => 1000
1.29/0.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796
1.29/0.67	c 33592 constraints processed.
1.29/0.67	c objective function length is 1000 literals
1.89/0.84	c SATISFIABLE
1.89/0.84	c OPTIMIZING...
1.89/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.89/0.84	o -107
2.19/0.93	c Got one! Elapsed wall clock time (in seconds):0.816
2.19/0.93	o -108
3.15/1.63	c cleaning 2508 clauses out of 5015 with flag 5001/5015
3.97/2.39	c cleaning 4253 clauses out of 8507 with flag 11001/11015
4.90/3.23	c cleaning 5627 clauses out of 11253 with flag 18000/18014
5.92/4.23	c cleaning 6814 clauses out of 13628 with flag 26002/26016
7.07/5.30	c cleaning 7906 clauses out of 15812 with flag 35000/35014
8.19/6.48	c cleaning 8953 clauses out of 17906 with flag 45000/45014
9.52/7.78	c cleaning 9978 clauses out of 19955 with flag 56002/56016
10.94/9.14	c cleaning 10986 clauses out of 21975 with flag 68000/68014
12.47/10.67	c cleaning 11993 clauses out of 23989 with flag 81000/81014
14.02/12.16	c cleaning 12993 clauses out of 25996 with flag 95000/95014
15.78/13.80	c cleaning 14002 clauses out of 28004 with flag 110001/110015
17.76/15.72	c cleaning 14998 clauses out of 30001 with flag 126000/126014
19.71/17.67	c cleaning 15995 clauses out of 32003 with flag 143000/143014
21.72/19.65	c cleaning 16998 clauses out of 34008 with flag 161000/161014
23.85/21.78	c cleaning 18006 clauses out of 36013 with flag 180003/180017
26.09/23.99	c cleaning 18999 clauses out of 38005 with flag 200001/200015
28.53/26.32	c cleaning 20003 clauses out of 40006 with flag 221001/221015
31.05/28.81	c cleaning 20998 clauses out of 42002 with flag 243000/243014
33.73/31.40	c cleaning 21998 clauses out of 44005 with flag 266001/266015
36.39/34.09	c cleaning 23001 clauses out of 46007 with flag 290001/290015
39.31/36.95	c cleaning 24003 clauses out of 48005 with flag 315000/315014
42.71/40.25	c cleaning 24990 clauses out of 50002 with flag 341000/341014
46.12/43.54	c cleaning 26000 clauses out of 52012 with flag 368000/368014
49.56/46.91	c cleaning 27000 clauses out of 54012 with flag 396000/396014
53.09/50.44	c cleaning 28005 clauses out of 56013 with flag 425001/425015
56.72/54.06	c cleaning 29003 clauses out of 58008 with flag 455001/455015
60.64/57.94	c cleaning 30001 clauses out of 60005 with flag 486001/486015
64.56/61.85	c cleaning 30997 clauses out of 62003 with flag 518000/518014
68.70/65.95	c cleaning 32002 clauses out of 64008 with flag 551002/551016
72.82/70.09	c cleaning 33000 clauses out of 66006 with flag 585002/585016
77.26/74.47	c cleaning 33996 clauses out of 68004 with flag 620000/620014
81.62/78.79	c cleaning 35002 clauses out of 70008 with flag 656000/656014
86.54/83.48	c cleaning 36002 clauses out of 72009 with flag 693003/693017
91.17/88.06	c cleaning 37000 clauses out of 74005 with flag 731001/731015
96.32/93.12	c cleaning 38002 clauses out of 76004 with flag 770000/770014
101.89/98.68	c cleaning 39002 clauses out of 78004 with flag 810002/810016
107.44/104.10	c cleaning 39993 clauses out of 80000 with flag 851000/851014
113.08/109.73	c cleaning 40998 clauses out of 82007 with flag 893000/893014
118.97/115.53	c cleaning 42005 clauses out of 84009 with flag 936000/936014
125.30/121.80	c cleaning 42995 clauses out of 86005 with flag 980001/980015
131.65/128.12	c cleaning 44003 clauses out of 88009 with flag 1025000/1025014
137.92/134.36	c cleaning 45004 clauses out of 90007 with flag 1071001/1071015
144.40/140.74	c cleaning 45998 clauses out of 92003 with flag 1118001/1118015
151.06/147.39	c cleaning 47002 clauses out of 94006 with flag 1166002/1166016
158.11/154.34	c cleaning 47998 clauses out of 96002 with flag 1215000/1215014
165.95/162.13	c cleaning 49002 clauses out of 98004 with flag 1265000/1265014
174.22/170.34	c cleaning 50001 clauses out of 100003 with flag 1316001/1316015
182.30/178.05	c cleaning 50995 clauses out of 102002 with flag 1368001/1368015
190.12/185.87	c cleaning 52000 clauses out of 104007 with flag 1421001/1421015
198.51/194.20	c cleaning 52999 clauses out of 106007 with flag 1475001/1475015
206.81/202.31	c cleaning 53998 clauses out of 108008 with flag 1530001/1530015
215.37/210.86	c cleaning 55000 clauses out of 110009 with flag 1586000/1586014
223.65/219.05	c cleaning 56000 clauses out of 112009 with flag 1643000/1643014
232.29/227.66	c cleaning 56997 clauses out of 114009 with flag 1701000/1701014
240.74/236.09	c cleaning 58005 clauses out of 116013 with flag 1760001/1760015
249.83/245.04	c cleaning 59002 clauses out of 118007 with flag 1820000/1820014
259.11/254.22	c cleaning 59997 clauses out of 120007 with flag 1881002/1881016
268.29/263.37	c cleaning 61000 clauses out of 122009 with flag 1943001/1943015
278.63/273.65	c cleaning 61995 clauses out of 124008 with flag 2006000/2006014
289.21/284.11	c cleaning 63004 clauses out of 126013 with flag 2070000/2070014
299.54/294.44	c cleaning 64000 clauses out of 128009 with flag 2135000/2135014
309.38/304.25	c cleaning 65002 clauses out of 130010 with flag 2201001/2201015
319.75/314.59	c cleaning 66003 clauses out of 132010 with flag 2268003/2268017
329.91/324.66	c cleaning 67000 clauses out of 134005 with flag 2336001/2336015
341.40/335.71	c cleaning 67993 clauses out of 136004 with flag 2405000/2405014
352.70/347.07	c cleaning 68999 clauses out of 138012 with flag 2475001/2475015
365.57/359.83	c cleaning 70008 clauses out of 140015 with flag 2546003/2546017
378.71/372.90	c cleaning 71004 clauses out of 142008 with flag 2618004/2618018
391.89/385.92	c cleaning 72002 clauses out of 144004 with flag 2691004/2691018
405.62/399.50	c cleaning 73000 clauses out of 145999 with flag 2765001/2765015
421.65/415.31	c cleaning 74000 clauses out of 147999 with flag 2840001/2840015
437.91/431.40	c cleaning 74997 clauses out of 149999 with flag 2916001/2916015
452.64/446.06	c cleaning 75995 clauses out of 152001 with flag 2993000/2993014
466.33/459.67	c cleaning 77003 clauses out of 154006 with flag 3071000/3071014
480.59/473.86	c cleaning 78000 clauses out of 156003 with flag 3150000/3150014
496.18/489.38	c cleaning 79000 clauses out of 158004 with flag 3230001/3230015
513.24/506.37	c cleaning 79999 clauses out of 160003 with flag 3311000/3311014
531.33/524.38	c cleaning 80995 clauses out of 162004 with flag 3393000/3393014
549.54/542.41	c cleaning 81998 clauses out of 164010 with flag 3476001/3476015
566.41/559.26	c cleaning 83005 clauses out of 166011 with flag 3560000/3560014
583.37/576.18	c cleaning 83995 clauses out of 168006 with flag 3645000/3645014
603.49/596.15	c cleaning 85000 clauses out of 170011 with flag 3731000/3731014
624.32/616.82	c cleaning 86006 clauses out of 172013 with flag 3818002/3818016
643.09/635.50	c cleaning 87001 clauses out of 174006 with flag 3906001/3906015
664.26/656.61	c cleaning 88000 clauses out of 176008 with flag 3995004/3995018
684.66/676.94	c cleaning 88995 clauses out of 178005 with flag 4085001/4085015
706.05/698.23	c cleaning 90002 clauses out of 180010 with flag 4176001/4176015
726.44/718.50	c cleaning 91000 clauses out of 182007 with flag 4268000/4268014
745.73/737.73	c cleaning 92001 clauses out of 184009 with flag 4361002/4361016
764.90/756.81	c cleaning 92998 clauses out of 186007 with flag 4455001/4455015
785.96/777.43	c cleaning 93993 clauses out of 188009 with flag 4550001/4550015
807.61/798.70	c cleaning 95005 clauses out of 190018 with flag 4646003/4646017
830.66/820.96	c cleaning 96003 clauses out of 192011 with flag 4743001/4743015
852.91/842.87	c cleaning 96996 clauses out of 194007 with flag 4841000/4841014
874.03/863.75	c cleaning 97999 clauses out of 196011 with flag 4940000/4940014
896.44/885.95	c cleaning 99005 clauses out of 198013 with flag 5040001/5040015
918.96/907.99	c cleaning 100000 clauses out of 200010 with flag 5141003/5141017
948.59/937.24	c cleaning 101000 clauses out of 202007 with flag 5243000/5243014
975.28/963.63	c cleaning 102001 clauses out of 204007 with flag 5346000/5346014
1001.70/989.76	c cleaning 102997 clauses out of 206006 with flag 5450000/5450014
1028.50/1016.46	c cleaning 103998 clauses out of 208009 with flag 5555000/5555014
1055.75/1043.63	c cleaning 105003 clauses out of 210013 with flag 5661002/5661016
1083.62/1071.48	c cleaning 105999 clauses out of 212010 with flag 5768002/5768016
1112.94/1100.78	c cleaning 107005 clauses out of 214010 with flag 5876001/5876015
1140.83/1128.58	c cleaning 107993 clauses out of 216004 with flag 5985000/5985014
1167.33/1154.92	c cleaning 109003 clauses out of 218011 with flag 6095000/6095014
1195.45/1182.75	c cleaning 109999 clauses out of 220008 with flag 6206000/6206014
1221.65/1208.75	c cleaning 111003 clauses out of 222010 with flag 6318001/6318015
1249.68/1236.64	c cleaning 112002 clauses out of 224006 with flag 6431000/6431014
1278.47/1265.33	c cleaning 113000 clauses out of 226004 with flag 6545000/6545014
1306.22/1292.93	c cleaning 113997 clauses out of 228005 with flag 6660001/6660015
1335.12/1321.78	c cleaning 115004 clauses out of 230007 with flag 6776000/6776014
1362.03/1348.54	c cleaning 115991 clauses out of 232003 with flag 6893000/6893014
1390.14/1376.58	c cleaning 117002 clauses out of 234013 with flag 7011001/7011015
1417.55/1403.88	c cleaning 117997 clauses out of 236010 with flag 7130000/7130014
1444.28/1430.43	c cleaning 119004 clauses out of 238015 with flag 7250002/7250016
1468.88/1454.93	c cleaning 120000 clauses out of 240009 with flag 7371000/7371014
1500.62/1486.28	c cleaning 121001 clauses out of 242012 with flag 7493003/7493017
1532.88/1518.41	c cleaning 121999 clauses out of 244010 with flag 7616002/7616016
1563.93/1549.30	c cleaning 122999 clauses out of 246009 with flag 7740000/7740014
1592.04/1577.34	c cleaning 123999 clauses out of 248010 with flag 7865000/7865014
1619.65/1604.83	c cleaning 125000 clauses out of 250012 with flag 7991001/7991015
1647.80/1632.80	c cleaning 126003 clauses out of 252012 with flag 8118001/8118015
1675.49/1660.47	c cleaning 126996 clauses out of 254010 with flag 8246002/8246016
1709.07/1693.86	c cleaning 128003 clauses out of 256012 with flag 8375000/8375014
1743.27/1727.95	c cleaning 129006 clauses out of 258011 with flag 8505002/8505016
1782.28/1766.86	c cleaning 129996 clauses out of 260004 with flag 8636001/8636015
1800.07/1784.51	c starts		: 301
1800.07/1784.51	c conflicts		: 8705902
1800.07/1784.51	c decisions		: 9135323
1800.07/1784.51	c propagations		: 45523192
1800.07/1784.51	c inspects		: 12720144709
1800.07/1784.51	c shortcuts		: 0
1800.07/1784.51	c learnt literals	: 0
1800.07/1784.51	c learnt binary clauses	: 0
1800.07/1784.51	c learnt ternary clauses	: 0
1800.07/1784.51	c learnt constraints	: 8705902
1800.07/1784.51	c ignored constraints	: 0
1800.07/1784.51	c root simplifications	: 0
1800.07/1784.51	c removed literals (reason simplification)	: 0
1800.07/1784.51	c reason swapping (by a shorter reason)	: 0
1800.07/1784.51	c Calls to reduceDB	: 127
1800.07/1784.51	c number of reductions to clauses (during analyze)	: 0
1800.07/1784.51	c number of learned constraints concerned by reduction	: 0
1800.07/1784.51	c number of learning phase by resolution	: 0
1800.07/1784.51	c number of learning phase by cutting planes	: 0
1800.07/1784.51	c speed (assignments/second)	: 25520.611823642128
1800.07/1784.51	c non guided choices	0
1800.07/1784.54	c learnt constraints type 
1800.07/1784.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 199976
1800.07/1784.54	c constraints type 
1800.07/1784.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796
1800.07/1784.54	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.07/1784.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1784.54	c ignored satisfied constraints => 1000
1800.07/1784.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796
1800.07/1784.54	c 33593 constraints processed.
1800.07/1784.54	s SATISFIABLE
1800.07/1784.54	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 
1800.07/1784.54	c objective function=-108
1800.07/1784.54	c Total wall clock time (in seconds): 1784.427

Verifier Data

OK	-108

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-3688669-1337886284/watcher-3688669-1337886284 -o /tmp/evaluation-result-3688669-1337886284/solver-3688669-1337886284 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688669-1337886284.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 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22861/stat : 22861 (java) R 22859 22861 21352 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254756996 9515008 182 33554432000 1073741824 1073778376 140736215680688 140736215671720 240426761909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22861/statm: 2323 182 140 9 0 71 0

[startup+0.0285791 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 2686 0 1 0 0 0 0 0 20 0 10 0 254756996 9233014784 2876 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2254154 2885 1458 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100243 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 4304 0 1 0 7 1 0 0 20 0 18 0 254756996 9787813888 4991 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 4991 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300192 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=0.41 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 5127 0 1 0 39 2 0 0 20 0 18 0 254756996 9787813888 7088 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 7088 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558412

[startup+0.700191 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=1.59 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 15010 0 1 0 155 4 0 0 20 0 18 0 254756996 9787813888 23215 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 23215 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558412

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 7/212 22935
/proc/meminfo: memFree=27560108/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17157 0 1 0 300 5 0 0 20 0 19 0 254756996 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 28557 2261 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2557 0 1 0 143 3 0 0 20 0 19 0 254756997 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882724762200 139882597472511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7908 0 0 0 78 2 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5493 0 0 0 74 1 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22936
/proc/meminfo: memFree=27439200/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=4.8 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17315 0 1 0 470 10 0 0 20 0 19 0 254756996 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 48074 2286 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=2.93 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2563 0 1 0 290 3 0 0 20 0 19 0 254756997 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597421213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 30 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7915 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5499 0 0 0 76 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22936
/proc/meminfo: memFree=27365660/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=8.09 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17824 0 1 0 797 12 0 0 20 0 19 0 254756996 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 52561 2286 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=5.94 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2565 0 1 0 591 3 0 0 20 0 19 0 254756997 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597605012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 145 0 0 0 1 2 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 127 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 166 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5509 0 0 0 80 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 204 28 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.35 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 208 27 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.24 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 203 21 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.52 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3500 0 0 0 1347 5 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 99 0 0 0 31 32 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1737.67
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 22951
/proc/meminfo: memFree=25060552/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1797.86 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179558 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1763.27 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176294 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597432521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.5 s]
/proc/loadavg: 2.02 2.02 2.00 2/193 22954
/proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1784.5 s]
/proc/loadavg: 2.02 2.02 2.00 2/193 22954
/proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1784.55
CPU time (s): 1800.91
CPU user time (s): 1798.03
CPU system time (s): 2.88256
CPU usage (%): 100.916
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.88256
maximum resident set size= 1896268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28752
page faults= 1
swaps= 0
block input operations= 240
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41787
involuntary context switches= 27892

runsolver used 6.22905 second user time and 14.4948 second system time

The end

Launcher Data

Begin job on node108 at 2012-05-24 21:04:44
IDJOB=3688669
IDBENCH=48177
IDSOLVER=2269
FILE ID=node108/3688669-1337886284
RUNJOBID= node108-1337871881-21368
PBS_JOBID= 14620096
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688669-1337886284/watcher-3688669-1337886284 -o /tmp/evaluation-result-3688669-1337886284/solver-3688669-1337886284 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688669-1337886284.opb

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

MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7
RANDOM SEED=387823464

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27700100 kB
Buffers:          200136 kB
Cached:          4189052 kB
SwapCached:            0 kB
Active:           506176 kB
Inactive:        3900112 kB
Active(anon):      19344 kB
Inactive(anon):        0 kB
Active(file):     486832 kB
Inactive(file):  3900112 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:         24812 kB
Mapped:            14344 kB
Shmem:               200 kB
Slab:             630200 kB
SReclaimable:      72308 kB
SUnreclaim:       557892 kB
KernelStack:        1448 kB
PageTables:         3608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node108 at 2012-05-24 21:34:31