Trace number 3736888

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)39 1800.14 922.938

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.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.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.10/0.09	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@48e5855a
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@398020cc
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-3736888-1338718350.opb
0.11/0.11	c reading problem ... 
1.63/0.75	c ... done. Wall clock time 0.643s.
1.63/0.75	c #vars     16170
1.63/0.75	c #constraints  31840
1.63/0.76	c constraints type 
1.63/0.76	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1.63/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1.63/0.76	c constraints type 
1.63/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1.63/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
2.36/0.93	c  And the winner is Resolution
2.51/1.27	c SATISFIABLE
2.51/1.27	c OPTIMIZING...
2.51/1.27	c Got one! Elapsed wall clock time (in seconds):1.159
2.51/1.27	o 45
3.64/1.66	c  And the winner is Resolution
3.82/1.78	c Got one! Elapsed wall clock time (in seconds):1.667
3.82/1.78	o 44
5.34/2.52	c  And the winner is Resolution
5.41/2.79	c Got one! Elapsed wall clock time (in seconds):2.675
5.41/2.79	o 43
7.05/3.69	c cleaning 3138 clauses out of 6283 with flag 3002/6283
7.67/3.93	c  And the winner is Resolution
7.75/4.33	c Got one! Elapsed wall clock time (in seconds):4.22
7.75/4.33	o 42
10.81/5.81	c cleaning 4258 clauses out of 8523 with flag 5001/11661
14.17/7.56	c cleaning 5127 clauses out of 10264 with flag 11000/17660
18.27/9.62	c cleaning 6065 clauses out of 12139 with flag 18002/24662
23.31/12.12	c cleaning 7030 clauses out of 14072 with flag 26000/32660
28.20/14.68	c cleaning 8018 clauses out of 16044 with flag 35002/41662
34.11/17.62	c cleaning 9009 clauses out of 18025 with flag 45001/51661
40.79/21.06	c cleaning 10001 clauses out of 20016 with flag 56001/62661
47.83/24.61	c cleaning 11005 clauses out of 22015 with flag 68001/74661
54.91/28.27	c cleaning 11996 clauses out of 24010 with flag 81001/87661
61.81/31.71	c  And the winner is CuttingPlanes
61.72/31.93	c Got one! Elapsed wall clock time (in seconds):31.822
61.72/31.93	o 41
64.89/33.54	c cleaning 14179 clauses out of 28372 with flag 5000/104019
68.98/35.61	c cleaning 10092 clauses out of 20195 with flag 11002/110021
73.18/37.82	c cleaning 8543 clauses out of 17102 with flag 18001/117020
78.05/40.39	c cleaning 8275 clauses out of 16558 with flag 26000/125019
83.52/43.15	c cleaning 8637 clauses out of 17283 with flag 35000/134019
89.77/46.36	c cleaning 9319 clauses out of 18646 with flag 45000/144019
96.36/49.74	c cleaning 10157 clauses out of 20328 with flag 56001/155020
104.01/53.60	c cleaning 11078 clauses out of 22170 with flag 68000/167019
111.67/57.59	c cleaning 12042 clauses out of 24092 with flag 81000/180019
120.30/61.92	c cleaning 13022 clauses out of 26051 with flag 95001/194020
129.45/66.63	c cleaning 14006 clauses out of 28029 with flag 110001/209020
139.09/71.57	c cleaning 15007 clauses out of 30022 with flag 126000/225019
149.48/76.83	c cleaning 16001 clauses out of 32015 with flag 143000/242019
162.35/83.30	c cleaning 17003 clauses out of 34014 with flag 161000/260019
175.49/90.10	c cleaning 18002 clauses out of 36012 with flag 180001/279020
188.09/96.46	c cleaning 18999 clauses out of 38010 with flag 200001/299020
201.28/103.12	c cleaning 19995 clauses out of 40012 with flag 221002/320021
216.46/110.84	c cleaning 21001 clauses out of 42016 with flag 243001/342020
232.09/118.89	c cleaning 22001 clauses out of 44015 with flag 266001/365020
233.04/119.43	c  And the winner is Resolution
233.57/120.18	c Got one! Elapsed wall clock time (in seconds):120.064
233.57/120.18	o 40
236.08/121.57	c cleaning 13975 clauses out of 27962 with flag 5001/370968
240.27/123.73	c cleaning 9990 clauses out of 19987 with flag 11001/376968
244.82/126.10	c cleaning 8488 clauses out of 16996 with flag 18000/383967
250.63/129.22	c cleaning 8243 clauses out of 16509 with flag 26001/391968
257.20/132.61	c cleaning 8627 clauses out of 17266 with flag 35001/400968
264.77/136.51	c cleaning 9309 clauses out of 18638 with flag 45000/410967
271.93/140.29	c cleaning 10156 clauses out of 20332 with flag 56003/421970
279.95/144.49	c cleaning 11080 clauses out of 22173 with flag 68000/433967
289.49/149.32	c cleaning 12043 clauses out of 24093 with flag 81000/446967
300.65/155.06	c cleaning 13017 clauses out of 26051 with flag 95001/460968
312.40/161.04	c cleaning 14008 clauses out of 28034 with flag 110001/475968
324.76/167.40	c cleaning 15010 clauses out of 30026 with flag 126001/491968
334.71/172.58	c cleaning 16006 clauses out of 32015 with flag 143000/508967
346.42/178.51	c cleaning 16996 clauses out of 34010 with flag 161001/526968
358.56/184.80	c cleaning 17999 clauses out of 36013 with flag 180000/545967
373.29/192.30	c cleaning 18997 clauses out of 38016 with flag 200002/565969
389.00/200.31	c cleaning 20003 clauses out of 40017 with flag 221000/586967
407.10/209.53	c cleaning 20997 clauses out of 42014 with flag 243000/608967
424.84/218.55	c cleaning 22002 clauses out of 44017 with flag 266000/631967
441.98/227.37	c cleaning 23000 clauses out of 46015 with flag 290000/655967
460.49/236.77	c cleaning 24000 clauses out of 48015 with flag 315000/680967
478.15/245.79	c cleaning 25001 clauses out of 50016 with flag 341001/706968
498.23/255.98	c cleaning 26002 clauses out of 52015 with flag 368001/733968
519.09/266.69	c cleaning 26997 clauses out of 54013 with flag 396001/761968
539.99/277.24	c cleaning 27997 clauses out of 56015 with flag 425000/790967
561.68/288.22	c cleaning 29006 clauses out of 58019 with flag 455001/820968
583.74/299.47	c cleaning 29997 clauses out of 60012 with flag 486000/851967
607.01/311.36	c cleaning 31006 clauses out of 62015 with flag 518000/883967
629.86/322.91	c cleaning 31496 clauses out of 63009 with flag 550000/915967
652.93/334.69	c cleaning 31747 clauses out of 63514 with flag 582001/947968
676.19/346.44	c cleaning 31869 clauses out of 63768 with flag 614002/979969
698.41/357.88	c cleaning 31941 clauses out of 63897 with flag 646000/1011967
724.28/370.93	c cleaning 31974 clauses out of 63957 with flag 678001/1043968
746.54/382.22	c cleaning 31987 clauses out of 63982 with flag 710000/1075967
770.20/394.22	c cleaning 31990 clauses out of 63996 with flag 742001/1107968
796.86/407.83	c cleaning 31995 clauses out of 64005 with flag 774000/1139967
822.72/420.91	c cleaning 31993 clauses out of 64011 with flag 806001/1171968
833.17/426.39	c  And the winner is CuttingPlanes
831.95/426.87	c Got one! Elapsed wall clock time (in seconds):426.759
831.95/426.87	o 39
835.20/428.55	c cleaning 25368 clauses out of 50746 with flag 5001/1190696
839.46/430.84	c cleaning 15683 clauses out of 31379 with flag 11002/1196697
844.47/433.67	c cleaning 11341 clauses out of 22695 with flag 18001/1203696
850.49/436.80	c cleaning 9672 clauses out of 19353 with flag 26000/1211695
857.12/440.31	c cleaning 9336 clauses out of 18681 with flag 35000/1220695
863.72/443.88	c cleaning 9667 clauses out of 19345 with flag 45000/1230695
871.91/448.26	c cleaning 10333 clauses out of 20678 with flag 56000/1241695
880.93/452.96	c cleaning 11164 clauses out of 22346 with flag 68001/1253696
890.15/457.71	c cleaning 12082 clauses out of 24182 with flag 81001/1266696
900.15/462.92	c cleaning 13040 clauses out of 26100 with flag 95001/1280696
910.51/468.43	c cleaning 14024 clauses out of 28059 with flag 110000/1295695
921.12/473.95	c cleaning 15013 clauses out of 30036 with flag 126001/1311696
933.14/480.10	c cleaning 16001 clauses out of 32022 with flag 143000/1328695
946.95/487.29	c cleaning 17008 clauses out of 34021 with flag 161000/1346695
960.89/494.56	c cleaning 18003 clauses out of 36014 with flag 180001/1365696
975.50/502.02	c cleaning 18995 clauses out of 38010 with flag 200000/1385695
990.31/509.68	c cleaning 20000 clauses out of 40015 with flag 221000/1406695
1006.50/517.94	c cleaning 21004 clauses out of 42015 with flag 243000/1428695
1023.45/526.78	c cleaning 21998 clauses out of 44011 with flag 266000/1451695
1041.23/535.84	c cleaning 23000 clauses out of 46014 with flag 290001/1475696
1060.24/545.53	c cleaning 23999 clauses out of 48014 with flag 315001/1500696
1081.83/556.53	c cleaning 25001 clauses out of 50016 with flag 341002/1526697
1101.15/566.52	c cleaning 25999 clauses out of 52013 with flag 368000/1553695
1120.72/576.50	c cleaning 26997 clauses out of 54014 with flag 396000/1581695
1139.49/586.17	c cleaning 27999 clauses out of 56017 with flag 425000/1610695
1160.85/597.01	c cleaning 28999 clauses out of 58018 with flag 455000/1640695
1184.36/609.10	c cleaning 30002 clauses out of 60019 with flag 486000/1671695
1210.54/622.48	c cleaning 30999 clauses out of 62017 with flag 518000/1703695
1234.91/634.87	c cleaning 31501 clauses out of 63019 with flag 550001/1735696
1261.25/648.29	c cleaning 31750 clauses out of 63518 with flag 582001/1767696
1284.16/660.08	c cleaning 31883 clauses out of 63767 with flag 614000/1799695
1306.94/671.63	c cleaning 31937 clauses out of 63885 with flag 646001/1831696
1330.13/683.49	c cleaning 31962 clauses out of 63947 with flag 678000/1863695
1354.32/695.72	c cleaning 31984 clauses out of 63985 with flag 710000/1895695
1377.96/707.90	c cleaning 31994 clauses out of 64002 with flag 742001/1927696
1401.92/720.16	c cleaning 31994 clauses out of 64007 with flag 774000/1959695
1425.26/732.00	c cleaning 32002 clauses out of 64014 with flag 806001/1991696
1450.01/744.61	c cleaning 31998 clauses out of 64012 with flag 838001/2023696
1474.66/757.33	c cleaning 31996 clauses out of 64014 with flag 870001/2055696
1497.59/769.05	c cleaning 32003 clauses out of 64018 with flag 902001/2087696
1518.95/779.97	c cleaning 32003 clauses out of 64016 with flag 934002/2119697
1540.28/790.85	c cleaning 31999 clauses out of 64012 with flag 966001/2151696
1562.92/802.58	c cleaning 31999 clauses out of 64013 with flag 998001/2183696
1586.28/814.47	c cleaning 31998 clauses out of 64013 with flag 1030000/2215695
1609.64/826.31	c cleaning 31996 clauses out of 64015 with flag 1062000/2247695
1631.58/837.51	c cleaning 32000 clauses out of 64019 with flag 1094000/2279695
1656.45/850.38	c cleaning 31999 clauses out of 64020 with flag 1126001/2311696
1680.02/862.39	c cleaning 32000 clauses out of 64020 with flag 1158000/2343695
1702.36/873.72	c cleaning 32000 clauses out of 64020 with flag 1190000/2375695
1726.49/886.08	c cleaning 32004 clauses out of 64021 with flag 1222001/2407696
1751.17/898.75	c cleaning 31995 clauses out of 64017 with flag 1254001/2439696
1776.30/911.57	c cleaning 32005 clauses out of 64022 with flag 1286001/2471696
1798.67/922.92	c starts		: 32
1798.67/922.92	c conflicts		: 4818
1798.67/922.92	c decisions		: 29506
1798.67/922.92	c propagations		: 4366452
1798.67/922.92	c inspects		: 316389089
1798.67/922.92	c shortcuts		: 0
1798.67/922.92	c learnt literals	: 0
1798.67/922.92	c learnt binary clauses	: 0
1798.67/922.92	c learnt ternary clauses	: 0
1798.67/922.92	c learnt constraints	: 4813
1798.67/922.92	c ignored constraints	: 0
1798.67/922.92	c root simplifications	: 0
1798.67/922.92	c removed literals (reason simplification)	: 0
1798.67/922.92	c reason swapping (by a shorter reason)	: 0
1798.67/922.92	c Calls to reduceDB	: 0
1798.67/922.92	c number of reductions to clauses (during analyze)	: 0
1798.67/922.92	c number of learned constraints concerned by reduction	: 0
1798.67/922.92	c number of learning phase by resolution	: 0
1798.67/922.92	c number of learning phase by cutting planes	: 0
1798.67/922.92	c speed (assignments/second)	: 8802.56751934812
1798.67/922.92	c non guided choices	0
1798.67/922.92	c learnt constraints type 
1798.67/922.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 169
1798.67/922.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4644
1798.67/922.92	c constraints type 
1798.67/922.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1798.67/922.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1798.67/922.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1798.67/922.92	c constraints type 
1798.67/922.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1798.67/922.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1798.67/922.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
1798.67/922.92	s SATISFIABLE
1798.67/922.92	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 
1798.67/922.92	c objective function=39
1798.67/922.92	c Total wall clock time (in seconds): 922.809

Verifier Data 

OK	39

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736888-1338718350/watcher-3736888-1338718350 -o /tmp/evaluation-result-3736888-1338718350/solver-3736888-1338718350 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736888-1338718350.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.21 3.95 3.78 4/197 27004
/proc/meminfo: memFree=25573124/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/27004/stat : 27004 (java) R 27002 27004 25219 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 337959531 23793664 731 33554432000 1073741824 1073778376 140736094687920 140736094676984 140241638490997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 5809 741 547 9 0 128 0

[startup+0.0912691 s]
/proc/loadavg: 4.21 3.95 3.78 4/197 27004
/proc/meminfo: memFree=25573124/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 4769 0 1 0 8 2 0 0 20 0 18 0 337959531 11864465408 13128 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2896598 13128 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.10024 s]
/proc/loadavg: 4.21 3.95 3.78 4/197 27004
/proc/meminfo: memFree=25573124/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11586392 CPUtime=0.11 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 4791 0 1 0 9 2 0 0 20 0 18 0 337959531 11864465408 13149 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2896598 13149 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11586392

[startup+0.300226 s]
/proc/loadavg: 4.21 3.95 3.78 4/197 27004
/proc/meminfo: memFree=25573124/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11586392 CPUtime=0.46 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 5910 0 1 0 44 2 0 0 20 0 18 0 337959531 11864465408 15325 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2896598 15325 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392

[startup+0.700242 s]
/proc/loadavg: 4.21 3.95 3.78 4/197 27004
/proc/meminfo: memFree=25573124/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11586392 CPUtime=1.63 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 16686 0 1 0 158 5 0 0 20 0 18 0 337959531 11864465408 30403 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2896598 30403 2257 9 0 2887285 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 11586392

[startup+1.50059 s]
/proc/loadavg: 4.28 3.96 3.78 3/216 27026
/proc/meminfo: memFree=25440488/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11852648 CPUtime=3.32 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 17147 0 1 0 324 8 0 0 20 0 22 0 337959531 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2963162 44071 2270 9 0 2953849 0
[pid=27004/tid=27006] ppid=27002 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/27004/task/27006/stat : 27006 (java) S 27002 27004 25219 0 -1 4202560 2950 0 1 0 73 2 0 0 20 0 22 0 337959531 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241630532760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27007] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27007/stat : 27007 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241467288104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27008] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27008/stat : 27008 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241466235304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27009] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27009/stat : 27009 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241465182504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337959534 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) R 27002 27004 25219 0 -1 4202560 7329 0 0 0 87 2 0 0 20 0 22 0 337959537 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241443511224 140241634056741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) R 27002 27004 25219 0 -1 4202560 5546 0 0 0 85 0 0 0 20 0 22 0 337959537 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241442458424 140241636914832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27025] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27025/stat : 27025 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337959611 12137111552 44071 33554432000 1073741824 1073778376 140736094687920 140241437193128 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 11852648

[startup+3.10059 s]
/proc/loadavg: 4.28 3.96 3.78 5/219 27032
/proc/meminfo: memFree=25195156/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11852648 CPUtime=6.06 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 17974 0 1 0 586 20 0 0 20 0 22 0 337959531 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2963162 166473 2271 9 0 2953849 0
[pid=27004/tid=27006] ppid=27002 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/27004/task/27006/stat : 27006 (java) S 27002 27004 25219 0 -1 4202560 2951 0 1 0 74 3 0 0 20 0 22 0 337959531 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241630532776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27007] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27007/stat : 27007 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241467288104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27008] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27008/stat : 27008 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241466235304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27009] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27009/stat : 27009 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241465182504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337959534 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) S 27002 27004 25219 0 -1 4202560 7881 0 0 0 101 2 0 0 20 0 22 0 337959537 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241443511224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) S 27002 27004 25219 0 -1 4202560 5566 0 0 0 97 2 0 0 20 0 22 0 337959537 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241442458424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27025] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27025/stat : 27025 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337959611 12137111552 166473 33554432000 1073741824 1073778376 140736094687920 140241437193128 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 11852648

[startup+6.30079 s]
/proc/loadavg: 4.28 3.96 3.78 5/219 27038
/proc/meminfo: memFree=24468708/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11852648 CPUtime=11.76 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 18368 0 1 0 1143 33 0 0 20 0 22 0 337959531 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2963162 293516 2296 9 0 2953849 0
[pid=27004/tid=27006] ppid=27002 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/27004/task/27006/stat : 27006 (java) S 27002 27004 25219 0 -1 4202560 2952 0 1 0 75 3 0 0 20 0 22 0 337959531 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241630532776 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27007] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27007/stat : 27007 (java) S 27002 27004 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241467288104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27008] ppid=27002 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27004/task/27008/stat : 27008 (java) S 27002 27004 25219 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241466235304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27009] ppid=27002 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27004/task/27009/stat : 27009 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241465182504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 337959533 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=0.2 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 48 0 0 0 18 2 0 0 20 0 22 0 337959534 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) S 27002 27004 25219 0 -1 4202560 7902 0 0 0 113 2 0 0 20 0 22 0 337959537 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241443511224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) S 27002 27004 25219 0 -1 4202560 5573 0 0 0 106 2 0 0 20 0 22 0 337959537 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241442458424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27025] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27025/stat : 27025 (java) S 27002 27004 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337959611 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241437193128 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27036] ppid=27002 vsize=11852648 CPUtime=1.82 cores=0,2,4,6
/proc/27004/task/27036/stat : 27036 (java) R 27002 27004 25219 0 -1 4202560 3 0 0 0 182 0 0 0 20 0 22 0 337959965 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241439298320 140241503486636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27037] ppid=27002 vsize=11852648 CPUtime=1.82 cores=0,2,4,6
/proc/27004/task/27037/stat : 27037 (java) R 27002 27004 25219 0 -1 4202560 119 0 0 0 178 4 0 0 20 0 22 0 337959965 12137111552 293516 33554432000 1073741824 1073778376 140736094687920 140241436139880 140241503567580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 119 0 0 0 117 2 0 0 20 0 22 0 337959533 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 124 0 0 0 114 2 0 0 20 0 22 0 337959533 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 112 0 0 0 118 0 0 0 20 0 22 0 337959533 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 111 0 0 0 121 2 0 0 20 0 22 0 337959533 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 150 0 0 0 128 2 0 0 20 0 22 0 337959533 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=45.13 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 268 0 0 0 4504 9 0 0 20 0 22 0 337959534 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) S 27002 27004 25219 0 -1 4202560 8394 0 0 0 138 2 0 0 20 0 22 0 337959537 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241443511224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) S 27002 27004 25219 0 -1 4202560 5575 0 0 0 116 2 0 0 20 0 22 0 337959537 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241442458424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 337959537 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27044] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27044/stat : 27044 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337971549 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241438246440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27046] ppid=27002 vsize=11852648 CPUtime=426.99 cores=0,2,4,6
/proc/27004/task/27046/stat : 27046 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 42693 6 0 0 20 0 22 0 338002219 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241437192912 140241503486684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27047] ppid=27002 vsize=11852648 CPUtime=426.95 cores=0,2,4,6
/proc/27004/task/27047/stat : 27047 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 42689 6 0 0 20 0 22 0 338002219 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241439296208 140241503150282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27048] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27048/stat : 27048 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338002219 12137111552 650707 33554432000 1073741824 1073778376 140736094687920 140241436140712 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1719.09
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+922.907 s]
/proc/loadavg: 3.88 3.88 3.82 5/219 27187
/proc/meminfo: memFree=25250700/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11852648 CPUtime=1798.67 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 20717 0 1 0 179773 94 0 0 20 0 22 0 337959531 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2963162 650744 2297 9 0 2953849 0
[pid=27004/tid=27006] ppid=27002 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/27004/task/27006/stat : 27006 (java) S 27002 27004 25219 0 -1 4202560 3037 0 1 0 78 5 0 0 20 0 22 0 337959531 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241630532744 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27007] ppid=27002 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/27004/task/27007/stat : 27007 (java) S 27002 27004 25219 0 -1 4202560 145 0 0 0 126 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241467288104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27008] ppid=27002 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/27004/task/27008/stat : 27008 (java) S 27002 27004 25219 0 -1 4202560 108 0 0 0 123 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241466235304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27009] ppid=27002 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/27004/task/27009/stat : 27009 (java) S 27002 27004 25219 0 -1 4202560 108 0 0 0 122 1 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241465182504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 125 0 0 0 121 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 124 0 0 0 119 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 112 0 0 0 122 0 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 117 0 0 0 125 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 155 0 0 0 136 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=46.94 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 270 0 0 0 4685 9 0 0 20 0 22 0 337959534 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) S 27002 27004 25219 0 -1 4202560 8394 0 0 0 138 2 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241443511224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) S 27002 27004 25219 0 -1 4202560 5575 0 0 0 116 2 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241442458424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27044] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27044/stat : 27044 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337971549 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241438246440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27046] ppid=27002 vsize=11852648 CPUtime=465.58 cores=0,2,4,6
/proc/27004/task/27046/stat : 27046 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 46551 7 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241437192912 140241503350964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27047] ppid=27002 vsize=11852648 CPUtime=465.56 cores=0,2,4,6
/proc/27004/task/27047/stat : 27047 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 46549 7 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241439296128 140241503578031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27048] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27048/stat : 27048 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241436140712 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 11852648

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

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

[startup+922.907 s]
/proc/loadavg: 3.88 3.88 3.82 5/219 27187
/proc/meminfo: memFree=25250700/32873648 swapFree=7388/7388
[pid=27004] ppid=27002 vsize=11852648 CPUtime=1798.67 cores=0,2,4,6
/proc/27004/stat : 27004 (java) S 27002 27004 25219 0 -1 4202496 20717 0 1 0 179773 94 0 0 20 0 22 0 337959531 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140736094679056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27004/statm: 2963162 650744 2297 9 0 2953849 0
[pid=27004/tid=27006] ppid=27002 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/27004/task/27006/stat : 27006 (java) S 27002 27004 25219 0 -1 4202560 3037 0 1 0 78 5 0 0 20 0 22 0 337959531 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241630532744 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27007] ppid=27002 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/27004/task/27007/stat : 27007 (java) S 27002 27004 25219 0 -1 4202560 145 0 0 0 126 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241467288104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27008] ppid=27002 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/27004/task/27008/stat : 27008 (java) S 27002 27004 25219 0 -1 4202560 108 0 0 0 123 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241466235304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27004/tid=27009] ppid=27002 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/27004/task/27009/stat : 27009 (java) S 27002 27004 25219 0 -1 4202560 108 0 0 0 122 1 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241465182504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27010] ppid=27002 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/27004/task/27010/stat : 27010 (java) S 27002 27004 25219 0 -1 4202560 125 0 0 0 121 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241464129704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27011] ppid=27002 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/27004/task/27011/stat : 27011 (java) S 27002 27004 25219 0 -1 4202560 124 0 0 0 119 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241463077928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27012] ppid=27002 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/27004/task/27012/stat : 27012 (java) S 27002 27004 25219 0 -1 4202560 112 0 0 0 122 0 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241462025128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27013] ppid=27002 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/27004/task/27013/stat : 27013 (java) S 27002 27004 25219 0 -1 4202560 117 0 0 0 125 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241460972328 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27014] ppid=27002 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/27004/task/27014/stat : 27014 (java) S 27002 27004 25219 0 -1 4202560 155 0 0 0 136 2 0 0 20 0 22 0 337959533 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241459919528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27015] ppid=27002 vsize=11852648 CPUtime=46.94 cores=0,2,4,6
/proc/27004/task/27015/stat : 27015 (java) S 27002 27004 25219 0 -1 4202560 270 0 0 0 4685 9 0 0 20 0 22 0 337959534 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241447721448 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27016] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27016/stat : 27016 (java) S 27002 27004 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241446667512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27017] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27017/stat : 27017 (java) S 27002 27004 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337959535 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241445614600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27018] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27018/stat : 27018 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241444563088 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27019] ppid=27002 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/27004/task/27019/stat : 27019 (java) S 27002 27004 25219 0 -1 4202560 8394 0 0 0 138 2 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241443511224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27020] ppid=27002 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/27004/task/27020/stat : 27020 (java) S 27002 27004 25219 0 -1 4202560 5575 0 0 0 116 2 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241442458424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27021] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27021/stat : 27021 (java) S 27002 27004 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241441405816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27022] ppid=27002 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/27004/task/27022/stat : 27022 (java) S 27002 27004 25219 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 337959537 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241440353224 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27044] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27044/stat : 27044 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337971549 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241438246440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27004/tid=27046] ppid=27002 vsize=11852648 CPUtime=465.58 cores=0,2,4,6
/proc/27004/task/27046/stat : 27046 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 46551 7 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241437192912 140241503350964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27004/tid=27047] ppid=27002 vsize=11852648 CPUtime=465.56 cores=0,2,4,6
/proc/27004/task/27047/stat : 27047 (java) R 27002 27004 25219 0 -1 4202560 4 0 0 0 46549 7 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241439296128 140241503578031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27004/tid=27048] ppid=27002 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27004/task/27048/stat : 27048 (java) S 27002 27004 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338002219 12137111552 650744 33554432000 1073741824 1073778376 140736094687920 140241436140712 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27004 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=178091
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=332797
# CPU time returned by wait4() is 1796.51
# while last known CPU time is 1798.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.47002
#  lost CPU user time (s): 1.61999
#  lost CPU system time (s): -0.15

Real time (s): 922.938
CPU time (s): 1800.14
CPU user time (s): 1799.35
CPU system time (s): 0.79
CPU usage (%): 195.045
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 1.3328
maximum resident set size= 2603092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20748
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25409
involuntary context switches= 31771

runsolver used 3.63945 second user time and 8.00478 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-03 12:12:30
IDJOB=3736888
IDBENCH=48140
IDSOLVER=2328
FILE ID=node148/3736888-1338718350
RUNJOBID= node148-1338713436-25235
PBS_JOBID= 14636734
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=2004340239

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25573280 kB
Buffers:          594804 kB
Cached:          2873736 kB
SwapCached:          628 kB
Active:          4308256 kB
Inactive:        2064384 kB
Active(anon):    2893336 kB
Inactive(anon):    10660 kB
Active(file):    1414920 kB
Inactive(file):  2053724 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:               604 kB
Writeback:             0 kB
AnonPages:       2975980 kB
Mapped:            19156 kB
Shmem:                36 kB
Slab:             767032 kB
SReclaimable:     210608 kB
SUnreclaim:       556424 kB
KernelStack:        1784 kB
PageTables:         9900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10459592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2912256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node148 at 2012-06-03 12:27:55