Trace number 3453936

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 Res//CP 2.3.0SAT (TO)39 1800.35 925.858

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453936-1307194560.opb
0.10/0.11	c reading problem ... 
1.63/0.71	c ... done. Wall clock time 0.601s.
1.63/0.71	c #vars     16170
1.63/0.71	c #constraints  31840
1.63/0.71	c constraints type 
1.63/0.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1.63/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1.63/0.71	c constraints type 
1.63/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1.63/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
2.02/0.86	c  And the winner is Resolution
2.27/1.23	c SATISFIABLE
2.27/1.23	c OPTIMIZING...
2.27/1.23	c Got one! Elapsed wall clock time (in seconds):1.122
2.27/1.23	o 45
3.47/1.65	c  And the winner is Resolution
3.61/1.76	c Got one! Elapsed wall clock time (in seconds):1.644
3.61/1.76	o 44
5.18/2.59	c  And the winner is Resolution
5.40/2.77	c Got one! Elapsed wall clock time (in seconds):2.657
5.40/2.77	o 43
7.29/3.77	c cleaning 3138 clauses out of 6283 with flag 3002/6283
7.93/4.01	c  And the winner is Resolution
7.99/4.41	c Got one! Elapsed wall clock time (in seconds):4.3
7.99/4.41	o 42
11.01/5.97	c cleaning 4258 clauses out of 8523 with flag 5001/11661
14.75/7.82	c cleaning 5127 clauses out of 10264 with flag 11000/17660
18.91/10.00	c cleaning 6065 clauses out of 12139 with flag 18002/24662
24.24/12.61	c cleaning 7030 clauses out of 14072 with flag 26000/32660
29.33/15.31	c cleaning 8018 clauses out of 16044 with flag 35002/41662
35.62/18.44	c cleaning 9009 clauses out of 18025 with flag 45001/51661
37.91/19.63	c  And the winner is CuttingPlanes
37.98/20.08	c Got one! Elapsed wall clock time (in seconds):19.969
37.98/20.08	o 41
39.26/20.72	c cleaning 7335 clauses out of 14679 with flag 2001/57324
43.10/22.76	c cleaning 6666 clauses out of 13344 with flag 8001/63324
47.38/24.95	c cleaning 6832 clauses out of 13678 with flag 15001/70324
52.49/27.53	c cleaning 7418 clauses out of 14845 with flag 23000/78323
58.37/30.54	c cleaning 8211 clauses out of 16427 with flag 32000/87323
64.39/33.69	c cleaning 9102 clauses out of 18216 with flag 42000/97323
71.44/37.21	c cleaning 10053 clauses out of 20115 with flag 53001/108324
79.09/41.13	c cleaning 11023 clauses out of 22061 with flag 65000/120323
87.93/45.61	c cleaning 12015 clauses out of 24038 with flag 78000/133323
97.09/50.35	c cleaning 13003 clauses out of 26023 with flag 92000/147323
107.93/55.88	c cleaning 14003 clauses out of 28022 with flag 107002/162325
118.35/61.18	c cleaning 15004 clauses out of 30017 with flag 123000/178323
129.97/67.11	c cleaning 16002 clauses out of 32015 with flag 140002/195325
142.04/73.29	c cleaning 17004 clauses out of 34011 with flag 158000/213323
154.24/79.48	c cleaning 18001 clauses out of 36007 with flag 177000/232323
167.61/86.28	c cleaning 18995 clauses out of 38007 with flag 197001/252324
182.17/93.64	c cleaning 19997 clauses out of 40012 with flag 218001/273324
197.05/101.22	c cleaning 21000 clauses out of 42014 with flag 240000/295323
213.17/109.43	c cleaning 22003 clauses out of 44014 with flag 263000/318323
228.72/117.33	c cleaning 22997 clauses out of 46011 with flag 287000/342323
246.26/126.25	c  And the winner is CuttingPlanes
246.26/126.28	c Got one! Elapsed wall clock time (in seconds):126.173
246.26/126.28	o 40
249.84/128.06	c cleaning 26016 clauses out of 52041 with flag 5000/371350
254.04/130.34	c cleaning 16009 clauses out of 32026 with flag 11001/377351
258.57/132.79	c cleaning 11505 clauses out of 23017 with flag 18001/384351
263.71/135.48	c cleaning 9748 clauses out of 19511 with flag 26000/392350
270.05/138.70	c cleaning 9374 clauses out of 18763 with flag 35000/401350
277.24/142.54	c cleaning 9692 clauses out of 19391 with flag 45002/411352
285.15/146.66	c cleaning 10344 clauses out of 20698 with flag 56001/422351
293.45/150.93	c cleaning 11167 clauses out of 22353 with flag 68000/434350
302.36/155.58	c cleaning 12088 clauses out of 24188 with flag 81002/447352
312.51/160.89	c cleaning 13043 clauses out of 26098 with flag 95000/461350
322.39/165.95	c cleaning 14020 clauses out of 28055 with flag 110000/476350
333.51/171.62	c cleaning 15011 clauses out of 30035 with flag 126000/492350
344.76/177.44	c cleaning 16002 clauses out of 32025 with flag 143001/509351
357.06/183.82	c cleaning 17005 clauses out of 34023 with flag 161001/527351
369.76/190.37	c cleaning 18002 clauses out of 36017 with flag 180000/546350
383.58/197.41	c cleaning 19003 clauses out of 38016 with flag 200001/566351
397.66/204.67	c cleaning 19995 clauses out of 40012 with flag 221000/587350
413.46/212.88	c cleaning 21001 clauses out of 42017 with flag 243000/609350
430.27/221.43	c cleaning 22001 clauses out of 44016 with flag 266000/632350
447.08/230.01	c cleaning 23002 clauses out of 46015 with flag 290000/656350
465.89/239.64	c cleaning 24000 clauses out of 48013 with flag 315000/681350
486.53/250.27	c cleaning 24999 clauses out of 50014 with flag 341001/707351
508.11/261.27	c cleaning 25998 clauses out of 52014 with flag 368000/734350
531.09/272.94	c cleaning 27004 clauses out of 54016 with flag 396000/762350
551.27/283.24	c cleaning 28000 clauses out of 56012 with flag 425000/791350
573.85/294.85	c cleaning 28998 clauses out of 58013 with flag 455001/821351
597.76/307.08	c cleaning 29999 clauses out of 60015 with flag 486001/852351
600.32/308.56	c  And the winner is CuttingPlanes
600.32/308.57	c Got one! Elapsed wall clock time (in seconds):308.455
600.32/308.57	o 39
602.50/309.63	c cleaning 17741 clauses out of 35487 with flag 3001/857822
606.88/312.06	c cleaning 11867 clauses out of 23745 with flag 9000/863821
612.01/314.97	c cleaning 9434 clauses out of 18879 with flag 16001/870822
617.76/318.01	c cleaning 8720 clauses out of 17445 with flag 24001/878822
624.31/321.52	c cleaning 8861 clauses out of 17725 with flag 33001/887822
631.65/325.40	c cleaning 9429 clauses out of 18863 with flag 43000/897821
639.56/329.70	c cleaning 10210 clauses out of 20435 with flag 54001/908822
648.53/334.49	c cleaning 11108 clauses out of 22226 with flag 66002/920823
658.01/339.44	c cleaning 12050 clauses out of 24116 with flag 79000/933821
668.11/344.75	c cleaning 13029 clauses out of 26067 with flag 93001/947822
679.19/350.61	c cleaning 14014 clauses out of 28038 with flag 108001/962822
690.34/356.50	c cleaning 15003 clauses out of 30024 with flag 124001/978822
703.20/363.12	c cleaning 16007 clauses out of 32022 with flag 141002/995823
715.91/369.75	c cleaning 17001 clauses out of 34014 with flag 159001/1013822
729.76/377.08	c cleaning 18001 clauses out of 36012 with flag 178000/1032821
744.06/384.40	c cleaning 18998 clauses out of 38011 with flag 198000/1052821
759.16/392.24	c cleaning 20000 clauses out of 40014 with flag 219001/1073822
775.86/400.80	c cleaning 20999 clauses out of 42013 with flag 241000/1095821
793.94/410.28	c cleaning 22001 clauses out of 44015 with flag 264001/1118822
810.41/418.75	c cleaning 22996 clauses out of 46014 with flag 288001/1142822
829.31/428.48	c cleaning 23999 clauses out of 48017 with flag 313000/1167821
850.80/439.42	c cleaning 25005 clauses out of 50019 with flag 339001/1193822
873.85/451.38	c cleaning 26004 clauses out of 52013 with flag 366000/1220821
897.76/463.51	c cleaning 27000 clauses out of 54009 with flag 394000/1248821
919.86/474.88	c cleaning 27989 clauses out of 56010 with flag 423001/1277822
942.36/486.35	c cleaning 29005 clauses out of 58021 with flag 453001/1307822
967.01/499.00	c cleaning 29999 clauses out of 60016 with flag 484001/1338822
993.74/512.65	c cleaning 31002 clauses out of 62017 with flag 516001/1370822
1017.60/524.87	c cleaning 31499 clauses out of 63015 with flag 548001/1402822
1042.49/537.53	c cleaning 31748 clauses out of 63517 with flag 580002/1434823
1065.93/549.64	c cleaning 31875 clauses out of 63767 with flag 612000/1466821
1092.81/563.30	c cleaning 31939 clauses out of 63896 with flag 644004/1498825
1117.50/575.97	c cleaning 31971 clauses out of 63954 with flag 676001/1530822
1144.21/589.59	c cleaning 31984 clauses out of 63982 with flag 708000/1562821
1168.81/602.26	c cleaning 31989 clauses out of 63998 with flag 740000/1594821
1195.30/615.79	c cleaning 31996 clauses out of 64010 with flag 772001/1626822
1221.61/629.22	c cleaning 32000 clauses out of 64013 with flag 804000/1658821
1248.67/642.97	c cleaning 31997 clauses out of 64013 with flag 836000/1690821
1276.71/657.38	c cleaning 32003 clauses out of 64019 with flag 868003/1722824
1302.20/670.31	c cleaning 32002 clauses out of 64013 with flag 900000/1754821
1326.68/682.85	c cleaning 31998 clauses out of 64013 with flag 932002/1786823
1351.35/695.43	c cleaning 31999 clauses out of 64013 with flag 964000/1818821
1377.17/708.73	c cleaning 32002 clauses out of 64014 with flag 996000/1850821
1402.85/721.86	c cleaning 31998 clauses out of 64013 with flag 1028001/1882822
1428.93/735.18	c cleaning 31997 clauses out of 64015 with flag 1060001/1914822
1454.03/747.99	c cleaning 32004 clauses out of 64019 with flag 1092002/1946823
1480.02/761.35	c cleaning 31997 clauses out of 64013 with flag 1124000/1978821
1507.47/775.33	c cleaning 32001 clauses out of 64016 with flag 1156000/2010821
1532.54/788.10	c cleaning 32001 clauses out of 64016 with flag 1188001/2042822
1559.17/801.76	c cleaning 32000 clauses out of 64015 with flag 1220001/2074822
1586.52/815.84	c cleaning 31999 clauses out of 64014 with flag 1252000/2106821
1614.33/830.07	c cleaning 31997 clauses out of 64016 with flag 1284001/2138822
1641.52/843.96	c cleaning 31999 clauses out of 64018 with flag 1316000/2170821
1664.11/855.59	c cleaning 32004 clauses out of 64020 with flag 1348001/2202822
1688.03/867.92	c cleaning 32002 clauses out of 64015 with flag 1380000/2234821
1713.36/880.91	c cleaning 31997 clauses out of 64013 with flag 1412000/2266821
1741.79/895.49	c cleaning 32002 clauses out of 64017 with flag 1444001/2298822
1768.32/909.08	c cleaning 31996 clauses out of 64014 with flag 1476000/2330821
1795.01/922.86	c cleaning 31999 clauses out of 64018 with flag 1508000/2362821
1800.18/925.72	c starts		: 29
1800.18/925.72	c conflicts		: 5324
1800.18/925.72	c decisions		: 32944
1800.18/925.72	c propagations		: 3332604
1800.18/925.72	c inspects		: 272151315
1800.18/925.72	c shortcuts		: 0
1800.18/925.72	c learnt literals	: 0
1800.18/925.72	c learnt binary clauses	: 0
1800.18/925.72	c learnt ternary clauses	: 0
1800.18/925.72	c learnt constraints	: 5322
1800.18/925.72	c ignored constraints	: 0
1800.18/925.72	c root simplifications	: 0
1800.18/925.72	c removed literals (reason simplification)	: 0
1800.18/925.72	c reason swapping (by a shorter reason)	: 0
1800.18/925.72	c Calls to reduceDB	: 0
1800.18/925.72	c number of reductions to clauses (during analyze)	: 0
1800.18/925.72	c number of learned constraints concerned by reduction	: 0
1800.18/925.72	c number of learning phase by resolution	: 0
1800.18/925.72	c number of learning phase by cutting planes	: 0
1800.18/925.72	c speed (assignments/second)	: 5399.954630522317
1800.18/925.72	c non guided choices	0
1800.18/925.73	c learnt constraints type 
1800.18/925.73	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.18/925.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 159
1800.18/925.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5162
1800.18/925.73	c constraints type 
1800.18/925.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1800.18/925.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.18/925.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1800.18/925.73	c constraints type 
1800.18/925.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1800.18/925.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.18/925.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
1800.18/925.73	s SATISFIABLE
1800.18/925.73	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 
1800.18/925.73	c objective function=39
1800.18/925.73	c Total wall clock time (in seconds): 925.618

Verifier Data 

OK	39

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453936-1307194560/watcher-3453936-1307194560 -o /tmp/evaluation-result-3453936-1307194560/solver-3453936-1307194560 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453936-1307194560.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: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 2984 0 1 0 0 0 0 0 25 0 2 0 831055581 10681323520 2687 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2607745 2701 906 9 0 2598901 0
[pid=21610/tid=21611] ppid=21608 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 4502 0 1 0 0 0 0 0 25 0 2 0 831055582 10694979584 5318 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.032094 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 10732 0 1 0 1 1 0 0 25 0 10 0 831055581 10705932288 10433 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2613753 10434 1515 9 0 2604501 0
[pid=21610/tid=21611] ppid=21608 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 9614 0 1 0 0 1 0 0 25 0 10 0 831055582 10705932288 10436 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507958654488 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012

[startup+0.101072 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10540172 CPUtime=0.1 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 13029 0 1 0 8 2 0 0 25 0 18 0 831055581 10793136128 12727 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2635043 12727 2092 9 0 2625777 0
[pid=21610/tid=21611] ppid=21608 vsize=10540172 CPUtime=0.08 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 11128 0 1 0 7 1 0 0 18 0 18 0 831055582 10793136128 12727 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540172

[startup+0.301004 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10541188 CPUtime=0.46 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 15621 0 1 0 44 2 0 0 25 0 18 0 831055581 10794176512 14964 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2635297 14964 2208 9 0 2626031 0
[pid=21610/tid=21611] ppid=21608 vsize=10541188 CPUtime=0.28 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 12813 0 1 0 26 2 0 0 18 0 18 0 831055582 10794176512 14965 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505561772 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541188

[startup+0.700939 s]
/proc/loadavg: 3.62 3.63 3.63 4/519 21610
/proc/meminfo: memFree=28111180/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10549300 CPUtime=1.63 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 34451 0 1 0 159 4 0 0 25 0 18 0 831055581 10802483200 30875 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2637325 30878 2235 9 0 2628059 0
[pid=21610/tid=21611] ppid=21608 vsize=10549300 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) R 21608 21610 16811 0 -1 4202560 23530 0 1 0 65 3 0 0 18 0 18 0 831055582 10802483200 30879 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505679166 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10549300

[startup+1.5008 s]
/proc/loadavg: 3.62 3.63 3.63 3/538 21632
/proc/meminfo: memFree=27982944/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=3.22 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 48867 0 1 0 316 6 0 0 25 0 22 0 831055581 10806693888 45289 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 45295 2246 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25147 0 1 0 68 3 0 0 17 0 22 0 831055582 10806693888 45300 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45302 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45308 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45311 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45315 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45321 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45323 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45327 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 45331 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831055585 10806693888 45334 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 45340 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 45342 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 45347 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=0.83 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) R 21608 21610 16811 0 -1 4202560 3888 0 0 0 83 0 0 0 15 0 22 0 831055587 10806693888 45351 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507958467714 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=0.86 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) R 21608 21610 16811 0 -1 4202560 5989 0 0 0 86 0 0 0 18 0 22 0 831055587 10806693888 45353 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 47507960069120 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 45359 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 45362 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21631] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21631/stat : 21631 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831055657 10806693888 45366 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10553412

[startup+3.10153 s]
/proc/loadavg: 3.81 3.67 3.64 5/541 21638
/proc/meminfo: memFree=27747460/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=6.09 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 174622 0 1 0 588 21 0 0 25 0 22 0 831055581 10806693888 171043 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 171047 2247 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25339 0 1 0 69 3 0 0 17 0 22 0 831055582 10806693888 171051 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171053 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171055 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171059 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171060 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171063 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171067 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171067 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055584 10806693888 171070 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 831055585 10806693888 171073 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 171074 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831055585 10806693888 171078 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 171079 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=0.92 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3902 0 0 0 92 0 0 0 15 0 22 0 831055587 10806693888 171082 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=0.95 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6000 0 0 0 95 0 0 0 15 0 22 0 831055587 10806693888 171086 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 171086 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 171089 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21631] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21631/stat : 21631 (java) S 21608 21610 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831055657 10806693888 171092 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 10553412

[startup+6.301 s]
/proc/loadavg: 3.81 3.67 3.64 7/541 21644
/proc/meminfo: memFree=26969096/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=11.73 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 297989 0 1 0 1139 34 0 0 25 0 22 0 831055581 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 294395 2272 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.73 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25341 0 1 0 70 3 0 0 15 0 22 0 831055582 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 635 0 0 0 0 0 0 0 16 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 2321 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 2510 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1643 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.02 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2136 0 0 0 2 0 0 0 18 0 22 0 831055584 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=0.2 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 9161 0 0 0 19 1 0 0 16 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3924 0 0 0 100 0 0 0 16 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.06 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6013 0 0 0 106 0 0 0 15 0 22 0 831055587 10806693888 294395 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0

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

/proc/meminfo: memFree=21939788/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1598.93 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 764904 0 1 0 159810 83 0 0 25 0 22 0 831055581 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 761096 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25403 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.61 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 61 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.64 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 528 0 0 0 64 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.7 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1212 0 0 0 70 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.65 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 65 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4058 0 0 0 75 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.67 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3143 0 0 0 67 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.6 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1961 0 0 0 60 0 0 0 16 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.63 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2349 0 0 0 63 0 0 0 15 0 22 0 831055584 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=46.29 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 87287 0 0 0 4621 8 0 0 15 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=482.73 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 48273 0 0 0 25 0 22 0 831086438 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506052103 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=482.74 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 48274 0 0 0 25 0 22 0 831086438 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506114559 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 761096 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1598.93
Current children cumulated vsize (KiB) 10553412

[startup+882.302 s]
/proc/loadavg: 4.06 3.97 3.82 5/541 21742
/proc/meminfo: memFree=21910004/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1715.55 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 772300 0 1 0 171471 84 0 0 25 0 22 0 831055581 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 768483 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25408 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.65 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 65 0 0 0 15 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 534 0 0 0 72 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.73 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1212 0 0 0 73 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.67 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 67 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.78 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4059 0 0 0 78 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.69 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3143 0 0 0 69 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.66 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1965 0 0 0 66 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.69 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2349 0 0 0 69 0 0 0 16 0 22 0 831055584 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=49.79 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 94665 0 0 0 4970 9 0 0 16 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=539.12 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 53912 0 0 0 20 0 22 0 831086438 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912505909439 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=539.13 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 53913 0 0 0 20 0 22 0 831086438 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506039865 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 768483 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1715.55
Current children cumulated vsize (KiB) 10553412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+925.701 s]
/proc/loadavg: 4.03 3.97 3.82 5/541 21744
/proc/meminfo: memFree=21830260/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=10553412 CPUtime=1800.18 cores=1,3,5,7
/proc/21610/stat : 21610 (java) S 21608 21610 16811 0 -1 4202496 773077 0 1 0 179934 84 0 0 25 0 22 0 831055581 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 2638353 769249 2273 9 0 2629087 0
[pid=21610/tid=21611] ppid=21608 vsize=10553412 CPUtime=0.75 cores=1,3,5,7
/proc/21610/task/21611/stat : 21611 (java) S 21608 21610 16811 0 -1 4202560 25411 0 1 0 72 3 0 0 15 0 22 0 831055582 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21613] ppid=21608 vsize=10553412 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21613/stat : 21613 (java) S 21608 21610 16811 0 -1 4202560 1203 0 0 0 68 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21614] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21614/stat : 21614 (java) S 21608 21610 16811 0 -1 4202560 534 0 0 0 72 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21615] ppid=21608 vsize=10553412 CPUtime=0.77 cores=1,3,5,7
/proc/21610/task/21615/stat : 21615 (java) S 21608 21610 16811 0 -1 4202560 1215 0 0 0 77 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21616] ppid=21608 vsize=10553412 CPUtime=0.72 cores=1,3,5,7
/proc/21610/task/21616/stat : 21616 (java) S 21608 21610 16811 0 -1 4202560 685 0 0 0 72 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21617] ppid=21608 vsize=10553412 CPUtime=0.8 cores=1,3,5,7
/proc/21610/task/21617/stat : 21617 (java) S 21608 21610 16811 0 -1 4202560 4059 0 0 0 80 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21618] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21618/stat : 21618 (java) S 21608 21610 16811 0 -1 4202560 3144 0 0 0 71 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21619] ppid=21608 vsize=10553412 CPUtime=0.68 cores=1,3,5,7
/proc/21610/task/21619/stat : 21619 (java) S 21608 21610 16811 0 -1 4202560 1965 0 0 0 68 0 0 0 15 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21620] ppid=21608 vsize=10553412 CPUtime=0.71 cores=1,3,5,7
/proc/21610/task/21620/stat : 21620 (java) S 21608 21610 16811 0 -1 4202560 2351 0 0 0 71 0 0 0 16 0 22 0 831055584 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21621] ppid=21608 vsize=10553412 CPUtime=52.06 cores=1,3,5,7
/proc/21610/task/21621/stat : 21621 (java) S 21608 21610 16811 0 -1 4202560 95429 0 0 0 5197 9 0 0 15 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 0 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21622] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21622/stat : 21622 (java) S 21608 21610 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21623] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21623/stat : 21623 (java) S 21608 21610 16811 0 -1 4202560 12 0 0 0 0 0 0 0 17 0 22 0 831055585 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 7 0 0 0
[pid=21610/tid=21624] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21624/stat : 21624 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658970033 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21625] ppid=21608 vsize=10553412 CPUtime=1.11 cores=1,3,5,7
/proc/21610/task/21625/stat : 21625 (java) S 21608 21610 16811 0 -1 4202560 3927 0 0 0 111 0 0 0 16 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21626] ppid=21608 vsize=10553412 CPUtime=1.28 cores=1,3,5,7
/proc/21610/task/21626/stat : 21626 (java) S 21608 21610 16811 0 -1 4202560 6051 0 0 0 128 0 0 0 15 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 5 0 0 0
[pid=21610/tid=21627] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21627/stat : 21627 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962329 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
[pid=21610/tid=21628] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21628/stat : 21628 (java) S 21608 21610 16811 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831055587 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21644] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21644/stat : 21644 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831056023 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 1 0 0 0
[pid=21610/tid=21726] ppid=21608 vsize=10553412 CPUtime=580.21 cores=1,3,5,7
/proc/21610/task/21726/stat : 21726 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 58021 0 0 0 25 0 22 0 831086438 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506052430 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=10553412 CPUtime=580.22 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4202560 0 0 0 0 58022 0 0 0 25 0 22 0 831086438 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 46912506070236 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21610/tid=21728] ppid=21608 vsize=10553412 CPUtime=0 cores=1,3,5,7
/proc/21610/task/21728/stat : 21728 (java) S 21608 21610 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831086439 10806693888 769249 33554432000 1073741824 1073778376 140737318549216 18446744073709551615 210658962944 0 4 0 16800975 18446604459521930176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10553412

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

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

[startup+925.825 s]
/proc/loadavg: 4.03 3.97 3.82 5/541 21744
/proc/meminfo: memFree=21830260/32951132 swapFree=57925096/67111528
[pid=21610] ppid=21608 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/21610/stat : 21610 (java) Z 21608 21610 16811 0 -1 4203548 773105 0 1 0 179938 92 0 0 17 0 2 0 831055581 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21610/statm: 0 0 0 0 0 0 0
[pid=21610/tid=21727] ppid=21608 vsize=0 CPUtime=580.3 cores=1,3,5,7
/proc/21610/task/21727/stat : 21727 (java) R 21608 21610 16811 0 -1 4203588 0 0 0 0 58023 7 0 0 25 0 2 0 831086438 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 925.858
CPU time (s): 1800.35
CPU user time (s): 1799.39
CPU system time (s): 0.957854
CPU usage (%): 194.452
Max. virtual memory (cumulated for all children) (KiB): 10553412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773105
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24460
involuntary context switches= 23408

runsolver used 4.71828 second user time and 11.1773 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-04 15:36:00
IDJOB=3453936
IDBENCH=48140
IDSOLVER=1950
FILE ID=node129/3453936-1307194560
RUNJOBID= node129-1307194055-21153
PBS_JOBID= 13508828
Free space on /tmp= 73880 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453936-1307194560/watcher-3453936-1307194560 -o /tmp/evaluation-result-3453936-1307194560/solver-3453936-1307194560 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453936-1307194560.opb

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=1626412905

node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28111212 kB
Buffers:        323268 kB
Cached:        2145872 kB
SwapCached:      49348 kB
Active:        1380772 kB
Inactive:      3175148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28111212 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:            1060 kB
Writeback:           0 kB
AnonPages:     2048916 kB
Mapped:          23140 kB
Slab:           154692 kB
PageTables:      60664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 157689584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node129 at 2011-06-04 15:51:27