Trace number 3454494

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)-34 1800.32 942.295

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
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 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454494-1307189434.opb
0.11/0.11	c reading problem ... 
0.96/0.57	c ... done. Wall clock time 0.466s.
0.96/0.57	c #vars     760
0.96/0.57	c #constraints  41619
0.96/0.57	c constraints type 
0.96/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41619
0.96/0.57	c constraints type 
0.96/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41619
0.96/0.59	c  And the winner is Resolution
1.09/1.08	c SATISFIABLE
1.09/1.08	c OPTIMIZING...
1.09/1.08	c Got one! Elapsed wall clock time (in seconds):0.974
1.09/1.08	o -28
1.32/1.16	c  And the winner is Resolution
1.79/1.59	c Got one! Elapsed wall clock time (in seconds):1.481
1.79/1.59	o -29
2.45/1.81	c  And the winner is Resolution
2.47/2.09	c Got one! Elapsed wall clock time (in seconds):1.986
2.47/2.09	o -30
2.81/2.25	c  And the winner is Resolution
2.93/2.60	c Got one! Elapsed wall clock time (in seconds):2.493
2.93/2.60	o -31
3.32/2.83	c  And the winner is CuttingPlanes
3.39/3.11	c Got one! Elapsed wall clock time (in seconds):2.997
3.39/3.11	o -32
4.82/3.83	c cleaning 3207 clauses out of 6413 with flag 4000/6413
7.11/4.92	c cleaning 4604 clauses out of 9207 with flag 10001/12414
9.66/6.20	c cleaning 5802 clauses out of 11603 with flag 17001/19414
12.67/7.74	c cleaning 6901 clauses out of 13801 with flag 25001/27414
16.33/9.62	c cleaning 7934 clauses out of 15899 with flag 34000/36413
20.47/11.75	c cleaning 8983 clauses out of 17966 with flag 44001/46414
25.22/14.21	c cleaning 9991 clauses out of 19982 with flag 55000/57413
30.71/16.92	c cleaning 10996 clauses out of 21992 with flag 67001/69414
36.49/19.99	c cleaning 11996 clauses out of 23995 with flag 80000/82413
42.53/23.10	c cleaning 12988 clauses out of 25999 with flag 94000/96413
49.72/26.78	c cleaning 14003 clauses out of 28011 with flag 109000/111413
56.71/30.35	c cleaning 15002 clauses out of 30009 with flag 125001/127414
64.40/34.31	c cleaning 16001 clauses out of 32006 with flag 142000/144413
73.15/38.87	c cleaning 17001 clauses out of 34005 with flag 160000/162413
82.89/43.87	c cleaning 18001 clauses out of 36005 with flag 179001/181414
92.21/48.69	c cleaning 19002 clauses out of 38003 with flag 199000/201413
103.80/54.64	c cleaning 19998 clauses out of 40001 with flag 220000/222413
115.90/60.82	c cleaning 20995 clauses out of 42004 with flag 242001/244414
129.77/67.93	c cleaning 22005 clauses out of 44009 with flag 265001/267414
140.84/73.64	c cleaning 23000 clauses out of 46003 with flag 289000/291413
154.92/80.93	c cleaning 23995 clauses out of 48003 with flag 314000/316413
170.18/88.71	c cleaning 25001 clauses out of 50008 with flag 340000/342413
185.39/96.58	c cleaning 26002 clauses out of 52007 with flag 367000/369413
204.58/106.34	c cleaning 27001 clauses out of 54005 with flag 395000/397413
218.77/113.77	c cleaning 28003 clauses out of 56005 with flag 424001/426414
235.56/122.35	c cleaning 28998 clauses out of 58001 with flag 454000/456413
254.90/132.29	c cleaning 29994 clauses out of 60003 with flag 485000/487413
280.84/145.43	c cleaning 30999 clauses out of 62009 with flag 517000/519413
282.72/146.75	c  And the winner is Resolution
284.77/148.74	c Got one! Elapsed wall clock time (in seconds):148.632
284.77/148.74	o -33
286.12/149.50	c cleaning 18108 clauses out of 36224 with flag 3000/524627
289.48/151.30	c cleaning 12047 clauses out of 24116 with flag 9000/530627
293.19/153.43	c cleaning 9532 clauses out of 19070 with flag 16001/537628
297.49/155.85	c cleaning 8765 clauses out of 17537 with flag 24000/545627
302.76/158.89	c cleaning 8880 clauses out of 17772 with flag 33000/554627
308.66/162.04	c cleaning 9439 clauses out of 18893 with flag 43001/564628
314.03/164.98	c cleaning 10221 clauses out of 20453 with flag 54000/575627
320.35/168.36	c cleaning 11109 clauses out of 22232 with flag 66000/587627
327.99/172.53	c cleaning 12052 clauses out of 24124 with flag 79001/600628
336.16/176.81	c cleaning 13027 clauses out of 26071 with flag 93000/614627
345.64/181.87	c cleaning 14013 clauses out of 28044 with flag 108000/629627
352.94/185.71	c cleaning 15012 clauses out of 30031 with flag 124000/645627
361.24/190.29	c cleaning 16005 clauses out of 32019 with flag 141000/662627
370.50/195.12	c cleaning 17002 clauses out of 34014 with flag 159000/680627
380.35/200.37	c cleaning 18004 clauses out of 36013 with flag 178001/699628
393.04/206.99	c cleaning 18996 clauses out of 38008 with flag 198000/719627
406.04/213.81	c cleaning 19997 clauses out of 40012 with flag 219000/740627
419.71/220.95	c cleaning 20997 clauses out of 42016 with flag 241001/762628
434.34/228.53	c cleaning 22003 clauses out of 44019 with flag 264001/785628
451.57/237.45	c cleaning 23008 clauses out of 46015 with flag 288000/809627
466.14/245.14	c cleaning 24004 clauses out of 48008 with flag 313001/834628
479.67/252.16	c cleaning 0 clauses out of 5591 with flag 0/5592
486.41/255.66	c cleaning 25001 clauses out of 50003 with flag 339000/860627
509.84/267.64	c cleaning 25998 clauses out of 52003 with flag 366001/887628
534.15/280.22	c cleaning 27002 clauses out of 54004 with flag 394000/915627
551.19/289.04	c cleaning 27989 clauses out of 56002 with flag 423000/944627
566.75/297.16	c cleaning 29003 clauses out of 58013 with flag 453000/974627
585.10/306.61	c cleaning 29986 clauses out of 60010 with flag 484000/1005627
605.73/317.45	c cleaning 31005 clauses out of 62024 with flag 516000/1037627
625.67/327.77	c cleaning 32005 clauses out of 64019 with flag 549000/1070627
650.87/340.68	c cleaning 33005 clauses out of 66014 with flag 583000/1104627
672.57/351.87	c cleaning 33997 clauses out of 68010 with flag 618001/1139628
701.94/367.00	c cleaning 35001 clauses out of 70012 with flag 654000/1175627
730.12/381.49	c cleaning 36000 clauses out of 72011 with flag 691000/1212627
752.57/393.05	c cleaning 36998 clauses out of 74011 with flag 729000/1250627
781.24/407.78	c cleaning 38002 clauses out of 76014 with flag 768001/1289628
812.53/423.91	c cleaning 38993 clauses out of 78011 with flag 808000/1329627
845.17/440.65	c cleaning 39997 clauses out of 80018 with flag 849000/1370627
866.40/451.69	c cleaning 41000 clauses out of 82021 with flag 891000/1412627
892.84/465.24	c cleaning 41510 clauses out of 83021 with flag 933000/1454627
927.66/483.28	c cleaning 41745 clauses out of 83512 with flag 975001/1496628
960.04/499.86	c cleaning 41876 clauses out of 83767 with flag 1017001/1538628
986.31/513.39	c cleaning 41933 clauses out of 83890 with flag 1059000/1580627
1020.07/530.68	c cleaning 41971 clauses out of 83957 with flag 1101000/1622627
1060.25/551.38	c cleaning 41984 clauses out of 83987 with flag 1143001/1664628
1094.56/568.95	c cleaning 41986 clauses out of 84002 with flag 1185000/1706627
1132.95/588.57	c cleaning 42000 clauses out of 84017 with flag 1227001/1748628
1163.42/604.25	c cleaning 41990 clauses out of 84016 with flag 1269000/1790627
1195.49/620.97	c cleaning 42008 clauses out of 84026 with flag 1311000/1832627
1233.88/640.56	c cleaning 41997 clauses out of 84019 with flag 1353001/1874628
1277.73/662.97	c cleaning 42011 clauses out of 84021 with flag 1395000/1916627
1323.81/686.45	c cleaning 42006 clauses out of 84011 with flag 1437001/1958628
1371.33/710.91	c cleaning 41998 clauses out of 84004 with flag 1479000/2000627
1415.53/733.55	c cleaning 41999 clauses out of 84006 with flag 1521000/2042627
1436.15/744.38	c  And the winner is Resolution
1438.04/746.14	c Got one! Elapsed wall clock time (in seconds):746.028
1438.04/746.14	o -34
1441.98/748.11	c cleaning 42733 clauses out of 85465 with flag 5001/2086085
1445.91/750.58	c cleaning 24359 clauses out of 48732 with flag 11001/2092085
1450.90/753.73	c cleaning 15671 clauses out of 31372 with flag 18000/2099084
1455.31/756.48	c cleaning 11837 clauses out of 23701 with flag 26000/2107084
1460.70/759.69	c cleaning 10418 clauses out of 20865 with flag 35001/2116085
1466.47/763.04	c cleaning 10208 clauses out of 20446 with flag 45000/2126084
1473.00/767.02	c cleaning 10611 clauses out of 21238 with flag 56000/2137084
1479.99/771.09	c cleaning 11314 clauses out of 22627 with flag 68000/2149084
1488.16/775.61	c cleaning 12157 clauses out of 24314 with flag 81001/2162085
1496.21/780.15	c cleaning 13072 clauses out of 26156 with flag 95000/2176084
1505.58/785.48	c cleaning 14038 clauses out of 28084 with flag 110000/2191084
1515.61/790.98	c cleaning 15016 clauses out of 30046 with flag 126000/2207084
1526.94/797.14	c cleaning 16010 clauses out of 32030 with flag 143000/2224084
1537.76/803.02	c cleaning 17010 clauses out of 34020 with flag 161000/2242084
1549.83/809.77	c cleaning 17996 clauses out of 36010 with flag 180000/2261084
1563.25/816.92	c cleaning 19007 clauses out of 38014 with flag 200000/2281084
1577.22/824.44	c cleaning 19988 clauses out of 40007 with flag 221000/2302084
1593.19/832.94	c cleaning 21011 clauses out of 42021 with flag 243002/2324086
1609.93/842.01	c cleaning 22001 clauses out of 44008 with flag 266000/2347084
1626.38/850.77	c cleaning 23000 clauses out of 46007 with flag 290000/2371084
1646.72/861.46	c cleaning 23999 clauses out of 48007 with flag 315000/2396084
1668.20/872.69	c cleaning 24997 clauses out of 50008 with flag 341000/2422084
1690.89/884.76	c cleaning 26005 clauses out of 52012 with flag 368001/2449085
1714.60/897.20	c cleaning 27001 clauses out of 54007 with flag 396001/2477085
1733.83/907.22	c cleaning 27985 clauses out of 56005 with flag 425000/2506084
1754.16/917.97	c cleaning 28997 clauses out of 58020 with flag 455000/2536084
1779.37/931.36	c cleaning 30007 clauses out of 60023 with flag 486000/2567084
1800.02/942.12	c starts		: 250
1800.02/942.12	c conflicts		: 2597091
1800.02/942.12	c decisions		: 2787348
1800.02/942.12	c propagations		: 15709131
1800.02/942.12	c inspects		: 3105899017
1800.02/942.12	c shortcuts		: 0
1800.02/942.12	c learnt literals	: 0
1800.02/942.12	c learnt binary clauses	: 0
1800.02/942.12	c learnt ternary clauses	: 0
1800.02/942.12	c learnt constraints	: 2597091
1800.02/942.12	c ignored constraints	: 0
1800.02/942.12	c root simplifications	: 0
1800.02/942.12	c removed literals (reason simplification)	: 34135562
1800.02/942.12	c reason swapping (by a shorter reason)	: 0
1800.02/942.12	c Calls to reduceDB	: 108
1800.02/942.12	c number of reductions to clauses (during analyze)	: 0
1800.02/942.12	c number of learned constraints concerned by reduction	: 0
1800.02/942.12	c number of learning phase by resolution	: 0
1800.02/942.12	c number of learning phase by cutting planes	: 0
1800.02/942.12	c speed (assignments/second)	: 80153.95919117084
1800.02/942.12	c non guided choices	0
1800.02/942.15	c learnt constraints type 
1800.02/942.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 60068
1800.02/942.15	c constraints type 
1800.02/942.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/942.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41619
1800.02/942.15	c constraints type 
1800.02/942.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41619
1800.02/942.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.02/942.15	s SATISFIABLE
1800.02/942.15	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 
1800.02/942.15	c objective function=-34
1800.02/942.15	c Total wall clock time (in seconds): 942.045

Verifier Data 

OK	-34

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-3454494-1307189434/watcher-3454494-1307189434 -o /tmp/evaluation-result-3454494-1307189434/solver-3454494-1307189434 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454494-1307189434.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.91 3.79 3.07 3/547 9041
/proc/meminfo: memFree=22082116/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 1277 0 0 0 0 0 0 0 18 0 2 0 811359298 32362496 993 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 8437 999 769 9 0 386 0
[pid=9041/tid=9042] ppid=9039 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) R 9039 9041 4512 0 -1 4202560 7926 0 1 0 0 0 0 0 19 0 2 0 811359299 10694979584 8742 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.056811 s]
/proc/loadavg: 3.91 3.79 3.07 3/547 9041
/proc/meminfo: memFree=22082116/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10533152 CPUtime=0.05 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 11547 0 1 0 4 1 0 0 18 0 13 0 811359298 10785947648 11243 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2633288 11243 1691 9 0 2624036 0
[pid=9041/tid=9042] ppid=9039 vsize=10533152 CPUtime=0.03 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) R 9039 9041 4512 0 -1 4202560 10397 0 1 0 3 0 0 0 24 0 13 0 811359299 10785947648 11243 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522126203 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10533152

[startup+0.100781 s]
/proc/loadavg: 3.91 3.79 3.07 3/547 9041
/proc/meminfo: memFree=22082116/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10540284 CPUtime=0.11 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 13111 0 1 0 9 2 0 0 18 0 18 0 811359298 10793250816 12790 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2635071 12790 2092 9 0 2625805 0
[pid=9041/tid=9042] ppid=9039 vsize=10540284 CPUtime=0.08 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) R 9039 9041 4512 0 -1 4202560 11186 0 1 0 7 1 0 0 25 0 18 0 811359299 10793250816 12790 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 47288878951952 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540284

[startup+0.300778 s]
/proc/loadavg: 3.91 3.79 3.07 3/547 9041
/proc/meminfo: memFree=22082116/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10542016 CPUtime=0.48 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 15931 0 1 0 46 2 0 0 18 0 18 0 811359298 10795024384 15144 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2635504 15145 2199 9 0 2626238 0
[pid=9041/tid=9042] ppid=9039 vsize=10542016 CPUtime=0.28 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) R 9039 9041 4512 0 -1 4202560 12918 0 1 0 27 1 0 0 25 0 18 0 811359299 10795024384 15145 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505551892 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542016

[startup+0.700677 s]
/proc/loadavg: 3.91 3.79 3.07 3/547 9041
/proc/meminfo: memFree=22082116/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10550040 CPUtime=1.09 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 39740 0 1 0 103 6 0 0 18 0 19 0 811359298 10803240960 37832 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637510 37832 2229 9 0 2628244 0
[pid=9041/tid=9042] ppid=9039 vsize=10550040 CPUtime=0.56 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33319 0 1 0 52 4 0 0 25 0 19 0 811359299 10803240960 37832 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10550040

[startup+1.50154 s]
/proc/loadavg: 3.68 3.74 3.06 3/566 9063
/proc/meminfo: memFree=21820396/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10550040 CPUtime=1.79 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 47388 0 1 0 173 6 0 0 18 0 19 0 811359298 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637510 42847 2235 9 0 2628244 0
[pid=9041/tid=9042] ppid=9039 vsize=10550040 CPUtime=0.57 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33373 0 1 0 53 4 0 0 21 0 19 0 811359299 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811359300 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811359301 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 0 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 811359302 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 811359302 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811359304 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10550040 CPUtime=0.4 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 2572 0 0 0 40 0 0 0 19 0 19 0 811359304 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10550040 CPUtime=0.6 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 9668 0 0 0 59 1 0 0 16 0 19 0 811359304 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811359304 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9059] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9059/stat : 9059 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811359304 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9062] ppid=9039 vsize=10550040 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9062/stat : 9062 (java) S 9039 9041 4512 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811359357 10803240960 42847 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 10550040

[startup+3.10124 s]
/proc/loadavg: 3.68 3.74 3.06 7/569 9072
/proc/meminfo: memFree=21770896/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10551312 CPUtime=3.39 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 73595 0 1 0 328 11 0 0 18 0 19 0 811359298 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637828 69053 2240 9 0 2628562 0
[pid=9041/tid=9042] ppid=9039 vsize=10551312 CPUtime=0.57 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33466 0 1 0 53 4 0 0 16 0 19 0 811359299 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811359300 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) S 9039 9041 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811359301 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 0 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 811359302 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 811359302 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811359304 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10551312 CPUtime=0.69 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 3044 0 0 0 69 0 0 0 15 0 19 0 811359304 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10551312 CPUtime=0.83 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 9733 0 0 0 82 1 0 0 15 0 19 0 811359304 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811359304 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9059] ppid=9039 vsize=10551312 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9059/stat : 9059 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811359304 10804543488 69053 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10551312

[startup+6.30168 s]
/proc/loadavg: 3.68 3.74 3.06 5/569 9078
/proc/meminfo: memFree=21286652/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10551560 CPUtime=9.78 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 186702 0 1 0 954 24 0 0 18 0 22 0 811359298 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637890 181434 2268 9 0 2628624 0
[pid=9041/tid=9042] ppid=9039 vsize=10551560 CPUtime=0.57 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33499 0 1 0 53 4 0 0 15 0 22 0 811359299 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10551560 CPUtime=0.02 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 1785 0 0 0 2 0 0 0 16 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10551560 CPUtime=0.02 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 1409 0 0 0 2 0 0 0 15 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10551560 CPUtime=0.02 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 4894 0 0 0 2 0 0 0 18 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 1247 0 0 0 0 0 0 0 15 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10551560 CPUtime=0.02 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 3420 0 0 0 2 0 0 0 18 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 2171 0 0 0 0 0 0 0 15 0 22 0 811359300 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10551560 CPUtime=0.25 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) R 9039 9041 4512 0 -1 4202560 16169 0 0 0 24 1 0 0 15 0 22 0 811359301 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 47288882886040 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10551560 CPUtime=0.82 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 3128 0 0 0 82 0 0 0 15 0 22 0 811359304 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10551560 CPUtime=0.9 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 9746 0 0 0 89 1 0 0 16 0 22 0 811359304 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 181434 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=18138668/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10551560 CPUtime=1573.02 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 887076 0 1 0 157193 109 0 0 18 0 22 0 811359298 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637890 881208 2269 9 0 2628624 0
[pid=9041/tid=9042] ppid=9039 vsize=10551560 CPUtime=0.58 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33535 0 1 0 54 4 0 0 15 0 22 0 811359299 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10551560 CPUtime=1.06 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 6843 0 0 0 106 0 0 0 16 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10551560 CPUtime=1.1 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 5236 0 0 0 110 0 0 0 15 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10551560 CPUtime=1.2 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 5251 0 0 0 120 0 0 0 16 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10551560 CPUtime=1.1 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 12079 0 0 0 109 1 0 0 15 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10551560 CPUtime=1.18 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 10338 0 0 0 117 1 0 0 16 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10551560 CPUtime=0.94 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 9472 0 0 0 93 1 0 0 15 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10551560 CPUtime=1.11 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 5423 0 0 0 111 0 0 0 16 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10551560 CPUtime=1.29 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 9124 0 0 0 128 1 0 0 15 0 22 0 811359300 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10551560 CPUtime=69.85 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) S 9039 9041 4512 0 -1 4202560 167531 0 0 0 6967 18 0 0 15 0 22 0 811359301 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 0 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10551560 CPUtime=0.98 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 3139 0 0 0 98 0 0 0 16 0 22 0 811359304 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10551560 CPUtime=1.54 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 10101 0 0 0 153 1 0 0 15 0 22 0 811359304 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9059] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9059/stat : 9059 (java) S 9039 9041 4512 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811359304 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9078] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9078/stat : 9078 (java) S 9039 9041 4512 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811359609 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9105] ppid=9039 vsize=10551560 CPUtime=57.79 cores=1,3,5,7
/proc/9041/task/9105/stat : 9105 (java) R 9039 9041 4512 0 -1 4202560 0 0 0 0 5779 0 0 0 25 0 22 0 811433912 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505806063 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9041/tid=9106] ppid=9039 vsize=10551560 CPUtime=57.79 cores=1,3,5,7
/proc/9041/task/9106/stat : 9106 (java) R 9039 9041 4512 0 -1 4202560 0 0 0 0 5779 0 0 0 25 0 22 0 811433912 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505963803 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9041/tid=9107] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9107/stat : 9107 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433912 10804797440 881208 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1573.02
Current children cumulated vsize (KiB) 10551560

[startup+882.301 s]
/proc/loadavg: 3.77 3.84 3.53 5/569 9113
/proc/meminfo: memFree=18130536/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10551560 CPUtime=1686.09 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 887112 0 1 0 168499 110 0 0 18 0 22 0 811359298 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637890 881230 2269 9 0 2628624 0
[pid=9041/tid=9042] ppid=9039 vsize=10551560 CPUtime=0.58 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33541 0 1 0 54 4 0 0 15 0 22 0 811359299 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10551560 CPUtime=1.14 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 6843 0 0 0 114 0 0 0 15 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10551560 CPUtime=1.22 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 5236 0 0 0 122 0 0 0 15 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10551560 CPUtime=1.27 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 5251 0 0 0 127 0 0 0 15 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10551560 CPUtime=1.2 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 12079 0 0 0 119 1 0 0 16 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10551560 CPUtime=1.25 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 10338 0 0 0 124 1 0 0 16 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10551560 CPUtime=1.02 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 9487 0 0 0 101 1 0 0 15 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10551560 CPUtime=1.23 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 5423 0 0 0 122 1 0 0 16 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10551560 CPUtime=1.34 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 9131 0 0 0 133 1 0 0 16 0 22 0 811359300 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10551560 CPUtime=77.12 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) S 9039 9041 4512 0 -1 4202560 167535 0 0 0 7694 18 0 0 15 0 22 0 811359301 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 0 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10551560 CPUtime=0.98 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 3139 0 0 0 98 0 0 0 16 0 22 0 811359304 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10551560 CPUtime=1.54 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 10101 0 0 0 153 1 0 0 15 0 22 0 811359304 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9059] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9059/stat : 9059 (java) S 9039 9041 4512 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811359304 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9078] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9078/stat : 9078 (java) S 9039 9041 4512 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811359609 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9105] ppid=9039 vsize=10551560 CPUtime=110.35 cores=1,3,5,7
/proc/9041/task/9105/stat : 9105 (java) R 9039 9041 4512 0 -1 4202560 0 0 0 0 11035 0 0 0 25 0 22 0 811433912 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505826764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9041/tid=9106] ppid=9039 vsize=10551560 CPUtime=110.34 cores=1,3,5,7
/proc/9041/task/9106/stat : 9106 (java) R 9039 9041 4512 0 -1 4202560 0 0 0 0 11034 0 0 0 25 0 22 0 811433912 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505932695 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9041/tid=9107] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9107/stat : 9107 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433912 10804797440 881230 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1686.09
Current children cumulated vsize (KiB) 10551560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+942.102 s]
/proc/loadavg: 3.76 3.82 3.54 5/569 9115
/proc/meminfo: memFree=18121296/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=10551560 CPUtime=1800.02 cores=1,3,5,7
/proc/9041/stat : 9041 (java) S 9039 9041 4512 0 -1 4202496 887158 0 1 0 179892 110 0 0 18 0 22 0 811359298 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 2637890 881265 2269 9 0 2628624 0
[pid=9041/tid=9042] ppid=9039 vsize=10551560 CPUtime=0.58 cores=1,3,5,7
/proc/9041/task/9042/stat : 9042 (java) S 9039 9041 4512 0 -1 4202560 33546 0 1 0 54 4 0 0 15 0 22 0 811359299 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9044] ppid=9039 vsize=10551560 CPUtime=1.21 cores=1,3,5,7
/proc/9041/task/9044/stat : 9044 (java) S 9039 9041 4512 0 -1 4202560 6843 0 0 0 121 0 0 0 16 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9045] ppid=9039 vsize=10551560 CPUtime=1.33 cores=1,3,5,7
/proc/9041/task/9045/stat : 9045 (java) S 9039 9041 4512 0 -1 4202560 5236 0 0 0 133 0 0 0 16 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9046] ppid=9039 vsize=10551560 CPUtime=1.27 cores=1,3,5,7
/proc/9041/task/9046/stat : 9046 (java) S 9039 9041 4512 0 -1 4202560 5251 0 0 0 127 0 0 0 15 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9047] ppid=9039 vsize=10551560 CPUtime=1.23 cores=1,3,5,7
/proc/9041/task/9047/stat : 9047 (java) S 9039 9041 4512 0 -1 4202560 12079 0 0 0 122 1 0 0 15 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9048] ppid=9039 vsize=10551560 CPUtime=1.38 cores=1,3,5,7
/proc/9041/task/9048/stat : 9048 (java) S 9039 9041 4512 0 -1 4202560 10350 0 0 0 137 1 0 0 16 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9049] ppid=9039 vsize=10551560 CPUtime=1.05 cores=1,3,5,7
/proc/9041/task/9049/stat : 9049 (java) S 9039 9041 4512 0 -1 4202560 9487 0 0 0 104 1 0 0 15 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9050] ppid=9039 vsize=10551560 CPUtime=1.3 cores=1,3,5,7
/proc/9041/task/9050/stat : 9050 (java) S 9039 9041 4512 0 -1 4202560 5423 0 0 0 129 1 0 0 15 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9051] ppid=9039 vsize=10551560 CPUtime=1.49 cores=1,3,5,7
/proc/9041/task/9051/stat : 9051 (java) S 9039 9041 4512 0 -1 4202560 9153 0 0 0 148 1 0 0 16 0 22 0 811359300 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9052] ppid=9039 vsize=10551560 CPUtime=83.06 cores=1,3,5,7
/proc/9041/task/9052/stat : 9052 (java) S 9039 9041 4512 0 -1 4202560 167537 0 0 0 8288 18 0 0 15 0 22 0 811359301 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 0 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) S 9039 9041 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9054] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9054/stat : 9054 (java) S 9039 9041 4512 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811359302 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9055] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9055/stat : 9055 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522121137 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9056] ppid=9039 vsize=10551560 CPUtime=0.98 cores=1,3,5,7
/proc/9041/task/9056/stat : 9056 (java) S 9039 9041 4512 0 -1 4202560 3139 0 0 0 98 0 0 0 16 0 22 0 811359304 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 7 0 0 0
[pid=9041/tid=9057] ppid=9039 vsize=10551560 CPUtime=1.54 cores=1,3,5,7
/proc/9041/task/9057/stat : 9057 (java) S 9039 9041 4512 0 -1 4202560 10101 0 0 0 153 1 0 0 15 0 22 0 811359304 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9058] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9058/stat : 9058 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811359304 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522113433 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9059] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9059/stat : 9059 (java) S 9039 9041 4512 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811359304 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 1 0 0 0
[pid=9041/tid=9078] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9078/stat : 9078 (java) S 9039 9041 4512 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811359609 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 3 0 0 0
[pid=9041/tid=9105] ppid=9039 vsize=10551560 CPUtime=164.07 cores=1,3,5,7
/proc/9041/task/9105/stat : 9105 (java) R 9039 9041 4512 0 -1 4202560 0 0 0 0 16407 0 0 0 25 0 22 0 811433912 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505826512 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9041/tid=9106] ppid=9039 vsize=10551560 CPUtime=164.07 cores=1,3,5,7
/proc/9041/task/9106/stat : 9106 (java) R 9039 9041 4512 0 -1 4202560 1 0 0 0 16407 0 0 0 25 0 22 0 811433912 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 46912505963214 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9041/tid=9107] ppid=9039 vsize=10551560 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9107/stat : 9107 (java) S 9039 9041 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433912 10804797440 881265 33554432000 1073741824 1073778376 140737007757056 18446744073709551615 233522114048 0 4 0 16800975 18446604461228936256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10551560

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

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

[startup+942.227 s]
/proc/loadavg: 3.76 3.82 3.54 5/569 9115
/proc/meminfo: memFree=18121296/32951124 swapFree=64303760/67111528
[pid=9041] ppid=9039 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/9041/stat : 9041 (java) Z 9039 9041 4512 0 -1 4203548 887188 0 1 0 179907 117 0 0 17 0 2 0 811359298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9041/statm: 0 0 0 0 0 0 0
[pid=9041/tid=9053] ppid=9039 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/9041/task/9053/stat : 9053 (java) R 9039 9041 4512 0 -1 4203588 17 0 0 0 0 6 0 0 18 0 2 0 811359302 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 942.295
CPU time (s): 1800.32
CPU user time (s): 1799.08
CPU system time (s): 1.24281
CPU usage (%): 191.057
Max. virtual memory (cumulated for all children) (KiB): 10551560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887188
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= 24753
involuntary context switches= 24937

runsolver used 4.97024 second user time and 12.1841 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 14:10:34
IDJOB=3454494
IDBENCH=2240
IDSOLVER=1950
FILE ID=node145/3454494-1307189434
RUNJOBID= node145-1307188484-8767
PBS_JOBID= 13508838
Free space on /tmp= 73988 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454494-1307189434/watcher-3454494-1307189434 -o /tmp/evaluation-result-3454494-1307189434/solver-3454494-1307189434 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454494-1307189434.opb

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=1603819316

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22082644 kB
Buffers:        271156 kB
Cached:         602956 kB
SwapCached:        944 kB
Active:       10114988 kB
Inactive:       482632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22082644 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:            2076 kB
Writeback:           0 kB
AnonPages:     9722548 kB
Mapped:          42628 kB
Slab:           135216 kB
PageTables:      66704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163598056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73988 MiB
End job on node145 at 2011-06-04 14:26:19