Trace number 3688180

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)12 1800.08 906.841

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.129979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c ManyCore solver with 2 solvers running in parallel
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3688180-1337875775.opb
0.10/0.10	c reading problem ... 
0.10/0.15	c ... done. Wall clock time 0.052s.
0.10/0.15	c declared #vars     100
0.10/0.15	c #constraints  100
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.10/0.15	c 100 constraints processed.
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.10/0.15	c 100 constraints processed.
0.10/0.15	c objective function length is 100 literals
0.10/0.16	c  And the winner is solver0
0.19/0.65	c SATISFIABLE
0.19/0.65	c OPTIMIZING...
0.19/0.65	c Got one! Elapsed wall clock time (in seconds):0.554
0.19/0.66	o 16
0.19/0.67	c  And the winner is solver0
0.20/1.16	c Got one! Elapsed wall clock time (in seconds):1.057
0.20/1.16	o 15
0.20/1.18	c  And the winner is solver1
0.37/1.66	c Got one! Elapsed wall clock time (in seconds):1.559
0.37/1.66	o 14
0.91/1.80	c  And the winner is solver1
1.24/2.16	c Got one! Elapsed wall clock time (in seconds):2.06
1.24/2.16	o 13
1.77/2.33	c cleaning 2923 clauses out of 5848 with flag 3000/5848
2.12/2.48	c cleaning 4457 clauses out of 8925 with flag 9000/11848
2.83/2.65	c cleaning 5735 clauses out of 11470 with flag 16002/18850
3.35/2.86	c cleaning 6860 clauses out of 13734 with flag 24001/26849
3.83/3.10	c cleaning 7936 clauses out of 15873 with flag 33000/35848
4.41/3.35	c cleaning 8969 clauses out of 17937 with flag 43000/45848
5.00/3.64	c cleaning 9984 clauses out of 19968 with flag 54000/56848
5.39/3.85	c  And the winner is solver1
5.50/4.17	c Got one! Elapsed wall clock time (in seconds):4.072
5.50/4.17	o 12
5.75/4.33	c cleaning 11677 clauses out of 23357 with flag 5000/70221
6.11/4.52	c cleaning 8835 clauses out of 17680 with flag 11000/76221
6.48/4.71	c cleaning 7913 clauses out of 15847 with flag 18002/83223
6.85/4.91	c cleaning 7953 clauses out of 15932 with flag 26000/91221
7.24/5.15	c cleaning 8484 clauses out of 16979 with flag 35000/100221
7.82/5.42	c cleaning 9244 clauses out of 18496 with flag 45001/110222
8.37/5.71	c cleaning 10109 clauses out of 20252 with flag 56001/121222
8.94/6.03	c cleaning 11069 clauses out of 22143 with flag 68001/133222
9.73/6.40	c cleaning 12032 clauses out of 24073 with flag 81000/146221
10.49/6.84	c cleaning 13010 clauses out of 26041 with flag 95000/160221
11.49/7.33	c cleaning 14012 clauses out of 28031 with flag 110000/175221
12.43/7.86	c cleaning 14996 clauses out of 30020 with flag 126001/191222
13.39/8.37	c cleaning 16004 clauses out of 32023 with flag 143000/208221
14.75/9.01	c cleaning 17002 clauses out of 34019 with flag 161000/226221
15.92/9.65	c cleaning 18010 clauses out of 36019 with flag 180002/245223
17.27/10.33	c cleaning 18995 clauses out of 38008 with flag 200001/265222
18.65/11.09	c cleaning 19991 clauses out of 40012 with flag 221000/286221
20.19/11.88	c cleaning 21003 clauses out of 42021 with flag 243000/308221
21.94/12.70	c cleaning 22010 clauses out of 44021 with flag 266003/331224
23.69/13.62	c cleaning 23000 clauses out of 46011 with flag 290003/355224
25.64/14.63	c cleaning 24001 clauses out of 48009 with flag 315001/380222
27.76/15.72	c cleaning 24999 clauses out of 50007 with flag 341000/406221
29.72/16.70	c cleaning 26001 clauses out of 52008 with flag 368000/433221
32.07/17.93	c cleaning 26994 clauses out of 54007 with flag 396000/461221
34.61/19.28	c cleaning 27993 clauses out of 56013 with flag 425000/490221
37.12/20.53	c cleaning 29004 clauses out of 58022 with flag 455002/520223
39.67/21.88	c cleaning 29997 clauses out of 60017 with flag 486001/551222
42.43/23.21	c cleaning 31004 clauses out of 62019 with flag 518000/583221
45.16/24.64	c cleaning 32005 clauses out of 64015 with flag 551000/616221
47.86/26.08	c cleaning 32994 clauses out of 66013 with flag 585003/650224
51.01/27.70	c cleaning 34001 clauses out of 68016 with flag 620000/685221
52.77/28.54	c cleaning 0 clauses out of 5243 with flag 0/5243
54.90/29.48	c cleaning 35004 clauses out of 70015 with flag 656000/721221
58.59/31.32	c cleaning 36001 clauses out of 72016 with flag 693005/758226
62.33/33.24	c cleaning 36999 clauses out of 74010 with flag 731000/796221
66.08/35.17	c cleaning 37999 clauses out of 76011 with flag 770000/835221
69.80/37.08	c cleaning 39001 clauses out of 78012 with flag 810000/875221
74.28/39.39	c cleaning 39996 clauses out of 80011 with flag 851000/916221
79.03/41.72	c cleaning 40999 clauses out of 82015 with flag 893000/958221
83.94/44.29	c cleaning 42000 clauses out of 84017 with flag 936001/1001222
88.85/46.79	c cleaning 43000 clauses out of 86016 with flag 980000/1045221
93.74/49.28	c cleaning 44008 clauses out of 88019 with flag 1025003/1090224
98.26/51.57	c cleaning 45003 clauses out of 90008 with flag 1071000/1136221
103.98/54.43	c cleaning 45994 clauses out of 92005 with flag 1118000/1183221
109.51/57.25	c cleaning 46995 clauses out of 94012 with flag 1166001/1231222
114.94/60.09	c cleaning 47999 clauses out of 96016 with flag 1215000/1280221
120.64/62.98	c cleaning 49005 clauses out of 98018 with flag 1265001/1330222
126.55/65.96	c cleaning 49996 clauses out of 100014 with flag 1316002/1381223
132.85/69.20	c cleaning 51008 clauses out of 102018 with flag 1368002/1433223
139.31/72.50	c cleaning 51996 clauses out of 104008 with flag 1421000/1486221
146.01/75.84	c cleaning 53002 clauses out of 106012 with flag 1475000/1540221
152.29/79.10	c cleaning 53994 clauses out of 108010 with flag 1530000/1595221
159.19/82.53	c cleaning 54998 clauses out of 110016 with flag 1586000/1651221
166.80/86.47	c cleaning 56000 clauses out of 112018 with flag 1643000/1708221
173.88/90.03	c cleaning 57006 clauses out of 114019 with flag 1701001/1766222
181.17/93.75	c cleaning 58003 clauses out of 116012 with flag 1760000/1825221
188.86/97.61	c cleaning 59000 clauses out of 118012 with flag 1820003/1885224
196.93/101.79	c cleaning 60002 clauses out of 120009 with flag 1881000/1946221
204.86/105.71	c cleaning 60990 clauses out of 122007 with flag 1943000/2008221
212.98/109.83	c cleaning 61998 clauses out of 124017 with flag 2006000/2071221
220.90/113.85	c cleaning 63007 clauses out of 126020 with flag 2070001/2135222
231.62/119.27	c cleaning 63997 clauses out of 128012 with flag 2135000/2200221
241.94/124.46	c cleaning 65003 clauses out of 130018 with flag 2201003/2266224
252.63/129.82	c cleaning 66000 clauses out of 132013 with flag 2268001/2333222
263.14/135.12	c cleaning 67004 clauses out of 134012 with flag 2336000/2401221
274.16/140.73	c cleaning 68004 clauses out of 136009 with flag 2405001/2470222
286.46/146.96	c cleaning 68983 clauses out of 138004 with flag 2475000/2540221
296.55/152.06	c cleaning 69992 clauses out of 140021 with flag 2546000/2611221
309.28/158.42	c cleaning 71005 clauses out of 142029 with flag 2618000/2683221
314.26/161.01	c cleaning 0 clauses out of 11244 with flag 0/11244
323.22/165.59	c cleaning 72014 clauses out of 144028 with flag 2691004/2756225
336.54/172.23	c cleaning 72994 clauses out of 146011 with flag 2765001/2830222
347.87/177.99	c cleaning 74002 clauses out of 148016 with flag 2840000/2905221
360.10/184.16	c cleaning 75005 clauses out of 150016 with flag 2916002/2981223
371.63/189.95	c cleaning 76000 clauses out of 152009 with flag 2993000/3058221
385.56/196.97	c cleaning 76989 clauses out of 154009 with flag 3071000/3136221
399.45/203.99	c cleaning 78009 clauses out of 156022 with flag 3150002/3215223
413.93/211.21	c cleaning 78999 clauses out of 158011 with flag 3230000/3295221
429.88/219.21	c cleaning 80000 clauses out of 160012 with flag 3311000/3376221
445.61/227.10	c cleaning 81004 clauses out of 162012 with flag 3393000/3458221
462.95/235.86	c cleaning 81998 clauses out of 164008 with flag 3476000/3541221
476.99/242.97	c cleaning 82996 clauses out of 166010 with flag 3560000/3625221
492.55/250.80	c cleaning 83994 clauses out of 168014 with flag 3645000/3710221
510.11/259.56	c cleaning 84997 clauses out of 170020 with flag 3731000/3796221
524.22/266.62	c cleaning 86001 clauses out of 172025 with flag 3818002/3883223
540.48/274.83	c cleaning 87004 clauses out of 174022 with flag 3906000/3971221
557.00/283.13	c cleaning 88010 clauses out of 176019 with flag 3995001/4060222
571.93/290.60	c cleaning 88997 clauses out of 178008 with flag 4085000/4150221
589.66/299.52	c cleaning 89995 clauses out of 180013 with flag 4176002/4241223
605.87/307.71	c cleaning 90997 clauses out of 182017 with flag 4268001/4333222
621.96/315.87	c cleaning 92001 clauses out of 184020 with flag 4361001/4426222
638.31/324.08	c cleaning 93001 clauses out of 186018 with flag 4455000/4520221
655.80/332.83	c cleaning 94009 clauses out of 188020 with flag 4550003/4615224
676.22/343.20	c cleaning 94999 clauses out of 190008 with flag 4646000/4711221
699.18/354.62	c cleaning 96000 clauses out of 192009 with flag 4743000/4808221
721.57/365.89	c cleaning 97006 clauses out of 194011 with flag 4841002/4906223
743.71/376.99	c cleaning 97988 clauses out of 196003 with flag 4940000/5005221
764.72/387.56	c cleaning 99002 clauses out of 198015 with flag 5040000/5105221
783.47/396.90	c cleaning 99996 clauses out of 200013 with flag 5141000/5206221
808.87/409.60	c cleaning 101005 clauses out of 202023 with flag 5243006/5308227
829.99/420.24	c cleaning 101999 clauses out of 204012 with flag 5346000/5411221
854.42/432.57	c cleaning 102991 clauses out of 206013 with flag 5450000/5515221
882.78/446.70	c cleaning 103997 clauses out of 208024 with flag 5555002/5620223
908.77/459.79	c cleaning 105002 clauses out of 210026 with flag 5661001/5726222
940.97/475.89	c cleaning 106007 clauses out of 212026 with flag 5768003/5833224
967.82/489.32	c cleaning 107001 clauses out of 214017 with flag 5876001/5941222
975.03/493.06	c cleaning 0 clauses out of 18242 with flag 0/18242
990.11/500.60	c cleaning 108000 clauses out of 216015 with flag 5985000/6050221
1013.05/512.15	c cleaning 109004 clauses out of 218015 with flag 6095000/6160221
1038.08/524.71	c cleaning 109994 clauses out of 220012 with flag 6206001/6271222
1062.84/537.17	c cleaning 111001 clauses out of 222017 with flag 6318000/6383221
1088.97/550.28	c cleaning 111999 clauses out of 224016 with flag 6431000/6496221
1112.14/561.82	c cleaning 112994 clauses out of 226018 with flag 6545001/6610222
1138.98/575.39	c cleaning 114004 clauses out of 228023 with flag 6660000/6725221
1170.66/591.29	c cleaning 115008 clauses out of 230022 with flag 6776003/6841224
1203.19/607.52	c cleaning 116005 clauses out of 232012 with flag 6893001/6958222
1236.79/624.37	c cleaning 116995 clauses out of 234006 with flag 7011000/7076221
1270.22/641.13	c cleaning 118001 clauses out of 236011 with flag 7130000/7195221
1305.39/658.72	c cleaning 118994 clauses out of 238010 with flag 7250000/7315221
1335.80/673.91	c cleaning 119996 clauses out of 240016 with flag 7371000/7436221
1370.18/691.16	c cleaning 121006 clauses out of 242020 with flag 7493000/7558221
1397.57/704.93	c cleaning 122001 clauses out of 244014 with flag 7616000/7681221
1430.37/721.35	c cleaning 123001 clauses out of 246013 with flag 7740000/7805221
1464.57/738.48	c cleaning 124004 clauses out of 248014 with flag 7865002/7930223
1498.09/755.27	c cleaning 124998 clauses out of 250012 with flag 7991004/8056225
1527.60/770.11	c cleaning 125998 clauses out of 252011 with flag 8118001/8183222
1561.19/786.94	c cleaning 126997 clauses out of 254012 with flag 8246000/8311221
1597.29/805.04	c cleaning 128006 clauses out of 256019 with flag 8375004/8440225
1633.71/823.29	c cleaning 128995 clauses out of 258009 with flag 8505000/8570221
1663.10/838.07	c cleaning 129997 clauses out of 260014 with flag 8636000/8701221
1695.41/854.27	c cleaning 131001 clauses out of 262017 with flag 8768000/8833221
1725.75/869.49	c cleaning 132005 clauses out of 264021 with flag 8901005/8966226
1761.95/887.51	c cleaning 132998 clauses out of 266011 with flag 9035000/9100221
1796.97/905.17	c cleaning 133992 clauses out of 268013 with flag 9170000/9235221
1800.08/906.81	c starts		: 58
1800.08/906.81	c conflicts		: 24474
1800.08/906.81	c decisions		: 66327
1800.08/906.81	c propagations		: 301955
1800.08/906.81	c inspects		: 972359762
1800.08/906.81	c shortcuts		: 0
1800.08/906.81	c learnt literals	: 0
1800.08/906.81	c learnt binary clauses	: 0
1800.08/906.81	c learnt ternary clauses	: 0
1800.08/906.81	c learnt constraints	: 24474
1800.08/906.81	c ignored constraints	: 0
1800.08/906.81	c root simplifications	: 0
1800.08/906.81	c removed literals (reason simplification)	: 0
1800.08/906.81	c reason swapping (by a shorter reason)	: 0
1800.08/906.81	c Calls to reduceDB	: 3
1800.08/906.81	c number of reductions to clauses (during analyze)	: 0
1800.08/906.81	c number of learned constraints concerned by reduction	: 0
1800.08/906.81	c number of learning phase by resolution	: 0
1800.08/906.81	c number of learning phase by cutting planes	: 0
1800.08/906.81	c speed (assignments/second)	: 333.4128343320646
1800.08/906.81	c non guided choices	0
1800.08/906.83	c learnt constraints type 
1800.08/906.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 200
1800.08/906.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 24274
1800.08/906.83	c constraints type 
1800.08/906.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.08/906.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/906.83	c 101 constraints processed.
1800.08/906.83	c constraints type 
1800.08/906.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
1800.08/906.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/906.83	c 101 constraints processed.
1800.08/906.83	s SATISFIABLE
1800.08/906.83	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 
1800.08/906.83	c objective function=12
1800.08/906.83	c Total wall clock time (in seconds): 906.729

Verifier Data 

OK	12

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-3688180-1337875775/watcher-3688180-1337875775 -o /tmp/evaluation-result-3688180-1337875775/solver-3688180-1337875775 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688180-1337875775.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: 3.38 3.63 3.63 4/197 27286
/proc/meminfo: memFree=25465496/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 1222 0 0 0 0 0 0 0 20 0 2 0 253702043 96370688 931 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 23528 931 705 9 0 16769 0
[pid=27286/tid=27287] ppid=27284 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) R 27284 27286 25418 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 2 0 253702044 98635776 943 33554432000 1073741824 1073778376 140735063753360 139984248335912 212064057193 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.016778 s]
/proc/loadavg: 3.38 3.63 3.63 4/197 27286
/proc/meminfo: memFree=25465496/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 2731 0 1 0 0 0 0 0 20 0 10 0 253702043 9233014784 3431 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2254154 3445 1531 9 0 2244855 0
[pid=27286/tid=27287] ppid=27284 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) R 27284 27286 25418 0 -1 4202560 1593 0 1 0 0 0 0 0 20 0 10 0 253702044 9233014784 3449 33554432000 1073741824 1073778376 140735063753360 139984248337088 212076651789 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100236 s]
/proc/loadavg: 3.38 3.63 3.63 4/197 27286
/proc/meminfo: memFree=25465496/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 4484 0 1 0 10 0 0 0 20 0 18 0 253702043 9787813888 6147 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2389603 6147 2142 9 0 2380296 0
[pid=27286/tid=27287] ppid=27284 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) R 27284 27286 25418 0 -1 4202560 2431 0 1 0 7 0 0 0 20 0 18 0 253702044 9787813888 6147 33554432000 1073741824 1073778376 140735063753360 139984248341240 212076651789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300278 s]
/proc/loadavg: 3.38 3.63 3.63 4/197 27286
/proc/meminfo: memFree=25465496/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 4746 0 1 0 18 1 0 0 20 0 19 0 253702043 10060460032 7361 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 7361 2193 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.13 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2453 0 1 0 13 0 0 0 20 0 19 0 253702044 10060460032 7361 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824668

[startup+0.700227 s]
/proc/loadavg: 3.38 3.63 3.63 4/197 27286
/proc/meminfo: memFree=25465496/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 4815 0 1 0 19 1 0 0 20 0 19 0 253702043 10060460032 8423 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 8423 2193 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2453 0 1 0 14 0 0 0 20 0 19 0 253702044 10060460032 8423 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9824668

[startup+1.50065 s]
/proc/loadavg: 3.38 3.63 3.63 3/216 27311
/proc/meminfo: memFree=25440520/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 7290 0 1 0 34 3 0 0 20 0 19 0 253702043 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 10875 2226 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2453 0 1 0 14 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702044 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702045 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253702045 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702046 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253702046 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253702046 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702048 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 1700 0 0 0 8 0 0 0 20 0 19 0 253702048 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 1785 0 0 0 7 0 0 0 20 0 19 0 253702048 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702048 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27304] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27304/stat : 27304 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702048 10060460032 10875 33554432000 1073741824 1073778376 140735063753360 139984064437448 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 9824668

[startup+3.10072 s]
/proc/loadavg: 3.43 3.64 3.63 3/216 27317
/proc/meminfo: memFree=25411160/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=4.03 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 21463 0 1 0 393 10 0 0 20 0 22 0 253702043 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 41373 2274 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2454 0 1 0 14 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702045 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253702045 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 253702046 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 10531 0 0 0 90 3 0 0 20 0 22 0 253702048 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 7002 0 0 0 75 2 0 0 20 0 22 0 253702048 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27304] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27304/stat : 27304 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984064437448 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27314] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27314/stat : 27314 (java) S 27284 27286 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702160 10060460032 41373 33554432000 1073741824 1073778376 140735063753360 139984062329640 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9824668

[startup+6.30078 s]
/proc/loadavg: 3.43 3.64 3.63 5/219 27323
/proc/meminfo: memFree=25280196/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=9.53 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 21616 0 1 0 940 13 0 0 20 0 22 0 253702043 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 52483 2274 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2456 0 1 0 14 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253702044 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 22 0 253702045 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 253702045 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 101 0 0 0 38 0 0 0 20 0 22 0 253702046 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 10531 0 0 0 91 3 0 0 20 0 22 0 253702048 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 7002 0 0 0 78 2 0 0 20 0 22 0 253702048 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 52483 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/27286/statm: 2456167 291749 2275 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2491 0 1 0 15 3 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 400 0 0 0 315 6 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 559 0 0 0 315 4 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=3.46 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 335 0 0 0 341 5 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=3.25 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 432 0 0 0 318 7 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 605 0 0 0 317 6 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=3.33 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 385 0 0 0 328 5 0 0 20 0 22 0 253702044 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=3.34 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 530 0 0 0 329 5 0 0 20 0 22 0 253702045 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=3.32 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 368 0 0 0 325 7 0 0 20 0 22 0 253702045 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=22.06 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 1468 0 0 0 2175 31 0 0 20 0 22 0 253702046 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 10532 0 0 0 97 3 0 0 20 0 22 0 253702048 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 10800 0 0 0 135 2 0 0 20 0 22 0 253702048 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27304] ppid=27284 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/27286/task/27304/stat : 27304 (java) S 27284 27286 25418 0 -1 4202560 47 0 0 0 12 17 0 0 20 0 22 0 253702048 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984064437448 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27314] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27314/stat : 27314 (java) S 27284 27286 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702160 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984062329640 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27321] ppid=27284 vsize=9824668 CPUtime=786.57 cores=0,2,4,6
/proc/27286/task/27321/stat : 27321 (java) R 27284 27286 25418 0 -1 4202560 257 0 0 0 78644 13 0 0 20 0 22 0 253702461 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984060222768 139984074991824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27322] ppid=27284 vsize=9824668 CPUtime=786.62 cores=0,2,4,6
/proc/27286/task/27322/stat : 27322 (java) R 27284 27286 25418 0 -1 4202560 4557 0 0 0 78628 34 0 0 20 0 22 0 253702461 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984063379552 139984074348629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27323] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27323/stat : 27323 (java) S 27284 27286 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702461 10060460032 291749 33554432000 1073741824 1073778376 140735063753360 139984061277352 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1631.85
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.98 3.91 3.78 5/219 27454
/proc/meminfo: memFree=27834284/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=1751.44 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 35224 0 1 0 175015 129 0 0 20 0 22 0 253702043 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 265838 2275 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2495 0 1 0 15 3 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=3.43 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 401 0 0 0 337 6 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=3.47 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 560 0 0 0 343 4 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=3.75 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 336 0 0 0 370 5 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=3.51 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 432 0 0 0 344 7 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 608 0 0 0 350 6 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 386 0 0 0 356 5 0 0 20 0 22 0 253702044 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 532 0 0 0 350 5 0 0 20 0 22 0 253702045 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 369 0 0 0 356 7 0 0 20 0 22 0 253702045 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=23.47 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 1472 0 0 0 2315 32 0 0 20 0 22 0 253702046 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 10532 0 0 0 97 3 0 0 20 0 22 0 253702048 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 10800 0 0 0 135 2 0 0 20 0 22 0 253702048 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27304] ppid=27284 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/27286/task/27304/stat : 27304 (java) S 27284 27286 25418 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 253702048 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984064437448 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27314] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27314/stat : 27314 (java) S 27284 27286 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702160 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984062329640 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27321] ppid=27284 vsize=9824668 CPUtime=844.43 cores=0,2,4,6
/proc/27286/task/27321/stat : 27321 (java) R 27284 27286 25418 0 -1 4202560 264 0 0 0 84428 15 0 0 20 0 22 0 253702461 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984060222752 139984074356116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27322] ppid=27284 vsize=9824668 CPUtime=844.46 cores=0,2,4,6
/proc/27286/task/27322/stat : 27322 (java) R 27284 27286 25418 0 -1 4202560 4568 0 0 0 84411 35 0 0 20 0 22 0 253702461 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984063379728 139984074490490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27323] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27323/stat : 27323 (java) S 27284 27286 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702461 10060460032 265838 33554432000 1073741824 1073778376 140735063753360 139984061277352 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1751.44
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.801 s]
/proc/loadavg: 3.98 3.92 3.78 5/219 27454
/proc/meminfo: memFree=27862124/32873648 swapFree=6596/6596
[pid=27286] ppid=27284 vsize=9824668 CPUtime=1800.08 cores=0,2,4,6
/proc/27286/stat : 27286 (java) S 27284 27286 25418 0 -1 4202496 35238 0 1 0 179877 131 0 0 20 0 22 0 253702043 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 140735063744496 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27286/statm: 2456167 254840 2275 9 0 2446860 0
[pid=27286/tid=27287] ppid=27284 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27286/task/27287/stat : 27287 (java) S 27284 27286 25418 0 -1 4202560 2497 0 1 0 15 3 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984248341496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27289] ppid=27284 vsize=9824668 CPUtime=3.54 cores=0,2,4,6
/proc/27286/task/27289/stat : 27289 (java) S 27284 27286 25418 0 -1 4202560 401 0 0 0 348 6 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984209832232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27290] ppid=27284 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/27286/task/27290/stat : 27290 (java) S 27284 27286 25418 0 -1 4202560 560 0 0 0 354 4 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984208779432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27291] ppid=27284 vsize=9824668 CPUtime=3.86 cores=0,2,4,6
/proc/27286/task/27291/stat : 27291 (java) S 27284 27286 25418 0 -1 4202560 337 0 0 0 381 5 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984207727144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27292] ppid=27284 vsize=9824668 CPUtime=3.62 cores=0,2,4,6
/proc/27286/task/27292/stat : 27292 (java) S 27284 27286 25418 0 -1 4202560 432 0 0 0 355 7 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984206674344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27293] ppid=27284 vsize=9824668 CPUtime=3.72 cores=0,2,4,6
/proc/27286/task/27293/stat : 27293 (java) S 27284 27286 25418 0 -1 4202560 608 0 0 0 366 6 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984205622056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27294] ppid=27284 vsize=9824668 CPUtime=3.73 cores=0,2,4,6
/proc/27286/task/27294/stat : 27294 (java) S 27284 27286 25418 0 -1 4202560 386 0 0 0 368 5 0 0 20 0 22 0 253702044 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984204569256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27295] ppid=27284 vsize=9824668 CPUtime=3.69 cores=0,2,4,6
/proc/27286/task/27295/stat : 27295 (java) S 27284 27286 25418 0 -1 4202560 532 0 0 0 364 5 0 0 20 0 22 0 253702045 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984203516968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27296] ppid=27284 vsize=9824668 CPUtime=3.72 cores=0,2,4,6
/proc/27286/task/27296/stat : 27296 (java) S 27284 27286 25418 0 -1 4202560 369 0 0 0 365 7 0 0 20 0 22 0 253702045 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984202464168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27297] ppid=27284 vsize=9824668 CPUtime=24.29 cores=0,2,4,6
/proc/27286/task/27297/stat : 27297 (java) S 27284 27286 25418 0 -1 4202560 1474 0 0 0 2396 33 0 0 20 0 22 0 253702046 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984071805160 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27298] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27298/stat : 27298 (java) S 27284 27286 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984070751224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27299] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27299/stat : 27299 (java) S 27284 27286 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702046 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984069698824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27300] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27300/stat : 27300 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984068647312 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27301] ppid=27284 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/27286/task/27301/stat : 27301 (java) S 27284 27286 25418 0 -1 4202560 10532 0 0 0 97 3 0 0 20 0 22 0 253702048 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984067594936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27302] ppid=27284 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/27286/task/27302/stat : 27302 (java) S 27284 27286 25418 0 -1 4202560 10800 0 0 0 135 2 0 0 20 0 22 0 253702048 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984066542136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27303] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27303/stat : 27303 (java) S 27284 27286 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702048 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984065490040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27286/tid=27304] ppid=27284 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27286/task/27304/stat : 27304 (java) S 27284 27286 25418 0 -1 4202560 53 0 0 0 14 19 0 0 20 0 22 0 253702048 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984064437448 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27286/tid=27314] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27314/stat : 27314 (java) S 27284 27286 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702160 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984062329640 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27321] ppid=27284 vsize=9824668 CPUtime=867.8 cores=0,2,4,6
/proc/27286/task/27321/stat : 27321 (java) R 27284 27286 25418 0 -1 4202560 266 0 0 0 86764 16 0 0 20 0 22 0 253702461 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984060223712 139984074355425 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27286/tid=27322] ppid=27284 vsize=9824668 CPUtime=867.83 cores=0,2,4,6
/proc/27286/task/27322/stat : 27322 (java) R 27284 27286 25418 0 -1 4202560 4573 0 0 0 86747 36 0 0 20 0 22 0 253702461 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984063379728 139984074491233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27286/tid=27323] ppid=27284 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27286/task/27323/stat : 27323 (java) S 27284 27286 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702461 10060460032 254840 33554432000 1073741824 1073778376 140735063753360 139984061277352 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27286 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=228235
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=811724
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 906.841
CPU time (s): 1800.08
CPU user time (s): 1798.77
CPU system time (s): 1.31
CPU usage (%): 198.5
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 1.81172
maximum resident set size= 1196768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35275
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34169
involuntary context switches= 61439

runsolver used 3.14152 second user time and 8.59369 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-24 18:09:35
IDJOB=3688180
IDBENCH=2874
IDSOLVER=2268
FILE ID=node148/3688180-1337875775
RUNJOBID= node148-1337871865-25434
PBS_JOBID= 14620056
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688180-1337875775/watcher-3688180-1337875775 -o /tmp/evaluation-result-3688180-1337875775/solver-3688180-1337875775 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688180-1337875775.opb

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=2102791676

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:        25466024 kB
Buffers:          232988 kB
Cached:          2571540 kB
SwapCached:            0 kB
Active:          4245620 kB
Inactive:        2362560 kB
Active(anon):    3806132 kB
Inactive(anon):        0 kB
Active(file):     439488 kB
Inactive(file):  2362560 kB
Unevictable:        6596 kB
Mlocked:            6596 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               636 kB
Writeback:             0 kB
AnonPages:       3797672 kB
Mapped:            22584 kB
Shmem:               200 kB
Slab:             646620 kB
SReclaimable:      90180 kB
SUnreclaim:       556440 kB
KernelStack:        1808 kB
PageTables:        11640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4002476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3700736 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= 71704 MiB
End job on node148 at 2012-05-24 18:24:44