Trace number 3458749

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 Resolution 2.3.0SAT (TO)-31 1800.15 1793.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1797.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		12995394264
0.09/0.09	c Max memory 		13063553024
0.09/0.09	c Total memory 		13063553024
0.09/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458749-1307148926.opb
0.10/0.12	c reading problem ... 
0.96/0.52	c ... done. Wall clock time 0.372s.
0.96/0.52	c #vars     595
0.96/0.52	c #constraints  27847
0.96/0.52	c constraints type 
0.96/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27847
0.96/0.52	c SATISFIABLE
0.96/0.52	c OPTIMIZING...
0.96/0.52	c Got one! Elapsed wall clock time (in seconds):0.399
0.96/0.52	o -23
0.96/0.54	c Got one! Elapsed wall clock time (in seconds):0.422
0.96/0.54	o -24
0.96/0.55	c Got one! Elapsed wall clock time (in seconds):0.43
0.96/0.55	o -25
1.24/0.62	c Got one! Elapsed wall clock time (in seconds):0.497
1.24/0.62	o -26
1.43/0.73	c Got one! Elapsed wall clock time (in seconds):0.619
1.43/0.73	o -27
2.09/1.34	c cleaning 2959 clauses out of 5918 with flag 5000/5918
2.34/1.58	c Got one! Elapsed wall clock time (in seconds):1.464
2.34/1.58	o -28
2.54/1.79	c Got one! Elapsed wall clock time (in seconds):1.672
2.54/1.79	o -29
2.86/2.01	c cleaning 4497 clauses out of 8994 with flag 2000/11953
3.46/2.67	c cleaning 5245 clauses out of 10497 with flag 8000/17953
4.27/3.47	c cleaning 6125 clauses out of 12253 with flag 15001/24954
5.34/4.43	c cleaning 7058 clauses out of 14128 with flag 23001/32954
6.34/5.49	c cleaning 8033 clauses out of 16069 with flag 32000/41953
7.63/6.75	c cleaning 9019 clauses out of 18037 with flag 42001/51954
9.04/8.15	c cleaning 10009 clauses out of 20017 with flag 53000/62953
10.77/9.83	c cleaning 10989 clauses out of 22008 with flag 65000/74953
12.37/11.40	c cleaning 12002 clauses out of 24019 with flag 78000/87953
14.38/13.43	c cleaning 12994 clauses out of 26017 with flag 92000/101953
16.59/15.66	c cleaning 14011 clauses out of 28023 with flag 107000/116953
18.81/17.81	c cleaning 15001 clauses out of 30012 with flag 123000/132953
21.22/20.21	c cleaning 16004 clauses out of 32011 with flag 140000/149953
24.06/23.10	c cleaning 17001 clauses out of 34007 with flag 158000/167953
26.75/25.75	c cleaning 17992 clauses out of 36006 with flag 177000/186953
29.59/28.53	c cleaning 18999 clauses out of 38014 with flag 197000/206953
32.99/31.97	c cleaning 20005 clauses out of 40015 with flag 218000/227953
37.09/36.01	c Got one! Elapsed wall clock time (in seconds):35.891
37.09/36.01	o -30
37.93/36.82	c cleaning 23135 clauses out of 46271 with flag 5000/254214
38.86/37.79	c cleaning 14558 clauses out of 29136 with flag 11000/260214
39.86/38.73	c cleaning 10779 clauses out of 21578 with flag 18000/267214
40.97/39.89	c cleaning 9391 clauses out of 18799 with flag 26000/275214
42.07/40.99	c cleaning 9201 clauses out of 18408 with flag 35000/284214
43.38/42.22	c cleaning 9599 clauses out of 19207 with flag 45000/294214
44.89/43.75	c cleaning 10301 clauses out of 20609 with flag 56001/305215
46.70/45.53	c cleaning 11151 clauses out of 22307 with flag 68000/317214
48.62/47.45	c cleaning 12077 clauses out of 24156 with flag 81000/330214
50.53/49.34	c cleaning 13027 clauses out of 26080 with flag 95001/344215
52.74/51.59	c cleaning 14026 clauses out of 28052 with flag 110000/359214
55.08/53.90	c cleaning 15003 clauses out of 30026 with flag 126000/375214
57.67/56.46	c cleaning 16003 clauses out of 32023 with flag 143000/392214
60.61/59.42	c cleaning 17010 clauses out of 34020 with flag 161000/410214
63.12/61.83	c cleaning 17998 clauses out of 36010 with flag 180000/429214
66.04/64.75	c cleaning 19007 clauses out of 38013 with flag 200001/449215
69.76/68.41	c cleaning 19985 clauses out of 40006 with flag 221001/470215
73.57/72.23	c cleaning 21005 clauses out of 42020 with flag 243000/492214
77.32/76.00	c cleaning 22007 clauses out of 44015 with flag 266000/515214
82.22/80.88	c cleaning 23002 clauses out of 46008 with flag 290000/539214
86.66/85.26	c cleaning 23994 clauses out of 48006 with flag 315000/564214
91.18/89.73	c cleaning 25000 clauses out of 50013 with flag 341001/590215
95.50/94.06	c cleaning 26002 clauses out of 52012 with flag 368000/617214
99.73/98.26	c cleaning 27006 clauses out of 54013 with flag 396003/645217
104.67/103.13	c cleaning 27497 clauses out of 55005 with flag 424001/673215
109.69/108.17	c cleaning 27751 clauses out of 55507 with flag 452000/701214
115.03/113.49	c cleaning 27867 clauses out of 55756 with flag 480000/729214
119.54/117.97	c cleaning 27936 clauses out of 55889 with flag 508000/757214
125.46/123.89	c cleaning 27975 clauses out of 55953 with flag 536000/785214
131.10/129.42	c cleaning 27977 clauses out of 55979 with flag 564001/813215
136.63/135.00	c cleaning 27986 clauses out of 56001 with flag 592000/841214
142.35/140.62	c cleaning 27996 clauses out of 56015 with flag 620000/869214
148.00/146.25	c cleaning 28004 clauses out of 56019 with flag 648000/897214
152.19/150.42	c cleaning 28004 clauses out of 56016 with flag 676001/925215
156.52/154.71	c cleaning 27994 clauses out of 56011 with flag 704000/953214
161.14/159.37	c cleaning 28006 clauses out of 56017 with flag 732000/981214
166.06/164.24	c cleaning 27989 clauses out of 56011 with flag 760000/1009214
171.98/170.16	c cleaning 28012 clauses out of 56023 with flag 788001/1037215
177.62/175.74	c cleaning 28001 clauses out of 56010 with flag 816000/1065214
184.33/182.40	c cleaning 28003 clauses out of 56009 with flag 844000/1093214
189.27/187.31	c cleaning 27990 clauses out of 56006 with flag 872000/1121214
194.30/192.41	c cleaning 28003 clauses out of 56016 with flag 900000/1149214
199.81/197.83	c cleaning 28001 clauses out of 56013 with flag 928000/1177214
204.46/202.47	c cleaning 28003 clauses out of 56012 with flag 956000/1205214
209.48/207.48	c cleaning 27997 clauses out of 56009 with flag 984000/1233214
215.22/213.17	c cleaning 27997 clauses out of 56012 with flag 1012000/1261214
220.96/218.83	c cleaning 28005 clauses out of 56015 with flag 1040000/1289214
227.06/224.95	c cleaning 28003 clauses out of 56010 with flag 1068000/1317214
233.48/231.39	c cleaning 27999 clauses out of 56007 with flag 1096000/1345214
237.63/235.44	c cleaning 27994 clauses out of 56008 with flag 1124000/1373214
241.96/239.77	c cleaning 27997 clauses out of 56014 with flag 1152000/1401214
246.75/244.56	c cleaning 28002 clauses out of 56017 with flag 1180000/1429214
251.78/249.54	c cleaning 28001 clauses out of 56015 with flag 1208000/1457214
257.00/254.72	c cleaning 27997 clauses out of 56015 with flag 1236001/1485215
262.63/260.32	c cleaning 28004 clauses out of 56017 with flag 1264000/1513214
268.76/266.42	c cleaning 28006 clauses out of 56013 with flag 1292000/1541214
274.38/272.08	c cleaning 27997 clauses out of 56007 with flag 1320000/1569214
280.42/278.03	c cleaning 27996 clauses out of 56010 with flag 1348000/1597214
286.16/283.80	c cleaning 27997 clauses out of 56015 with flag 1376001/1625215
290.86/288.42	c cleaning 28002 clauses out of 56017 with flag 1404000/1653214
296.48/294.10	c cleaning 28001 clauses out of 56015 with flag 1432000/1681214
302.02/299.53	c cleaning 27992 clauses out of 56014 with flag 1460000/1709214
308.13/305.66	c cleaning 28003 clauses out of 56022 with flag 1488000/1737214
314.36/311.81	c cleaning 28007 clauses out of 56020 with flag 1516001/1765215
319.79/317.20	c cleaning 28003 clauses out of 56012 with flag 1544000/1793214
324.60/322.07	c cleaning 27989 clauses out of 56009 with flag 1572000/1821214
330.13/327.53	c cleaning 28006 clauses out of 56020 with flag 1600000/1849214
335.45/332.80	c cleaning 28000 clauses out of 56014 with flag 1628000/1877214
341.06/338.43	c cleaning 28001 clauses out of 56015 with flag 1656001/1905215
347.17/344.58	c cleaning 27997 clauses out of 56013 with flag 1684000/1933214
352.99/350.37	c cleaning 27994 clauses out of 56016 with flag 1712000/1961214
359.02/356.34	c cleaning 28008 clauses out of 56022 with flag 1740000/1989214
364.02/361.35	c cleaning 27987 clauses out of 56014 with flag 1768000/2017214
368.26/365.54	c cleaning 28003 clauses out of 56028 with flag 1796001/2045215
372.99/370.22	c cleaning 28001 clauses out of 56024 with flag 1824000/2073214
378.11/375.33	c cleaning 28003 clauses out of 56023 with flag 1852000/2101214
383.62/380.82	c cleaning 27991 clauses out of 56020 with flag 1880000/2129214
387.95/385.16	c cleaning 28002 clauses out of 56029 with flag 1908000/2157214
393.07/390.21	c cleaning 28011 clauses out of 56027 with flag 1936000/2185214
397.98/395.19	c cleaning 27993 clauses out of 56016 with flag 1964000/2213214
403.00/400.17	c cleaning 27997 clauses out of 56024 with flag 1992001/2241215
408.52/405.62	c cleaning 28005 clauses out of 56026 with flag 2020000/2269214
414.37/411.49	c cleaning 27993 clauses out of 56021 with flag 2048000/2297214
419.36/416.44	c cleaning 28008 clauses out of 56028 with flag 2076000/2325214
424.79/421.82	c cleaning 28008 clauses out of 56021 with flag 2104001/2353215
430.31/427.33	c cleaning 27998 clauses out of 56012 with flag 2132000/2381214
436.03/433.10	c cleaning 27999 clauses out of 56014 with flag 2160000/2409214
441.66/438.61	c cleaning 28000 clauses out of 56015 with flag 2188000/2437214
446.56/443.51	c cleaning 27988 clauses out of 56015 with flag 2216000/2465214
451.67/448.71	c cleaning 28006 clauses out of 56027 with flag 2244000/2493214
457.30/454.26	c cleaning 28001 clauses out of 56022 with flag 2272001/2521215
463.80/460.74	c cleaning 28005 clauses out of 56020 with flag 2300000/2549214
469.12/466.02	c cleaning 28002 clauses out of 56015 with flag 2328000/2577214
474.54/471.47	c cleaning 28001 clauses out of 56013 with flag 2356000/2605214
480.05/476.95	c cleaning 27998 clauses out of 56014 with flag 2384002/2633216
486.18/483.07	c cleaning 27999 clauses out of 56014 with flag 2412000/2661214
490.89/487.73	c cleaning 28005 clauses out of 56015 with flag 2440000/2689214
496.31/493.19	c cleaning 27992 clauses out of 56011 with flag 2468001/2717215
502.14/499.00	c cleaning 28000 clauses out of 56018 with flag 2496000/2745214
507.86/504.65	c cleaning 28004 clauses out of 56019 with flag 2524001/2773215
513.08/509.81	c cleaning 27990 clauses out of 56014 with flag 2552000/2801214
518.39/515.17	c cleaning 28006 clauses out of 56025 with flag 2580001/2829215
524.02/520.70	c cleaning 28006 clauses out of 56018 with flag 2608000/2857214
529.83/526.59	c cleaning 28007 clauses out of 56013 with flag 2636001/2885215
535.43/532.14	c cleaning 27996 clauses out of 56005 with flag 2664000/2913214
540.84/537.52	c cleaning 28000 clauses out of 56010 with flag 2692001/2941215
546.68/543.41	c cleaning 27994 clauses out of 56009 with flag 2720000/2969214
552.66/549.34	c cleaning 27999 clauses out of 56015 with flag 2748000/2997214
557.07/553.72	c cleaning 27992 clauses out of 56016 with flag 2776000/3025214
561.49/558.10	c cleaning 27995 clauses out of 56024 with flag 2804000/3053214
566.22/562.81	c cleaning 28008 clauses out of 56029 with flag 2832000/3081214
570.74/567.34	c cleaning 28006 clauses out of 56021 with flag 2860000/3109214
575.95/572.59	c cleaning 28004 clauses out of 56015 with flag 2888000/3137214
581.27/577.84	c cleaning 27989 clauses out of 56011 with flag 2916000/3165214
586.52/583.07	c cleaning 28000 clauses out of 56022 with flag 2944000/3193214
590.71/587.32	c cleaning 28000 clauses out of 56022 with flag 2972000/3221214
595.93/592.42	c cleaning 27999 clauses out of 56022 with flag 3000000/3249214
601.35/597.88	c cleaning 27998 clauses out of 56023 with flag 3028000/3277214
607.28/603.75	c cleaning 28003 clauses out of 56025 with flag 3056000/3305214
612.40/608.81	c cleaning 27991 clauses out of 56023 with flag 3084001/3333215
617.82/614.25	c cleaning 28007 clauses out of 56032 with flag 3112001/3361215
623.84/620.22	c cleaning 28004 clauses out of 56024 with flag 3140000/3389214
629.07/625.41	c cleaning 28000 clauses out of 56020 with flag 3168000/3417214
634.38/630.71	c cleaning 27997 clauses out of 56020 with flag 3196000/3445214
639.29/635.62	c cleaning 28008 clauses out of 56025 with flag 3224002/3473216
644.52/640.83	c cleaning 28005 clauses out of 56015 with flag 3252000/3501214
650.47/646.81	c cleaning 27996 clauses out of 56010 with flag 3280000/3529214
656.08/652.34	c cleaning 27991 clauses out of 56014 with flag 3308000/3557214
661.76/658.06	c cleaning 27997 clauses out of 56023 with flag 3336000/3585214
667.67/663.92	c cleaning 28000 clauses out of 56026 with flag 3364000/3613214
673.19/669.43	c cleaning 28001 clauses out of 56027 with flag 3392001/3641215
678.90/675.19	c cleaning 28011 clauses out of 56026 with flag 3420001/3669215
683.56/679.81	c cleaning 28003 clauses out of 56014 with flag 3448000/3697214
689.17/685.38	c cleaning 28001 clauses out of 56011 with flag 3476000/3725214
694.68/690.87	c cleaning 27984 clauses out of 56011 with flag 3504001/3753215
699.97/696.21	c cleaning 27995 clauses out of 56027 with flag 3532001/3781215
705.48/701.68	c cleaning 28007 clauses out of 56032 with flag 3560001/3809215
710.90/707.10	c cleaning 28005 clauses out of 56025 with flag 3588001/3837215
716.52/712.69	c cleaning 28002 clauses out of 56019 with flag 3616000/3865214
721.94/718.05	c cleaning 27992 clauses out of 56017 with flag 3644000/3893214
727.95/724.05	c cleaning 28003 clauses out of 56025 with flag 3672000/3921214
733.47/729.58	c cleaning 28002 clauses out of 56023 with flag 3700001/3949215
739.18/735.29	c cleaning 28005 clauses out of 56020 with flag 3728000/3977214
745.48/741.54	c cleaning 28002 clauses out of 56016 with flag 3756001/4005215
751.12/747.11	c cleaning 27990 clauses out of 56014 with flag 3784001/4033215
757.14/753.19	c cleaning 28005 clauses out of 56023 with flag 3812000/4061214
762.77/758.76	c cleaning 27982 clauses out of 56018 with flag 3840000/4089214
768.39/764.30	c cleaning 28006 clauses out of 56036 with flag 3868000/4117214
773.90/769.87	c cleaning 28009 clauses out of 56030 with flag 3896000/4145214
779.21/775.14	c cleaning 27991 clauses out of 56021 with flag 3924000/4173214
784.93/780.84	c cleaning 28008 clauses out of 56030 with flag 3952000/4201214
790.85/786.71	c cleaning 28009 clauses out of 56023 with flag 3980001/4229215
796.37/792.26	c cleaning 28002 clauses out of 56013 with flag 4008000/4257214
802.08/797.92	c cleaning 28003 clauses out of 56011 with flag 4036000/4285214
807.59/803.42	c cleaning 27995 clauses out of 56008 with flag 4064000/4313214
813.71/809.60	c cleaning 28000 clauses out of 56014 with flag 4092001/4341215
819.90/815.72	c cleaning 28003 clauses out of 56013 with flag 4120000/4369214
825.60/821.47	c cleaning 27996 clauses out of 56010 with flag 4148000/4397214
831.72/827.56	c cleaning 28004 clauses out of 56015 with flag 4176001/4425215
837.72/833.52	c cleaning 27997 clauses out of 56010 with flag 4204000/4453214
844.03/839.83	c cleaning 27998 clauses out of 56013 with flag 4232000/4481214
849.94/845.71	c cleaning 28000 clauses out of 56015 with flag 4260000/4509214
853.89/849.67	c cleaning 27991 clauses out of 56016 with flag 4288001/4537215
858.41/854.16	c cleaning 28009 clauses out of 56025 with flag 4316001/4565215
863.43/859.20	c cleaning 28000 clauses out of 56015 with flag 4344000/4593214
869.44/865.12	c cleaning 28007 clauses out of 56016 with flag 4372001/4621215
873.77/869.48	c cleaning 27998 clauses out of 56009 with flag 4400001/4649215
879.18/874.83	c cleaning 27992 clauses out of 56011 with flag 4428001/4677215
884.51/880.13	c cleaning 28000 clauses out of 56018 with flag 4456000/4705214
890.03/885.66	c cleaning 28001 clauses out of 56018 with flag 4484000/4733214
896.03/891.61	c cleaning 28009 clauses out of 56018 with flag 4512001/4761215
901.64/897.22	c cleaning 27998 clauses out of 56008 with flag 4540000/4789214
906.27/901.87	c cleaning 27993 clauses out of 56010 with flag 4568000/4817214
911.79/907.32	c cleaning 27993 clauses out of 56017 with flag 4596000/4845214
917.31/912.84	c cleaning 28002 clauses out of 56024 with flag 4624000/4873214
923.32/918.86	c cleaning 27994 clauses out of 56022 with flag 4652000/4901214
929.03/924.56	c cleaning 28001 clauses out of 56028 with flag 4680000/4929214
934.06/929.56	c cleaning 27988 clauses out of 56027 with flag 4708000/4957214
939.96/935.41	c cleaning 28008 clauses out of 56040 with flag 4736001/4985215
945.77/941.20	c cleaning 27996 clauses out of 56032 with flag 4764001/5013215
952.00/947.43	c cleaning 27992 clauses out of 56035 with flag 4792000/5041214
957.71/953.18	c cleaning 28006 clauses out of 56043 with flag 4820000/5069214
963.74/959.16	c cleaning 27998 clauses out of 56037 with flag 4848000/5097214
969.25/964.67	c cleaning 28002 clauses out of 56040 with flag 4876001/5125215
974.95/970.32	c cleaning 27996 clauses out of 56037 with flag 4904000/5153214
979.35/974.78	c cleaning 28014 clauses out of 56041 with flag 4932000/5181214
984.17/979.50	c cleaning 28010 clauses out of 56027 with flag 4960000/5209214
990.08/985.46	c cleaning 27999 clauses out of 56017 with flag 4988000/5237214
995.60/990.98	c cleaning 28003 clauses out of 56018 with flag 5016000/5265214
1001.91/997.20	c cleaning 27999 clauses out of 56015 with flag 5044000/5293214
1007.64/1002.90	c cleaning 28004 clauses out of 56017 with flag 5072001/5321215
1012.45/1007.76	c cleaning 27998 clauses out of 56013 with flag 5100001/5349215
1017.79/1013.09	c cleaning 27991 clauses out of 56014 with flag 5128000/5377214
1023.18/1018.50	c cleaning 28002 clauses out of 56023 with flag 5156000/5405214
1029.60/1024.82	c cleaning 28001 clauses out of 56021 with flag 5184000/5433214
1035.81/1031.07	c cleaning 28006 clauses out of 56020 with flag 5212000/5461214
1042.72/1037.92	c cleaning 28005 clauses out of 56014 with flag 5240000/5489214
1047.22/1042.48	c cleaning 28001 clauses out of 56010 with flag 5268001/5517215
1052.73/1047.91	c cleaning 27997 clauses out of 56008 with flag 5296000/5545214
1058.34/1053.54	c cleaning 27996 clauses out of 56011 with flag 5324000/5573214
1063.86/1059.10	c cleaning 28005 clauses out of 56015 with flag 5352000/5601214
1069.59/1064.81	c cleaning 27996 clauses out of 56010 with flag 5380000/5629214
1075.39/1070.54	c cleaning 27991 clauses out of 56014 with flag 5408000/5657214
1081.60/1076.76	c cleaning 28005 clauses out of 56023 with flag 5436000/5685214
1087.02/1082.19	c cleaning 28005 clauses out of 56020 with flag 5464002/5713216
1091.84/1086.98	c cleaning 27998 clauses out of 56013 with flag 5492000/5741214
1097.66/1092.75	c cleaning 27993 clauses out of 56015 with flag 5520000/5769214
1103.57/1098.65	c cleaning 28000 clauses out of 56022 with flag 5548000/5797214
1109.47/1104.56	c cleaning 27997 clauses out of 56022 with flag 5576000/5825214
1115.09/1110.16	c cleaning 27996 clauses out of 56025 with flag 5604000/5853214
1120.99/1116.02	c cleaning 28007 clauses out of 56030 with flag 5632001/5881215
1126.70/1121.80	c cleaning 28002 clauses out of 56023 with flag 5660001/5909215
1132.61/1127.66	c cleaning 27998 clauses out of 56020 with flag 5688000/5937214
1139.13/1134.19	c cleaning 28001 clauses out of 56023 with flag 5716001/5965215
1145.14/1140.19	c cleaning 28007 clauses out of 56021 with flag 5744000/5993214
1150.16/1145.16	c cleaning 27995 clauses out of 56014 with flag 5772000/6021214
1155.58/1150.58	c cleaning 27999 clauses out of 56020 with flag 5800001/6049215
1161.47/1156.46	c cleaning 28002 clauses out of 56022 with flag 5828002/6077216
1166.78/1161.72	c cleaning 27994 clauses out of 56018 with flag 5856000/6105214
1172.49/1167.45	c cleaning 28007 clauses out of 56025 with flag 5884001/6133215
1178.90/1173.80	c cleaning 28001 clauses out of 56017 with flag 5912000/6161214
1184.40/1179.35	c cleaning 27992 clauses out of 56016 with flag 5940000/6189214
1189.74/1184.66	c cleaning 28003 clauses out of 56026 with flag 5968002/6217216
1195.62/1190.53	c cleaning 28003 clauses out of 56021 with flag 5996000/6245214
1201.25/1196.12	c cleaning 28002 clauses out of 56018 with flag 6024000/6273214
1206.87/1201.79	c cleaning 28000 clauses out of 56017 with flag 6052001/6301215
1212.28/1207.14	c cleaning 28000 clauses out of 56017 with flag 6080001/6329215
1217.89/1212.73	c cleaning 28008 clauses out of 56016 with flag 6108000/6357214
1223.20/1218.09	c cleaning 27999 clauses out of 56008 with flag 6136000/6385214
1228.70/1223.55	c cleaning 27992 clauses out of 56009 with flag 6164000/6413214
1234.02/1228.90	c cleaning 27997 clauses out of 56018 with flag 6192001/6441215
1239.53/1234.37	c cleaning 28008 clauses out of 56020 with flag 6220000/6469214
1245.14/1239.92	c cleaning 27990 clauses out of 56012 with flag 6248000/6497214
1251.35/1246.19	c cleaning 28004 clauses out of 56022 with flag 6276000/6525214
1257.46/1252.22	c cleaning 28007 clauses out of 56018 with flag 6304000/6553214
1263.28/1258.02	c cleaning 27996 clauses out of 56011 with flag 6332000/6581214
1269.59/1264.34	c cleaning 28000 clauses out of 56015 with flag 6360000/6609214
1275.49/1270.20	c cleaning 27992 clauses out of 56015 with flag 6388000/6637214
1281.50/1276.22	c cleaning 28003 clauses out of 56023 with flag 6416000/6665214
1287.40/1282.18	c cleaning 28006 clauses out of 56021 with flag 6444001/6693215
1294.02/1288.77	c cleaning 28004 clauses out of 56014 with flag 6472000/6721214
1300.54/1295.24	c cleaning 28002 clauses out of 56010 with flag 6500000/6749214
1304.27/1299.01	c cleaning 27986 clauses out of 56008 with flag 6528000/6777214
1309.20/1303.80	c cleaning 28007 clauses out of 56023 with flag 6556001/6805215
1314.44/1309.04	c cleaning 28004 clauses out of 56015 with flag 6584000/6833214
1319.63/1314.28	c cleaning 27993 clauses out of 56011 with flag 6612000/6861214
1324.14/1318.72	c cleaning 27992 clauses out of 56018 with flag 6640000/6889214
1329.36/1323.96	c cleaning 28001 clauses out of 56026 with flag 6668000/6917214
1335.69/1330.29	c cleaning 28005 clauses out of 56025 with flag 6696000/6945214
1340.85/1335.36	c cleaning 27990 clauses out of 56020 with flag 6724000/6973214
1346.37/1340.88	c cleaning 27997 clauses out of 56030 with flag 6752000/7001214
1351.75/1346.23	c cleaning 28010 clauses out of 56033 with flag 6780000/7029214
1356.38/1350.82	c cleaning 27996 clauses out of 56023 with flag 6808000/7057214
1362.26/1356.74	c cleaning 28009 clauses out of 56027 with flag 6836000/7085214
1367.17/1361.68	c cleaning 28004 clauses out of 56019 with flag 6864001/7113215
1372.99/1367.41	c cleaning 27988 clauses out of 56014 with flag 6892000/7141214
1378.31/1372.76	c cleaning 27988 clauses out of 56026 with flag 6920000/7169214
1383.41/1377.88	c cleaning 28013 clauses out of 56040 with flag 6948002/7197216
1389.23/1383.64	c cleaning 28004 clauses out of 56025 with flag 6976000/7225214
1395.34/1389.73	c cleaning 27972 clauses out of 56021 with flag 7004000/7253214
1400.65/1395.02	c cleaning 28008 clauses out of 56049 with flag 7032000/7281214
1405.76/1400.20	c cleaning 28001 clauses out of 56042 with flag 7060001/7309215
1411.41/1405.72	c cleaning 28007 clauses out of 56040 with flag 7088000/7337214
1416.70/1411.08	c cleaning 27999 clauses out of 56033 with flag 7116000/7365214
1422.43/1416.76	c cleaning 28001 clauses out of 56035 with flag 7144001/7393215
1427.71/1422.05	c cleaning 28007 clauses out of 56033 with flag 7172000/7421214
1433.33/1427.63	c cleaning 27997 clauses out of 56026 with flag 7200000/7449214
1439.44/1433.71	c cleaning 27999 clauses out of 56029 with flag 7228000/7477214
1444.57/1438.82	c cleaning 28000 clauses out of 56031 with flag 7256001/7505215
1449.86/1444.13	c cleaning 27998 clauses out of 56031 with flag 7284001/7533215
1455.18/1449.46	c cleaning 28009 clauses out of 56032 with flag 7312000/7561214
1461.01/1455.26	c cleaning 28003 clauses out of 56023 with flag 7340000/7589214
1466.69/1460.96	c cleaning 28002 clauses out of 56020 with flag 7368000/7617214
1472.90/1467.14	c cleaning 27989 clauses out of 56018 with flag 7396000/7645214
1478.41/1472.67	c cleaning 28003 clauses out of 56029 with flag 7424000/7673214
1483.71/1477.90	c cleaning 28001 clauses out of 56028 with flag 7452002/7701216
1489.04/1483.28	c cleaning 27996 clauses out of 56025 with flag 7480000/7729214
1493.85/1488.05	c cleaning 27999 clauses out of 56029 with flag 7508000/7757214
1499.17/1493.33	c cleaning 28012 clauses out of 56030 with flag 7536000/7785214
1504.78/1498.94	c cleaning 28001 clauses out of 56018 with flag 7564000/7813214
1510.49/1504.66	c cleaning 27999 clauses out of 56017 with flag 7592000/7841214
1515.60/1509.74	c cleaning 28006 clauses out of 56018 with flag 7620000/7869214
1520.63/1514.79	c cleaning 27995 clauses out of 56014 with flag 7648002/7897216
1526.22/1520.37	c cleaning 28003 clauses out of 56018 with flag 7676001/7925215
1531.43/1525.55	c cleaning 28002 clauses out of 56015 with flag 7704001/7953215
1537.16/1531.29	c cleaning 27996 clauses out of 56013 with flag 7732001/7981215
1542.58/1536.62	c cleaning 27992 clauses out of 56016 with flag 7760000/8009214
1548.47/1542.59	c cleaning 28000 clauses out of 56024 with flag 7788000/8037214
1554.19/1548.24	c cleaning 28000 clauses out of 56024 with flag 7816000/8065214
1559.89/1553.90	c cleaning 28001 clauses out of 56024 with flag 7844000/8093214
1565.92/1559.94	c cleaning 28005 clauses out of 56023 with flag 7872000/8121214
1571.94/1565.93	c cleaning 28004 clauses out of 56018 with flag 7900000/8149214
1577.74/1571.78	c cleaning 28003 clauses out of 56014 with flag 7928000/8177214
1583.85/1577.81	c cleaning 28000 clauses out of 56011 with flag 7956000/8205214
1589.26/1583.25	c cleaning 28001 clauses out of 56011 with flag 7984000/8233214
1594.27/1588.29	c cleaning 27999 clauses out of 56010 with flag 8012000/8261214
1599.67/1593.65	c cleaning 28000 clauses out of 56011 with flag 8040000/8289214
1604.88/1598.89	c cleaning 28003 clauses out of 56013 with flag 8068002/8317216
1610.58/1604.56	c cleaning 27993 clauses out of 56008 with flag 8096000/8345214
1616.00/1609.91	c cleaning 28001 clauses out of 56015 with flag 8124000/8373214
1616.81/1610.78	c Got one! Elapsed wall clock time (in seconds):1610.666
1616.81/1610.78	o -31
1617.53/1611.43	c cleaning 19225 clauses out of 38471 with flag 5000/8383671
1618.32/1612.26	c cleaning 12601 clauses out of 25246 with flag 11000/8389671
1619.32/1613.22	c cleaning 9814 clauses out of 19645 with flag 18000/8396671
1620.42/1614.34	c cleaning 8902 clauses out of 17831 with flag 26000/8404671
1621.73/1615.66	c cleaning 8965 clauses out of 17929 with flag 35000/8413671
1623.23/1617.11	c cleaning 9476 clauses out of 18964 with flag 45000/8423671
1624.84/1618.77	c cleaning 10240 clauses out of 20489 with flag 56001/8434672
1626.84/1620.74	c cleaning 11122 clauses out of 22248 with flag 68000/8446671
1629.15/1623.05	c cleaning 12057 clauses out of 24127 with flag 81001/8459672
1631.35/1625.23	c cleaning 13032 clauses out of 26069 with flag 95000/8473671
1633.76/1627.64	c cleaning 14020 clauses out of 28039 with flag 110002/8488673
1636.57/1630.49	c cleaning 15000 clauses out of 30017 with flag 126000/8504671
1639.59/1633.48	c cleaning 16003 clauses out of 32017 with flag 143000/8521671
1643.08/1636.90	c cleaning 17002 clauses out of 34014 with flag 161000/8539671
1646.78/1640.62	c cleaning 18004 clauses out of 36012 with flag 180000/8558671
1650.99/1644.85	c cleaning 19002 clauses out of 38009 with flag 200001/8578672
1655.50/1649.31	c cleaning 20000 clauses out of 40006 with flag 221000/8599671
1660.52/1654.39	c cleaning 20994 clauses out of 42007 with flag 243001/8621672
1665.91/1659.72	c cleaning 22006 clauses out of 44012 with flag 266000/8644671
1672.21/1666.05	c cleaning 22991 clauses out of 46006 with flag 290000/8668671
1676.83/1670.69	c cleaning 24001 clauses out of 48015 with flag 315000/8693671
1682.23/1676.01	c cleaning 24998 clauses out of 50015 with flag 341001/8719672
1688.16/1681.92	c cleaning 26001 clauses out of 52016 with flag 368000/8746671
1695.15/1688.96	c cleaning 26996 clauses out of 54015 with flag 396000/8774671
1701.76/1695.53	c cleaning 27502 clauses out of 55020 with flag 424001/8802672
1708.47/1702.27	c cleaning 27754 clauses out of 55518 with flag 452001/8830672
1714.70/1708.45	c cleaning 27879 clauses out of 55763 with flag 480000/8858671
1720.91/1714.66	c cleaning 27939 clauses out of 55884 with flag 508000/8886671
1727.62/1721.35	c cleaning 27969 clauses out of 55945 with flag 536000/8914671
1734.46/1728.12	c cleaning 27979 clauses out of 55976 with flag 564000/8942671
1741.37/1735.05	c cleaning 27999 clauses out of 55997 with flag 592000/8970671
1748.58/1742.21	c cleaning 27990 clauses out of 55999 with flag 620001/8998672
1755.98/1749.61	c cleaning 27996 clauses out of 56008 with flag 648000/9026671
1762.58/1756.21	c cleaning 27989 clauses out of 56012 with flag 676000/9054671
1769.39/1763.03	c cleaning 28005 clauses out of 56024 with flag 704001/9082672
1775.99/1769.70	c cleaning 28003 clauses out of 56019 with flag 732001/9110672
1781.30/1774.90	c cleaning 28009 clauses out of 56017 with flag 760002/9138673
1786.41/1780.06	c cleaning 27998 clauses out of 56006 with flag 788000/9166671
1791.22/1784.86	c cleaning 27999 clauses out of 56008 with flag 816000/9194671
1796.33/1789.94	c cleaning 28000 clauses out of 56009 with flag 844000/9222671
1800.06/1793.62	c starts		: 309
1800.06/1793.62	c conflicts		: 9243157
1800.06/1793.62	c decisions		: 9814753
1800.06/1793.62	c propagations		: 56324964
1800.06/1793.62	c inspects		: 10247006929
1800.06/1793.62	c shortcuts		: 0
1800.06/1793.62	c learnt literals	: 0
1800.06/1793.62	c learnt binary clauses	: 0
1800.06/1793.62	c learnt ternary clauses	: 0
1800.06/1793.62	c learnt constraints	: 9243157
1800.06/1793.62	c ignored constraints	: 0
1800.06/1793.62	c root simplifications	: 0
1800.06/1793.62	c removed literals (reason simplification)	: 142395801
1800.06/1793.62	c reason swapping (by a shorter reason)	: 0
1800.06/1793.62	c Calls to reduceDB	: 358
1800.06/1793.62	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.62	c number of learned constraints concerned by reduction	: 0
1800.06/1793.62	c number of learning phase by resolution	: 0
1800.06/1793.62	c number of learning phase by cutting planes	: 0
1800.06/1793.62	c speed (assignments/second)	: 308054.4571512954
1800.06/1793.62	c non guided choices	0
1800.06/1793.65	c learnt constraints type 
1800.06/1793.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 48621
1800.06/1793.65	c constraints type 
1800.06/1793.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1793.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27847
1800.06/1793.65	s SATISFIABLE
1800.06/1793.65	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.06/1793.65	c objective function=-31
1800.06/1793.65	c Total wall clock time (in seconds): 1793.537

Verifier Data 

OK	-31

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-3458749-1307148926/watcher-3458749-1307148926 -o /tmp/evaluation-result-3458749-1307148926/solver-3458749-1307148926 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458749-1307148926.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.03 1.93 2/568 26329
/proc/meminfo: memFree=21022136/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 9526 0 1 0 0 0 0 0 25 0 2 0 826493038 13850947584 9229 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3381579 9242 917 9 0 3372735 0
[pid=26329/tid=26330] ppid=26327 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 8476 0 1 0 0 0 0 0 25 0 2 0 826493038 13850947584 9293 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0929729 s]
/proc/loadavg: 1.93 2.03 1.93 2/568 26329
/proc/meminfo: memFree=21022136/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13621860 CPUtime=0.09 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 15343 0 1 0 7 2 0 0 25 0 18 0 826493038 13948784640 15002 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3405465 15002 2063 9 0 3396199 0
[pid=26329/tid=26330] ppid=26327 vsize=13621860 CPUtime=0.07 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 13436 0 1 0 6 1 0 0 18 0 18 0 826493038 13948784640 15007 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505212212 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621860

[startup+0.101017 s]
/proc/loadavg: 1.93 2.03 1.93 2/568 26329
/proc/meminfo: memFree=21022136/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13621860 CPUtime=0.1 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 15478 0 1 0 8 2 0 0 25 0 18 0 826493038 13948784640 15137 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3405465 15137 2093 9 0 3396199 0
[pid=26329/tid=26330] ppid=26327 vsize=13621860 CPUtime=0.08 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 13533 0 1 0 6 2 0 0 18 0 18 0 826493038 13948784640 15137 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 47570814226339 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621860

[startup+0.300934 s]
/proc/loadavg: 1.93 2.03 1.93 2/568 26329
/proc/meminfo: memFree=21022136/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13621896 CPUtime=0.43 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 17786 0 1 0 41 2 0 0 25 0 18 0 826493038 13948821504 17068 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3405474 17068 2198 9 0 3396208 0
[pid=26329/tid=26330] ppid=26327 vsize=13621896 CPUtime=0.28 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 15198 0 1 0 26 2 0 0 18 0 18 0 826493038 13948821504 17068 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505212146 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13621896

[startup+0.700862 s]
/proc/loadavg: 1.93 2.03 1.93 2/568 26329
/proc/meminfo: memFree=21022136/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=1.43 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 33061 0 1 0 138 5 0 0 25 0 19 0 826493038 13957562368 30682 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 30682 2231 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=0.67 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 25873 0 1 0 64 3 0 0 19 0 19 0 826493038 13957562368 30682 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505918212 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13630432

[startup+1.50071 s]
/proc/loadavg: 1.93 2.03 1.93 3/587 26349
/proc/meminfo: memFree=20880632/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=2.34 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 41190 0 1 0 228 6 0 0 25 0 19 0 826493038 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 38803 2262 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=1.44 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29277 0 1 0 140 4 0 0 20 0 19 0 826493038 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505844669 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 120 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 1340 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 918 0 0 0 0 0 0 0 18 0 19 0 826493040 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=0.01 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 2323 0 0 0 1 0 0 0 15 0 19 0 826493042 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.47 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2565 0 0 0 47 0 0 0 16 0 19 0 826493044 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.36 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3491 0 0 0 36 0 0 0 19 0 19 0 826493044 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 38803 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13630432

[startup+3.10142 s]
/proc/loadavg: 1.93 2.03 1.93 3/587 26349
/proc/meminfo: memFree=20819960/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=3.98 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 49126 0 1 0 391 7 0 0 25 0 19 0 826493038 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 46737 2262 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=2.98 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29281 0 1 0 294 4 0 0 24 0 19 0 826493038 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505890218 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 2338 0 0 0 0 0 0 0 16 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 938 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 582 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 411 0 0 0 0 0 0 0 16 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 1686 0 0 0 0 0 0 0 16 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 918 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=0.05 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 5757 0 0 0 5 0 0 0 15 0 19 0 826493042 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.49 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2568 0 0 0 49 0 0 0 16 0 19 0 826493044 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.37 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3494 0 0 0 37 0 0 0 15 0 19 0 826493044 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 46737 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13630432

[startup+6.30088 s]
/proc/loadavg: 1.93 2.03 1.93 3/587 26349
/proc/meminfo: memFree=20775272/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=7.23 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 52809 0 1 0 716 7 0 0 25 0 19 0 826493038 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 50282 2263 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=6.08 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29284 0 1 0 604 4 0 0 25 0 19 0 826493038 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505890160 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 2443 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 1385 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0.01 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 1302 0 0 0 1 0 0 0 16 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 252 0 0 0 0 0 0 0 16 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0.01 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 953 0 0 0 1 0 0 0 16 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=0.01 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 1949 0 0 0 1 0 0 0 15 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 987 0 0 0 0 0 0 0 15 0 19 0 826493040 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=0.13 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 6941 0 0 0 13 0 0 0 15 0 19 0 826493042 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.53 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2667 0 0 0 53 0 0 0 15 0 19 0 826493044 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.38 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3494 0 0 0 38 0 0 0 15 0 19 0 826493044 13957562368 50282 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0

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

[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0.92 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 2727 0 0 0 92 0 0 0 15 0 19 0 826493040 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=1 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 3990 0 0 0 100 0 0 0 15 0 19 0 826493040 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=1 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 4953 0 0 0 100 0 0 0 16 0 19 0 826493040 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=16.72 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 28287 0 0 0 1665 7 0 0 15 0 19 0 826493042 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.55 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2683 0 0 0 55 0 0 0 15 0 19 0 826493044 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.42 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3500 0 0 0 42 0 0 0 15 0 19 0 826493044 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 94299 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.51
Current children cumulated vsize (KiB) 13630432

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/587 26406
/proc/meminfo: memFree=20411092/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=1728.64 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 98822 0 1 0 172843 21 0 0 25 0 19 0 826493038 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 95740 2264 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=1702.44 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29663 0 1 0 170240 4 0 0 25 0 19 0 826493038 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505844770 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=1.02 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 4447 0 0 0 102 0 0 0 16 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0.94 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 2401 0 0 0 94 0 0 0 16 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=1.04 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 6391 0 0 0 103 1 0 0 15 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0.9 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 2278 0 0 0 90 0 0 0 15 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0.93 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 4829 0 0 0 92 1 0 0 16 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0.94 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 2729 0 0 0 94 0 0 0 15 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=1.02 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 3990 0 0 0 102 0 0 0 16 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=1.03 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 4965 0 0 0 103 0 0 0 15 0 19 0 826493040 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=17.28 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 29696 0 0 0 1721 7 0 0 16 0 19 0 826493042 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.55 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2683 0 0 0 55 0 0 0 15 0 19 0 826493044 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.42 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3500 0 0 0 42 0 0 0 15 0 19 0 826493044 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 95740 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.64
Current children cumulated vsize (KiB) 13630432

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/587 26408
/proc/meminfo: memFree=20405460/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=1788.72 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 98859 0 1 0 178851 21 0 0 25 0 19 0 826493038 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 95764 2264 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=1761.89 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29672 0 1 0 176185 4 0 0 20 0 19 0 826493038 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505918212 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=1.04 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 4447 0 0 0 104 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0.95 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 2401 0 0 0 95 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=1.05 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 6391 0 0 0 104 1 0 0 16 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0.91 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 2295 0 0 0 91 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0.94 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 4829 0 0 0 93 1 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0.95 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 2729 0 0 0 95 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=1.03 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 3990 0 0 0 103 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=1.05 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 4972 0 0 0 105 0 0 0 15 0 19 0 826493040 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=17.79 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 29698 0 0 0 1772 7 0 0 15 0 19 0 826493042 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.55 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2683 0 0 0 55 0 0 0 15 0 19 0 826493044 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.42 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3500 0 0 0 42 0 0 0 15 0 19 0 826493044 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 95764 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 13630432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 2.37 2.12 2.03 2/567 26411
/proc/meminfo: memFree=20776864/32951124 swapFree=53733252/67111528
[pid=26329] ppid=26327 vsize=13630432 CPUtime=1800.06 cores=1,3,5,7
/proc/26329/stat : 26329 (java) S 26327 26329 24519 0 -1 4202496 98874 0 1 0 179985 21 0 0 25 0 19 0 826493038 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26329/statm: 3407608 95773 2264 9 0 3398342 0
[pid=26329/tid=26330] ppid=26327 vsize=13630432 CPUtime=1773.1 cores=1,3,5,7
/proc/26329/task/26330/stat : 26330 (java) R 26327 26329 24519 0 -1 4202560 29674 0 1 0 177306 4 0 0 25 0 19 0 826493038 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 46912505844922 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26329/tid=26332] ppid=26327 vsize=13630432 CPUtime=1.05 cores=1,3,5,7
/proc/26329/task/26332/stat : 26332 (java) S 26327 26329 24519 0 -1 4202560 4447 0 0 0 105 0 0 0 16 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26333] ppid=26327 vsize=13630432 CPUtime=0.95 cores=1,3,5,7
/proc/26329/task/26333/stat : 26333 (java) S 26327 26329 24519 0 -1 4202560 2401 0 0 0 95 0 0 0 15 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26334] ppid=26327 vsize=13630432 CPUtime=1.06 cores=1,3,5,7
/proc/26329/task/26334/stat : 26334 (java) S 26327 26329 24519 0 -1 4202560 6391 0 0 0 105 1 0 0 15 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26335] ppid=26327 vsize=13630432 CPUtime=0.91 cores=1,3,5,7
/proc/26329/task/26335/stat : 26335 (java) S 26327 26329 24519 0 -1 4202560 2295 0 0 0 91 0 0 0 15 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26336] ppid=26327 vsize=13630432 CPUtime=0.94 cores=1,3,5,7
/proc/26329/task/26336/stat : 26336 (java) S 26327 26329 24519 0 -1 4202560 4829 0 0 0 93 1 0 0 16 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26337] ppid=26327 vsize=13630432 CPUtime=0.95 cores=1,3,5,7
/proc/26329/task/26337/stat : 26337 (java) S 26327 26329 24519 0 -1 4202560 2729 0 0 0 95 0 0 0 16 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26329/tid=26338] ppid=26327 vsize=13630432 CPUtime=1.04 cores=1,3,5,7
/proc/26329/task/26338/stat : 26338 (java) S 26327 26329 24519 0 -1 4202560 3990 0 0 0 104 0 0 0 16 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26329/tid=26339] ppid=26327 vsize=13630432 CPUtime=1.05 cores=1,3,5,7
/proc/26329/task/26339/stat : 26339 (java) S 26327 26329 24519 0 -1 4202560 4981 0 0 0 105 0 0 0 15 0 19 0 826493040 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26340] ppid=26327 vsize=13630432 CPUtime=17.89 cores=1,3,5,7
/proc/26329/task/26340/stat : 26340 (java) S 26327 26329 24519 0 -1 4202560 29700 0 0 0 1782 7 0 0 15 0 19 0 826493042 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26341] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26341/stat : 26341 (java) S 26327 26329 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26342] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26342/stat : 26342 (java) S 26327 26329 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826493042 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26343] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26343/stat : 26343 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26344] ppid=26327 vsize=13630432 CPUtime=0.55 cores=1,3,5,7
/proc/26329/task/26344/stat : 26344 (java) S 26327 26329 24519 0 -1 4202560 2683 0 0 0 55 0 0 0 15 0 19 0 826493044 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26345] ppid=26327 vsize=13630432 CPUtime=0.42 cores=1,3,5,7
/proc/26329/task/26345/stat : 26345 (java) S 26327 26329 24519 0 -1 4202560 3500 0 0 0 42 0 0 0 15 0 19 0 826493044 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26346] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26346/stat : 26346 (java) S 26327 26329 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826493044 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26329/tid=26347] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26347/stat : 26347 (java) S 26327 26329 24519 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826493044 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26329/tid=26349] ppid=26327 vsize=13630432 CPUtime=0 cores=1,3,5,7
/proc/26329/task/26349/stat : 26349 (java) S 26327 26329 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826493088 13957562368 95773 33554432000 1073741824 1073778376 140736856456656 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13630432

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

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

Child status: 143
Real time (s): 1793.67
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.231964
CPU usage (%): 100.361
Max. virtual memory (cumulated for all children) (KiB): 13630452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98921
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= 47525
involuntary context switches= 11190

runsolver used 10.0745 second user time and 23.4744 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 02:55:26
IDJOB=3458749
IDBENCH=2274
IDSOLVER=1952
FILE ID=node106/3458749-1307148926
RUNJOBID= node106-1307147125-26056
PBS_JOBID= 13508810
Free space on /tmp= 73744 MiB

SOLVER NAME= Sat4j Resolution 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-2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458749-1307148926/watcher-3458749-1307148926 -o /tmp/evaluation-result-3458749-1307148926/solver-3458749-1307148926 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458749-1307148926.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=1621390998

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21022292 kB
Buffers:        395792 kB
Cached:        5994596 kB
SwapCached:      22744 kB
Active:        6028280 kB
Inactive:      5559216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21022292 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            2340 kB
Writeback:           0 kB
AnonPages:     5193496 kB
Mapped:          34232 kB
Slab:           192264 kB
PageTables:      77976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 180958536 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= 73736 MiB
End job on node106 at 2011-06-04 03:25:22