Trace number 3688795

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 NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.74 1792.25

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
MD5SUM9100923ff6d9c8d4da1b288858ed91b3
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.0534
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688795-1337888061.opb
0.11/0.10	c reading problem ... 
0.49/0.38	c ... done. Wall clock time 0.274s.
0.49/0.38	c declared #vars     200
0.49/0.38	c internal #vars     3262
0.49/0.38	c #constraints  6427
0.49/0.38	c constraints type 
0.49/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
0.49/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
0.49/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.49/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.49/0.38	c 6427 constraints processed.
1.75/0.95	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.21/1.32	c cleaning 4251 clauses out of 8501 with flag 11000/11000
2.53/1.63	c cleaning 5626 clauses out of 11251 with flag 18001/18001
2.85/1.97	c cleaning 6813 clauses out of 13627 with flag 26003/26003
3.30/2.36	c cleaning 7902 clauses out of 15814 with flag 35003/35003
3.71/2.78	c cleaning 8951 clauses out of 17910 with flag 45001/45001
4.23/3.28	c cleaning 9979 clauses out of 19959 with flag 56001/56001
4.84/3.80	c cleaning 10982 clauses out of 21979 with flag 68000/68000
5.35/4.38	c cleaning 11996 clauses out of 24000 with flag 81003/81003
6.06/5.01	c cleaning 12998 clauses out of 26003 with flag 95002/95002
6.66/5.65	c cleaning 13997 clauses out of 28004 with flag 110001/110001
7.47/6.43	c cleaning 15003 clauses out of 30006 with flag 126000/126000
8.59/7.59	c cleaning 16005 clauses out of 32010 with flag 143007/143007
9.62/8.56	c cleaning 16990 clauses out of 33998 with flag 161000/161000
10.72/9.67	c cleaning 17989 clauses out of 36008 with flag 180000/180000
11.85/10.76	c cleaning 19012 clauses out of 38031 with flag 200012/200012
13.08/12.00	c cleaning 19991 clauses out of 40007 with flag 221000/221000
14.51/13.34	c cleaning 20984 clauses out of 42016 with flag 243000/243000
16.24/15.00	c cleaning 22007 clauses out of 44034 with flag 266002/266002
17.98/16.74	c cleaning 23004 clauses out of 46027 with flag 290002/290002
19.68/18.40	c cleaning 24004 clauses out of 48022 with flag 315001/315001
21.60/20.30	c cleaning 25002 clauses out of 50018 with flag 341001/341001
23.42/22.12	c cleaning 25999 clauses out of 52016 with flag 368001/368001
25.45/24.17	c cleaning 26996 clauses out of 54017 with flag 396001/396001
27.47/26.13	c cleaning 27997 clauses out of 56023 with flag 425003/425003
29.59/28.29	c cleaning 28993 clauses out of 58023 with flag 455000/455000
31.82/30.49	c cleaning 30004 clauses out of 60031 with flag 486001/486001
34.14/32.77	c cleaning 31003 clauses out of 62028 with flag 518002/518002
36.67/35.22	c cleaning 31990 clauses out of 64025 with flag 551002/551002
38.99/37.53	c cleaning 33001 clauses out of 66033 with flag 585000/585000
41.31/39.88	c cleaning 34012 clauses out of 68033 with flag 620001/620001
44.02/42.58	c cleaning 35007 clauses out of 70022 with flag 656002/656002
46.84/45.32	c cleaning 35997 clauses out of 72013 with flag 693000/693000
49.65/48.15	c cleaning 36996 clauses out of 74017 with flag 731001/731001
52.57/51.06	c cleaning 37998 clauses out of 76020 with flag 770000/770000
55.59/54.05	c cleaning 39000 clauses out of 78022 with flag 810000/810000
58.50/56.99	c cleaning 40003 clauses out of 80022 with flag 851000/851000
61.72/60.16	c cleaning 40993 clauses out of 82019 with flag 893000/893000
65.23/63.60	c cleaning 42004 clauses out of 84027 with flag 936001/936001
68.67/67.10	c cleaning 42988 clauses out of 86022 with flag 980000/980000
72.20/70.56	c cleaning 44009 clauses out of 88034 with flag 1025000/1025000
75.82/74.12	c cleaning 45006 clauses out of 90026 with flag 1071001/1071001
79.05/77.38	c cleaning 46002 clauses out of 92019 with flag 1118000/1118000
82.78/81.05	c cleaning 46995 clauses out of 94019 with flag 1166002/1166002
86.51/84.71	c cleaning 47991 clauses out of 96022 with flag 1215000/1215000
90.23/88.49	c cleaning 49008 clauses out of 98033 with flag 1265002/1265002
94.14/92.32	c cleaning 49988 clauses out of 100024 with flag 1316001/1316001
98.41/96.57	c cleaning 50997 clauses out of 102035 with flag 1368000/1368000
102.41/100.58	c cleaning 52009 clauses out of 104038 with flag 1421000/1421000
106.95/105.03	c cleaning 53007 clauses out of 106029 with flag 1475000/1475000
111.38/109.49	c cleaning 53993 clauses out of 108022 with flag 1530000/1530000
115.88/113.92	c cleaning 55003 clauses out of 110029 with flag 1586000/1586000
120.11/118.19	c cleaning 56009 clauses out of 112027 with flag 1643001/1643001
124.04/122.08	c cleaning 56996 clauses out of 114017 with flag 1701000/1701000
128.26/126.26	c cleaning 58000 clauses out of 116022 with flag 1760001/1760001
132.70/130.64	c cleaning 58989 clauses out of 118021 with flag 1820000/1820000
137.35/135.25	c cleaning 59983 clauses out of 120032 with flag 1881000/1881000
142.02/139.88	c cleaning 60984 clauses out of 122051 with flag 1943002/1943002
146.53/144.32	c cleaning 62013 clauses out of 124066 with flag 2006001/2006001
152.26/150.02	c cleaning 63001 clauses out of 126054 with flag 2070002/2070002
157.49/155.20	c cleaning 64016 clauses out of 128051 with flag 2135000/2135000
162.62/160.34	c cleaning 65012 clauses out of 130036 with flag 2201001/2201001
167.75/165.47	c cleaning 65999 clauses out of 132023 with flag 2268000/2268000
173.38/171.09	c cleaning 67000 clauses out of 134026 with flag 2336002/2336002
180.14/177.77	c cleaning 68006 clauses out of 136025 with flag 2405001/2405001
186.77/184.34	c cleaning 68998 clauses out of 138018 with flag 2475000/2475000
194.13/191.67	c cleaning 69989 clauses out of 140020 with flag 2546000/2546000
201.06/198.52	c cleaning 70994 clauses out of 142032 with flag 2618001/2618001
208.00/205.44	c cleaning 72008 clauses out of 144041 with flag 2691004/2691004
216.33/213.79	c cleaning 73006 clauses out of 146029 with flag 2765000/2765000
224.66/222.10	c cleaning 74003 clauses out of 148023 with flag 2840000/2840000
232.90/230.23	c cleaning 74997 clauses out of 150023 with flag 2916003/2916003
241.45/238.74	c cleaning 76009 clauses out of 152026 with flag 2993003/2993003
248.69/245.96	c cleaning 76999 clauses out of 154014 with flag 3071000/3071000
257.71/254.90	c cleaning 77995 clauses out of 156015 with flag 3150000/3150000
265.64/262.84	c cleaning 79000 clauses out of 158022 with flag 3230002/3230002
273.09/270.24	c cleaning 79999 clauses out of 160021 with flag 3311001/3311001
281.42/278.59	c cleaning 80998 clauses out of 162022 with flag 3393001/3393001
289.26/286.38	c cleaning 82009 clauses out of 164023 with flag 3476000/3476000
298.51/295.53	c cleaning 83005 clauses out of 166016 with flag 3560002/3560002
307.24/304.28	c cleaning 83998 clauses out of 168011 with flag 3645002/3645002
318.18/315.18	c cleaning 84996 clauses out of 170011 with flag 3731000/3731000
327.73/324.64	c cleaning 86002 clauses out of 172016 with flag 3818001/3818001
337.17/334.01	c cleaning 86985 clauses out of 174014 with flag 3906001/3906001
345.71/342.59	c cleaning 88012 clauses out of 176030 with flag 3995002/3995002
354.75/351.54	c cleaning 88986 clauses out of 178016 with flag 4085000/4085000
363.32/360.01	c cleaning 90005 clauses out of 180030 with flag 4176000/4176000
372.26/368.96	c cleaning 91002 clauses out of 182025 with flag 4268000/4268000
381.80/378.47	c cleaning 91997 clauses out of 184023 with flag 4361000/4361000
391.63/388.23	c cleaning 92995 clauses out of 186026 with flag 4455000/4455000
400.45/397.09	c cleaning 94012 clauses out of 188031 with flag 4550000/4550000
410.16/406.72	c cleaning 94999 clauses out of 190019 with flag 4646000/4646000
419.81/416.38	c cleaning 95985 clauses out of 192020 with flag 4743000/4743000
429.55/426.00	c cleaning 97012 clauses out of 194036 with flag 4841001/4841001
439.37/435.87	c cleaning 98006 clauses out of 196026 with flag 4940003/4940003
450.23/446.62	c cleaning 98995 clauses out of 198017 with flag 5040000/5040000
461.24/457.51	c cleaning 100005 clauses out of 200023 with flag 5141001/5141001
470.77/467.07	c cleaning 101003 clauses out of 202020 with flag 5243003/5243003
481.38/477.61	c cleaning 102003 clauses out of 204019 with flag 5346005/5346005
492.72/488.95	c cleaning 102996 clauses out of 206011 with flag 5450000/5450000
503.65/499.80	c cleaning 104001 clauses out of 208015 with flag 5555000/5555000
515.01/511.13	c cleaning 104995 clauses out of 210014 with flag 5661000/5661000
527.36/523.43	c cleaning 106001 clauses out of 212019 with flag 5768000/5768000
540.89/536.93	c cleaning 106990 clauses out of 214019 with flag 5876001/5876001
552.72/548.75	c cleaning 108009 clauses out of 216028 with flag 5985000/5985000
563.97/559.98	c cleaning 109000 clauses out of 218019 with flag 6095000/6095000
575.81/571.71	c cleaning 110000 clauses out of 220019 with flag 6206000/6206000
589.93/585.83	c cleaning 110992 clauses out of 222020 with flag 6318001/6318001
606.31/602.11	c cleaning 112001 clauses out of 224031 with flag 6431004/6431004
622.47/618.23	c cleaning 113000 clauses out of 226026 with flag 6545000/6545000
639.50/635.25	c cleaning 113999 clauses out of 228027 with flag 6660001/6660001
653.65/649.36	c cleaning 115008 clauses out of 230027 with flag 6776000/6776000
666.89/662.52	c cleaning 115994 clauses out of 232019 with flag 6893000/6893000
680.35/675.95	c cleaning 116985 clauses out of 234026 with flag 7011001/7011001
694.70/690.29	c cleaning 118014 clauses out of 236040 with flag 7130000/7130000
708.66/704.16	c cleaning 119000 clauses out of 238027 with flag 7250001/7250001
722.61/718.04	c cleaning 120002 clauses out of 240027 with flag 7371001/7371001
736.27/731.65	c cleaning 120995 clauses out of 242024 with flag 7493000/7493000
750.32/745.68	c cleaning 122003 clauses out of 244031 with flag 7616002/7616002
763.77/759.03	c cleaning 122992 clauses out of 246030 with flag 7740004/7740004
777.41/772.67	c cleaning 123986 clauses out of 248036 with flag 7865002/7865002
790.68/785.87	c cleaning 124971 clauses out of 250048 with flag 7991000/7991000
804.50/799.62	c cleaning 126022 clauses out of 252077 with flag 8118000/8118000
818.84/813.98	c cleaning 127015 clauses out of 254055 with flag 8246000/8246000
834.28/829.35	c cleaning 127997 clauses out of 256041 with flag 8375001/8375001
849.63/844.69	c cleaning 129014 clauses out of 258043 with flag 8505000/8505000
863.98/858.91	c cleaning 129998 clauses out of 260029 with flag 8636000/8636000
879.52/874.48	c cleaning 130993 clauses out of 262032 with flag 8768001/8768001
895.06/889.93	c cleaning 132004 clauses out of 264038 with flag 8901000/8901000
909.09/903.97	c cleaning 132997 clauses out of 266035 with flag 9035001/9035001
924.96/919.77	c cleaning 133986 clauses out of 268038 with flag 9170001/9170001
939.70/934.41	c cleaning 135001 clauses out of 270051 with flag 9306000/9306000
955.22/949.99	c cleaning 136002 clauses out of 272050 with flag 9443000/9443000
971.36/966.06	c cleaning 136972 clauses out of 274049 with flag 9581001/9581001
987.23/981.82	c cleaning 138019 clauses out of 276077 with flag 9720001/9720001
1003.81/998.32	c cleaning 138985 clauses out of 278058 with flag 9860001/9860001
1021.34/1015.80	c cleaning 140008 clauses out of 280072 with flag 10001000/10001000
1038.39/1032.88	c cleaning 141022 clauses out of 282065 with flag 10143001/10143001
1055.64/1050.09	c cleaning 141991 clauses out of 284043 with flag 10286001/10286001
1075.40/1069.77	c cleaning 143020 clauses out of 286055 with flag 10430004/10430004
1098.38/1092.61	c cleaning 144007 clauses out of 288031 with flag 10575000/10575000
1120.37/1114.52	c cleaning 144991 clauses out of 290024 with flag 10721000/10721000
1136.22/1130.32	c cleaning 146003 clauses out of 292033 with flag 10868000/10868000
1153.55/1147.67	c cleaning 146986 clauses out of 294030 with flag 11016000/11016000
1170.01/1164.00	c cleaning 148003 clauses out of 296044 with flag 11165000/11165000
1189.07/1183.09	c cleaning 149011 clauses out of 298042 with flag 11315001/11315001
1208.54/1202.45	c cleaning 150003 clauses out of 300032 with flag 11466002/11466002
1227.54/1221.38	c cleaning 151003 clauses out of 302027 with flag 11618000/11618000
1254.49/1248.22	c cleaning 152002 clauses out of 304024 with flag 11771000/11771000
1277.85/1271.54	c cleaning 153000 clauses out of 306022 with flag 11925000/11925000
1302.12/1295.77	c cleaning 154010 clauses out of 308024 with flag 12080002/12080002
1324.50/1318.00	c cleaning 154997 clauses out of 310012 with flag 12236000/12236000
1346.17/1339.64	c cleaning 155997 clauses out of 312015 with flag 12393000/12393000
1370.13/1363.56	c cleaning 157003 clauses out of 314021 with flag 12551003/12551003
1394.80/1388.19	c cleaning 157993 clauses out of 316016 with flag 12710001/12710001
1420.85/1414.12	c cleaning 158998 clauses out of 318022 with flag 12870000/12870000
1445.38/1438.61	c cleaning 160007 clauses out of 320024 with flag 13031000/13031000
1470.44/1463.63	c cleaning 160997 clauses out of 322019 with flag 13193002/13193002
1496.82/1489.91	c cleaning 161990 clauses out of 324020 with flag 13356000/13356000
1521.18/1514.21	c cleaning 163003 clauses out of 326035 with flag 13520005/13520005
1545.65/1538.65	c cleaning 164000 clauses out of 328027 with flag 13685000/13685000
1572.46/1565.39	c cleaning 164999 clauses out of 330027 with flag 13851000/13851000
1599.41/1592.20	c cleaning 165961 clauses out of 332028 with flag 14018000/14018000
1627.52/1620.23	c cleaning 167015 clauses out of 334068 with flag 14186001/14186001
1654.58/1647.24	c cleaning 168009 clauses out of 336052 with flag 14355000/14355000
1683.57/1676.12	c cleaning 169013 clauses out of 338043 with flag 14525000/14525000
1714.35/1706.82	c cleaning 170004 clauses out of 340030 with flag 14696000/14696000
1740.03/1732.45	c cleaning 170985 clauses out of 342026 with flag 14868000/14868000
1769.79/1762.13	c cleaning 172005 clauses out of 344041 with flag 15041000/15041000
1795.84/1788.10	c cleaning 173014 clauses out of 346036 with flag 15215000/15215000
1800.02/1792.21	c starts		: 341
1800.02/1792.21	c conflicts		: 15257700
1800.02/1792.21	c decisions		: 25277158
1800.02/1792.21	c propagations		: 622824833
1800.02/1792.21	c inspects		: 19144600420
1800.02/1792.21	c shortcuts		: 0
1800.02/1792.21	c learnt literals	: 0
1800.02/1792.21	c learnt binary clauses	: 0
1800.02/1792.21	c learnt ternary clauses	: 47141
1800.02/1792.21	c learnt constraints	: 15257701
1800.02/1792.21	c ignored constraints	: 0
1800.02/1792.21	c root simplifications	: 0
1800.02/1792.21	c removed literals (reason simplification)	: 0
1800.02/1792.21	c reason swapping (by a shorter reason)	: 0
1800.02/1792.21	c Calls to reduceDB	: 170
1800.02/1792.21	c number of reductions to clauses (during analyze)	: 0
1800.02/1792.21	c number of learned constraints concerned by reduction	: 0
1800.02/1792.21	c number of learning phase by resolution	: 0
1800.02/1792.21	c number of learning phase by cutting planes	: 0
1800.02/1792.21	c speed (assignments/second)	: 347593.04350931983
1800.02/1792.21	c non guided choices	3126
1800.02/1792.24	c learnt constraints type 
1800.02/1792.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 216050
1800.02/1792.24	c constraints type 
1800.02/1792.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
1800.02/1792.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.02/1792.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.02/1792.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1800.02/1792.24	c 6427 constraints processed.
1800.02/1792.24	s UNKNOWN
1800.02/1792.24	c Total wall clock time (in seconds): 1792.136

Verifier Data 

ERROR: no interpretation found !

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-3688795-1337888061/watcher-3688795-1337888061 -o /tmp/evaluation-result-3688795-1337888061/solver-3688795-1337888061 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688795-1337888061.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: 1.97 2.08 2.04 3/194 23178
/proc/meminfo: memFree=28559904/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 254932828 94019584 918 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 22954 918 697 9 0 16769 0
[pid=23178/tid=23179] ppid=23176 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) D 23176 23178 21479 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254932829 94019584 918 33554432000 1073741824 1073778376 140736922840416 139841304317480 271778409767 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0

[startup+0.018695 s]
/proc/loadavg: 1.97 2.08 2.04 3/194 23178
/proc/meminfo: memFree=28559904/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 2769 0 1 0 0 0 0 0 20 0 10 0 254932828 9233014784 3469 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2254154 3469 1537 9 0 2244855 0
[pid=23178/tid=23179] ppid=23176 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 1612 0 1 0 0 0 0 0 20 0 10 0 254932829 9233014784 3469 33554432000 1073741824 1073778376 140736922840416 139841304318656 271790957837 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100289 s]
/proc/loadavg: 1.97 2.08 2.04 3/194 23178
/proc/meminfo: memFree=28559904/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 4383 0 1 0 10 1 0 0 20 0 18 0 254932828 9787813888 6099 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2389603 6103 2114 9 0 2380296 0
[pid=23178/tid=23179] ppid=23176 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2432 0 1 0 7 0 0 0 20 0 18 0 254932829 9787813888 6103 33554432000 1073741824 1073778376 140736922840416 139841304314856 271790957837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300201 s]
/proc/loadavg: 1.97 2.08 2.04 3/194 23178
/proc/meminfo: memFree=28559904/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 6022 0 1 0 48 1 0 0 20 0 18 0 254932828 9787813888 8778 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2389603 8778 2237 9 0 2380296 0
[pid=23178/tid=23179] ppid=23176 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2454 0 1 0 27 0 0 0 20 0 18 0 254932829 9787813888 8778 33554432000 1073741824 1073778376 140736922840416 139841304320552 139841132101545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700275 s]
/proc/loadavg: 1.97 2.08 2.04 3/194 23178
/proc/meminfo: memFree=28559904/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 13478 0 1 0 145 3 0 0 20 0 19 0 254932828 9855975424 15201 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 15201 2249 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2460 0 1 0 67 0 0 0 20 0 19 0 254932829 9855975424 15201 33554432000 1073741824 1073778376 140736922840416 139841304322832 139841132745670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.97 2.08 2.04 3/213 23197
/proc/meminfo: memFree=28491180/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 13884 0 1 0 240 3 0 0 20 0 19 0 254932828 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 20920 2282 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2466 0 1 0 143 0 0 0 20 0 19 0 254932829 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841304322336 139841132691829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254932831 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5399 0 0 0 42 0 0 0 20 0 19 0 254932834 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4755 0 0 0 46 0 0 0 20 0 19 0 254932834 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 20920 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 1.97 2.08 2.04 3/213 23197
/proc/meminfo: memFree=28484788/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=4.12 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 13909 0 1 0 409 3 0 0 20 0 19 0 254932828 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 21452 2282 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2467 0 1 0 294 0 0 0 20 0 19 0 254932829 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841304322456 139841132803230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 254932831 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4757 0 0 0 48 0 0 0 20 0 19 0 254932834 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 21452 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.97 2.08 2.04 3/213 23197
/proc/meminfo: memFree=28472272/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=7.37 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 13957 0 1 0 733 4 0 0 20 0 19 0 254932828 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 24017 2282 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=6.03 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2473 0 1 0 603 0 0 0 20 0 19 0 254932829 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841304322456 139841132803291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254932830 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 36 0 0 0 18 0 0 0 20 0 19 0 254932831 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4757 0 0 0 49 0 0 0 20 0 19 0 254932834 9855975424 24017 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 304 0 0 0 115 2 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 393 0 0 0 100 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 258 0 0 0 98 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=8.66 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 145 0 0 0 864 2 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4761 0 0 0 52 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 95 0 0 0 34 38 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1669.77
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 23235
/proc/meminfo: memFree=28061512/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=1729.92 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 16991 0 1 0 172934 58 0 0 20 0 19 0 254932828 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 75286 2283 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=1711.01 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2661 0 1 0 171073 28 0 0 20 0 19 0 254932829 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841304322336 139841132803235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 399 0 0 0 103 4 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 395 0 0 0 109 2 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 287 0 0 0 104 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 289 0 0 0 107 2 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 410 0 0 0 105 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 304 0 0 0 116 2 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 393 0 0 0 103 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 258 0 0 0 101 3 0 0 20 0 19 0 254932830 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=8.82 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 149 0 0 0 880 2 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4761 0 0 0 52 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 99 0 0 0 35 40 0 0 20 0 19 0 254932834 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 75286 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1729.92
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 23294
/proc/meminfo: memFree=28466464/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=1790.04 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 17006 0 1 0 178945 59 0 0 20 0 19 0 254932828 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 76310 2283 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=1770.76 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2663 0 1 0 177048 28 0 0 20 0 19 0 254932829 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841304322336 139841132803230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 401 0 0 0 105 4 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 395 0 0 0 111 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 287 0 0 0 105 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 289 0 0 0 110 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 411 0 0 0 108 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 306 0 0 0 118 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 393 0 0 0 104 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 260 0 0 0 105 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=9.02 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 151 0 0 0 900 2 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4761 0 0 0 52 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 103 0 0 0 37 41 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1790.04
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 23294
/proc/meminfo: memFree=28466340/32873648 swapFree=6844/6844
[pid=23178] ppid=23176 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/23178/stat : 23178 (java) S 23176 23178 21479 0 -1 4202496 17009 0 1 0 179943 59 0 0 20 0 19 0 254932828 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 140736922831552 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23178/statm: 2406244 76310 2283 9 0 2396937 0
[pid=23178/tid=23179] ppid=23176 vsize=9624976 CPUtime=1780.56 cores=1,3,5,7
/proc/23178/task/23179/stat : 23179 (java) R 23176 23178 21479 0 -1 4202560 2664 0 1 0 178027 29 0 0 20 0 19 0 254932829 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841304322336 139841132772513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23181] ppid=23176 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/23178/task/23181/stat : 23181 (java) S 23176 23178 21479 0 -1 4202560 401 0 0 0 108 4 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841265814312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23182] ppid=23176 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/23178/task/23182/stat : 23182 (java) S 23176 23178 21479 0 -1 4202560 395 0 0 0 112 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841264761512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23183] ppid=23176 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/23178/task/23183/stat : 23183 (java) S 23176 23178 21479 0 -1 4202560 287 0 0 0 106 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841263709224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23184] ppid=23176 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/23178/task/23184/stat : 23184 (java) S 23176 23178 21479 0 -1 4202560 289 0 0 0 111 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841262656424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23185] ppid=23176 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23178/task/23185/stat : 23185 (java) S 23176 23178 21479 0 -1 4202560 411 0 0 0 108 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841261603112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23186] ppid=23176 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23178/task/23186/stat : 23186 (java) S 23176 23178 21479 0 -1 4202560 306 0 0 0 119 2 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841260550312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23187] ppid=23176 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/23178/task/23187/stat : 23187 (java) S 23176 23178 21479 0 -1 4202560 393 0 0 0 105 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841259498024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23188] ppid=23176 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/23178/task/23188/stat : 23188 (java) S 23176 23178 21479 0 -1 4202560 260 0 0 0 106 3 0 0 20 0 19 0 254932830 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841258445224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23178/tid=23189] ppid=23176 vsize=9624976 CPUtime=9.11 cores=1,3,5,7
/proc/23178/task/23189/stat : 23189 (java) S 23176 23178 21479 0 -1 4202560 153 0 0 0 909 2 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841127820008 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23190] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23190/stat : 23190 (java) S 23176 23178 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841126766072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23191] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23191/stat : 23191 (java) S 23176 23178 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254932831 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841125713672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23192] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23192/stat : 23192 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841124662160 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23193] ppid=23176 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23178/task/23193/stat : 23193 (java) S 23176 23178 21479 0 -1 4202560 5400 0 0 0 45 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841123608760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23178/tid=23194] ppid=23176 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23178/task/23194/stat : 23194 (java) S 23176 23178 21479 0 -1 4202560 4761 0 0 0 52 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841122555960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23195] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23195/stat : 23195 (java) S 23176 23178 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841121503864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23178/tid=23196] ppid=23176 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/23178/task/23196/stat : 23196 (java) S 23176 23178 21479 0 -1 4202560 103 0 0 0 37 41 0 0 20 0 19 0 254932834 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841120451272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23178/tid=23197] ppid=23176 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23178/task/23197/stat : 23197 (java) S 23176 23178 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254932867 9855975424 76310 33554432000 1073741824 1073778376 140736922840416 139841119397288 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1792.25
CPU time (s): 1800.74
CPU user time (s): 1799.66
CPU system time (s): 1.08383
CPU usage (%): 100.474
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 1.08384
maximum resident set size= 305356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17041
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42669
involuntary context switches= 17555

runsolver used 6.22005 second user time and 14.4948 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-24 21:34:21
IDJOB=3688795
IDBENCH=48320
IDSOLVER=2269
FILE ID=node115/3688795-1337888061
RUNJOBID= node115-1337871882-21496
PBS_JOBID= 14620089
Free space on /tmp= 71648 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688795-1337888061/watcher-3688795-1337888061 -o /tmp/evaluation-result-3688795-1337888061/solver-3688795-1337888061 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688795-1337888061.opb

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

MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3
RANDOM SEED=1952753557

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28560548 kB
Buffers:          206396 kB
Cached:          2828688 kB
SwapCached:            0 kB
Active:          1392688 kB
Inactive:        2153272 kB
Active(anon):     513204 kB
Inactive(anon):        0 kB
Active(file):     879484 kB
Inactive(file):  2153272 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        521596 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             624504 kB
SReclaimable:      68776 kB
SUnreclaim:       555728 kB
KernelStack:        1608 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1088324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    464896 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= 71648 MiB
End job on node115 at 2012-05-24 22:04:15