Trace number 3458939

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)-30 1800.19 1794.48

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/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@761a626f
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-3458939-1307148925.opb
0.10/0.12	c reading problem ... 
0.67/0.49	c ... done. Wall clock time 0.37s.
0.67/0.49	c #vars     595
0.67/0.49	c #constraints  27856
0.67/0.49	c constraints type 
0.67/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27856
0.79/0.50	c SATISFIABLE
0.79/0.50	c OPTIMIZING...
0.79/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.79/0.50	o -27
0.79/0.57	c Got one! Elapsed wall clock time (in seconds):0.45
0.79/0.57	o -28
1.71/1.25	c cleaning 2517 clauses out of 5034 with flag 5000/5034
2.51/1.97	c cleaning 4259 clauses out of 8517 with flag 11000/11034
3.42/2.82	c cleaning 5630 clauses out of 11259 with flag 18001/18035
4.44/3.81	c cleaning 6804 clauses out of 13628 with flag 26000/26034
5.69/5.04	c cleaning 7907 clauses out of 15824 with flag 35000/35034
7.05/6.39	c cleaning 8957 clauses out of 17918 with flag 45001/45035
8.69/7.91	c cleaning 9980 clauses out of 19961 with flag 56001/56035
10.41/9.66	c cleaning 10988 clauses out of 21980 with flag 68000/68034
12.42/11.63	c cleaning 11996 clauses out of 23992 with flag 81000/81034
14.43/13.63	c cleaning 12998 clauses out of 25996 with flag 95000/95034
17.04/16.24	c cleaning 13998 clauses out of 28000 with flag 110002/110036
19.48/18.62	c cleaning 14992 clauses out of 30000 with flag 126000/126034
21.97/21.17	c cleaning 16005 clauses out of 32010 with flag 143002/143036
24.79/23.93	c cleaning 17000 clauses out of 34004 with flag 161001/161035
27.70/26.88	c cleaning 18001 clauses out of 36003 with flag 180000/180034
30.81/29.94	c cleaning 18996 clauses out of 38002 with flag 200000/200034
34.34/33.46	c cleaning 20001 clauses out of 40006 with flag 221000/221034
38.05/37.19	c cleaning 20999 clauses out of 42006 with flag 243001/243035
42.46/41.55	c cleaning 21997 clauses out of 44007 with flag 266001/266035
46.30/45.31	c cleaning 22997 clauses out of 46010 with flag 290001/290035
50.82/49.88	c cleaning 24001 clauses out of 48012 with flag 315000/315034
56.44/55.42	c cleaning 24999 clauses out of 50012 with flag 341001/341035
58.56/57.53	c Got one! Elapsed wall clock time (in seconds):57.411
58.56/57.53	o -29
59.28/58.31	c cleaning 21946 clauses out of 43900 with flag 5002/359922
60.27/59.20	c cleaning 13970 clauses out of 27953 with flag 11001/365921
61.27/60.27	c cleaning 10489 clauses out of 20983 with flag 18001/372921
62.48/61.47	c cleaning 9241 clauses out of 18493 with flag 26000/380920
63.89/62.82	c cleaning 9115 clauses out of 18252 with flag 35000/389920
65.29/64.30	c cleaning 9569 clauses out of 19137 with flag 45000/399920
66.79/65.75	c cleaning 10274 clauses out of 20568 with flag 56000/410920
68.60/67.53	c cleaning 11148 clauses out of 22295 with flag 68001/422921
70.71/69.62	c cleaning 12065 clauses out of 24146 with flag 81000/435920
73.02/72.00	c cleaning 13039 clauses out of 26081 with flag 95000/449920
75.53/74.43	c cleaning 14021 clauses out of 28043 with flag 110001/464921
78.55/77.43	c cleaning 15001 clauses out of 30021 with flag 126000/480920
81.26/80.21	c cleaning 16007 clauses out of 32021 with flag 143001/497921
84.69/83.55	c cleaning 17006 clauses out of 34013 with flag 161000/515920
88.09/86.92	c cleaning 18004 clauses out of 36008 with flag 180001/534921
91.79/90.68	c cleaning 18997 clauses out of 38003 with flag 200000/554920
96.31/95.19	c cleaning 19998 clauses out of 40006 with flag 221000/575920
100.93/99.71	c cleaning 20996 clauses out of 42009 with flag 243001/597921
104.46/103.27	c cleaning 22006 clauses out of 44012 with flag 266000/620920
108.80/107.57	c cleaning 23004 clauses out of 46007 with flag 290001/644921
113.33/112.03	c cleaning 23999 clauses out of 48002 with flag 315000/669920
117.75/116.48	c cleaning 24999 clauses out of 50003 with flag 341000/695920
123.49/122.18	c cleaning 25988 clauses out of 52004 with flag 368000/722920
128.92/127.58	c cleaning 27008 clauses out of 54017 with flag 396001/750921
135.66/134.25	c cleaning 27505 clauses out of 55009 with flag 424001/778921
140.97/139.54	c cleaning 27752 clauses out of 55504 with flag 452001/806921
147.81/146.36	c cleaning 27874 clauses out of 55751 with flag 480000/834920
154.82/153.33	c cleaning 27938 clauses out of 55878 with flag 508001/862921
161.46/159.91	c cleaning 27969 clauses out of 55941 with flag 536002/890922
165.67/164.19	c cleaning 27983 clauses out of 55970 with flag 564000/918920
171.21/169.61	c cleaning 27978 clauses out of 55988 with flag 592001/946921
177.22/175.65	c cleaning 28000 clauses out of 56009 with flag 620000/974920
182.96/181.32	c cleaning 28002 clauses out of 56009 with flag 648000/1002920
188.49/186.90	c cleaning 27995 clauses out of 56007 with flag 676000/1030920
194.59/192.91	c cleaning 27997 clauses out of 56013 with flag 704001/1058921
200.63/198.96	c cleaning 27997 clauses out of 56015 with flag 732000/1086920
206.65/204.92	c cleaning 27997 clauses out of 56018 with flag 760000/1114920
213.48/211.72	c cleaning 28009 clauses out of 56022 with flag 788001/1142921
219.62/217.85	c cleaning 28004 clauses out of 56013 with flag 816001/1170921
224.33/222.58	c cleaning 27994 clauses out of 56008 with flag 844000/1198920
230.23/228.44	c cleaning 28002 clauses out of 56014 with flag 872000/1226920
236.57/234.76	c cleaning 27996 clauses out of 56012 with flag 900000/1254920
243.00/241.18	c cleaning 28006 clauses out of 56017 with flag 928001/1282921
249.83/247.92	c cleaning 27999 clauses out of 56010 with flag 956000/1310920
255.45/253.59	c cleaning 27997 clauses out of 56011 with flag 984000/1338920
259.90/257.97	c cleaning 28006 clauses out of 56016 with flag 1012002/1366922
265.04/263.03	c cleaning 28002 clauses out of 56008 with flag 1040000/1394920
271.36/269.31	c cleaning 27993 clauses out of 56006 with flag 1068000/1422920
277.20/275.19	c cleaning 28002 clauses out of 56015 with flag 1096002/1450922
282.31/280.29	c cleaning 27994 clauses out of 56012 with flag 1124001/1478921
288.23/286.15	c cleaning 28000 clauses out of 56018 with flag 1152001/1506921
294.15/292.01	c cleaning 28002 clauses out of 56017 with flag 1180000/1534920
300.20/298.06	c cleaning 28005 clauses out of 56015 with flag 1208000/1562920
306.71/304.56	c cleaning 28004 clauses out of 56011 with flag 1236001/1590921
312.84/310.68	c cleaning 28001 clauses out of 56006 with flag 1264000/1618920
318.25/316.02	c cleaning 27993 clauses out of 56005 with flag 1292000/1646920
324.37/322.19	c cleaning 28004 clauses out of 56012 with flag 1320000/1674920
330.80/328.57	c cleaning 28001 clauses out of 56009 with flag 1348001/1702921
336.65/334.41	c cleaning 28000 clauses out of 56007 with flag 1376000/1730920
342.56/340.21	c cleaning 28002 clauses out of 56009 with flag 1404002/1758922
347.88/345.52	c cleaning 28000 clauses out of 56005 with flag 1432000/1786920
353.50/351.16	c cleaning 27990 clauses out of 56005 with flag 1460000/1814920
360.02/357.66	c cleaning 28001 clauses out of 56016 with flag 1488001/1842921
365.85/363.43	c cleaning 27998 clauses out of 56014 with flag 1516000/1870920
372.77/370.39	c cleaning 28001 clauses out of 56016 with flag 1544000/1898920
379.10/376.66	c cleaning 27996 clauses out of 56015 with flag 1572000/1926920
384.62/382.13	c cleaning 27994 clauses out of 56019 with flag 1600000/1954920
390.75/388.25	c cleaning 28000 clauses out of 56026 with flag 1628001/1982921
395.65/393.17	c cleaning 28005 clauses out of 56025 with flag 1656000/2010920
400.80/398.27	c cleaning 27997 clauses out of 56021 with flag 1684001/2038921
406.12/403.55	c cleaning 28001 clauses out of 56024 with flag 1712001/2066921
411.34/408.78	c cleaning 28008 clauses out of 56024 with flag 1740002/2094922
417.65/415.01	c cleaning 27998 clauses out of 56014 with flag 1768000/2122920
422.67/420.02	c cleaning 28005 clauses out of 56017 with flag 1796001/2150921
428.59/425.94	c cleaning 27992 clauses out of 56011 with flag 1824000/2178920
433.83/431.19	c cleaning 28002 clauses out of 56019 with flag 1852000/2206920
440.33/437.65	c cleaning 28008 clauses out of 56017 with flag 1880000/2234920
446.26/443.58	c cleaning 27999 clauses out of 56009 with flag 1908000/2262920
452.78/450.08	c cleaning 28001 clauses out of 56011 with flag 1936001/2290921
458.30/455.51	c cleaning 27998 clauses out of 56009 with flag 1964000/2318920
463.64/460.90	c cleaning 28001 clauses out of 56011 with flag 1992000/2346920
469.94/467.14	c cleaning 27996 clauses out of 56010 with flag 2020000/2374920
476.36/473.55	c cleaning 27996 clauses out of 56014 with flag 2048000/2402920
482.99/480.11	c cleaning 28001 clauses out of 56018 with flag 2076000/2430920
487.93/485.05	c cleaning 28000 clauses out of 56018 with flag 2104001/2458921
493.83/490.92	c cleaning 28009 clauses out of 56018 with flag 2132001/2486921
499.74/496.82	c cleaning 27994 clauses out of 56008 with flag 2160000/2514920
505.36/502.40	c cleaning 28003 clauses out of 56014 with flag 2188000/2542920
511.38/508.49	c cleaning 27981 clauses out of 56011 with flag 2216000/2570920
517.70/514.73	c cleaning 28012 clauses out of 56031 with flag 2244001/2598921
524.19/521.27	c cleaning 28002 clauses out of 56018 with flag 2272000/2626920
531.21/528.25	c cleaning 27999 clauses out of 56016 with flag 2300000/2654920
536.94/533.90	c cleaning 28007 clauses out of 56018 with flag 2328001/2682921
543.56/540.50	c cleaning 28003 clauses out of 56010 with flag 2356000/2710920
549.47/546.40	c cleaning 28004 clauses out of 56009 with flag 2384002/2738922
555.79/552.78	c cleaning 27999 clauses out of 56004 with flag 2412001/2766921
562.31/559.29	c cleaning 27999 clauses out of 56004 with flag 2440000/2794920
569.93/566.85	c cleaning 28004 clauses out of 56007 with flag 2468002/2822922
576.18/573.03	c cleaning 27997 clauses out of 56003 with flag 2496002/2850922
582.58/579.49	c cleaning 27996 clauses out of 56004 with flag 2524000/2878920
589.41/586.29	c cleaning 28000 clauses out of 56008 with flag 2552000/2906920
596.02/592.85	c cleaning 27994 clauses out of 56009 with flag 2580001/2934921
602.22/599.02	c cleaning 27998 clauses out of 56016 with flag 2608002/2962922
608.63/605.49	c cleaning 28004 clauses out of 56016 with flag 2636000/2990920
612.94/609.78	c cleaning 27989 clauses out of 56012 with flag 2664000/3018920
617.75/614.51	c cleaning 28001 clauses out of 56023 with flag 2692000/3046920
623.17/619.95	c cleaning 27999 clauses out of 56022 with flag 2720000/3074920
628.19/624.90	c cleaning 28009 clauses out of 56024 with flag 2748001/3102921
633.63/630.38	c cleaning 27992 clauses out of 56015 with flag 2776001/3130921
640.17/636.88	c cleaning 28008 clauses out of 56022 with flag 2804000/3158920
646.66/643.39	c cleaning 27996 clauses out of 56014 with flag 2832000/3186920
652.43/649.04	c cleaning 27983 clauses out of 56018 with flag 2860000/3214920
658.13/654.74	c cleaning 28006 clauses out of 56036 with flag 2888001/3242921
665.14/661.71	c cleaning 27989 clauses out of 56029 with flag 2916000/3270920
670.56/667.15	c cleaning 28011 clauses out of 56040 with flag 2944000/3298920
677.08/673.63	c cleaning 28006 clauses out of 56030 with flag 2972001/3326921
683.91/680.47	c cleaning 28007 clauses out of 56024 with flag 3000001/3354921
690.62/687.10	c cleaning 27997 clauses out of 56016 with flag 3028000/3382920
697.34/693.87	c cleaning 28006 clauses out of 56020 with flag 3056001/3410921
705.16/701.61	c cleaning 28003 clauses out of 56013 with flag 3084000/3438920
711.09/707.55	c cleaning 27988 clauses out of 56010 with flag 3112000/3466920
717.70/714.18	c cleaning 28003 clauses out of 56022 with flag 3140000/3494920
724.14/720.52	c cleaning 27999 clauses out of 56019 with flag 3168000/3522920
730.23/726.70	c cleaning 28003 clauses out of 56021 with flag 3196001/3550921
736.64/733.03	c cleaning 28001 clauses out of 56017 with flag 3224000/3578920
742.66/739.12	c cleaning 27999 clauses out of 56016 with flag 3252000/3606920
748.78/745.17	c cleaning 28001 clauses out of 56017 with flag 3280000/3634920
755.21/751.56	c cleaning 27980 clauses out of 56016 with flag 3308000/3662920
761.23/757.57	c cleaning 28014 clauses out of 56036 with flag 3336000/3690920
767.24/763.58	c cleaning 28006 clauses out of 56022 with flag 3364000/3718920
773.86/770.20	c cleaning 28005 clauses out of 56016 with flag 3392000/3746920
780.30/776.54	c cleaning 27998 clauses out of 56012 with flag 3420001/3774921
786.69/782.99	c cleaning 27999 clauses out of 56013 with flag 3448000/3802920
792.79/789.00	c cleaning 27994 clauses out of 56014 with flag 3476000/3830920
798.90/795.20	c cleaning 28004 clauses out of 56022 with flag 3504002/3858922
805.82/802.00	c cleaning 28006 clauses out of 56016 with flag 3532000/3886920
812.04/808.22	c cleaning 27995 clauses out of 56010 with flag 3560000/3914920
815.34/811.56	c Got one! Elapsed wall clock time (in seconds):811.442
815.34/811.56	o -30
816.24/812.49	c cleaning 25144 clauses out of 50309 with flag 5000/3937214
817.25/813.46	c cleaning 15574 clauses out of 31166 with flag 11001/3943215
818.35/814.55	c cleaning 11283 clauses out of 22592 with flag 18001/3950215
819.66/815.88	c cleaning 9637 clauses out of 19308 with flag 26000/3958214
821.08/817.28	c cleaning 9317 clauses out of 18671 with flag 35000/3967214
822.76/818.94	c cleaning 9667 clauses out of 19354 with flag 45000/3977214
824.67/820.82	c cleaning 10334 clauses out of 20687 with flag 56000/3988214
826.77/822.98	c cleaning 11173 clauses out of 22354 with flag 68001/4000215
829.28/825.44	c cleaning 12087 clauses out of 24180 with flag 81000/4013214
831.88/828.01	c cleaning 13047 clauses out of 26095 with flag 95002/4027216
834.88/831.00	c cleaning 14016 clauses out of 28046 with flag 110000/4042214
838.11/834.26	c cleaning 15013 clauses out of 30030 with flag 126000/4058214
841.81/837.91	c cleaning 16005 clauses out of 32017 with flag 143000/4075214
845.02/841.19	c cleaning 17001 clauses out of 34012 with flag 161000/4093214
848.52/844.68	c cleaning 17994 clauses out of 36012 with flag 180001/4112215
852.64/848.76	c cleaning 19008 clauses out of 38018 with flag 200001/4132215
857.24/853.35	c cleaning 20001 clauses out of 40009 with flag 221000/4153214
862.57/858.62	c cleaning 21000 clauses out of 42008 with flag 243000/4175214
867.68/863.73	c cleaning 21999 clauses out of 44008 with flag 266000/4198214
873.19/869.20	c cleaning 23003 clauses out of 46009 with flag 290000/4222214
879.00/875.00	c cleaning 23990 clauses out of 48006 with flag 315000/4247214
884.52/880.51	c cleaning 25009 clauses out of 50017 with flag 341001/4273215
890.85/886.86	c cleaning 25995 clauses out of 52008 with flag 368001/4300215
897.48/893.43	c cleaning 27001 clauses out of 54013 with flag 396001/4328215
904.08/900.01	c cleaning 27500 clauses out of 55012 with flag 424001/4356215
910.89/906.86	c cleaning 27751 clauses out of 55511 with flag 452000/4384214
917.70/913.63	c cleaning 27866 clauses out of 55760 with flag 480000/4412214
923.52/919.42	c cleaning 27939 clauses out of 55895 with flag 508001/4440215
930.12/926.04	c cleaning 27976 clauses out of 55955 with flag 536000/4468214
936.44/932.38	c cleaning 27988 clauses out of 55979 with flag 564000/4496214
943.35/939.20	c cleaning 27996 clauses out of 55991 with flag 592000/4524214
949.47/945.32	c cleaning 27991 clauses out of 55995 with flag 620000/4552214
955.49/951.41	c cleaning 27997 clauses out of 56005 with flag 648001/4580215
962.40/958.20	c cleaning 27997 clauses out of 56007 with flag 676000/4608214
969.13/964.96	c cleaning 28001 clauses out of 56010 with flag 704000/4636214
976.04/971.83	c cleaning 28001 clauses out of 56009 with flag 732000/4664214
981.86/977.67	c cleaning 27985 clauses out of 56009 with flag 760001/4692215
989.07/984.81	c cleaning 28005 clauses out of 56023 with flag 788000/4720214
995.47/991.27	c cleaning 28006 clauses out of 56018 with flag 816000/4748214
1001.17/996.90	c cleaning 28000 clauses out of 56012 with flag 844000/4776214
1005.61/1001.39	c cleaning 27997 clauses out of 56012 with flag 872000/4804214
1010.92/1006.65	c cleaning 28005 clauses out of 56015 with flag 900000/4832214
1015.83/1011.57	c cleaning 28002 clauses out of 56010 with flag 928000/4860214
1022.34/1018.05	c cleaning 28004 clauses out of 56009 with flag 956001/4888215
1028.17/1023.87	c cleaning 27996 clauses out of 56004 with flag 984000/4916214
1034.01/1029.65	c cleaning 27996 clauses out of 56008 with flag 1012000/4944214
1039.32/1034.91	c cleaning 27994 clauses out of 56012 with flag 1040000/4972214
1045.35/1040.98	c cleaning 27999 clauses out of 56018 with flag 1068000/5000214
1051.59/1047.21	c cleaning 28005 clauses out of 56019 with flag 1096000/5028214
1057.87/1053.41	c cleaning 28001 clauses out of 56015 with flag 1124001/5056215
1063.29/1058.87	c cleaning 27998 clauses out of 56013 with flag 1152000/5084214
1068.90/1064.50	c cleaning 28002 clauses out of 56015 with flag 1180000/5112214
1074.62/1070.12	c cleaning 28000 clauses out of 56013 with flag 1208000/5140214
1080.85/1076.32	c cleaning 28006 clauses out of 56013 with flag 1236000/5168214
1088.17/1083.62	c cleaning 28000 clauses out of 56007 with flag 1264000/5196214
1093.89/1089.31	c cleaning 27997 clauses out of 56007 with flag 1292000/5224214
1099.12/1094.53	c cleaning 28004 clauses out of 56010 with flag 1320000/5252214
1105.12/1100.53	c cleaning 27998 clauses out of 56006 with flag 1348000/5280214
1111.25/1106.67	c cleaning 27989 clauses out of 56009 with flag 1376001/5308215
1116.76/1112.20	c cleaning 28005 clauses out of 56019 with flag 1404000/5336214
1122.65/1118.08	c cleaning 27991 clauses out of 56016 with flag 1432002/5364216
1128.66/1124.08	c cleaning 28005 clauses out of 56024 with flag 1460001/5392215
1134.47/1129.84	c cleaning 28002 clauses out of 56019 with flag 1488001/5420215
1139.58/1134.93	c cleaning 28002 clauses out of 56016 with flag 1516000/5448214
1145.49/1140.80	c cleaning 28004 clauses out of 56015 with flag 1544001/5476215
1150.82/1146.14	c cleaning 27997 clauses out of 56010 with flag 1572000/5504214
1156.61/1151.93	c cleaning 27999 clauses out of 56013 with flag 1600000/5532214
1162.22/1157.51	c cleaning 28001 clauses out of 56015 with flag 1628001/5560215
1168.24/1163.55	c cleaning 27997 clauses out of 56013 with flag 1656000/5588214
1173.96/1169.29	c cleaning 28000 clauses out of 56017 with flag 1684001/5616215
1179.47/1174.75	c cleaning 27995 clauses out of 56016 with flag 1712000/5644214
1185.85/1181.13	c cleaning 28000 clauses out of 56022 with flag 1740001/5672215
1191.76/1187.01	c cleaning 28004 clauses out of 56021 with flag 1768000/5700214
1197.77/1193.04	c cleaning 28004 clauses out of 56019 with flag 1796002/5728216
1204.18/1199.44	c cleaning 27995 clauses out of 56013 with flag 1824000/5756214
1208.79/1204.02	c cleaning 28008 clauses out of 56019 with flag 1852001/5784215
1213.90/1209.18	c cleaning 28003 clauses out of 56010 with flag 1880000/5812214
1218.91/1214.14	c cleaning 27995 clauses out of 56008 with flag 1908001/5840215
1224.31/1219.55	c cleaning 28006 clauses out of 56014 with flag 1936002/5868216
1230.02/1225.30	c cleaning 27991 clauses out of 56006 with flag 1964000/5896214
1235.23/1230.49	c cleaning 28001 clauses out of 56015 with flag 1992000/5924214
1241.16/1236.38	c cleaning 28002 clauses out of 56015 with flag 2020001/5952215
1246.95/1242.10	c cleaning 27999 clauses out of 56012 with flag 2048000/5980214
1253.06/1248.26	c cleaning 28000 clauses out of 56013 with flag 2076000/6008214
1258.58/1253.73	c cleaning 27995 clauses out of 56013 with flag 2104000/6036214
1263.98/1259.12	c cleaning 27997 clauses out of 56018 with flag 2132000/6064214
1269.50/1264.67	c cleaning 28003 clauses out of 56021 with flag 2160000/6092214
1275.20/1270.40	c cleaning 27998 clauses out of 56019 with flag 2188001/6120215
1281.60/1276.73	c cleaning 28002 clauses out of 56021 with flag 2216001/6148215
1287.91/1283.01	c cleaning 27990 clauses out of 56018 with flag 2244000/6176214
1293.51/1288.69	c cleaning 27998 clauses out of 56029 with flag 2272001/6204215
1299.02/1294.11	c cleaning 28009 clauses out of 56031 with flag 2300001/6232215
1305.04/1300.17	c cleaning 28006 clauses out of 56021 with flag 2328000/6260214
1310.23/1305.40	c cleaning 28004 clauses out of 56015 with flag 2356000/6288214
1315.54/1310.60	c cleaning 27991 clauses out of 56011 with flag 2384000/6316214
1321.24/1316.34	c cleaning 28004 clauses out of 56020 with flag 2412000/6344214
1326.75/1321.89	c cleaning 27996 clauses out of 56016 with flag 2440000/6372214
1331.95/1327.08	c cleaning 28000 clauses out of 56021 with flag 2468001/6400215
1337.27/1332.35	c cleaning 28008 clauses out of 56020 with flag 2496000/6428214
1342.77/1337.88	c cleaning 28000 clauses out of 56012 with flag 2524000/6456214
1348.89/1343.93	c cleaning 28006 clauses out of 56012 with flag 2552000/6484214
1354.80/1349.88	c cleaning 27999 clauses out of 56006 with flag 2580000/6512214
1360.31/1355.33	c cleaning 27997 clauses out of 56007 with flag 2608000/6540214
1366.11/1361.17	c cleaning 28000 clauses out of 56011 with flag 2636001/6568215
1372.03/1367.06	c cleaning 28003 clauses out of 56010 with flag 2664000/6596214
1377.54/1372.53	c cleaning 28002 clauses out of 56008 with flag 2692001/6624215
1383.64/1378.66	c cleaning 27999 clauses out of 56005 with flag 2720000/6652214
1389.34/1384.30	c cleaning 28001 clauses out of 56007 with flag 2748001/6680215
1395.55/1390.58	c cleaning 28000 clauses out of 56005 with flag 2776000/6708214
1401.35/1396.31	c cleaning 27995 clauses out of 56006 with flag 2804001/6736215
1407.07/1402.08	c cleaning 28000 clauses out of 56011 with flag 2832001/6764215
1412.99/1407.92	c cleaning 27999 clauses out of 56010 with flag 2860000/6792214
1419.07/1414.05	c cleaning 28000 clauses out of 56011 with flag 2888000/6820214
1425.67/1420.67	c cleaning 28000 clauses out of 56012 with flag 2916001/6848215
1432.48/1427.48	c cleaning 28003 clauses out of 56011 with flag 2944000/6876214
1440.09/1435.08	c cleaning 27997 clauses out of 56008 with flag 2972000/6904214
1445.70/1440.68	c cleaning 27995 clauses out of 56011 with flag 3000000/6932214
1450.81/1445.71	c cleaning 28000 clauses out of 56017 with flag 3028001/6960215
1456.53/1451.40	c cleaning 27998 clauses out of 56017 with flag 3056001/6988215
1461.35/1456.30	c cleaning 28002 clauses out of 56018 with flag 3084000/7016214
1465.66/1460.59	c cleaning 27987 clauses out of 56016 with flag 3112000/7044214
1470.30/1465.18	c cleaning 28010 clauses out of 56029 with flag 3140000/7072214
1475.48/1470.34	c cleaning 28005 clauses out of 56020 with flag 3168001/7100215
1480.71/1475.51	c cleaning 27995 clauses out of 56014 with flag 3196000/7128214
1485.22/1480.02	c cleaning 28009 clauses out of 56019 with flag 3224000/7156214
1490.62/1485.45	c cleaning 27985 clauses out of 56010 with flag 3252000/7184214
1495.33/1490.12	c cleaning 28007 clauses out of 56026 with flag 3280001/7212215
1500.35/1495.10	c cleaning 28004 clauses out of 56018 with flag 3308000/7240214
1505.85/1500.61	c cleaning 27999 clauses out of 56015 with flag 3336001/7268215
1511.08/1505.86	c cleaning 27991 clauses out of 56016 with flag 3364001/7296215
1515.60/1510.36	c cleaning 28000 clauses out of 56024 with flag 3392000/7324214
1520.89/1515.60	c cleaning 28002 clauses out of 56024 with flag 3420000/7352214
1526.80/1521.52	c cleaning 28011 clauses out of 56022 with flag 3448000/7380214
1531.50/1526.25	c cleaning 27998 clauses out of 56012 with flag 3476001/7408215
1536.71/1531.42	c cleaning 28003 clauses out of 56013 with flag 3504000/7436214
1541.11/1535.83	c cleaning 27998 clauses out of 56011 with flag 3532001/7464215
1546.52/1541.26	c cleaning 27999 clauses out of 56012 with flag 3560000/7492214
1552.04/1546.76	c cleaning 28001 clauses out of 56013 with flag 3588000/7520214
1557.95/1552.66	c cleaning 28002 clauses out of 56013 with flag 3616001/7548215
1563.56/1558.27	c cleaning 27997 clauses out of 56010 with flag 3644000/7576214
1569.36/1564.06	c cleaning 27997 clauses out of 56013 with flag 3672000/7604214
1574.99/1569.63	c cleaning 28001 clauses out of 56016 with flag 3700000/7632214
1580.97/1575.61	c cleaning 27994 clauses out of 56015 with flag 3728000/7660214
1586.00/1580.64	c cleaning 28004 clauses out of 56021 with flag 3756000/7688214
1590.98/1585.67	c cleaning 28001 clauses out of 56017 with flag 3784000/7716214
1596.50/1591.14	c cleaning 27994 clauses out of 56016 with flag 3812000/7744214
1602.30/1596.90	c cleaning 27996 clauses out of 56022 with flag 3840000/7772214
1607.31/1601.98	c cleaning 27998 clauses out of 56026 with flag 3868000/7800214
1612.53/1607.15	c cleaning 28004 clauses out of 56029 with flag 3896001/7828215
1618.12/1612.77	c cleaning 28003 clauses out of 56024 with flag 3924000/7856214
1623.32/1617.98	c cleaning 28002 clauses out of 56021 with flag 3952000/7884214
1628.72/1623.37	c cleaning 28003 clauses out of 56019 with flag 3980000/7912214
1633.62/1628.26	c cleaning 28003 clauses out of 56017 with flag 4008001/7940215
1639.44/1634.08	c cleaning 28001 clauses out of 56013 with flag 4036000/7968214
1645.15/1639.71	c cleaning 28002 clauses out of 56012 with flag 4064000/7996214
1649.76/1644.34	c cleaning 27999 clauses out of 56011 with flag 4092001/8024215
1654.87/1649.45	c cleaning 27994 clauses out of 56012 with flag 4120001/8052215
1660.27/1654.83	c cleaning 27995 clauses out of 56017 with flag 4148000/8080214
1665.98/1660.56	c cleaning 28002 clauses out of 56022 with flag 4176000/8108214
1671.29/1665.82	c cleaning 27997 clauses out of 56020 with flag 4204000/8136214
1676.50/1671.08	c cleaning 28003 clauses out of 56024 with flag 4232001/8164215
1682.20/1676.71	c cleaning 27997 clauses out of 56020 with flag 4260000/8192214
1687.34/1681.87	c cleaning 27993 clauses out of 56024 with flag 4288001/8220215
1693.42/1687.98	c cleaning 28000 clauses out of 56030 with flag 4316000/8248214
1698.82/1693.34	c cleaning 28000 clauses out of 56030 with flag 4344000/8276214
1704.42/1698.91	c cleaning 28009 clauses out of 56031 with flag 4372001/8304215
1709.93/1704.44	c cleaning 28002 clauses out of 56021 with flag 4400000/8332214
1715.64/1710.14	c cleaning 28005 clauses out of 56019 with flag 4428000/8360214
1721.65/1716.18	c cleaning 28005 clauses out of 56014 with flag 4456000/8388214
1727.55/1722.03	c cleaning 28000 clauses out of 56010 with flag 4484001/8416215
1734.25/1728.71	c cleaning 28002 clauses out of 56010 with flag 4512001/8444215
1740.36/1734.88	c cleaning 27994 clauses out of 56007 with flag 4540000/8472214
1745.47/1739.99	c cleaning 27992 clauses out of 56014 with flag 4568001/8500215
1750.57/1745.06	c cleaning 28004 clauses out of 56021 with flag 4596000/8528214
1756.08/1750.54	c cleaning 27996 clauses out of 56017 with flag 4624000/8556214
1761.98/1756.44	c cleaning 28008 clauses out of 56021 with flag 4652000/8584214
1767.09/1761.59	c cleaning 27995 clauses out of 56014 with flag 4680001/8612215
1773.00/1767.47	c cleaning 28000 clauses out of 56019 with flag 4708001/8640215
1778.83/1773.24	c cleaning 28003 clauses out of 56018 with flag 4736000/8668214
1784.61/1779.05	c cleaning 28000 clauses out of 56015 with flag 4764000/8696214
1790.02/1784.45	c cleaning 28001 clauses out of 56015 with flag 4792000/8724214
1795.84/1790.22	c cleaning 28002 clauses out of 56014 with flag 4820000/8752214
1800.08/1794.42	c starts		: 303
1800.08/1794.42	c conflicts		: 8774738
1800.08/1794.42	c decisions		: 9337105
1800.08/1794.42	c propagations		: 53069560
1800.08/1794.42	c inspects		: 9589914320
1800.08/1794.42	c shortcuts		: 0
1800.08/1794.42	c learnt literals	: 0
1800.08/1794.42	c learnt binary clauses	: 0
1800.08/1794.42	c learnt ternary clauses	: 0
1800.08/1794.43	c learnt constraints	: 8774737
1800.08/1794.43	c ignored constraints	: 0
1800.08/1794.43	c root simplifications	: 0
1800.08/1794.43	c removed literals (reason simplification)	: 133059182
1800.08/1794.43	c reason swapping (by a shorter reason)	: 0
1800.08/1794.43	c Calls to reduceDB	: 341
1800.08/1794.43	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.43	c number of learned constraints concerned by reduction	: 0
1800.08/1794.43	c number of learning phase by resolution	: 0
1800.08/1794.43	c number of learning phase by cutting planes	: 0
1800.08/1794.43	c speed (assignments/second)	: 53994.70935000295
1800.08/1794.43	c non guided choices	0
1800.08/1794.45	c learnt constraints type 
1800.08/1794.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50608
1800.08/1794.45	c constraints type 
1800.08/1794.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1794.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27856
1800.08/1794.45	s SATISFIABLE
1800.08/1794.45	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.08/1794.45	c objective function=-30
1800.08/1794.45	c Total wall clock time (in seconds): 1794.336

Verifier Data 

OK	-30

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

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.03 1.93 1/548 26284
/proc/meminfo: memFree=21156200/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 7630 0 1 0 0 1 0 0 25 0 2 0 826492894 13850947584 7332 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3381579 7346 917 9 0 3372735 0
[pid=26284/tid=26285] ppid=26282 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 6579 0 1 0 0 0 0 0 25 0 2 0 826492895 13850947584 7395 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0566901 s]
/proc/loadavg: 1.93 2.03 1.93 1/548 26284
/proc/meminfo: memFree=21156200/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13615016 CPUtime=0.04 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 13931 0 1 0 3 1 0 0 25 0 13 0 826492894 13941776384 13628 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3403754 13628 1684 9 0 3394502 0
[pid=26284/tid=26285] ppid=26282 vsize=13615016 CPUtime=0.04 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 12783 0 1 0 3 1 0 0 18 0 13 0 826492895 13941776384 13628 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46972817480570 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13615016

[startup+0.100623 s]
/proc/loadavg: 1.93 2.03 1.93 1/548 26284
/proc/meminfo: memFree=21156200/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13621644 CPUtime=0.1 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 15391 0 1 0 8 2 0 0 25 0 18 0 826492894 13948563456 15088 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3405411 15089 2092 9 0 3396145 0
[pid=26284/tid=26285] ppid=26282 vsize=13621644 CPUtime=0.07 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 13502 0 1 0 6 1 0 0 23 0 18 0 826492895 13948563456 15089 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621644

[startup+0.303451 s]
/proc/loadavg: 1.93 2.03 1.93 1/548 26284
/proc/meminfo: memFree=21156200/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13622588 CPUtime=0.44 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 17720 0 1 0 42 2 0 0 25 0 18 0 826492894 13949530112 17069 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3405647 17069 2198 9 0 3396381 0
[pid=26284/tid=26285] ppid=26282 vsize=13622588 CPUtime=0.28 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 15061 0 1 0 26 2 0 0 23 0 18 0 826492895 13949530112 17070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46972815714964 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13622588

[startup+0.700552 s]
/proc/loadavg: 1.93 2.03 1.93 1/548 26284
/proc/meminfo: memFree=21156200/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=1.19 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 31268 0 1 0 114 5 0 0 25 0 19 0 826492894 13955637248 29424 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 29425 2228 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=0.67 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 25933 0 1 0 64 3 0 0 25 0 19 0 826492895 13955637248 29425 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46972818721619 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13628552

[startup+1.5014 s]
/proc/loadavg: 1.93 2.03 1.93 2/567 26303
/proc/meminfo: memFree=21039620/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=2.08 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 38160 0 1 0 202 6 0 0 25 0 19 0 826492894 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 36140 2259 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=1.45 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 28532 0 1 0 141 4 0 0 18 0 19 0 826492895 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505718461 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 405 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 784 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826492897 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=0.01 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 2026 0 0 0 1 0 0 0 15 0 19 0 826492898 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.34 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2708 0 0 0 34 0 0 0 15 0 19 0 826492901 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.23 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 1665 0 0 0 22 1 0 0 16 0 19 0 826492901 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 36140 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13628552

[startup+3.10111 s]
/proc/loadavg: 1.93 2.03 1.93 5/587 26349
/proc/meminfo: memFree=20888320/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=3.73 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 46511 0 1 0 366 7 0 0 25 0 19 0 826492894 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 44489 2259 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=3 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 28533 0 1 0 296 4 0 0 19 0 19 0 826492895 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505703944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 1065 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 454 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 1909 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 1667 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 1127 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=0.05 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 5174 0 0 0 5 0 0 0 15 0 19 0 826492898 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.36 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2710 0 0 0 36 0 0 0 15 0 19 0 826492901 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.25 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 1669 0 0 0 24 1 0 0 15 0 19 0 826492901 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 44489 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13628552

[startup+6.30157 s]
/proc/loadavg: 1.93 2.03 1.93 3/587 26349
/proc/meminfo: memFree=20787844/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=7.05 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 51657 0 1 0 697 8 0 0 25 0 19 0 826492894 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 49070 2259 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=6.13 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 28536 0 1 0 609 4 0 0 25 0 19 0 826492895 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505852231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 1422 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0.01 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 1313 0 0 0 1 0 0 0 16 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 1124 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 2329 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 1667 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 1469 0 0 0 0 0 0 0 16 0 19 0 826492897 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=0.11 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 7071 0 0 0 11 0 0 0 15 0 19 0 826492898 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.4 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2719 0 0 0 40 0 0 0 15 0 19 0 826492901 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.3 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 2551 0 0 0 29 1 0 0 15 0 19 0 826492901 13955637248 49070 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0

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

[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0.82 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 4291 0 0 0 81 1 0 0 15 0 19 0 826492897 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0.95 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 2418 0 0 0 95 0 0 0 15 0 19 0 826492897 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0.91 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 4579 0 0 0 90 1 0 0 15 0 19 0 826492897 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=16.7 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 30160 0 0 0 1662 8 0 0 15 0 19 0 826492898 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.4 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2719 0 0 0 40 0 0 0 15 0 19 0 826492901 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.36 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 3660 0 0 0 35 1 0 0 15 0 19 0 826492901 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 94684 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.79
Current children cumulated vsize (KiB) 13628552

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/587 26406
/proc/meminfo: memFree=20410864/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=1727.85 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 98521 0 1 0 172760 25 0 0 25 0 19 0 826492894 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 94687 2260 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=1702.44 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 29643 0 1 0 170238 6 0 0 25 0 19 0 826492895 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505711163 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0.92 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 4402 0 0 0 92 0 0 0 16 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0.9 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 4871 0 0 0 89 1 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0.86 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 3108 0 0 0 86 0 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0.91 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 5150 0 0 0 90 1 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0.87 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 2264 0 0 0 87 0 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0.85 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 4291 0 0 0 84 1 0 0 16 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0.96 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 2418 0 0 0 96 0 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0.92 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 4579 0 0 0 91 1 0 0 15 0 19 0 826492897 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=17.35 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 30164 0 0 0 1726 9 0 0 15 0 19 0 826492898 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.4 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2719 0 0 0 40 0 0 0 15 0 19 0 826492901 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.36 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 3660 0 0 0 35 1 0 0 15 0 19 0 826492901 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 94687 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.85
Current children cumulated vsize (KiB) 13628552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/587 26408
/proc/meminfo: memFree=20404844/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=1787.92 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 98571 0 1 0 178767 25 0 0 25 0 19 0 826492894 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 94723 2260 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=1761.81 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 29653 0 1 0 176175 6 0 0 25 0 19 0 826492895 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505704133 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0.93 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 4402 0 0 0 93 0 0 0 15 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0.91 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 4871 0 0 0 90 1 0 0 15 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0.88 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 3108 0 0 0 88 0 0 0 16 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0.93 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 5165 0 0 0 92 1 0 0 15 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0.88 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 2280 0 0 0 88 0 0 0 16 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0.87 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 4291 0 0 0 86 1 0 0 15 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0.98 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 2418 0 0 0 98 0 0 0 16 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0.94 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 4584 0 0 0 93 1 0 0 15 0 19 0 826492897 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=17.92 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 30166 0 0 0 1783 9 0 0 15 0 19 0 826492898 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.4 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2719 0 0 0 40 0 0 0 15 0 19 0 826492901 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.36 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 3660 0 0 0 35 1 0 0 15 0 19 0 826492901 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 94723 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.92
Current children cumulated vsize (KiB) 13628552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.22 2.09 2.02 3/587 26408
/proc/meminfo: memFree=20406192/32951124 swapFree=53733252/67111528
[pid=26284] ppid=26282 vsize=13628552 CPUtime=1800.08 cores=0,2,4,6
/proc/26284/stat : 26284 (java) S 26282 26284 24519 0 -1 4202496 98599 0 1 0 179983 25 0 0 25 0 19 0 826492894 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26284/statm: 3407138 94745 2260 9 0 3397872 0
[pid=26284/tid=26285] ppid=26282 vsize=13628552 CPUtime=1773.78 cores=0,2,4,6
/proc/26284/task/26285/stat : 26285 (java) R 26282 26284 24519 0 -1 4202560 29655 0 1 0 177372 6 0 0 25 0 19 0 826492895 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 46912505779267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26284/tid=26287] ppid=26282 vsize=13628552 CPUtime=0.94 cores=0,2,4,6
/proc/26284/task/26287/stat : 26287 (java) S 26282 26284 24519 0 -1 4202560 4402 0 0 0 94 0 0 0 16 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26288] ppid=26282 vsize=13628552 CPUtime=0.92 cores=0,2,4,6
/proc/26284/task/26288/stat : 26288 (java) S 26282 26284 24519 0 -1 4202560 4885 0 0 0 91 1 0 0 15 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26289] ppid=26282 vsize=13628552 CPUtime=0.88 cores=0,2,4,6
/proc/26284/task/26289/stat : 26289 (java) S 26282 26284 24519 0 -1 4202560 3108 0 0 0 88 0 0 0 16 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26290] ppid=26282 vsize=13628552 CPUtime=0.94 cores=0,2,4,6
/proc/26284/task/26290/stat : 26290 (java) S 26282 26284 24519 0 -1 4202560 5165 0 0 0 93 1 0 0 16 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26291] ppid=26282 vsize=13628552 CPUtime=0.89 cores=0,2,4,6
/proc/26284/task/26291/stat : 26291 (java) S 26282 26284 24519 0 -1 4202560 2280 0 0 0 89 0 0 0 15 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26292] ppid=26282 vsize=13628552 CPUtime=0.89 cores=0,2,4,6
/proc/26284/task/26292/stat : 26292 (java) S 26282 26284 24519 0 -1 4202560 4299 0 0 0 88 1 0 0 16 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26293] ppid=26282 vsize=13628552 CPUtime=0.98 cores=0,2,4,6
/proc/26284/task/26293/stat : 26293 (java) S 26282 26284 24519 0 -1 4202560 2418 0 0 0 98 0 0 0 15 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26294] ppid=26282 vsize=13628552 CPUtime=0.94 cores=0,2,4,6
/proc/26284/task/26294/stat : 26294 (java) S 26282 26284 24519 0 -1 4202560 4584 0 0 0 93 1 0 0 16 0 19 0 826492897 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26295] ppid=26282 vsize=13628552 CPUtime=18.05 cores=0,2,4,6
/proc/26284/task/26295/stat : 26295 (java) S 26282 26284 24519 0 -1 4202560 30168 0 0 0 1796 9 0 0 15 0 19 0 826492898 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 0 0 16800975 18446604452781073408 0 0 -1 0 0 0 0
[pid=26284/tid=26296] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26296/stat : 26296 (java) S 26282 26284 24519 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26297] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26297/stat : 26297 (java) S 26282 26284 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826492899 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26298] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26298/stat : 26298 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826492901 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652683185 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26299] ppid=26282 vsize=13628552 CPUtime=0.4 cores=0,2,4,6
/proc/26284/task/26299/stat : 26299 (java) S 26282 26284 24519 0 -1 4202560 2719 0 0 0 40 0 0 0 15 0 19 0 826492901 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 4 0 0 0
[pid=26284/tid=26300] ppid=26282 vsize=13628552 CPUtime=0.36 cores=0,2,4,6
/proc/26284/task/26300/stat : 26300 (java) S 26282 26284 24519 0 -1 4202560 3660 0 0 0 35 1 0 0 15 0 19 0 826492901 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26301] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26301/stat : 26301 (java) S 26282 26284 24519 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826492901 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652675481 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
[pid=26284/tid=26302] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26302/stat : 26302 (java) S 26282 26284 24519 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826492901 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 2 0 0 0
[pid=26284/tid=26303] ppid=26282 vsize=13628552 CPUtime=0 cores=0,2,4,6
/proc/26284/task/26303/stat : 26303 (java) S 26282 26284 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826492945 13955637248 94745 33554432000 1073741824 1073778376 140734073322432 18446744073709551615 253652676096 0 4 0 16800975 18446604452781073408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13628552

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): 1794.48
CPU time (s): 1800.19
CPU user time (s): 1799.91
CPU system time (s): 0.272958
CPU usage (%): 100.318
Max. virtual memory (cumulated for all children) (KiB): 13628552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98647
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= 46344
involuntary context switches= 24328

runsolver used 10.6804 second user time and 22.1786 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 02:55:25
IDJOB=3458939
IDBENCH=2273
IDSOLVER=1952
FILE ID=node106/3458939-1307148925
RUNJOBID= node106-1307147125-26055
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-1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458939-1307148925/watcher-3458939-1307148925 -o /tmp/evaluation-result-3458939-1307148925/solver-3458939-1307148925 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458939-1307148925.opb

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

MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8
RANDOM SEED=466771193

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:      21156488 kB
Buffers:        395784 kB
Cached:        5994592 kB
SwapCached:      22744 kB
Active:        5895404 kB
Inactive:      5559156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21156488 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:     5060844 kB
Mapped:          26252 kB
Slab:           191808 kB
PageTables:      78080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167556812 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= 73744 MiB
End job on node106 at 2011-06-04 03:25:21