Trace number 3453966

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)-70 1800.3 947.064

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_3.opb
MD5SUM18e694be8bacc67580164c28dde5ca1c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint107
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75294
Sum of products size (including duplicates)150588
Number of different products37647
Sum of products size75294

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.1.v20110525
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.18-164.el5
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		9996466904
0.07/0.08	c Max memory 		10048897024
0.07/0.08	c Total memory 		10048897024
0.07/0.08	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-3453966-1307194695.opb
0.10/0.11	c reading problem ... 
2.81/1.18	c ... done. Wall clock time 1.076s.
2.81/1.18	c #vars     38647
2.81/1.18	c #constraints  113941
2.81/1.18	c constraints type 
2.81/1.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37647
2.81/1.18	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
2.81/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37647
2.81/1.18	c constraints type 
2.81/1.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37647
2.81/1.18	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
2.81/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37647
3.28/1.32	c  And the winner is Resolution
3.44/1.72	c SATISFIABLE
3.44/1.72	c OPTIMIZING...
3.44/1.72	c Got one! Elapsed wall clock time (in seconds):1.611
3.44/1.72	o -54
3.74/1.81	c  And the winner is Resolution
3.83/2.24	c Got one! Elapsed wall clock time (in seconds):2.132
3.83/2.24	o -55
3.83/2.29	c  And the winner is Resolution
4.02/2.76	c Got one! Elapsed wall clock time (in seconds):2.653
4.02/2.76	o -56
4.13/2.83	c  And the winner is Resolution
4.35/3.28	c Got one! Elapsed wall clock time (in seconds):3.173
4.35/3.28	o -58
4.43/3.35	c  And the winner is Resolution
4.59/3.80	c Got one! Elapsed wall clock time (in seconds):3.696
4.59/3.80	o -60
4.59/3.89	c  And the winner is Resolution
4.86/4.32	c Got one! Elapsed wall clock time (in seconds):4.215
4.86/4.32	o -61
4.86/4.39	c  And the winner is Resolution
5.07/4.84	c Got one! Elapsed wall clock time (in seconds):4.735
5.07/4.84	o -62
5.48/5.00	c  And the winner is Resolution
5.56/5.36	c Got one! Elapsed wall clock time (in seconds):5.254
5.56/5.36	o -63
6.04/5.67	c  And the winner is Resolution
6.31/5.88	c Got one! Elapsed wall clock time (in seconds):5.774
6.31/5.88	o -65
9.38/7.43	c cleaning 3371 clauses out of 6742 with flag 5001/6742
10.82/8.26	c  And the winner is Resolution
11.18/8.57	c Got one! Elapsed wall clock time (in seconds):8.459
11.18/8.57	o -66
13.21/9.54	c cleaning 4578 clauses out of 9156 with flag 4000/12527
15.02/10.52	c  And the winner is Resolution
15.23/10.82	c Got one! Elapsed wall clock time (in seconds):10.71
15.23/10.82	o -67
16.61/11.55	c cleaning 5247 clauses out of 10496 with flag 3000/18445
19.85/13.24	c cleaning 5626 clauses out of 11251 with flag 9002/24447
23.56/15.24	c cleaning 6308 clauses out of 12624 with flag 16001/31446
27.72/17.42	c cleaning 7152 clauses out of 14316 with flag 24001/39446
28.30/17.86	c  And the winner is CuttingPlanes
28.44/18.20	c Got one! Elapsed wall clock time (in seconds):18.089
28.44/18.20	o -68
31.13/19.58	c cleaning 6502 clauses out of 13004 with flag 5002/45286
31.70/19.92	c  And the winner is Resolution
32.42/20.68	c Got one! Elapsed wall clock time (in seconds):20.573
32.42/20.68	o -69
34.92/21.93	c cleaning 5829 clauses out of 11657 with flag 5000/50441
38.16/23.73	c cleaning 5907 clauses out of 11828 with flag 11000/56441
41.71/25.69	c cleaning 6461 clauses out of 12921 with flag 18000/63441
45.84/27.87	c cleaning 7229 clauses out of 14460 with flag 26000/71441
50.59/30.34	c cleaning 8104 clauses out of 16231 with flag 35000/80441
56.21/33.30	c cleaning 9057 clauses out of 18127 with flag 45000/90441
61.76/36.30	c cleaning 10029 clauses out of 20070 with flag 56000/101441
68.46/39.74	c cleaning 11018 clauses out of 22043 with flag 68002/113443
75.38/43.34	c cleaning 12012 clauses out of 24023 with flag 81000/126441
83.33/47.55	c cleaning 13000 clauses out of 26011 with flag 95000/140441
92.43/52.22	c cleaning 13997 clauses out of 28012 with flag 110001/155442
101.09/56.72	c cleaning 15002 clauses out of 30015 with flag 126001/171442
110.72/61.77	c cleaning 15997 clauses out of 32012 with flag 143000/188441
121.40/67.35	c cleaning 17003 clauses out of 34015 with flag 161000/206441
132.01/72.85	c cleaning 17997 clauses out of 36013 with flag 180001/225442
143.42/78.79	c cleaning 19008 clauses out of 38016 with flag 200001/245442
157.78/86.13	c cleaning 20000 clauses out of 40008 with flag 221001/266442
172.57/93.87	c cleaning 21003 clauses out of 42008 with flag 243001/288442
186.31/100.92	c cleaning 22001 clauses out of 44004 with flag 266000/311441
200.04/108.08	c cleaning 23001 clauses out of 46004 with flag 290001/335442
216.15/116.35	c cleaning 23999 clauses out of 48003 with flag 315001/360442
235.23/126.20	c cleaning 24994 clauses out of 50003 with flag 341000/386441
253.36/135.57	c cleaning 25998 clauses out of 52009 with flag 368000/413441
271.62/144.98	c cleaning 27004 clauses out of 54011 with flag 396000/441441
288.74/153.78	c cleaning 27999 clauses out of 56007 with flag 425000/470441
307.52/163.56	c cleaning 29002 clauses out of 58009 with flag 455001/500442
326.72/173.50	c cleaning 29991 clauses out of 60006 with flag 486000/531441
349.73/185.21	c cleaning 31006 clauses out of 62015 with flag 518000/563441
372.54/196.97	c cleaning 32003 clauses out of 64009 with flag 551000/596441
397.97/210.15	c cleaning 33004 clauses out of 66007 with flag 585001/630442
419.07/221.05	c cleaning 33995 clauses out of 68002 with flag 620000/665441
441.63/232.69	c cleaning 35001 clauses out of 70008 with flag 656001/701442
467.92/246.13	c cleaning 35996 clauses out of 72006 with flag 693000/738441
493.08/259.20	c cleaning 37002 clauses out of 74012 with flag 731002/776443
524.54/275.36	c cleaning 38005 clauses out of 76009 with flag 770001/815442
557.39/292.17	c cleaning 38999 clauses out of 78004 with flag 810001/855442
593.70/310.60	c cleaning 40001 clauses out of 80004 with flag 851000/896441
626.40/327.58	c cleaning 40993 clauses out of 82003 with flag 893000/938441
654.20/341.82	c cleaning 41994 clauses out of 84010 with flag 936000/981441
685.01/357.66	c cleaning 42996 clauses out of 86016 with flag 980000/1025441
722.33/376.76	c cleaning 44004 clauses out of 88020 with flag 1025000/1070441
761.46/397.01	c cleaning 45004 clauses out of 90016 with flag 1071000/1116441
798.07/415.70	c cleaning 45999 clauses out of 92013 with flag 1118001/1163442
840.75/437.45	c cleaning 47001 clauses out of 94014 with flag 1166001/1211442
878.59/456.84	c cleaning 48007 clauses out of 96013 with flag 1215001/1260442
925.17/480.86	c cleaning 48998 clauses out of 98005 with flag 1265000/1310441
931.36/484.45	c cleaning 0 clauses out of 5685 with flag 0/5692
983.57/511.03	c cleaning 50002 clauses out of 100007 with flag 1316000/1361441
1020.53/530.05	c cleaning 50991 clauses out of 102006 with flag 1368001/1413442
1048.57/544.75	c  And the winner is CuttingPlanes
1048.68/545.13	c Got one! Elapsed wall clock time (in seconds):545.02
1048.68/545.13	o -70
1054.43/548.04	c cleaning 48329 clauses out of 96675 with flag 5000/1459102
1059.90/551.21	c cleaning 27168 clauses out of 54346 with flag 11000/1465102
1064.69/554.15	c cleaning 17086 clauses out of 34178 with flag 18000/1472102
1069.85/557.29	c cleaning 12543 clauses out of 25092 with flag 26000/1480102
1076.16/561.13	c cleaning 10769 clauses out of 21549 with flag 35000/1489102
1082.12/564.68	c cleaning 10383 clauses out of 20780 with flag 45000/1499102
1088.85/568.58	c cleaning 10695 clauses out of 21397 with flag 56000/1510102
1096.39/572.84	c cleaning 11338 clauses out of 22703 with flag 68001/1522103
1104.71/577.76	c cleaning 12179 clauses out of 24365 with flag 81001/1535103
1113.26/582.56	c cleaning 13093 clauses out of 26186 with flag 95001/1549103
1122.99/587.91	c cleaning 14032 clauses out of 28093 with flag 110001/1564103
1132.22/593.10	c cleaning 15026 clauses out of 30061 with flag 126001/1580103
1142.90/599.07	c cleaning 16013 clauses out of 32034 with flag 143000/1597102
1154.09/605.16	c cleaning 17006 clauses out of 34022 with flag 161001/1615103
1165.83/611.57	c cleaning 17998 clauses out of 36015 with flag 180000/1634102
1177.74/618.09	c cleaning 19008 clauses out of 38017 with flag 200000/1654102
1191.18/625.53	c cleaning 19996 clauses out of 40010 with flag 221001/1675103
1205.48/633.21	c cleaning 21005 clauses out of 42013 with flag 243000/1697102
1220.42/641.29	c cleaning 22000 clauses out of 44009 with flag 266001/1720103
1234.87/648.94	c cleaning 22996 clauses out of 46008 with flag 290000/1744102
1251.16/657.84	c cleaning 24003 clauses out of 48012 with flag 315000/1769102
1269.41/667.51	c cleaning 25003 clauses out of 50010 with flag 341001/1795103
1286.70/676.75	c cleaning 25998 clauses out of 52006 with flag 368000/1822102
1305.95/686.94	c cleaning 27000 clauses out of 54009 with flag 396001/1850103
1324.13/696.82	c cleaning 28000 clauses out of 56008 with flag 425000/1879102
1343.37/707.05	c cleaning 28996 clauses out of 58009 with flag 455001/1909103
1364.50/718.20	c cleaning 29994 clauses out of 60012 with flag 486000/1940102
1388.61/730.79	c cleaning 31003 clauses out of 62018 with flag 518000/1972102
1413.14/743.88	c cleaning 32004 clauses out of 64015 with flag 551000/2005102
1441.13/758.47	c cleaning 32999 clauses out of 66012 with flag 585001/2039103
1462.53/769.75	c cleaning 33997 clauses out of 68012 with flag 620000/2074102
1486.53/782.36	c cleaning 34999 clauses out of 70016 with flag 656001/2110103
1512.58/796.26	c cleaning 36007 clauses out of 72016 with flag 693000/2147102
1540.96/811.03	c cleaning 37004 clauses out of 74009 with flag 731000/2185102
1571.37/826.84	c cleaning 37996 clauses out of 76005 with flag 770000/2224102
1600.75/842.12	c cleaning 38999 clauses out of 78009 with flag 810000/2264102
1634.72/860.03	c cleaning 40000 clauses out of 80010 with flag 851000/2305102
1666.47/876.50	c cleaning 40996 clauses out of 82011 with flag 893001/2347103
1694.39/891.14	c cleaning 42006 clauses out of 84015 with flag 936001/2390103
1725.08/907.17	c cleaning 42985 clauses out of 86009 with flag 980001/2434103
1759.00/925.05	c cleaning 44009 clauses out of 88025 with flag 1025002/2479104
1797.84/945.11	c cleaning 45008 clauses out of 90015 with flag 1071001/2525103
1800.11/946.92	c starts		: 44
1800.11/946.92	c conflicts		: 7846
1800.11/946.92	c decisions		: 11797
1800.11/946.92	c propagations		: 163566
1800.11/946.92	c inspects		: 281483280
1800.11/946.92	c shortcuts		: 0
1800.11/946.92	c learnt literals	: 0
1800.11/946.92	c learnt binary clauses	: 0
1800.11/946.92	c learnt ternary clauses	: 0
1800.11/946.92	c learnt constraints	: 7839
1800.11/946.92	c ignored constraints	: 0
1800.11/946.92	c root simplifications	: 0
1800.11/946.92	c removed literals (reason simplification)	: 0
1800.11/946.92	c reason swapping (by a shorter reason)	: 0
1800.11/946.92	c Calls to reduceDB	: 1
1800.11/946.92	c number of reductions to clauses (during analyze)	: 0
1800.11/946.92	c number of learned constraints concerned by reduction	: 0
1800.11/946.92	c number of learning phase by resolution	: 0
1800.11/946.92	c number of learning phase by cutting planes	: 0
1800.11/946.92	c speed (assignments/second)	: 407.0902180973785
1800.11/946.92	c non guided choices	0
1800.11/946.93	c learnt constraints type 
1800.11/946.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 253
1800.11/946.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7586
1800.11/946.93	c constraints type 
1800.11/946.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37647
1800.11/946.93	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.11/946.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/946.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37647
1800.11/946.93	c constraints type 
1800.11/946.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37647
1800.11/946.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/946.93	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1800.11/946.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37647
1800.11/946.93	s SATISFIABLE
1800.11/946.93	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 -x422 x423 x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 -x688 x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 x895 -x896 -x897 x898 -x899 -x900 x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 
1800.11/946.93	c objective function=-70
1800.11/946.93	c Total wall clock time (in seconds): 946.824

Verifier Data 

OK	-70

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-3453966-1307194695/watcher-3453966-1307194695 -o /tmp/evaluation-result-3453966-1307194695/solver-3453966-1307194695 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453966-1307194695.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.74 3.60 3.72 2/490 17574
/proc/meminfo: memFree=23646236/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 909699938 31272960 960 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 7635 960 732 9 0 386 0
[pid=17574/tid=17575] ppid=17572 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) R 17572 17574 13385 0 -1 4202560 6452 0 1 0 0 0 0 0 25 0 2 0 909699939 10694979584 7268 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.084441 s]
/proc/loadavg: 2.74 3.60 3.72 2/490 17574
/proc/meminfo: memFree=23646236/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10555472 CPUtime=0.07 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 12535 0 1 0 6 1 0 0 25 0 18 0 909699938 10808803328 12203 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2634851 12224 2012 9 0 2625585 0
[pid=17574/tid=17575] ppid=17572 vsize=10539404 CPUtime=0.07 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) R 17572 17574 13385 0 -1 4202560 10935 0 1 0 6 1 0 0 25 0 18 0 909699939 10792349696 12227 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252458170862 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10555472

[startup+0.104544 s]
/proc/loadavg: 2.74 3.60 3.72 2/490 17574
/proc/meminfo: memFree=23646236/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10539896 CPUtime=0.1 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 13155 0 1 0 9 1 0 0 25 0 18 0 909699938 10792853504 12809 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2634974 12809 2093 9 0 2625708 0
[pid=17574/tid=17575] ppid=17572 vsize=10539896 CPUtime=0.09 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) R 17572 17574 13385 0 -1 4202560 11205 0 1 0 8 1 0 0 25 0 18 0 909699939 10792853504 12809 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539896

[startup+0.300484 s]
/proc/loadavg: 2.74 3.60 3.72 2/490 17574
/proc/meminfo: memFree=23646236/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10541040 CPUtime=0.48 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 15692 0 1 0 46 2 0 0 25 0 18 0 909699938 10794024960 15101 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2635260 15102 2208 9 0 2625994 0
[pid=17574/tid=17575] ppid=17572 vsize=10541040 CPUtime=0.28 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) R 17572 17574 13385 0 -1 4202560 12907 0 1 0 27 1 0 0 25 0 18 0 909699939 10794024960 15102 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912505561025 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541040

[startup+0.70041 s]
/proc/loadavg: 2.74 3.60 3.72 2/490 17574
/proc/meminfo: memFree=23646236/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10555916 CPUtime=1.59 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 37398 0 1 0 154 5 0 0 25 0 18 0 909699938 10809257984 29704 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2638979 29705 2225 9 0 2629713 0
[pid=17574/tid=17575] ppid=17572 vsize=10555916 CPUtime=0.68 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) R 17572 17574 13385 0 -1 4202560 20096 0 1 0 66 2 0 0 18 0 18 0 909699939 10809257984 29705 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912505604772 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10555916

[startup+1.50126 s]
/proc/loadavg: 2.74 3.60 3.72 7/508 17595
/proc/meminfo: memFree=23426560/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10561024 CPUtime=3.41 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 78781 0 1 0 330 11 0 0 25 0 19 0 909699938 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2640256 70306 2242 9 0 2630990 0
[pid=17574/tid=17575] ppid=17572 vsize=10561024 CPUtime=1.17 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 55420 0 1 0 109 8 0 0 19 0 19 0 909699939 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 909699941 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909699942 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909699942 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699944 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10561024 CPUtime=0.96 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7614 0 0 0 96 0 0 0 25 0 19 0 909699944 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10561024 CPUtime=0.95 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9872 0 0 0 94 1 0 0 16 0 19 0 909699944 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699944 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17592] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17592/stat : 17592 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909699944 10814488576 70306 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 10561024

[startup+3.10097 s]
/proc/loadavg: 2.92 3.62 3.73 1/506 17602
/proc/meminfo: memFree=23308044/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10561024 CPUtime=4.35 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 92458 0 1 0 422 13 0 0 25 0 19 0 909699938 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2640256 83981 2246 9 0 2630990 0
[pid=17574/tid=17575] ppid=17572 vsize=10561024 CPUtime=1.24 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 55912 0 1 0 116 8 0 0 17 0 19 0 909699939 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699940 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 909699941 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909699942 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909699942 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699944 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10561024 CPUtime=1.19 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7643 0 0 0 118 1 0 0 15 0 19 0 909699944 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10561024 CPUtime=1.15 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9901 0 0 0 114 1 0 0 15 0 19 0 909699944 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909699944 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17592] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17592/stat : 17592 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909699944 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17598] ppid=17572 vsize=10561024 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17598/stat : 17598 (java) S 17572 17574 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909700063 10814488576 83981 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10561024

[startup+6.30134 s]
/proc/loadavg: 2.92 3.62 3.73 5/512 17626
/proc/meminfo: memFree=23129700/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10557864 CPUtime=7.16 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 159442 0 1 0 695 21 0 0 25 0 22 0 909699938 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2639466 150062 2247 9 0 2630200 0
[pid=17574/tid=17575] ppid=17572 vsize=10557864 CPUtime=1.34 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 56873 0 1 0 126 8 0 0 17 0 22 0 909699939 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699940 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 909699941 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909699942 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909699942 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10557864 CPUtime=1.32 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7657 0 0 0 131 1 0 0 15 0 22 0 909699944 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10557864 CPUtime=1.24 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9909 0 0 0 123 1 0 0 15 0 22 0 909699944 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 150062 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0

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

[startup+882.302 s]
/proc/loadavg: 3.66 3.60 3.66 5/512 17677
/proc/meminfo: memFree=20220128/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10557864 CPUtime=1676.79 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 771613 0 1 0 167576 103 0 0 25 0 22 0 909699938 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2639466 761953 2273 9 0 2630200 0
[pid=17574/tid=17575] ppid=17572 vsize=10557864 CPUtime=1.42 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 56924 0 1 0 134 8 0 0 15 0 22 0 909699939 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10557864 CPUtime=1.25 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 9302 0 0 0 124 1 0 0 15 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10557864 CPUtime=1.67 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 8371 0 0 0 166 1 0 0 15 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10557864 CPUtime=1.26 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 3992 0 0 0 126 0 0 0 16 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10557864 CPUtime=1.48 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 14873 0 0 0 147 1 0 0 15 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10557864 CPUtime=1.6 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 7580 0 0 0 159 1 0 0 16 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10557864 CPUtime=1.4 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 16368 0 0 0 138 2 0 0 16 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10557864 CPUtime=1.36 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 14228 0 0 0 134 2 0 0 15 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10557864 CPUtime=1.5 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 11212 0 0 0 149 1 0 0 16 0 22 0 909699940 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10557864 CPUtime=85.21 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 207272 0 0 0 8498 23 0 0 18 0 22 0 909699941 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10557864 CPUtime=1.84 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7717 0 0 0 183 1 0 0 16 0 22 0 909699944 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10557864 CPUtime=1.39 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9921 0 0 0 138 1 0 0 15 0 22 0 909699944 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17592] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17592/stat : 17592 (java) S 17572 17574 13385 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909699944 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17645] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17645/stat : 17645 (java) S 17572 17574 13385 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909702007 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17666] ppid=17572 vsize=10557864 CPUtime=287.33 cores=1,3,5,7
/proc/17574/task/17666/stat : 17666 (java) R 17572 17574 13385 0 -1 4202560 20 0 0 0 28733 0 0 0 25 0 22 0 909754452 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506288646 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17574/tid=17667] ppid=17572 vsize=10557864 CPUtime=287.33 cores=1,3,5,7
/proc/17574/task/17667/stat : 17667 (java) R 17572 17574 13385 0 -1 4202560 0 0 0 0 28733 0 0 0 25 0 22 0 909754452 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506363355 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17574/tid=17668] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17668/stat : 17668 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909754452 10811252736 761953 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1676.79
Current children cumulated vsize (KiB) 10557864

[startup+942.301 s]
/proc/loadavg: 3.69 3.61 3.65 5/512 17678
/proc/meminfo: memFree=20181888/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10557864 CPUtime=1792.25 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 779316 0 1 0 179122 103 0 0 25 0 22 0 909699938 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2639466 769647 2273 9 0 2630200 0
[pid=17574/tid=17575] ppid=17572 vsize=10557864 CPUtime=1.42 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 56927 0 1 0 134 8 0 0 15 0 22 0 909699939 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10557864 CPUtime=1.3 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 9302 0 0 0 129 1 0 0 15 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10557864 CPUtime=1.77 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 8379 0 0 0 176 1 0 0 16 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10557864 CPUtime=1.31 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 3992 0 0 0 131 0 0 0 15 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10557864 CPUtime=1.58 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 14873 0 0 0 157 1 0 0 16 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10557864 CPUtime=1.68 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 7580 0 0 0 167 1 0 0 15 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10557864 CPUtime=1.4 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 16368 0 0 0 138 2 0 0 15 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10557864 CPUtime=1.5 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 14231 0 0 0 148 2 0 0 16 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10557864 CPUtime=1.56 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 11212 0 0 0 155 1 0 0 16 0 22 0 909699940 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10557864 CPUtime=90.02 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 214957 0 0 0 8979 23 0 0 18 0 22 0 909699941 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10557864 CPUtime=1.84 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7717 0 0 0 183 1 0 0 16 0 22 0 909699944 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10557864 CPUtime=1.39 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9921 0 0 0 138 1 0 0 15 0 22 0 909699944 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17592] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17592/stat : 17592 (java) S 17572 17574 13385 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909699944 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17645] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17645/stat : 17645 (java) S 17572 17574 13385 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909702007 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17666] ppid=17572 vsize=10557864 CPUtime=342.37 cores=1,3,5,7
/proc/17574/task/17666/stat : 17666 (java) R 17572 17574 13385 0 -1 4202560 20 0 0 0 34237 0 0 0 25 0 22 0 909754452 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506345216 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17574/tid=17667] ppid=17572 vsize=10557864 CPUtime=342.36 cores=1,3,5,7
/proc/17574/task/17667/stat : 17667 (java) R 17572 17574 13385 0 -1 4202560 0 0 0 0 34236 0 0 0 25 0 22 0 909754452 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506363495 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17574/tid=17668] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17668/stat : 17668 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909754452 10811252736 769647 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1792.25
Current children cumulated vsize (KiB) 10557864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+946.902 s]
/proc/loadavg: 3.56 3.59 3.64 5/512 17678
/proc/meminfo: memFree=20154848/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=10557864 CPUtime=1800.11 cores=1,3,5,7
/proc/17574/stat : 17574 (java) S 17572 17574 13385 0 -1 4202496 785872 0 1 0 179907 104 0 0 25 0 22 0 909699938 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 2639466 776200 2273 9 0 2630200 0
[pid=17574/tid=17575] ppid=17572 vsize=10557864 CPUtime=1.42 cores=1,3,5,7
/proc/17574/task/17575/stat : 17575 (java) S 17572 17574 13385 0 -1 4202560 56928 0 1 0 134 8 0 0 15 0 22 0 909699939 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17577] ppid=17572 vsize=10557864 CPUtime=1.36 cores=1,3,5,7
/proc/17574/task/17577/stat : 17577 (java) S 17572 17574 13385 0 -1 4202560 9302 0 0 0 135 1 0 0 16 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17578] ppid=17572 vsize=10557864 CPUtime=1.77 cores=1,3,5,7
/proc/17574/task/17578/stat : 17578 (java) S 17572 17574 13385 0 -1 4202560 8379 0 0 0 176 1 0 0 15 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17579] ppid=17572 vsize=10557864 CPUtime=1.37 cores=1,3,5,7
/proc/17574/task/17579/stat : 17579 (java) S 17572 17574 13385 0 -1 4202560 4006 0 0 0 137 0 0 0 16 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17580] ppid=17572 vsize=10557864 CPUtime=1.6 cores=1,3,5,7
/proc/17574/task/17580/stat : 17580 (java) S 17572 17574 13385 0 -1 4202560 14873 0 0 0 159 1 0 0 16 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17581] ppid=17572 vsize=10557864 CPUtime=1.74 cores=1,3,5,7
/proc/17574/task/17581/stat : 17581 (java) S 17572 17574 13385 0 -1 4202560 7580 0 0 0 173 1 0 0 16 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17582] ppid=17572 vsize=10557864 CPUtime=1.4 cores=1,3,5,7
/proc/17574/task/17582/stat : 17582 (java) S 17572 17574 13385 0 -1 4202560 16368 0 0 0 138 2 0 0 15 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17583] ppid=17572 vsize=10557864 CPUtime=1.5 cores=1,3,5,7
/proc/17574/task/17583/stat : 17583 (java) S 17572 17574 13385 0 -1 4202560 14231 0 0 0 148 2 0 0 15 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17584] ppid=17572 vsize=10557864 CPUtime=1.59 cores=1,3,5,7
/proc/17574/task/17584/stat : 17584 (java) S 17572 17574 13385 0 -1 4202560 11212 0 0 0 158 1 0 0 16 0 22 0 909699940 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17585] ppid=17572 vsize=10557864 CPUtime=91.49 cores=1,3,5,7
/proc/17574/task/17585/stat : 17585 (java) S 17572 17574 13385 0 -1 4202560 221498 0 0 0 9125 24 0 0 17 0 22 0 909699941 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 0 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17586] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17586/stat : 17586 (java) S 17572 17574 13385 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17587] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17587/stat : 17587 (java) S 17572 17574 13385 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 909699942 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17588] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17588/stat : 17588 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469889457 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17589] ppid=17572 vsize=10557864 CPUtime=1.84 cores=1,3,5,7
/proc/17574/task/17589/stat : 17589 (java) S 17572 17574 13385 0 -1 4202560 7717 0 0 0 183 1 0 0 16 0 22 0 909699944 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 5 0 0 0
[pid=17574/tid=17590] ppid=17572 vsize=10557864 CPUtime=1.39 cores=1,3,5,7
/proc/17574/task/17590/stat : 17590 (java) S 17572 17574 13385 0 -1 4202560 9921 0 0 0 138 1 0 0 15 0 22 0 909699944 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17591] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17591/stat : 17591 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909699944 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469881753 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
[pid=17574/tid=17592] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17592/stat : 17592 (java) S 17572 17574 13385 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909699944 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 3 0 0 0
[pid=17574/tid=17645] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17645/stat : 17645 (java) S 17572 17574 13385 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909702007 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 1 0 0 0
[pid=17574/tid=17666] ppid=17572 vsize=10557864 CPUtime=345.46 cores=1,3,5,7
/proc/17574/task/17666/stat : 17666 (java) R 17572 17574 13385 0 -1 4202560 20 0 0 0 34546 0 0 0 18 0 22 0 909754452 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506352509 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17574/tid=17667] ppid=17572 vsize=10557864 CPUtime=345.46 cores=1,3,5,7
/proc/17574/task/17667/stat : 17667 (java) R 17572 17574 13385 0 -1 4202560 0 0 0 0 34546 0 0 0 18 0 22 0 909754452 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 46912506389309 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17574/tid=17668] ppid=17572 vsize=10557864 CPUtime=0 cores=1,3,5,7
/proc/17574/task/17668/stat : 17668 (java) S 17572 17574 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909754452 10811252736 776200 33554432000 1073741824 1073778376 140736910320656 18446744073709551615 252469882368 0 4 0 16800975 18446604464937829696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557864

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

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

[startup+947.025 s]
/proc/loadavg: 3.56 3.59 3.64 4/492 17681
/proc/meminfo: memFree=22217876/32951124 swapFree=56297244/67111528
[pid=17574] ppid=17572 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/17574/stat : 17574 (java) R 17572 17574 13385 0 -1 4203524 785901 0 1 0 179914 112 0 0 17 0 1 0 909699938 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17574/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 947.064
CPU time (s): 1800.3
CPU user time (s): 1799.14
CPU system time (s): 1.15982
CPU usage (%): 190.093
Max. virtual memory (cumulated for all children) (KiB): 10561024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.15982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785901
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= 24640
involuntary context switches= 20029

runsolver used 4.53831 second user time and 10.8793 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 15:38:15
IDJOB=3453966
IDBENCH=48170
IDSOLVER=1950
FILE ID=node111/3453966-1307194695
RUNJOBID= node111-1307194688-17392
PBS_JOBID= 13508842
Free space on /tmp= 73868 MiB

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

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

MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c
RANDOM SEED=810167548

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.75
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.849
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.849
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.67
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.849
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:     32951124 kB
MemFree:      23646392 kB
Buffers:        329932 kB
Cached:         864072 kB
SwapCached:      11784 kB
Active:        8230404 kB
Inactive:       794816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23646392 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:     7829208 kB
Mapped:          36124 kB
Slab:           144816 kB
PageTables:      66568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 159453296 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= 73868 MiB
End job on node111 at 2011-06-04 15:54:04