Trace number 3454555

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-29 1800.32 948.927

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM366c883f3118f840e595e8bbe10351c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1797.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3454555-1307189832.opb
0.00/0.11	c reading problem ... 
0.95/0.52	c ... done. Wall clock time 0.403s.
0.95/0.52	c #vars     595
0.95/0.52	c #constraints  27856
0.95/0.52	c constraints type 
0.95/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27856
0.95/0.52	c constraints type 
0.95/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27856
0.95/0.53	c  And the winner is Resolution
1.01/1.02	c SATISFIABLE
1.01/1.02	c OPTIMIZING...
1.01/1.02	c Got one! Elapsed wall clock time (in seconds):0.912
1.01/1.02	o -27
1.01/1.08	c  And the winner is Resolution
1.24/1.53	c Got one! Elapsed wall clock time (in seconds):1.419
1.24/1.53	o -28
2.81/2.21	c cleaning 2517 clauses out of 5034 with flag 5000/5034
4.45/2.96	c cleaning 4259 clauses out of 8517 with flag 11000/11034
6.27/3.84	c cleaning 5630 clauses out of 11259 with flag 18001/18035
8.23/4.89	c cleaning 6804 clauses out of 13628 with flag 26000/26034
10.98/6.21	c cleaning 7907 clauses out of 15824 with flag 35000/35034
13.76/7.63	c cleaning 8957 clauses out of 17918 with flag 45001/45035
17.03/9.24	c cleaning 9980 clauses out of 19961 with flag 56001/56035
20.57/11.10	c cleaning 10988 clauses out of 21980 with flag 68000/68034
24.87/13.30	c cleaning 11996 clauses out of 23992 with flag 81000/81034
29.14/15.44	c cleaning 12998 clauses out of 25996 with flag 95000/95034
34.79/18.36	c cleaning 13998 clauses out of 28000 with flag 110002/110036
39.87/21.01	c cleaning 14992 clauses out of 30000 with flag 126000/126034
45.42/23.82	c cleaning 16005 clauses out of 32010 with flag 143002/143036
51.27/26.84	c cleaning 17000 clauses out of 34004 with flag 161001/161035
57.48/30.08	c cleaning 18001 clauses out of 36003 with flag 180000/180034
64.12/33.40	c cleaning 18996 clauses out of 38002 with flag 200000/200034
71.62/37.36	c cleaning 20001 clauses out of 40006 with flag 221000/221034
79.80/41.51	c cleaning 20999 clauses out of 42006 with flag 243001/243035
89.22/46.37	c cleaning 21997 clauses out of 44007 with flag 266001/266035
97.36/50.51	c cleaning 22997 clauses out of 46010 with flag 290001/290035
107.43/55.73	c cleaning 24001 clauses out of 48012 with flag 315000/315034
119.58/61.93	c cleaning 24999 clauses out of 50012 with flag 341001/341035
124.32/64.40	c  And the winner is Resolution
125.30/65.40	c Got one! Elapsed wall clock time (in seconds):65.291
125.30/65.40	o -29
126.90/66.20	c cleaning 21946 clauses out of 43900 with flag 5002/359922
128.84/67.36	c cleaning 13970 clauses out of 27953 with flag 11001/365921
131.42/68.84	c cleaning 10489 clauses out of 20983 with flag 18001/372921
134.12/70.34	c cleaning 9241 clauses out of 18493 with flag 26000/380920
137.24/72.03	c cleaning 9115 clauses out of 18252 with flag 35000/389920
140.63/73.88	c cleaning 9569 clauses out of 19137 with flag 45000/399920
143.97/75.77	c cleaning 10274 clauses out of 20568 with flag 56000/410920
148.09/77.91	c cleaning 11148 clauses out of 22295 with flag 68001/422921
152.66/80.35	c cleaning 12065 clauses out of 24146 with flag 81000/435920
157.95/83.14	c cleaning 13039 clauses out of 26081 with flag 95000/449920
163.31/86.08	c cleaning 14021 clauses out of 28043 with flag 110001/464921
170.09/89.52	c cleaning 15001 clauses out of 30021 with flag 126000/480920
176.17/92.73	c cleaning 16007 clauses out of 32021 with flag 143001/497921
183.48/96.58	c cleaning 17006 clauses out of 34013 with flag 161000/515920
191.02/100.59	c cleaning 18004 clauses out of 36008 with flag 180001/534921
199.53/104.91	c cleaning 18997 clauses out of 38003 with flag 200000/554920
209.21/110.00	c cleaning 19998 clauses out of 40006 with flag 221000/575920
219.26/115.19	c cleaning 20996 clauses out of 42009 with flag 243001/597921
227.37/119.45	c cleaning 22006 clauses out of 44012 with flag 266000/620920
236.68/124.28	c cleaning 23004 clauses out of 46007 with flag 290001/644921
246.73/129.45	c cleaning 23999 clauses out of 48002 with flag 315000/669920
256.41/134.45	c cleaning 24999 clauses out of 50003 with flag 341000/695920
269.27/141.13	c cleaning 25988 clauses out of 52004 with flag 368000/722920
281.31/147.34	c cleaning 27008 clauses out of 54017 with flag 396001/750921
296.56/155.14	c cleaning 27505 clauses out of 55009 with flag 424001/778921
308.34/161.20	c cleaning 27752 clauses out of 55504 with flag 452001/806921
324.23/169.46	c cleaning 27874 clauses out of 55751 with flag 480000/834920
340.42/177.75	c cleaning 27938 clauses out of 55878 with flag 508001/862921
355.60/185.59	c cleaning 27969 clauses out of 55941 with flag 536002/890922
363.96/189.92	c cleaning 0 clauses out of 5415 with flag 0/5416
366.46/191.34	c cleaning 27983 clauses out of 55970 with flag 564000/918920
378.44/197.57	c cleaning 27978 clauses out of 55988 with flag 592001/946921
392.00/204.60	c cleaning 28000 clauses out of 56009 with flag 620000/974920
404.97/211.26	c cleaning 28002 clauses out of 56009 with flag 648000/1002920
417.30/217.81	c cleaning 27995 clauses out of 56007 with flag 676000/1030920
430.83/224.72	c cleaning 27997 clauses out of 56013 with flag 704001/1058921
444.36/231.77	c cleaning 27997 clauses out of 56015 with flag 732000/1086920
457.92/238.74	c cleaning 27997 clauses out of 56018 with flag 760000/1114920
473.62/246.96	c cleaning 28009 clauses out of 56022 with flag 788001/1142921
487.32/254.02	c cleaning 28004 clauses out of 56013 with flag 816001/1170921
497.62/259.41	c cleaning 27994 clauses out of 56008 with flag 844000/1198920
510.72/266.29	c cleaning 28002 clauses out of 56014 with flag 872000/1226920
525.78/274.15	c cleaning 27996 clauses out of 56012 with flag 900000/1254920
540.29/281.66	c cleaning 28006 clauses out of 56017 with flag 928001/1282921
555.75/289.65	c cleaning 27999 clauses out of 56010 with flag 956000/1310920
568.62/296.35	c cleaning 27997 clauses out of 56011 with flag 984000/1338920
578.46/301.66	c cleaning 28006 clauses out of 56016 with flag 1012002/1366922
589.53/307.49	c cleaning 28002 clauses out of 56008 with flag 1040000/1394920
604.18/315.03	c cleaning 27993 clauses out of 56006 with flag 1068000/1422920
617.48/321.99	c cleaning 28002 clauses out of 56015 with flag 1096002/1450922
629.25/328.20	c cleaning 27994 clauses out of 56012 with flag 1124001/1478921
642.68/335.24	c cleaning 28000 clauses out of 56018 with flag 1152001/1506921
655.92/342.13	c cleaning 28002 clauses out of 56017 with flag 1180000/1534920
669.93/349.42	c cleaning 28005 clauses out of 56015 with flag 1208000/1562920
685.13/357.41	c cleaning 28004 clauses out of 56011 with flag 1236001/1590921
698.95/364.68	c cleaning 28001 clauses out of 56006 with flag 1264000/1618920
711.15/371.01	c cleaning 27993 clauses out of 56005 with flag 1292000/1646920
725.15/378.38	c cleaning 28004 clauses out of 56012 with flag 1320000/1674920
740.10/386.26	c cleaning 28001 clauses out of 56009 with flag 1348001/1702921
753.24/393.11	c cleaning 28000 clauses out of 56007 with flag 1376000/1730920
766.41/400.00	c cleaning 28002 clauses out of 56009 with flag 1404002/1758922
778.05/406.13	c cleaning 28000 clauses out of 56005 with flag 1432000/1786920
791.13/413.20	c cleaning 27990 clauses out of 56005 with flag 1460000/1814920
806.29/421.06	c cleaning 28001 clauses out of 56016 with flag 1488001/1842921
819.25/427.87	c cleaning 27998 clauses out of 56014 with flag 1516000/1870920
835.58/436.32	c cleaning 28001 clauses out of 56016 with flag 1544000/1898920
850.23/444.11	c cleaning 27996 clauses out of 56015 with flag 1572000/1926920
862.36/450.59	c cleaning 27994 clauses out of 56019 with flag 1600000/1954920
876.70/458.08	c cleaning 28000 clauses out of 56026 with flag 1628001/1982921
887.83/463.93	c cleaning 28005 clauses out of 56025 with flag 1656000/2010920
899.47/470.28	c cleaning 27997 clauses out of 56021 with flag 1684001/2038921
911.40/476.51	c cleaning 28001 clauses out of 56024 with flag 1712001/2066921
923.00/482.68	c cleaning 28008 clauses out of 56024 with flag 1740002/2094922
937.52/490.28	c cleaning 27998 clauses out of 56014 with flag 1768000/2122920
949.25/496.50	c cleaning 28005 clauses out of 56017 with flag 1796001/2150921
962.57/503.58	c cleaning 27992 clauses out of 56011 with flag 1824000/2178920
974.48/509.84	c cleaning 28002 clauses out of 56019 with flag 1852000/2206920
989.59/517.74	c cleaning 28008 clauses out of 56017 with flag 1880000/2234920
1003.61/525.23	c cleaning 27999 clauses out of 56009 with flag 1908000/2262920
1018.71/533.13	c cleaning 28001 clauses out of 56011 with flag 1936001/2290921
1031.19/539.70	c cleaning 27998 clauses out of 56009 with flag 1964000/2318920
1043.49/546.22	c cleaning 28001 clauses out of 56011 with flag 1992000/2346920
1058.34/554.11	c cleaning 27996 clauses out of 56010 with flag 2020000/2374920
1073.23/561.93	c cleaning 27996 clauses out of 56014 with flag 2048000/2402920
1088.34/569.92	c cleaning 28001 clauses out of 56018 with flag 2076000/2430920
1099.80/575.91	c cleaning 28000 clauses out of 56018 with flag 2104001/2458921
1113.54/583.36	c cleaning 28009 clauses out of 56018 with flag 2132001/2486921
1127.01/590.40	c cleaning 27994 clauses out of 56008 with flag 2160000/2514920
1139.34/596.96	c cleaning 28003 clauses out of 56014 with flag 2188000/2542920
1153.21/604.20	c cleaning 27981 clauses out of 56011 with flag 2216000/2570920
1168.12/612.20	c cleaning 28012 clauses out of 56031 with flag 2244001/2598921
1182.78/619.99	c cleaning 28002 clauses out of 56018 with flag 2272000/2626920
1199.03/628.43	c cleaning 27999 clauses out of 56016 with flag 2300000/2654920
1212.07/635.37	c cleaning 28007 clauses out of 56018 with flag 2328001/2682921
1228.15/643.99	c cleaning 28003 clauses out of 56010 with flag 2356000/2710920
1241.87/651.18	c cleaning 28004 clauses out of 56009 with flag 2384002/2738922
1256.93/659.08	c cleaning 27999 clauses out of 56004 with flag 2412001/2766921
1272.32/667.13	c cleaning 27999 clauses out of 56004 with flag 2440000/2794920
1290.37/676.77	c cleaning 28004 clauses out of 56007 with flag 2468002/2822922
1304.99/684.40	c cleaning 27997 clauses out of 56003 with flag 2496002/2850922
1320.39/692.59	c cleaning 27996 clauses out of 56004 with flag 2524000/2878920
1336.79/701.12	c cleaning 28000 clauses out of 56008 with flag 2552000/2906920
1352.64/709.69	c cleaning 27994 clauses out of 56009 with flag 2580001/2934921
1367.38/717.48	c cleaning 27998 clauses out of 56016 with flag 2608002/2962922
1383.16/725.72	c cleaning 28004 clauses out of 56016 with flag 2636000/2990920
1392.94/731.05	c cleaning 27989 clauses out of 56012 with flag 2664000/3018920
1404.12/737.22	c cleaning 28001 clauses out of 56023 with flag 2692000/3046920
1416.55/743.88	c cleaning 27999 clauses out of 56022 with flag 2720000/3074920
1427.76/749.89	c cleaning 28009 clauses out of 56024 with flag 2748001/3102921
1440.71/756.79	c cleaning 27992 clauses out of 56015 with flag 2776001/3130921
1456.87/765.43	c cleaning 28008 clauses out of 56022 with flag 2804000/3158920
1472.06/773.44	c cleaning 27996 clauses out of 56014 with flag 2832000/3186920
1485.15/780.45	c cleaning 27983 clauses out of 56018 with flag 2860000/3214920
1498.28/787.49	c cleaning 28006 clauses out of 56036 with flag 2888001/3242921
1515.47/796.61	c cleaning 27989 clauses out of 56029 with flag 2916000/3270920
1527.80/803.23	c cleaning 28011 clauses out of 56040 with flag 2944000/3298920
1543.13/811.39	c cleaning 28006 clauses out of 56030 with flag 2972001/3326921
1559.46/819.99	c cleaning 28007 clauses out of 56024 with flag 3000001/3354921
1575.99/828.80	c cleaning 27997 clauses out of 56016 with flag 3028000/3382920
1591.71/837.18	c cleaning 28006 clauses out of 56020 with flag 3056001/3410921
1610.21/846.81	c cleaning 28003 clauses out of 56013 with flag 3084000/3438920
1624.12/854.29	c cleaning 27988 clauses out of 56010 with flag 3112000/3466920
1640.42/863.03	c cleaning 28003 clauses out of 56022 with flag 3140000/3494920
1655.32/870.91	c cleaning 27999 clauses out of 56019 with flag 3168000/3522920
1669.82/878.66	c cleaning 28003 clauses out of 56021 with flag 3196001/3550921
1676.37/882.36	c cleaning 0 clauses out of 11414 with flag 0/11415
1686.21/887.98	c cleaning 28001 clauses out of 56017 with flag 3224000/3578920
1700.70/895.61	c cleaning 27999 clauses out of 56016 with flag 3252000/3606920
1714.39/902.95	c cleaning 28001 clauses out of 56017 with flag 3280000/3634920
1729.29/910.91	c cleaning 27980 clauses out of 56016 with flag 3308000/3662920
1744.14/918.94	c cleaning 28014 clauses out of 56036 with flag 3336000/3690920
1758.23/926.48	c cleaning 28006 clauses out of 56022 with flag 3364000/3718920
1773.91/934.73	c cleaning 28005 clauses out of 56016 with flag 3392000/3746920
1788.80/942.65	c cleaning 27998 clauses out of 56012 with flag 3420001/3774921
1800.10/948.82	c starts		: 255
1800.10/948.82	c conflicts		: 3797714
1800.10/948.82	c decisions		: 4062633
1800.10/948.82	c propagations		: 22716940
1800.10/948.82	c inspects		: 4057834598
1800.10/948.82	c shortcuts		: 0
1800.10/948.82	c learnt literals	: 0
1800.10/948.82	c learnt binary clauses	: 0
1800.10/948.82	c learnt ternary clauses	: 0
1800.10/948.82	c learnt constraints	: 3797714
1800.10/948.82	c ignored constraints	: 0
1800.10/948.82	c root simplifications	: 0
1800.10/948.82	c removed literals (reason simplification)	: 53291222
1800.10/948.82	c reason swapping (by a shorter reason)	: 0
1800.10/948.82	c Calls to reduceDB	: 154
1800.10/948.82	c number of reductions to clauses (during analyze)	: 0
1800.10/948.82	c number of learned constraints concerned by reduction	: 0
1800.10/948.82	c number of learning phase by resolution	: 0
1800.10/948.82	c number of learning phase by cutting planes	: 0
1800.10/948.82	c speed (assignments/second)	: 25714.811431495134
1800.10/948.82	c non guided choices	0
1800.10/948.85	c learnt constraints type 
1800.10/948.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50871
1800.10/948.85	c constraints type 
1800.10/948.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/948.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27856
1800.10/948.85	c constraints type 
1800.10/948.85	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27856
1800.10/948.85	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/948.85	s SATISFIABLE
1800.10/948.85	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 
1800.10/948.85	c objective function=-29
1800.10/948.85	c Total wall clock time (in seconds): 948.741

Verifier Data 

OK	-29

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.15 3.05 3.02 3/592 3078
/proc/meminfo: memFree=27779684/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 830582030 31268864 963 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 7634 963 736 9 0 385 0
[pid=3078/tid=3079] ppid=3075 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3075 3078 32216 0 -1 4202560 7217 0 1 0 0 0 0 0 25 0 2 0 830582030 10694979584 8033 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.118049 s]
/proc/loadavg: 3.15 3.05 3.02 3/592 3078
/proc/meminfo: memFree=27779684/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10605436 CPUtime=0.12 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 13375 0 1 0 11 1 0 0 25 0 18 0 830582030 10859966464 13039 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2651359 13039 2133 9 0 2642093 0
[pid=3078/tid=3079] ppid=3075 vsize=10605436 CPUtime=0.09 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3075 3078 32216 0 -1 4202560 11329 0 1 0 9 0 0 0 18 0 18 0 830582030 10859966464 13039 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 47030025114828 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10605436

[startup+0.207538 s]
/proc/loadavg: 3.15 3.05 3.02 3/592 3078
/proc/meminfo: memFree=27779684/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10605832 CPUtime=0.26 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 14071 0 1 0 25 1 0 0 25 0 18 0 830582030 10860371968 13735 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2651458 13735 2182 9 0 2642192 0
[pid=3078/tid=3079] ppid=3075 vsize=10605832 CPUtime=0.19 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3075 3078 32216 0 -1 4202560 11855 0 1 0 18 1 0 0 18 0 18 0 830582030 10860371968 13736 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 47030025452340 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10605832

[startup+0.301089 s]
/proc/loadavg: 3.15 3.05 3.02 3/592 3078
/proc/meminfo: memFree=27779684/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10606652 CPUtime=0.47 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 15815 0 1 0 46 1 0 0 25 0 18 0 830582030 10861211648 15332 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2651663 15333 2199 9 0 2642397 0
[pid=3078/tid=3079] ppid=3075 vsize=10606652 CPUtime=0.28 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3075 3078 32216 0 -1 4202560 12893 0 1 0 27 1 0 0 18 0 18 0 830582030 10861211648 15333 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505547654 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10606652

[startup+0.701057 s]
/proc/loadavg: 3.15 3.05 3.02 3/592 3078
/proc/meminfo: memFree=27779684/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10614708 CPUtime=1.01 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 32452 0 1 0 98 3 0 0 25 0 19 0 830582030 10869460992 30634 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2653677 30634 2225 9 0 2644411 0
[pid=3078/tid=3079] ppid=3075 vsize=10614708 CPUtime=0.5 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26169 0 1 0 48 2 0 0 19 0 19 0 830582030 10869460992 30634 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10614708

[startup+1.50096 s]
/proc/loadavg: 3.15 3.05 3.02 5/611 3111
/proc/meminfo: memFree=27664092/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10614708 CPUtime=1.24 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 32780 0 1 0 121 3 0 0 25 0 19 0 830582030 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2653677 30873 2234 9 0 2644411 0
[pid=3078/tid=3079] ppid=3075 vsize=10614708 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26216 0 1 0 49 2 0 0 16 0 19 0 830582030 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582032 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3075 3078 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830582033 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 0 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830582034 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830582034 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3093] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582036 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284512689 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3095] ppid=3075 vsize=10614708 CPUtime=0.3 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3075 3078 32216 0 -1 4202560 2342 0 0 0 30 0 0 0 16 0 19 0 830582036 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3096] ppid=3075 vsize=10614708 CPUtime=0.32 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3075 3078 32216 0 -1 4202560 2816 0 0 0 32 0 0 0 16 0 19 0 830582036 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830582036 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830582036 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3102] ppid=3075 vsize=10614708 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3102/stat : 3102 (java) S 3075 3078 32216 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830582083 10869460992 30873 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 10614708

[startup+3.10159 s]
/proc/loadavg: 3.15 3.05 3.02 7/614 3116
/proc/meminfo: memFree=27582360/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10626096 CPUtime=4.81 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 97597 0 1 0 471 10 0 0 25 0 22 0 830582030 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2656524 92104 2267 9 0 2647258 0
[pid=3078/tid=3079] ppid=3075 vsize=10626096 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26241 0 1 0 49 2 0 0 15 0 22 0 830582030 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 1345 0 0 0 0 0 0 0 16 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 874 0 0 0 0 0 0 0 15 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 1603 0 0 0 0 0 0 0 16 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10626096 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 3582 0 0 0 1 0 0 0 15 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10626096 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 1398 0 0 0 1 0 0 0 15 0 22 0 830582032 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10626096 CPUtime=0.07 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3075 3078 32216 0 -1 4202560 7126 0 0 0 7 0 0 0 15 0 22 0 830582033 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 0 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3093] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284512689 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3095] ppid=3075 vsize=10626096 CPUtime=0.78 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3075 3078 32216 0 -1 4202560 7134 0 0 0 78 0 0 0 15 0 22 0 830582036 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3096] ppid=3075 vsize=10626096 CPUtime=0.73 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3075 3078 32216 0 -1 4202560 5304 0 0 0 73 0 0 0 15 0 22 0 830582036 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830582036 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3102] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3102/stat : 3102 (java) S 3075 3078 32216 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830582083 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3112] ppid=3075 vsize=10626096 CPUtime=1.43 cores=1,3,5,7
/proc/3078/task/3112/stat : 3112 (java) R 3075 3078 32216 0 -1 4202560 4306 0 0 0 143 0 0 0 17 0 22 0 830582183 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505832689 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3078/tid=3114] ppid=3075 vsize=10626096 CPUtime=1.07 cores=1,3,5,7
/proc/3078/task/3114/stat : 3114 (java) R 3075 3078 32216 0 -1 4202560 37207 0 0 0 104 3 0 0 19 0 22 0 830582183 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912506033913 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3078/tid=3116] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3116/stat : 3116 (java) S 3075 3078 32216 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830582185 10881122304 92104 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10626096

[startup+6.30109 s]
/proc/loadavg: 3.14 3.05 3.01 5/614 3116
/proc/meminfo: memFree=27317844/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10626096 CPUtime=11.14 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 136428 0 1 0 1100 14 0 0 25 0 22 0 830582030 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2656524 130924 2267 9 0 2647258 0
[pid=3078/tid=3079] ppid=3075 vsize=10626096 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26241 0 1 0 49 2 0 0 15 0 22 0 830582030 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10626096 CPUtime=0.02 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 1259 0 0 0 2 0 0 0 16 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10626096 CPUtime=0.04 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 2930 0 0 0 4 0 0 0 16 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 874 0 0 0 0 0 0 0 15 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10626096 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 792 0 0 0 1 0 0 0 15 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10626096 CPUtime=0.02 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 1780 0 0 0 2 0 0 0 15 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10626096 CPUtime=0.02 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 4019 0 0 0 2 0 0 0 16 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10626096 CPUtime=0.03 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 2337 0 0 0 3 0 0 0 16 0 22 0 830582032 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10626096 CPUtime=0.32 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) R 3075 3078 32216 0 -1 4202560 11239 0 0 0 31 1 0 0 15 0 22 0 830582033 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 47030024196168 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 130924 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0

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

[pid=3078/tid=3120] ppid=3075 vsize=10626096 CPUtime=726.92 cores=1,3,5,7
/proc/3078/task/3120/stat : 3120 (java) R 3075 3078 32216 0 -1 4202560 45 0 0 0 72692 0 0 0 23 0 22 0 830588571 10881122304 450066 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505891286 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3121] ppid=3075 vsize=10626096 CPUtime=726.94 cores=1,3,5,7
/proc/3078/task/3121/stat : 3121 (java) R 3075 3078 32216 0 -1 4202560 42269 0 0 0 72690 4 0 0 23 0 22 0 830588571 10881122304 450066 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912506039269 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3078/tid=3122] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3122/stat : 3122 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830588571 10881122304 450066 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1676.37
Current children cumulated vsize (KiB) 10626096

[startup+942.301 s]
/proc/loadavg: 3.80 3.25 3.06 5/615 3206
/proc/meminfo: memFree=29478388/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10626096 CPUtime=1788.2 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 465248 0 1 0 178766 54 0 0 25 0 22 0 830582030 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2656524 459431 2268 9 0 2647258 0
[pid=3078/tid=3079] ppid=3075 vsize=10626096 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26327 0 1 0 49 2 0 0 15 0 22 0 830582030 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10626096 CPUtime=1.44 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 3819 0 0 0 144 0 0 0 16 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10626096 CPUtime=1.59 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 4910 0 0 0 159 0 0 0 16 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10626096 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 2991 0 0 0 136 0 0 0 15 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10626096 CPUtime=1.37 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 3422 0 0 0 136 1 0 0 16 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10626096 CPUtime=1.59 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 4101 0 0 0 158 1 0 0 15 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10626096 CPUtime=1.46 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 6542 0 0 0 145 1 0 0 16 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10626096 CPUtime=1.34 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 6856 0 0 0 134 0 0 0 16 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10626096 CPUtime=1.27 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 5817 0 0 0 127 0 0 0 15 0 22 0 830582032 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10626096 CPUtime=99.51 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3075 3078 32216 0 -1 4202560 138262 0 0 0 9936 15 0 0 15 0 22 0 830582033 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 0 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284512689 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3095] ppid=3075 vsize=10626096 CPUtime=1.51 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3075 3078 32216 0 -1 4202560 7302 0 0 0 151 0 0 0 15 0 22 0 830582036 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3096] ppid=3075 vsize=10626096 CPUtime=0.94 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3075 3078 32216 0 -1 4202560 5314 0 0 0 94 0 0 0 16 0 22 0 830582036 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3075 3078 32216 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830582036 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3102] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3102/stat : 3102 (java) S 3075 3078 32216 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830582083 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3120] ppid=3075 vsize=10626096 CPUtime=778.28 cores=1,3,5,7
/proc/3078/task/3120/stat : 3120 (java) R 3075 3078 32216 0 -1 4202560 45 0 0 0 77828 0 0 0 25 0 22 0 830588571 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505817621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3121] ppid=3075 vsize=10626096 CPUtime=778.33 cores=1,3,5,7
/proc/3078/task/3121/stat : 3121 (java) R 3075 3078 32216 0 -1 4202560 42270 0 0 0 77829 4 0 0 25 0 22 0 830588571 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505934278 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3078/tid=3122] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3122/stat : 3122 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830588571 10881122304 459431 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 10626096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+948.801 s]
/proc/loadavg: 3.83 3.27 3.07 5/615 3206
/proc/meminfo: memFree=29478388/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10626096 CPUtime=1800.1 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 465259 0 1 0 179956 54 0 0 25 0 22 0 830582030 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2656524 459441 2268 9 0 2647258 0
[pid=3078/tid=3079] ppid=3075 vsize=10626096 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26328 0 1 0 49 2 0 0 15 0 22 0 830582030 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10626096 CPUtime=1.47 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 3829 0 0 0 147 0 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10626096 CPUtime=1.61 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 4910 0 0 0 161 0 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10626096 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 2991 0 0 0 136 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10626096 CPUtime=1.4 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 3422 0 0 0 139 1 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10626096 CPUtime=1.59 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 4101 0 0 0 158 1 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10626096 CPUtime=1.46 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 6542 0 0 0 145 1 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10626096 CPUtime=1.34 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 6856 0 0 0 134 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10626096 CPUtime=1.27 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 5817 0 0 0 127 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10626096 CPUtime=100.67 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3075 3078 32216 0 -1 4202560 138262 0 0 0 10052 15 0 0 15 0 22 0 830582033 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 0 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284512689 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3095] ppid=3075 vsize=10626096 CPUtime=1.51 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3075 3078 32216 0 -1 4202560 7302 0 0 0 151 0 0 0 15 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3096] ppid=3075 vsize=10626096 CPUtime=0.94 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3075 3078 32216 0 -1 4202560 5314 0 0 0 94 0 0 0 16 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3075 3078 32216 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3102] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3102/stat : 3102 (java) S 3075 3078 32216 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830582083 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3120] ppid=3075 vsize=10626096 CPUtime=783.62 cores=1,3,5,7
/proc/3078/task/3120/stat : 3120 (java) R 3075 3078 32216 0 -1 4202560 45 0 0 0 78362 0 0 0 25 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505817791 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3121] ppid=3075 vsize=10626096 CPUtime=783.68 cores=1,3,5,7
/proc/3078/task/3121/stat : 3121 (java) R 3075 3078 32216 0 -1 4202560 42270 0 0 0 78364 4 0 0 25 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912506033664 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3078/tid=3122] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3122/stat : 3122 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10626096

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

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

[startup+948.801 s]
/proc/loadavg: 3.83 3.27 3.07 5/615 3206
/proc/meminfo: memFree=29478388/32950928 swapFree=43925852/67111528
[pid=3078] ppid=3075 vsize=10626096 CPUtime=1800.1 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3075 3078 32216 0 -1 4202496 465259 0 1 0 179956 54 0 0 25 0 22 0 830582030 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 2656524 459441 2268 9 0 2647258 0
[pid=3078/tid=3079] ppid=3075 vsize=10626096 CPUtime=0.51 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) S 3075 3078 32216 0 -1 4202560 26328 0 1 0 49 2 0 0 15 0 22 0 830582030 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3082] ppid=3075 vsize=10626096 CPUtime=1.47 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3075 3078 32216 0 -1 4202560 3829 0 0 0 147 0 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3075 vsize=10626096 CPUtime=1.61 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3075 3078 32216 0 -1 4202560 4910 0 0 0 161 0 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3084] ppid=3075 vsize=10626096 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3075 3078 32216 0 -1 4202560 2991 0 0 0 136 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3075 vsize=10626096 CPUtime=1.4 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3075 3078 32216 0 -1 4202560 3422 0 0 0 139 1 0 0 16 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3075 vsize=10626096 CPUtime=1.59 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3075 3078 32216 0 -1 4202560 4101 0 0 0 158 1 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3075 vsize=10626096 CPUtime=1.46 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3075 3078 32216 0 -1 4202560 6542 0 0 0 145 1 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3088] ppid=3075 vsize=10626096 CPUtime=1.34 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3075 3078 32216 0 -1 4202560 6856 0 0 0 134 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3089] ppid=3075 vsize=10626096 CPUtime=1.27 cores=1,3,5,7
/proc/3078/task/3089/stat : 3089 (java) S 3075 3078 32216 0 -1 4202560 5817 0 0 0 127 0 0 0 15 0 22 0 830582032 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
[pid=3078/tid=3090] ppid=3075 vsize=10626096 CPUtime=100.67 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3075 3078 32216 0 -1 4202560 138262 0 0 0 10052 15 0 0 15 0 22 0 830582033 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 0 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3075 3078 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3075 3078 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830582034 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284512689 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3095] ppid=3075 vsize=10626096 CPUtime=1.51 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3075 3078 32216 0 -1 4202560 7302 0 0 0 151 0 0 0 15 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3096] ppid=3075 vsize=10626096 CPUtime=0.94 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3075 3078 32216 0 -1 4202560 5314 0 0 0 94 0 0 0 16 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284504985 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3075 3078 32216 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830582036 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 1 0 0 0
[pid=3078/tid=3102] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3102/stat : 3102 (java) S 3075 3078 32216 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830582083 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 5 0 0 0
[pid=3078/tid=3120] ppid=3075 vsize=10626096 CPUtime=783.62 cores=1,3,5,7
/proc/3078/task/3120/stat : 3120 (java) R 3075 3078 32216 0 -1 4202560 45 0 0 0 78362 0 0 0 25 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912505817791 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3121] ppid=3075 vsize=10626096 CPUtime=783.68 cores=1,3,5,7
/proc/3078/task/3121/stat : 3121 (java) R 3075 3078 32216 0 -1 4202560 42270 0 0 0 78364 4 0 0 25 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 46912506033664 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3078/tid=3122] ppid=3075 vsize=10626096 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3122/stat : 3122 (java) S 3075 3078 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830588571 10881122304 459441 33554432000 1073741824 1073778376 140736597764176 18446744073709551615 268284505600 0 4 0 16800975 18446604470273698560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10626096

Child status: 143
Real time (s): 948.927
CPU time (s): 1800.32
CPU user time (s): 1799.7
CPU system time (s): 0.619905
CPU usage (%): 189.722
Max. virtual memory (cumulated for all children) (KiB): 10626096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.619905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465287
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26100
involuntary context switches= 20904

runsolver used 5.61914 second user time and 13.369 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-04 14:17:12
IDJOB=3454555
IDBENCH=2273
IDSOLVER=1950
FILE ID=node122/3454555-1307189832
RUNJOBID= node122-1307187942-2578
PBS_JOBID= 13508834
Free space on /tmp= 73812 MiB

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

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

MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8
RANDOM SEED=925742194

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27779964 kB
Buffers:        327908 kB
Cached:         550168 kB
SwapCached:      16832 kB
Active:        4317088 kB
Inactive:       532184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27779964 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            1216 kB
Writeback:           0 kB
AnonPages:     3968084 kB
Mapped:          17432 kB
Slab:           150544 kB
PageTables:     100568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 191101416 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node122 at 2011-06-04 14:33:03