Trace number 3687567

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)236 1800.07 1794.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
MD5SUM90154dd1b8a90675a35ad37cbef52f77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark193
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 189
Optimality of the best value was proved NO
Number of variables481
Total number of constraints481
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 constraints481
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 481
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 481
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 481
Number of bits of the biggest sum of numbers9
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.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3687567-1337873291.opb
0.08/0.13	c reading problem ... 
0.24/0.24	c ... done. Wall clock time 0.114s.
0.24/0.24	c declared #vars     481
0.24/0.24	c #constraints  481
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 481
0.24/0.24	c 481 constraints processed.
0.24/0.24	c objective function length is 481 literals
0.24/0.25	c SATISFIABLE
0.24/0.25	c OPTIMIZING...
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.129
0.24/0.26	o 237
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.164
0.24/0.29	o 236
1.78/1.39	c cleaning 2509 clauses out of 5021 with flag 5000/5021
3.17/2.60	c cleaning 4256 clauses out of 8513 with flag 11001/11022
4.68/4.04	c cleaning 5623 clauses out of 11256 with flag 18000/18021
6.20/5.56	c cleaning 6815 clauses out of 13633 with flag 26000/26021
7.94/7.23	c cleaning 7907 clauses out of 15820 with flag 35002/35023
10.05/9.30	c cleaning 8954 clauses out of 17911 with flag 45000/45021
12.05/11.35	c cleaning 9976 clauses out of 19957 with flag 56000/56021
14.37/13.62	c cleaning 10986 clauses out of 21981 with flag 68000/68021
16.87/16.19	c cleaning 11997 clauses out of 23995 with flag 81000/81021
19.58/18.87	c cleaning 13000 clauses out of 25999 with flag 95001/95022
22.40/21.60	c cleaning 13999 clauses out of 28000 with flag 110002/110023
25.32/24.58	c cleaning 14998 clauses out of 29999 with flag 126000/126021
28.43/27.68	c cleaning 16002 clauses out of 32004 with flag 143003/143024
31.66/30.87	c cleaning 16998 clauses out of 34000 with flag 161001/161022
35.05/34.24	c cleaning 17999 clauses out of 36002 with flag 180001/180022
38.77/37.93	c cleaning 18999 clauses out of 38002 with flag 200000/200021
42.49/41.68	c cleaning 20000 clauses out of 40003 with flag 221000/221021
46.39/45.57	c cleaning 20998 clauses out of 42004 with flag 243001/243022
50.30/49.49	c cleaning 22004 clauses out of 44009 with flag 266004/266025
54.22/53.38	c cleaning 22995 clauses out of 46002 with flag 290001/290022
58.44/57.52	c cleaning 24002 clauses out of 48008 with flag 315002/315023
62.57/61.68	c cleaning 25002 clauses out of 50004 with flag 341000/341021
67.00/66.02	c cleaning 25999 clauses out of 52002 with flag 368000/368021
71.52/70.53	c cleaning 26999 clauses out of 54004 with flag 396001/396022
76.33/75.35	c cleaning 27999 clauses out of 56004 with flag 425000/425021
81.56/80.51	c cleaning 29000 clauses out of 58005 with flag 455000/455021
86.67/85.62	c cleaning 29999 clauses out of 60005 with flag 486000/486021
92.19/91.15	c cleaning 31003 clauses out of 62009 with flag 518003/518024
98.11/97.08	c cleaning 32000 clauses out of 64003 with flag 551000/551021
104.02/102.95	c cleaning 32997 clauses out of 66003 with flag 585000/585021
110.23/109.16	c cleaning 34000 clauses out of 68006 with flag 620000/620021
116.34/115.22	c cleaning 34999 clauses out of 70006 with flag 656000/656021
122.84/121.73	c cleaning 36001 clauses out of 72008 with flag 693001/693022
129.37/128.23	c cleaning 37003 clauses out of 74007 with flag 731001/731022
136.10/134.90	c cleaning 38002 clauses out of 76003 with flag 770000/770021
142.81/141.68	c cleaning 38995 clauses out of 78001 with flag 810000/810021
149.95/148.79	c cleaning 40004 clauses out of 80009 with flag 851003/851024
157.48/156.27	c cleaning 40998 clauses out of 82003 with flag 893001/893022
164.99/163.76	c cleaning 41998 clauses out of 84004 with flag 936000/936021
172.69/171.49	c cleaning 42997 clauses out of 86008 with flag 980002/980023
181.10/179.88	c cleaning 44000 clauses out of 88009 with flag 1025000/1025021
189.43/188.15	c cleaning 44999 clauses out of 90011 with flag 1071002/1071023
197.94/196.69	c cleaning 46001 clauses out of 92010 with flag 1118000/1118021
207.55/206.24	c cleaning 46997 clauses out of 94011 with flag 1166002/1166023
217.06/215.74	c cleaning 48003 clauses out of 96015 with flag 1215003/1215024
227.19/225.84	c cleaning 49004 clauses out of 98009 with flag 1265000/1265021
237.61/236.23	c cleaning 50000 clauses out of 100005 with flag 1316000/1316021
248.19/246.76	c cleaning 51002 clauses out of 102006 with flag 1368001/1368022
258.22/256.71	c cleaning 52000 clauses out of 104003 with flag 1421000/1421021
268.04/266.59	c cleaning 53000 clauses out of 106006 with flag 1475003/1475024
279.10/277.58	c cleaning 53996 clauses out of 108003 with flag 1530000/1530021
290.72/289.14	c cleaning 55000 clauses out of 110007 with flag 1586000/1586021
301.75/300.12	c cleaning 55999 clauses out of 112008 with flag 1643001/1643022
313.07/311.46	c cleaning 57004 clauses out of 114008 with flag 1701000/1701021
324.72/323.04	c cleaning 58003 clauses out of 116006 with flag 1760002/1760023
337.03/335.37	c cleaning 58998 clauses out of 118002 with flag 1820001/1820022
349.65/347.93	c cleaning 59999 clauses out of 120003 with flag 1881000/1881021
363.32/361.50	c cleaning 60995 clauses out of 122005 with flag 1943001/1943022
376.55/374.79	c cleaning 62000 clauses out of 124012 with flag 2006003/2006024
390.19/388.35	c cleaning 63001 clauses out of 126009 with flag 2070000/2070021
403.91/402.05	c cleaning 63997 clauses out of 128008 with flag 2135000/2135021
417.17/415.29	c cleaning 65005 clauses out of 130011 with flag 2201000/2201021
432.28/430.33	c cleaning 65999 clauses out of 132006 with flag 2268000/2268021
446.57/444.57	c cleaning 67000 clauses out of 134007 with flag 2336000/2336021
460.61/458.53	c cleaning 67997 clauses out of 136008 with flag 2405001/2405022
475.04/472.93	c cleaning 69000 clauses out of 138010 with flag 2475000/2475021
489.16/487.02	c cleaning 70003 clauses out of 140011 with flag 2546001/2546022
503.13/500.93	c cleaning 70994 clauses out of 142007 with flag 2618000/2618021
518.11/515.88	c cleaning 72004 clauses out of 144015 with flag 2691002/2691023
533.71/531.44	c cleaning 73001 clauses out of 146011 with flag 2765002/2765023
549.67/547.39	c cleaning 74000 clauses out of 148008 with flag 2840000/2840021
566.52/564.14	c cleaning 74998 clauses out of 150008 with flag 2916000/2916021
582.79/580.39	c cleaning 76002 clauses out of 152010 with flag 2993000/2993021
599.02/596.52	c cleaning 76998 clauses out of 154008 with flag 3071000/3071021
616.35/613.87	c cleaning 78005 clauses out of 156011 with flag 3150001/3150022
633.01/630.47	c cleaning 78996 clauses out of 158005 with flag 3230000/3230021
649.96/647.34	c cleaning 80001 clauses out of 160009 with flag 3311000/3311021
666.31/663.65	c cleaning 80998 clauses out of 162008 with flag 3393000/3393021
682.95/680.20	c cleaning 81995 clauses out of 164010 with flag 3476000/3476021
700.88/698.12	c cleaning 83005 clauses out of 166016 with flag 3560001/3560022
718.68/715.86	c cleaning 84004 clauses out of 168012 with flag 3645002/3645023
736.84/733.95	c cleaning 84995 clauses out of 170006 with flag 3731000/3731021
754.87/751.96	c cleaning 86002 clauses out of 172011 with flag 3818000/3818021
774.03/771.03	c cleaning 87000 clauses out of 174010 with flag 3906001/3906022
793.39/790.32	c cleaning 88001 clauses out of 176010 with flag 3995001/3995022
813.12/810.07	c cleaning 89000 clauses out of 178008 with flag 4085000/4085021
833.55/830.48	c cleaning 89994 clauses out of 180008 with flag 4176000/4176021
853.67/850.56	c cleaning 91007 clauses out of 182015 with flag 4268001/4268022
872.64/869.49	c cleaning 91996 clauses out of 184008 with flag 4361001/4361022
892.38/889.15	c cleaning 93003 clauses out of 186012 with flag 4455001/4455022
910.92/907.60	c cleaning 93997 clauses out of 188009 with flag 4550001/4550022
930.97/927.66	c cleaning 94999 clauses out of 190011 with flag 4646000/4646021
952.02/948.65	c cleaning 96003 clauses out of 192012 with flag 4743000/4743021
970.72/967.29	c cleaning 96999 clauses out of 194010 with flag 4841001/4841022
990.29/986.70	c cleaning 98004 clauses out of 196012 with flag 4940002/4940023
1008.45/1004.85	c cleaning 99003 clauses out of 198007 with flag 5040001/5040022
1028.09/1024.31	c cleaning 99999 clauses out of 200003 with flag 5141000/5141021
1048.28/1044.45	c cleaning 101001 clauses out of 202006 with flag 5243002/5243023
1067.91/1064.03	c cleaning 101996 clauses out of 204003 with flag 5346000/5346021
1088.74/1084.83	c cleaning 103003 clauses out of 206008 with flag 5450001/5450022
1111.43/1107.44	c cleaning 104000 clauses out of 208004 with flag 5555000/5555021
1133.09/1129.05	c cleaning 104999 clauses out of 210006 with flag 5661002/5661023
1155.62/1151.50	c cleaning 106000 clauses out of 212006 with flag 5768001/5768022
1178.38/1174.22	c cleaning 107000 clauses out of 214005 with flag 5876000/5876021
1202.62/1198.47	c cleaning 107994 clauses out of 216007 with flag 5985002/5985023
1226.88/1222.65	c cleaning 109000 clauses out of 218011 with flag 6095000/6095021
1250.22/1245.95	c cleaning 110005 clauses out of 220011 with flag 6206000/6206021
1274.67/1270.32	c cleaning 111002 clauses out of 222007 with flag 6318001/6318022
1299.47/1295.03	c cleaning 111992 clauses out of 224004 with flag 6431000/6431021
1325.89/1321.48	c cleaning 113006 clauses out of 226014 with flag 6545002/6545023
1350.64/1346.16	c cleaning 113992 clauses out of 228008 with flag 6660002/6660023
1375.10/1370.58	c cleaning 114997 clauses out of 230014 with flag 6776000/6776021
1399.22/1394.60	c cleaning 116004 clauses out of 232018 with flag 6893001/6893022
1424.14/1419.53	c cleaning 117000 clauses out of 234013 with flag 7011000/7011021
1447.88/1443.28	c cleaning 118001 clauses out of 236013 with flag 7130000/7130021
1470.45/1465.75	c cleaning 119001 clauses out of 238013 with flag 7250001/7250022
1495.19/1490.44	c cleaning 120004 clauses out of 240011 with flag 7371000/7371021
1519.27/1514.43	c cleaning 120998 clauses out of 242009 with flag 7493002/7493023
1542.93/1538.08	c cleaning 121999 clauses out of 244009 with flag 7616000/7616021
1566.48/1561.56	c cleaning 122998 clauses out of 246010 with flag 7740000/7740021
1590.62/1585.62	c cleaning 124005 clauses out of 248012 with flag 7865000/7865021
1615.19/1610.12	c cleaning 125001 clauses out of 250010 with flag 7991003/7991024
1643.01/1637.83	c cleaning 126003 clauses out of 252007 with flag 8118001/8118022
1669.77/1664.51	c cleaning 126999 clauses out of 254003 with flag 8246000/8246021
1696.64/1691.37	c cleaning 127999 clauses out of 256006 with flag 8375002/8375023
1724.64/1719.27	c cleaning 129001 clauses out of 258005 with flag 8505000/8505021
1754.30/1748.61	c cleaning 129997 clauses out of 260007 with flag 8636003/8636024
1782.63/1776.87	c cleaning 130999 clauses out of 262009 with flag 8768002/8768023
1800.07/1794.21	c starts		: 301
1800.07/1794.21	c conflicts		: 8858505
1800.07/1794.21	c decisions		: 15747265
1800.07/1794.21	c propagations		: 1110000203
1800.07/1794.21	c inspects		: 13259470762
1800.07/1794.21	c shortcuts		: 0
1800.07/1794.21	c learnt literals	: 0
1800.07/1794.21	c learnt binary clauses	: 0
1800.07/1794.21	c learnt ternary clauses	: 0
1800.07/1794.21	c learnt constraints	: 8858505
1800.07/1794.21	c ignored constraints	: 0
1800.07/1794.21	c root simplifications	: 0
1800.07/1794.21	c removed literals (reason simplification)	: 0
1800.07/1794.21	c reason swapping (by a shorter reason)	: 0
1800.07/1794.21	c Calls to reduceDB	: 128
1800.07/1794.21	c number of reductions to clauses (during analyze)	: 0
1800.07/1794.21	c number of learned constraints concerned by reduction	: 0
1800.07/1794.21	c number of learning phase by resolution	: 0
1800.07/1794.21	c number of learning phase by cutting planes	: 0
1800.07/1794.21	c speed (assignments/second)	: 618741.7144379709
1800.07/1794.21	c non guided choices	0
1800.07/1794.24	c learnt constraints type 
1800.07/1794.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 221592
1800.07/1794.24	c constraints type 
1800.07/1794.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1794.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 481
1800.07/1794.24	c 482 constraints processed.
1800.07/1794.24	s SATISFIABLE
1800.07/1794.24	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 
1800.07/1794.24	c objective function=236
1800.07/1794.24	c Total wall clock time (in seconds): 1794.118

Verifier Data

OK	236

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-3687567-1337873291/watcher-3687567-1337873291 -o /tmp/evaluation-result-3687567-1337873291/solver-3687567-1337873291 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687567-1337873291.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 1.56 2/194 21784
/proc/meminfo: memFree=28439640/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21784/stat : 21784 (java) D 21782 21784 21484 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253457624 9515008 182 33554432000 1073741824 1073778376 140733552305904 140733552296936 218213727925 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/21784/statm: 2323 182 140 9 0 71 0

[startup+0.047463 s]
/proc/loadavg: 2.00 2.00 1.56 2/194 21784
/proc/meminfo: memFree=28439640/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 3000 0 1 0 2 1 0 0 20 0 13 0 253457624 9446973440 3698 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2306390 3698 1683 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 1.56 2/194 21784
/proc/meminfo: memFree=28439640/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 3904 0 1 0 7 1 0 0 20 0 18 0 253457624 9787813888 5105 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2389603 5110 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300256 s]
/proc/loadavg: 2.00 2.00 1.56 2/194 21784
/proc/meminfo: memFree=28439640/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9625280 CPUtime=0.47 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 6712 0 1 0 45 2 0 0 20 0 19 0 253457624 9856286720 8241 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406320 8241 2228 9 0 2397013 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625280

[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 1.56 2/194 21784
/proc/meminfo: memFree=28439640/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 8595 0 1 0 112 2 0 0 20 0 19 0 253457624 9855975424 8923 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 8923 2235 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9624976

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21803
/proc/meminfo: memFree=28410280/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=2.11 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 13386 0 1 0 208 3 0 0 20 0 19 0 253457624 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 15452 2270 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2469 0 1 0 143 2 0 0 20 0 19 0 253457626 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359161082216 140359011626144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253457628 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 2617 0 0 0 29 0 0 0 20 0 19 0 253457632 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) R 21782 21784 21484 0 -1 4202560 7063 0 0 0 32 0 0 0 20 0 19 0 253457632 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358509215480 140359165169840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 15452 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21803
/proc/meminfo: memFree=28386328/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=3.78 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 13453 0 1 0 374 4 0 0 20 0 19 0 253457624 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 17552 2270 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2471 0 1 0 301 2 0 0 20 0 19 0 253457626 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359161082128 140359011625096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 253457628 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 2617 0 0 0 30 0 0 0 20 0 19 0 253457632 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 0 0 0 20 0 19 0 253457632 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 17552 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624976

[startup+6.30055 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21803
/proc/meminfo: memFree=28376396/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=7.05 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 14001 0 1 0 700 5 0 0 20 0 19 0 253457624 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 18584 2270 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=6.19 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2474 0 1 0 617 2 0 0 20 0 19 0 253457626 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359161082128 140359011625165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253457627 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 51 0 0 0 3 0 0 0 20 0 19 0 253457628 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 3126 0 0 0 35 0 0 0 20 0 19 0 253457632 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 1 0 0 20 0 19 0 253457632 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 18584 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 3132 0 0 0 37 0 0 0 20 0 19 0 253457632 9855975424 108593 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 1 0 0 20 0 19 0 253457632 9855975424 108593 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 108593 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 95 0 0 0 18 17 0 0 20 0 19 0 253457632 9855975424 108593 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 108593 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1667.57
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/213 21878
/proc/meminfo: memFree=28134876/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=1727.8 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 16643 0 1 0 172719 61 0 0 20 0 19 0 253457624 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 109617 2271 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=1709.97 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2653 0 1 0 170969 28 0 0 20 0 19 0 253457626 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359161082128 140359011625096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 249 0 0 0 79 3 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 296 0 0 0 69 3 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 413 0 0 0 71 4 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 332 0 0 0 74 6 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 305 0 0 0 69 4 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 175 0 0 0 72 4 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 331 0 0 0 74 4 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 182 0 0 0 78 4 0 0 20 0 19 0 253457627 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=6.1 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 182 0 0 0 608 2 0 0 20 0 19 0 253457628 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 3132 0 0 0 37 0 0 0 20 0 19 0 253457632 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 1 0 0 20 0 19 0 253457632 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 99 0 0 0 19 17 0 0 20 0 19 0 253457632 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 109617 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.8
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/213 21878
/proc/meminfo: memFree=28045508/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=1788.16 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 17024 0 1 0 178745 71 0 0 20 0 19 0 253457624 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 131913 2271 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=1769.34 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2657 0 1 0 176905 29 0 0 20 0 19 0 253457626 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359161082128 140359011644064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 327 0 0 0 85 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 311 0 0 0 73 3 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 424 0 0 0 75 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 347 0 0 0 78 7 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 320 0 0 0 75 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 182 0 0 0 76 4 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 338 0 0 0 77 4 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 214 0 0 0 83 7 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=6.45 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 375 0 0 0 642 3 0 0 20 0 19 0 253457628 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 3132 0 0 0 37 0 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 1 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 103 0 0 0 20 18 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.16
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.2 s]
/proc/loadavg: 2.06 2.02 1.92 3/213 21878
/proc/meminfo: memFree=28045508/32873844 swapFree=7620/7620
[pid=21784] ppid=21782 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/21784/stat : 21784 (java) S 21782 21784 21484 0 -1 4202496 17024 0 1 0 179936 71 0 0 20 0 19 0 253457624 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140733606650784 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21784/statm: 2406244 131913 2271 9 0 2396937 0
[pid=21784/tid=21786] ppid=21782 vsize=9624976 CPUtime=1781.21 cores=0,2,4,6
/proc/21784/task/21786/stat : 21786 (java) R 21782 21784 21484 0 -1 4202560 2657 0 1 0 178091 30 0 0 20 0 19 0 253457626 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359161082128 140359011718725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21787] ppid=21782 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/21784/task/21787/stat : 21787 (java) S 21782 21784 21484 0 -1 4202560 327 0 0 0 85 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359133535272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21788] ppid=21782 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/21784/task/21788/stat : 21788 (java) S 21782 21784 21484 0 -1 4202560 311 0 0 0 73 3 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359132482472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21789] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21789/stat : 21789 (java) S 21782 21784 21484 0 -1 4202560 424 0 0 0 75 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359131429672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21790] ppid=21782 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/21784/task/21790/stat : 21790 (java) S 21782 21784 21484 0 -1 4202560 347 0 0 0 78 7 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359130376872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21784/tid=21791] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21791/stat : 21791 (java) S 21782 21784 21484 0 -1 4202560 320 0 0 0 75 5 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140359000173096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21792] ppid=21782 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/21784/task/21792/stat : 21792 (java) S 21782 21784 21484 0 -1 4202560 182 0 0 0 76 4 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358999120296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21793] ppid=21782 vsize=9624976 CPUtime=0.81 cores=0,2,4,6
/proc/21784/task/21793/stat : 21793 (java) S 21782 21784 21484 0 -1 4202560 338 0 0 0 77 4 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358998067496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21794] ppid=21782 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/21784/task/21794/stat : 21794 (java) S 21782 21784 21484 0 -1 4202560 214 0 0 0 83 7 0 0 20 0 19 0 253457627 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358997014696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21795] ppid=21782 vsize=9624976 CPUtime=6.45 cores=0,2,4,6
/proc/21784/task/21795/stat : 21795 (java) S 21782 21784 21484 0 -1 4202560 375 0 0 0 642 3 0 0 20 0 19 0 253457628 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358514502632 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21796] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21796/stat : 21796 (java) S 21782 21784 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358513448696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21797] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21797/stat : 21797 (java) S 21782 21784 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253457629 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358512395784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21798] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21798/stat : 21798 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457631 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358511344272 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21799] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21799/stat : 21799 (java) S 21782 21784 21484 0 -1 4202560 3132 0 0 0 37 0 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358510291384 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21784/tid=21800] ppid=21782 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/21784/task/21800/stat : 21800 (java) S 21782 21784 21484 0 -1 4202560 7114 0 0 0 36 1 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358509238584 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21801] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21801/stat : 21801 (java) S 21782 21784 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358508185976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21784/tid=21802] ppid=21782 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21784/task/21802/stat : 21802 (java) S 21782 21784 21484 0 -1 4202560 103 0 0 0 20 18 0 0 20 0 19 0 253457632 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358507133384 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21784/tid=21803] ppid=21782 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21784/task/21803/stat : 21803 (java) S 21782 21784 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253457650 9855975424 131913 33554432000 1073741824 1073778376 140733606659648 140358506079912 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21784 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=698164
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=65837
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.25
CPU time (s): 1800.07
CPU user time (s): 1799.36
CPU system time (s): 0.71
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 9625280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 1.06584
maximum resident set size= 527808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17066
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41617
involuntary context switches= 11641

runsolver used 6.73198 second user time and 13.323 second system time

The end

Launcher Data

Begin job on node107 at 2012-05-24 17:28:11
IDJOB=3687567
IDBENCH=1949
IDSOLVER=2269
FILE ID=node107/3687567-1337873291
RUNJOBID= node107-1337871881-21500
PBS_JOBID= 14620097
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687567-1337873291/watcher-3687567-1337873291 -o /tmp/evaluation-result-3687567-1337873291/solver-3687567-1337873291 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687567-1337873291.opb

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

MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77
RANDOM SEED=2118794574

node107.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.760
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	: 5333.52
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.760
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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.86
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.760
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:        28439904 kB
Buffers:          197748 kB
Cached:          2553888 kB
SwapCached:            0 kB
Active:          1404292 kB
Inactive:        2249420 kB
Active(anon):     905072 kB
Inactive(anon):        0 kB
Active(file):     499220 kB
Inactive(file):  2249420 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               548 kB
Writeback:             0 kB
AnonPages:        922532 kB
Mapped:            22572 kB
Shmem:               200 kB
Slab:             625808 kB
SReclaimable:      68304 kB
SUnreclaim:       557504 kB
KernelStack:        1600 kB
PageTables:         6032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1621232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    886784 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= 71644 MiB
End job on node107 at 2012-05-24 17:58:07