Trace number 3711231

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-68 1800.05 1790.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
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-71
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
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 constraint60
Maximum length of a constraint107
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)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711231-1338170257.opb
0.09/0.12	c reading problem ... 
2.21/0.90	c ... done. Wall clock time 0.776s.
2.21/0.90	c declared #vars     1000
2.21/0.90	c internal #vars     38742
2.21/0.90	c #constraints  76484
2.21/0.90	c constraints type 
2.21/0.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37742
2.21/0.90	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
2.21/0.90	c ignored satisfied constraints => 1000
2.21/0.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37742
2.21/0.90	c 77484 constraints processed.
2.46/1.04	c SATISFIABLE
2.46/1.04	c OPTIMIZING...
2.46/1.04	c Got one! Elapsed wall clock time (in seconds):0.923
2.46/1.04	o 0
2.46/1.06	c Got one! Elapsed wall clock time (in seconds):0.939
2.46/1.06	o -1
2.46/1.08	c Got one! Elapsed wall clock time (in seconds):0.962
2.46/1.08	o -2
2.77/1.15	c Got one! Elapsed wall clock time (in seconds):1.027
2.77/1.15	o -3
2.77/1.16	c Got one! Elapsed wall clock time (in seconds):1.039
2.77/1.16	o -4
2.77/1.18	c Got one! Elapsed wall clock time (in seconds):1.057
2.77/1.18	o -67
4.14/2.17	c cleaning 2498 clauses out of 5001 with flag 5000/5001
5.61/3.45	c cleaning 4252 clauses out of 8504 with flag 11001/11002
7.16/4.90	c cleaning 5626 clauses out of 11251 with flag 18000/18001
8.80/6.58	c cleaning 6812 clauses out of 13625 with flag 26000/26001
10.95/8.61	c cleaning 7902 clauses out of 15815 with flag 35002/35003
13.00/10.64	c cleaning 8956 clauses out of 17911 with flag 45000/45001
15.57/13.12	c cleaning 9974 clauses out of 19955 with flag 56000/56001
18.12/15.70	c cleaning 10991 clauses out of 21982 with flag 68001/68002
21.28/18.78	c cleaning 11990 clauses out of 23991 with flag 81001/81002
24.33/21.78	c cleaning 12993 clauses out of 26000 with flag 95000/95001
28.03/25.33	c cleaning 14000 clauses out of 28008 with flag 110001/110002
31.77/29.03	c cleaning 15000 clauses out of 30007 with flag 126000/126001
35.75/32.91	c cleaning 16004 clauses out of 32008 with flag 143001/143002
40.00/37.19	c cleaning 16998 clauses out of 34003 with flag 161000/161001
45.27/42.31	c cleaning 18003 clauses out of 36005 with flag 180000/180001
49.96/46.91	c cleaning 19000 clauses out of 38002 with flag 200000/200001
55.13/52.00	c cleaning 19995 clauses out of 40002 with flag 221000/221001
60.48/57.30	c cleaning 20997 clauses out of 42008 with flag 243001/243002
67.16/63.90	c cleaning 22002 clauses out of 44011 with flag 266001/266002
72.76/69.40	c cleaning 22994 clauses out of 46008 with flag 290000/290001
79.44/76.07	c cleaning 24001 clauses out of 48014 with flag 315000/315001
86.62/83.12	c cleaning 25007 clauses out of 50014 with flag 341001/341002
94.46/90.84	c cleaning 25997 clauses out of 52008 with flag 368002/368003
104.46/100.73	c cleaning 27001 clauses out of 54011 with flag 396002/396003
111.49/107.63	c cleaning 27999 clauses out of 56008 with flag 425000/425001
119.59/115.69	c cleaning 28997 clauses out of 58009 with flag 455000/455001
129.49/125.45	c cleaning 29992 clauses out of 60012 with flag 486000/486001
142.18/138.10	c cleaning 30997 clauses out of 62020 with flag 518000/518001
152.09/147.87	c cleaning 32005 clauses out of 64023 with flag 551000/551001
163.67/159.30	c cleaning 33006 clauses out of 66019 with flag 585001/585002
172.49/168.04	c cleaning 33997 clauses out of 68012 with flag 620000/620001
182.01/177.48	c cleaning 34996 clauses out of 70015 with flag 656000/656001
192.52/187.86	c cleaning 36007 clauses out of 72019 with flag 693000/693001
204.32/199.57	c cleaning 36995 clauses out of 74012 with flag 731000/731001
205.12/200.23	c Got one! Elapsed wall clock time (in seconds):200.108
205.12/200.23	o -68
205.82/200.98	c cleaning 21097 clauses out of 42203 with flag 3002/736187
207.36/202.43	c cleaning 13546 clauses out of 27105 with flag 9001/742186
209.16/204.21	c cleaning 10274 clauses out of 20558 with flag 16000/749185
211.07/206.18	c cleaning 9134 clauses out of 18284 with flag 24000/757185
213.30/208.37	c cleaning 9067 clauses out of 18152 with flag 33002/766187
215.83/210.84	c cleaning 9537 clauses out of 19083 with flag 43000/776185
218.55/213.58	c cleaning 10268 clauses out of 20546 with flag 54000/787185
221.48/216.44	c cleaning 11136 clauses out of 22278 with flag 66000/799185
225.20/220.14	c cleaning 12067 clauses out of 24142 with flag 79000/812185
229.55/224.48	c cleaning 13035 clauses out of 26076 with flag 93001/826186
234.30/229.15	c cleaning 14019 clauses out of 28042 with flag 108002/841187
239.13/233.97	c cleaning 15008 clauses out of 30024 with flag 124003/857188
245.58/240.34	c cleaning 16000 clauses out of 32014 with flag 141001/874186
250.72/245.46	c cleaning 17004 clauses out of 34013 with flag 159000/892185
255.10/249.77	c cleaning 18002 clauses out of 36009 with flag 178000/911185
259.97/254.58	c cleaning 18996 clauses out of 38007 with flag 198000/931185
265.15/259.67	c cleaning 20005 clauses out of 40011 with flag 219000/952185
271.10/265.52	c cleaning 20997 clauses out of 42007 with flag 241001/974186
277.65/272.01	c cleaning 22000 clauses out of 44009 with flag 264000/997185
284.42/278.76	c cleaning 22998 clauses out of 46009 with flag 288000/1021185
291.98/286.28	c cleaning 24002 clauses out of 48013 with flag 313002/1046187
300.57/294.75	c cleaning 25003 clauses out of 50009 with flag 339000/1072185
307.93/302.09	c cleaning 26004 clauses out of 52008 with flag 366002/1099187
317.70/311.70	c cleaning 26990 clauses out of 54002 with flag 394000/1127185
328.09/322.09	c cleaning 28001 clauses out of 56012 with flag 423000/1156185
337.88/331.73	c cleaning 29006 clauses out of 58013 with flag 453002/1186187
348.16/341.92	c cleaning 29998 clauses out of 60005 with flag 484000/1217185
359.75/353.47	c cleaning 30996 clauses out of 62007 with flag 516000/1249185
373.42/367.05	c cleaning 32000 clauses out of 64012 with flag 549001/1282186
387.20/380.73	c cleaning 33006 clauses out of 66012 with flag 583001/1316186
397.67/391.10	c cleaning 33998 clauses out of 68005 with flag 618000/1351185
407.38/400.70	c cleaning 35004 clauses out of 70007 with flag 654000/1387185
418.23/411.45	c cleaning 36000 clauses out of 72004 with flag 691001/1424186
431.26/424.32	c cleaning 36998 clauses out of 74003 with flag 729000/1462185
444.80/437.71	c cleaning 37993 clauses out of 76005 with flag 768000/1501185
456.31/449.13	c cleaning 39004 clauses out of 78012 with flag 808000/1541185
471.12/463.88	c cleaning 40000 clauses out of 80009 with flag 849001/1582186
487.62/480.33	c cleaning 40998 clauses out of 82009 with flag 891001/1624186
502.64/495.32	c cleaning 41999 clauses out of 84011 with flag 934001/1667186
519.78/512.36	c cleaning 43002 clauses out of 86013 with flag 978002/1711187
537.80/530.33	c cleaning 43998 clauses out of 88010 with flag 1023001/1756186
551.92/544.43	c cleaning 45001 clauses out of 90012 with flag 1069001/1802186
569.13/561.64	c cleaning 45996 clauses out of 92010 with flag 1116000/1849185
590.13/582.67	c cleaning 47003 clauses out of 94014 with flag 1164000/1897185
611.14/603.60	c cleaning 48004 clauses out of 96014 with flag 1213003/1946188
635.45/627.94	c cleaning 49000 clauses out of 98008 with flag 1263001/1996186
649.06/641.54	c cleaning 50000 clauses out of 100008 with flag 1314001/2047186
665.37/657.85	c cleaning 50995 clauses out of 102008 with flag 1366001/2099186
682.47/674.98	c cleaning 51998 clauses out of 104013 with flag 1419001/2152186
702.08/694.50	c cleaning 53007 clauses out of 106015 with flag 1473001/2206186
724.69/717.17	c cleaning 53997 clauses out of 108009 with flag 1528002/2261187
743.41/735.85	c cleaning 54998 clauses out of 110010 with flag 1584000/2317185
767.32/759.71	c cleaning 56007 clauses out of 112014 with flag 1641002/2374187
794.04/786.48	c cleaning 56996 clauses out of 114005 with flag 1699000/2432185
816.44/808.80	c cleaning 58005 clauses out of 116009 with flag 1758000/2491185
843.55/835.91	c cleaning 58992 clauses out of 118004 with flag 1818000/2551185
870.35/862.70	c cleaning 60007 clauses out of 120013 with flag 1879001/2612186
894.55/886.96	c cleaning 60995 clauses out of 122005 with flag 1941000/2674185
922.57/914.94	c cleaning 62002 clauses out of 124012 with flag 2004002/2737187
952.17/944.59	c cleaning 62993 clauses out of 126009 with flag 2068001/2801186
986.59/978.98	c cleaning 64009 clauses out of 128017 with flag 2133002/2866187
1021.53/1013.88	c cleaning 64999 clauses out of 130007 with flag 2199001/2932186
1056.07/1048.33	c cleaning 66002 clauses out of 132007 with flag 2266000/2999185
1075.28/1067.52	c cleaning 67001 clauses out of 134005 with flag 2334000/3067185
1098.01/1090.23	c cleaning 68001 clauses out of 136004 with flag 2403000/3136185
1124.01/1116.15	c cleaning 68991 clauses out of 138004 with flag 2473001/3206186
1157.23/1149.00	c cleaning 70004 clauses out of 140013 with flag 2544001/3277186
1185.23/1176.77	c cleaning 71001 clauses out of 142008 with flag 2616000/3349185
1220.73/1212.04	c cleaning 71998 clauses out of 144007 with flag 2689000/3422185
1251.02/1242.18	c cleaning 72998 clauses out of 146010 with flag 2763001/3496186
1291.75/1282.64	c cleaning 74001 clauses out of 148011 with flag 2838000/3571185
1332.80/1323.65	c cleaning 74997 clauses out of 150011 with flag 2914001/3647186
1364.25/1355.01	c cleaning 76004 clauses out of 152017 with flag 2991004/3724189
1399.62/1390.36	c cleaning 76997 clauses out of 154009 with flag 3069000/3802185
1439.72/1430.14	c cleaning 78005 clauses out of 156013 with flag 3148001/3881186
1482.77/1473.18	c cleaning 79001 clauses out of 158007 with flag 3228000/3961185
1513.00/1503.34	c cleaning 80001 clauses out of 160007 with flag 3309001/4042186
1553.07/1543.35	c cleaning 81002 clauses out of 162007 with flag 3391002/4124187
1595.26/1585.51	c cleaning 82000 clauses out of 164003 with flag 3474000/4207185
1640.45/1630.71	c cleaning 82999 clauses out of 166006 with flag 3558003/4291188
1690.95/1681.23	c cleaning 83998 clauses out of 168006 with flag 3643002/4376187
1745.35/1735.62	c cleaning 85002 clauses out of 170006 with flag 3729000/4462185
1776.04/1766.36	c cleaning 85995 clauses out of 172005 with flag 3816001/4549186
1800.05/1790.31	c starts		: 277
1800.05/1790.31	c conflicts		: 4622553
1800.05/1790.31	c decisions		: 4699022
1800.05/1790.31	c propagations		: 24138463
1800.05/1790.31	c inspects		: 4423371803
1800.05/1790.31	c shortcuts		: 0
1800.05/1790.31	c learnt literals	: 0
1800.05/1790.31	c learnt binary clauses	: 0
1800.05/1790.31	c learnt ternary clauses	: 0
1800.05/1790.31	c learnt constraints	: 4622553
1800.05/1790.31	c ignored constraints	: 0
1800.05/1790.31	c root simplifications	: 277
1800.05/1790.31	c removed literals (reason simplification)	: 88026991
1800.05/1790.31	c reason swapping (by a shorter reason)	: 0
1800.05/1790.31	c Calls to reduceDB	: 117
1800.05/1790.31	c number of reductions to clauses (during analyze)	: 0
1800.05/1790.31	c number of learned constraints concerned by reduction	: 0
1800.05/1790.31	c number of learning phase by resolution	: 0
1800.05/1790.31	c number of learning phase by cutting planes	: 0
1800.05/1790.31	c speed (assignments/second)	: 13490.038589324085
1800.05/1790.31	c non guided choices	4990
1800.05/1790.34	c learnt constraints type 
1800.05/1790.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 159487
1800.05/1790.34	c constraints type 
1800.05/1790.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37742
1800.05/1790.34	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.05/1790.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1790.34	c ignored satisfied constraints => 1000
1800.05/1790.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37742
1800.05/1790.34	c 77485 constraints processed.
1800.05/1790.34	s SATISFIABLE
1800.05/1790.34	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.05/1790.34	c objective function=-68
1800.05/1790.34	c Total wall clock time (in seconds): 1790.223

Verifier Data 

OK	-68

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-3711231-1338170257/watcher-3711231-1338170257 -o /tmp/evaluation-result-3711231-1338170257/solver-3711231-1338170257 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711231-1338170257.opb 

running on 4 cores: 1,3,5,7

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.06 2.09 2.06 3/194 31267
/proc/meminfo: memFree=28098024/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31267/stat : 31267 (java) D 31265 31267 29719 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 283150648 9515008 183 33554432000 1073741824 1073778376 140733458191632 140733458182664 223651643061 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/31267/statm: 2323 183 140 9 0 71 0

[startup+0.087802 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31267
/proc/meminfo: memFree=28098024/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 3489 0 1 0 5 1 0 0 20 0 18 0 283150648 9787842560 4696 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2389610 4697 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100297 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31267
/proc/meminfo: memFree=28098024/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 4268 0 1 0 8 1 0 0 20 0 18 0 283150648 9787842560 5474 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2389610 5476 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300289 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31267
/proc/meminfo: memFree=28098024/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 6051 0 1 0 45 2 0 0 20 0 18 0 283150648 9787842560 8617 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2389610 8625 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.700303 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31267
/proc/meminfo: memFree=28098024/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9558440 CPUtime=1.66 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 17674 0 1 0 161 5 0 0 20 0 18 0 283150648 9787842560 25265 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2389610 25268 2257 9 0 2380296 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9558440

[startup+1.50081 s]
/proc/loadavg: 2.06 2.09 2.06 3/213 31286
/proc/meminfo: memFree=27923848/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=3.5 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 21058 0 1 0 338 12 0 0 20 0 19 0 283150648 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 53693 2280 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2569 0 1 0 138 3 0 0 20 0 19 0 283150649 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302983458872 140302842131799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283150650 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 283150651 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150651 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5658 0 0 0 95 2 0 0 20 0 19 0 283150654 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11491 0 0 0 88 3 0 0 20 0 19 0 283150654 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 53693 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9625004

[startup+3.10077 s]
/proc/loadavg: 2.06 2.09 2.06 3/213 31286
/proc/meminfo: memFree=27891996/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=5.28 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 21511 0 1 0 511 17 0 0 20 0 19 0 283150648 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 67895 2294 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=2.89 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2570 0 1 0 285 4 0 0 20 0 19 0 283150649 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302983459000 140302841877752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 76 0 0 0 2 2 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 19 0 283150650 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 80 0 0 0 5 2 0 0 20 0 19 0 283150651 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 19 0 283150651 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 101 0 0 0 7 0 0 0 20 0 19 0 283150652 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5662 0 0 0 99 2 0 0 20 0 19 0 283150654 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11494 0 0 0 90 3 0 0 20 0 19 0 283150654 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 67895 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 9625004

[startup+6.30082 s]
/proc/loadavg: 2.06 2.09 2.06 3/213 31286
/proc/meminfo: memFree=27803928/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=8.59 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 21574 0 1 0 839 20 0 0 20 0 19 0 283150648 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 76373 2294 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=5.88 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2573 0 1 0 584 4 0 0 20 0 19 0 283150649 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302983459352 140302841463402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 87 0 0 0 3 2 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 138 0 0 0 2 1 0 0 20 0 19 0 283150650 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 81 0 0 0 5 2 0 0 20 0 19 0 283150651 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 137 0 0 0 3 0 0 0 20 0 19 0 283150651 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 110 0 0 0 25 0 0 0 20 0 19 0 283150652 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5663 0 0 0 101 2 0 0 20 0 19 0 283150654 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11494 0 0 0 92 3 0 0 20 0 19 0 283150654 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 76373 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5668 0 0 0 110 2 0 0 20 0 19 0 283150654 9856004096 250836 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11501 0 0 0 95 3 0 0 20 0 19 0 283150654 9856004096 250836 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 250836 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 99 0 0 0 40 42 0 0 20 0 19 0 283150654 9856004096 250836 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 250836 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.05
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.31 2.08 2.03 3/214 31385
/proc/meminfo: memFree=27400976/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=1792.04 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 25268 0 1 0 179020 184 0 0 20 0 19 0 283150648 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 255961 2295 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=1760.37 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2748 0 1 0 176004 33 0 0 20 0 19 0 283150649 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302983459120 140302841534954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 277 0 0 0 105 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 493 0 0 0 99 12 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 248 0 0 0 102 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 613 0 0 0 98 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 401 0 0 0 109 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 387 0 0 0 100 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 360 0 0 0 100 10 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 552 0 0 0 92 12 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=19.3 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 730 0 0 0 1926 4 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5668 0 0 0 110 2 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11501 0 0 0 95 3 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 103 0 0 0 40 43 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/214 31385
/proc/meminfo: memFree=27400976/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 25268 0 1 0 179821 184 0 0 20 0 19 0 283150648 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 255961 2295 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=1768.37 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2748 0 1 0 176804 33 0 0 20 0 19 0 283150649 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302983459120 140302842066432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 277 0 0 0 105 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 493 0 0 0 99 12 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 248 0 0 0 102 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 613 0 0 0 98 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 401 0 0 0 109 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 387 0 0 0 100 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 360 0 0 0 100 10 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 552 0 0 0 92 12 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=19.3 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 730 0 0 0 1926 4 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5668 0 0 0 110 2 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11501 0 0 0 95 3 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 103 0 0 0 40 43 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1790.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/214 31385
/proc/meminfo: memFree=27400976/32873844 swapFree=6856/6856
[pid=31267] ppid=31265 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/31267/stat : 31267 (java) S 31265 31267 29719 0 -1 4202496 25268 0 1 0 179821 184 0 0 20 0 19 0 283150648 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140734601058208 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31267/statm: 2406251 255961 2295 9 0 2396937 0
[pid=31267/tid=31269] ppid=31265 vsize=9625004 CPUtime=1768.37 cores=1,3,5,7
/proc/31267/task/31269/stat : 31269 (java) R 31265 31267 29719 0 -1 4202560 2748 0 1 0 176804 33 0 0 20 0 19 0 283150649 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302983459120 140302842066432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31270] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31270/stat : 31270 (java) S 31265 31267 29719 0 -1 4202560 277 0 0 0 105 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302961560232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31271] ppid=31265 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/31267/task/31271/stat : 31271 (java) S 31265 31267 29719 0 -1 4202560 493 0 0 0 99 12 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302960507688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31272] ppid=31265 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/31267/task/31272/stat : 31272 (java) S 31265 31267 29719 0 -1 4202560 248 0 0 0 102 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302757129128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31267/tid=31273] ppid=31265 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/31267/task/31273/stat : 31273 (java) S 31265 31267 29719 0 -1 4202560 613 0 0 0 98 11 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302756076584 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31274] ppid=31265 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/31267/task/31274/stat : 31274 (java) S 31265 31267 29719 0 -1 4202560 401 0 0 0 109 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302755023016 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31275] ppid=31265 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/31267/task/31275/stat : 31275 (java) S 31265 31267 29719 0 -1 4202560 387 0 0 0 100 16 0 0 20 0 19 0 283150650 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302753970472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31276] ppid=31265 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31267/task/31276/stat : 31276 (java) S 31265 31267 29719 0 -1 4202560 360 0 0 0 100 10 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302752917928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31277] ppid=31265 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/31267/task/31277/stat : 31277 (java) S 31265 31267 29719 0 -1 4202560 552 0 0 0 92 12 0 0 20 0 19 0 283150651 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302751865384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31278] ppid=31265 vsize=9625004 CPUtime=19.3 cores=1,3,5,7
/proc/31267/task/31278/stat : 31278 (java) S 31265 31267 29719 0 -1 4202560 730 0 0 0 1926 4 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302739667560 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31279] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31279/stat : 31279 (java) S 31265 31267 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302738613880 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31280] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31280/stat : 31280 (java) S 31265 31267 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283150652 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302737561224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31281] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31281/stat : 31281 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302736509968 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31282] ppid=31265 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/31267/task/31282/stat : 31282 (java) S 31265 31267 29719 0 -1 4202560 5668 0 0 0 110 2 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302735456312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31267/tid=31283] ppid=31265 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/31267/task/31283/stat : 31283 (java) S 31265 31267 29719 0 -1 4202560 11501 0 0 0 95 3 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302734403768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31284] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31284/stat : 31284 (java) S 31265 31267 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302733351416 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31267/tid=31285] ppid=31265 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/31267/task/31285/stat : 31285 (java) S 31265 31267 29719 0 -1 4202560 103 0 0 0 40 43 0 0 20 0 19 0 283150654 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302732299080 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31267/tid=31286] ppid=31265 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31267/task/31286/stat : 31286 (java) S 31265 31267 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283150744 9856004096 255961 33554432000 1073741824 1073778376 140734601067072 140302731244840 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31267 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=8661
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=993696
# CPU time returned by wait4() is 1800
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.35
CPU time (s): 1800.05
CPU user time (s): 1798.21
CPU system time (s): 1.84
CPU usage (%): 100.542
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 1.9937
maximum resident set size= 1023964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25301
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40155
involuntary context switches= 18503

runsolver used 6.19206 second user time and 16.8314 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 03:57:37
IDJOB=3711231
IDBENCH=48214
IDSOLVER=2289
FILE ID=node144/3711231-1338170257
RUNJOBID= node144-1338157682-29736
PBS_JOBID= 14624532
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711231-1338170257/watcher-3711231-1338170257 -o /tmp/evaluation-result-3711231-1338170257/solver-3711231-1338170257 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711231-1338170257.opb

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=135932964

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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:        28098816 kB
Buffers:          381428 kB
Cached:          2641960 kB
SwapCached:            0 kB
Active:          1749344 kB
Inactive:        2188680 kB
Active(anon):     915936 kB
Inactive(anon):        0 kB
Active(file):     833408 kB
Inactive(file):  2188680 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1660 kB
Writeback:             0 kB
AnonPages:        919896 kB
Mapped:            22580 kB
Shmem:               200 kB
Slab:             697224 kB
SReclaimable:     139540 kB
SUnreclaim:       557684 kB
KernelStack:        1608 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1320276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    868352 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= 71472 MiB
End job on node144 at 2012-05-28 04:27:30