Trace number 3459407

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.14 1794.88

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3459407-1307139450.opb
0.10/0.11	c reading problem ... 
0.99/0.54	c ... done. Wall clock time 0.426s.
0.99/0.54	c #vars     4602
0.99/0.54	c #constraints  30353
0.99/0.54	c constraints type 
0.99/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29334
0.99/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 941
0.99/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1.73/1.00	c cleaning 2494 clauses out of 5000 with flag 5000/5000
2.30/1.41	c cleaning 4249 clauses out of 8506 with flag 11000/11000
2.71/1.87	c cleaning 5626 clauses out of 11258 with flag 18001/18001
3.42/2.50	c cleaning 6810 clauses out of 13631 with flag 26000/26000
4.05/3.21	c cleaning 7889 clauses out of 15822 with flag 35001/35001
4.95/4.07	c cleaning 8941 clauses out of 17932 with flag 45000/45000
5.85/4.97	c cleaning 9972 clauses out of 19991 with flag 56000/56000
7.06/6.12	c cleaning 10993 clauses out of 22022 with flag 68003/68003
8.07/7.17	c cleaning 11985 clauses out of 24029 with flag 81003/81003
9.47/8.56	c cleaning 13017 clauses out of 26041 with flag 95000/95000
10.98/10.04	c cleaning 14010 clauses out of 28026 with flag 110002/110002
12.18/11.23	c cleaning 15003 clauses out of 30016 with flag 126002/126002
13.79/12.88	c cleaning 16001 clauses out of 32012 with flag 143001/143001
15.89/14.96	c cleaning 16978 clauses out of 34013 with flag 161003/161003
18.00/17.06	c cleaning 18004 clauses out of 36032 with flag 180000/180000
19.90/18.91	c cleaning 18994 clauses out of 38028 with flag 200000/200000
22.21/21.28	c cleaning 20007 clauses out of 40035 with flag 221001/221001
25.02/24.09	c cleaning 21006 clauses out of 42029 with flag 243002/243002
28.13/27.14	c cleaning 22008 clauses out of 44022 with flag 266001/266001
30.54/29.57	c cleaning 22991 clauses out of 46013 with flag 290000/290000
33.45/32.45	c cleaning 23996 clauses out of 48022 with flag 315000/315000
37.95/36.91	c cleaning 25005 clauses out of 50026 with flag 341000/341000
42.07/41.09	c cleaning 26004 clauses out of 52025 with flag 368004/368004
46.38/45.38	c cleaning 26997 clauses out of 54017 with flag 396000/396000
49.60/48.55	c cleaning 27980 clauses out of 56022 with flag 425002/425002
53.61/52.55	c cleaning 29007 clauses out of 58042 with flag 455002/455002
57.93/56.81	c cleaning 30004 clauses out of 60035 with flag 486002/486002
66.06/64.99	c cleaning 30505 clauses out of 61031 with flag 517002/517002
71.65/70.59	c cleaning 30732 clauses out of 61524 with flag 548000/548000
76.67/75.58	c cleaning 30872 clauses out of 61792 with flag 579000/579000
79.98/78.85	c cleaning 30954 clauses out of 61921 with flag 610001/610001
83.89/82.70	c cleaning 30965 clauses out of 61968 with flag 641002/641002
89.23/88.06	c cleaning 30975 clauses out of 62003 with flag 672002/672002
94.22/93.08	c cleaning 30991 clauses out of 62028 with flag 703002/703002
99.04/97.87	c cleaning 30967 clauses out of 62037 with flag 734002/734002
104.24/103.08	c cleaning 30951 clauses out of 62069 with flag 765001/765001
110.06/108.83	c cleaning 31002 clauses out of 62117 with flag 796000/796000
119.37/118.18	c cleaning 30994 clauses out of 62115 with flag 827000/827000
127.19/125.93	c cleaning 31001 clauses out of 62121 with flag 858000/858000
133.81/132.59	c cleaning 31055 clauses out of 62120 with flag 889000/889000
137.43/136.20	c cleaning 30989 clauses out of 62066 with flag 920001/920001
140.95/139.67	c cleaning 31019 clauses out of 62077 with flag 951001/951001
144.56/143.23	c cleaning 31007 clauses out of 62057 with flag 982000/982000
150.67/149.38	c cleaning 30982 clauses out of 62054 with flag 1013004/1013004
156.89/155.57	c cleaning 31017 clauses out of 62068 with flag 1044000/1044000
164.00/162.67	c cleaning 31003 clauses out of 62054 with flag 1075003/1075003
169.30/167.95	c cleaning 31013 clauses out of 62051 with flag 1106003/1106003
176.52/175.16	c cleaning 31008 clauses out of 62038 with flag 1137003/1137003
183.73/182.35	c cleaning 31005 clauses out of 62029 with flag 1168002/1168002
187.95/186.52	c cleaning 30967 clauses out of 62022 with flag 1199000/1199000
192.56/191.11	c cleaning 31003 clauses out of 62057 with flag 1230002/1230002
196.77/195.39	c cleaning 31008 clauses out of 62053 with flag 1261001/1261001
200.88/199.44	c cleaning 31013 clauses out of 62044 with flag 1292000/1292000
205.69/204.28	c cleaning 30991 clauses out of 62032 with flag 1323001/1323001
208.80/207.33	c cleaning 30992 clauses out of 62042 with flag 1354002/1354002
212.52/211.06	c cleaning 31009 clauses out of 62050 with flag 1385002/1385002
216.23/214.72	c cleaning 30995 clauses out of 62039 with flag 1416000/1416000
222.04/220.58	c cleaning 30985 clauses out of 62044 with flag 1447000/1447000
225.55/224.04	c cleaning 31013 clauses out of 62059 with flag 1478000/1478000
231.50/229.93	c cleaning 31007 clauses out of 62049 with flag 1509003/1509003
235.92/234.38	c cleaning 30978 clauses out of 62039 with flag 1540000/1540000
242.11/240.57	c cleaning 30998 clauses out of 62062 with flag 1571001/1571001
247.23/245.61	c cleaning 30971 clauses out of 62063 with flag 1602000/1602000
252.15/250.52	c cleaning 31011 clauses out of 62092 with flag 1633000/1633000
258.97/257.32	c cleaning 31009 clauses out of 62085 with flag 1664004/1664004
265.98/264.33	c cleaning 30999 clauses out of 62074 with flag 1695002/1695002
272.70/271.10	c cleaning 30985 clauses out of 62074 with flag 1726001/1726001
279.93/278.28	c cleaning 31002 clauses out of 62090 with flag 1757002/1757002
284.63/282.96	c cleaning 30981 clauses out of 62086 with flag 1788000/1788000
292.56/290.87	c cleaning 31002 clauses out of 62106 with flag 1819001/1819001
299.98/298.29	c cleaning 30990 clauses out of 62104 with flag 1850001/1850001
307.39/305.60	c cleaning 31003 clauses out of 62113 with flag 1881000/1881000
314.12/312.32	c cleaning 30987 clauses out of 62110 with flag 1912000/1912000
321.02/319.21	c cleaning 31007 clauses out of 62124 with flag 1943001/1943001
328.23/326.48	c cleaning 30989 clauses out of 62116 with flag 1974000/1974000
332.73/330.92	c cleaning 31047 clauses out of 62128 with flag 2005001/2005001
336.05/334.30	c cleaning 31015 clauses out of 62080 with flag 2036000/2036000
340.36/338.52	c cleaning 31019 clauses out of 62065 with flag 2067000/2067000
344.07/342.22	c cleaning 30976 clauses out of 62048 with flag 2098002/2098002
349.40/347.55	c cleaning 31012 clauses out of 62070 with flag 2129000/2129000
353.60/351.78	c cleaning 30995 clauses out of 62061 with flag 2160003/2160003
359.62/357.71	c cleaning 30994 clauses out of 62063 with flag 2191000/2191000
365.73/363.88	c cleaning 30995 clauses out of 62070 with flag 2222001/2222001
372.95/371.08	c cleaning 30994 clauses out of 62075 with flag 2253001/2253001
379.97/378.04	c cleaning 30998 clauses out of 62083 with flag 2284003/2284003
383.99/382.00	c cleaning 30992 clauses out of 62082 with flag 2315000/2315000
387.91/385.90	c cleaning 31018 clauses out of 62091 with flag 2346001/2346001
392.21/390.22	c cleaning 30989 clauses out of 62072 with flag 2377000/2377000
396.12/394.13	c cleaning 31010 clauses out of 62084 with flag 2408001/2408001
399.62/397.67	c cleaning 31031 clauses out of 62075 with flag 2439002/2439002
404.66/402.66	c cleaning 31006 clauses out of 62044 with flag 2470002/2470002
410.85/408.84	c cleaning 31001 clauses out of 62037 with flag 2501001/2501001
417.26/415.20	c cleaning 30987 clauses out of 62037 with flag 2532002/2532002
424.39/422.33	c cleaning 31003 clauses out of 62049 with flag 2563001/2563001
430.79/428.74	c cleaning 30996 clauses out of 62048 with flag 2594003/2594003
436.62/434.54	c cleaning 31003 clauses out of 62050 with flag 2625001/2625001
442.71/440.61	c cleaning 31000 clauses out of 62048 with flag 2656002/2656002
446.92/444.87	c cleaning 30985 clauses out of 62047 with flag 2687001/2687001
452.43/450.39	c cleaning 31001 clauses out of 62065 with flag 2718004/2718004
458.04/456.00	c cleaning 30987 clauses out of 62060 with flag 2749000/2749000
462.35/460.23	c cleaning 31005 clauses out of 62073 with flag 2780000/2780000
468.76/466.65	c cleaning 31011 clauses out of 62070 with flag 2811002/2811002
473.48/471.38	c cleaning 31015 clauses out of 62072 with flag 2842015/2842015
477.98/475.86	c cleaning 30988 clauses out of 62042 with flag 2873000/2873000
482.09/479.98	c cleaning 30986 clauses out of 62056 with flag 2904002/2904002
486.40/484.28	c cleaning 31000 clauses out of 62069 with flag 2935001/2935001
490.81/488.69	c cleaning 30998 clauses out of 62068 with flag 2966000/2966000
494.61/492.41	c cleaning 31021 clauses out of 62070 with flag 2997000/2997000
498.02/495.82	c cleaning 30999 clauses out of 62050 with flag 3028001/3028001
501.74/499.54	c cleaning 31015 clauses out of 62051 with flag 3059001/3059001
507.07/504.82	c cleaning 30979 clauses out of 62038 with flag 3090003/3090003
512.78/510.58	c cleaning 31007 clauses out of 62058 with flag 3121002/3121002
520.19/517.96	c cleaning 31009 clauses out of 62051 with flag 3152002/3152002
527.11/524.81	c cleaning 31004 clauses out of 62040 with flag 3183000/3183000
531.62/529.31	c cleaning 30987 clauses out of 62037 with flag 3214001/3214001
537.54/535.25	c cleaning 31000 clauses out of 62050 with flag 3245001/3245001
544.26/541.96	c cleaning 30997 clauses out of 62050 with flag 3276001/3276001
550.19/547.83	c cleaning 31006 clauses out of 62052 with flag 3307000/3307000
554.69/552.39	c cleaning 31011 clauses out of 62049 with flag 3338003/3338003
560.90/558.56	c cleaning 30972 clauses out of 62035 with flag 3369000/3369000
568.41/566.00	c cleaning 30995 clauses out of 62064 with flag 3400001/3400001
575.03/572.69	c cleaning 30989 clauses out of 62068 with flag 3431000/3431000
580.54/578.15	c cleaning 30992 clauses out of 62080 with flag 3462001/3462001
586.66/584.29	c cleaning 30992 clauses out of 62087 with flag 3493000/3493000
591.68/589.26	c cleaning 31006 clauses out of 62095 with flag 3524000/3524000
596.29/593.85	c cleaning 31000 clauses out of 62090 with flag 3555001/3555001
601.10/598.67	c cleaning 30993 clauses out of 62089 with flag 3586000/3586000
606.81/604.36	c cleaning 31001 clauses out of 62098 with flag 3617002/3617002
611.32/608.86	c cleaning 31009 clauses out of 62095 with flag 3648000/3648000
615.53/613.00	c cleaning 31027 clauses out of 62087 with flag 3679001/3679001
622.24/619.70	c cleaning 30997 clauses out of 62061 with flag 3710002/3710002
629.26/626.71	c cleaning 31016 clauses out of 62063 with flag 3741001/3741001
635.87/633.35	c cleaning 30953 clauses out of 62046 with flag 3772000/3772000
643.19/640.65	c cleaning 30993 clauses out of 62093 with flag 3803000/3803000
651.40/648.83	c cleaning 30997 clauses out of 62101 with flag 3834001/3834001
659.02/656.41	c cleaning 30996 clauses out of 62103 with flag 3865000/3865000
665.85/663.31	c cleaning 30982 clauses out of 62110 with flag 3896003/3896003
673.05/670.40	c cleaning 31005 clauses out of 62127 with flag 3927002/3927002
679.46/676.83	c cleaning 31004 clauses out of 62123 with flag 3958003/3958003
685.79/683.18	c cleaning 31035 clauses out of 62116 with flag 3989000/3989000
692.49/689.88	c cleaning 31013 clauses out of 62082 with flag 4020001/4020001
700.30/697.64	c cleaning 31013 clauses out of 62068 with flag 4051000/4051000
707.01/704.39	c cleaning 31009 clauses out of 62055 with flag 4082000/4082000
713.24/710.59	c cleaning 31003 clauses out of 62048 with flag 4113002/4113002
720.24/717.53	c cleaning 30986 clauses out of 62043 with flag 4144000/4144000
728.95/726.26	c cleaning 30994 clauses out of 62060 with flag 4175003/4175003
737.47/734.75	c cleaning 31007 clauses out of 62066 with flag 4206003/4206003
747.07/744.38	c cleaning 31003 clauses out of 62056 with flag 4237000/4237000
753.28/750.58	c cleaning 30997 clauses out of 62054 with flag 4268001/4268001
759.79/757.05	c cleaning 31000 clauses out of 62056 with flag 4299000/4299000
766.30/763.52	c cleaning 31001 clauses out of 62057 with flag 4330001/4330001
774.81/772.08	c cleaning 31003 clauses out of 62055 with flag 4361000/4361000
781.93/779.10	c cleaning 30998 clauses out of 62053 with flag 4392001/4392001
788.64/785.82	c cleaning 30996 clauses out of 62054 with flag 4423000/4423000
795.56/792.79	c cleaning 31000 clauses out of 62060 with flag 4454002/4454002
801.87/799.09	c cleaning 31024 clauses out of 62059 with flag 4485001/4485001
804.81/801.96	c cleaning 30988 clauses out of 62035 with flag 4516001/4516001
808.30/805.48	c cleaning 31003 clauses out of 62047 with flag 4547001/4547001
813.53/810.64	c cleaning 31009 clauses out of 62044 with flag 4578001/4578001
819.93/817.04	c cleaning 31004 clauses out of 62036 with flag 4609002/4609002
824.66/821.75	c cleaning 30989 clauses out of 62031 with flag 4640001/4640001
829.66/826.72	c cleaning 31006 clauses out of 62042 with flag 4671001/4671001
833.49/830.58	c cleaning 30985 clauses out of 62036 with flag 4702001/4702001
839.01/836.04	c cleaning 30992 clauses out of 62056 with flag 4733006/4733006
844.41/841.42	c cleaning 31007 clauses out of 62061 with flag 4764003/4764003
848.83/845.87	c cleaning 30970 clauses out of 62051 with flag 4795000/4795000
854.54/851.59	c cleaning 30959 clauses out of 62081 with flag 4826000/4826000
862.56/859.53	c cleaning 30976 clauses out of 62122 with flag 4857000/4857000
870.37/867.35	c cleaning 30997 clauses out of 62146 with flag 4888000/4888000
877.39/874.31	c cleaning 30986 clauses out of 62149 with flag 4919000/4919000
882.61/879.54	c cleaning 31052 clauses out of 62163 with flag 4950000/4950000
889.22/886.10	c cleaning 31021 clauses out of 62111 with flag 4981000/4981000
894.64/891.50	c cleaning 30991 clauses out of 62090 with flag 5012000/5012000
902.15/899.04	c cleaning 31000 clauses out of 62099 with flag 5043000/5043000
909.77/906.64	c cleaning 30999 clauses out of 62100 with flag 5074001/5074001
916.49/913.32	c cleaning 31002 clauses out of 62100 with flag 5105000/5105000
923.92/920.72	c cleaning 30999 clauses out of 62099 with flag 5136001/5136001
928.01/924.80	c cleaning 31020 clauses out of 62100 with flag 5167001/5167001
934.52/931.34	c cleaning 31002 clauses out of 62080 with flag 5198001/5198001
939.85/936.67	c cleaning 30985 clauses out of 62078 with flag 5229001/5229001
947.27/944.08	c cleaning 30989 clauses out of 62093 with flag 5260001/5260001
955.68/952.40	c cleaning 31002 clauses out of 62105 with flag 5291002/5291002
963.40/960.21	c cleaning 30998 clauses out of 62101 with flag 5322000/5322000
971.11/967.90	c cleaning 30999 clauses out of 62105 with flag 5353002/5353002
978.64/975.34	c cleaning 30996 clauses out of 62104 with flag 5384000/5384000
985.36/982.02	c cleaning 30995 clauses out of 62109 with flag 5415001/5415001
992.36/989.00	c cleaning 30997 clauses out of 62113 with flag 5446000/5446000
998.79/995.46	c cleaning 31005 clauses out of 62117 with flag 5477001/5477001
1002.68/999.36	c cleaning 31016 clauses out of 62113 with flag 5508002/5508002
1006.50/1003.19	c cleaning 31009 clauses out of 62095 with flag 5539000/5539000
1013.61/1010.26	c cleaning 31011 clauses out of 62091 with flag 5570005/5570005
1021.82/1018.41	c cleaning 31001 clauses out of 62075 with flag 5601000/5601000
1029.84/1026.43	c cleaning 30992 clauses out of 62074 with flag 5632000/5632000
1037.65/1034.29	c cleaning 30992 clauses out of 62083 with flag 5663001/5663001
1045.47/1042.07	c cleaning 31012 clauses out of 62095 with flag 5694005/5694005
1052.79/1049.41	c cleaning 31003 clauses out of 62080 with flag 5725002/5725002
1059.89/1056.46	c cleaning 31005 clauses out of 62079 with flag 5756004/5756004
1067.01/1063.55	c cleaning 30996 clauses out of 62070 with flag 5787000/5787000
1074.32/1070.88	c cleaning 30986 clauses out of 62075 with flag 5818001/5818001
1083.53/1080.08	c cleaning 31005 clauses out of 62088 with flag 5849000/5849000
1090.05/1086.53	c cleaning 30990 clauses out of 62083 with flag 5880000/5880000
1096.56/1093.08	c cleaning 30998 clauses out of 62094 with flag 5911001/5911001
1103.08/1099.59	c cleaning 31011 clauses out of 62097 with flag 5942002/5942002
1109.98/1106.50	c cleaning 30981 clauses out of 62086 with flag 5973002/5973002
1113.89/1110.35	c cleaning 31029 clauses out of 62103 with flag 6004000/6004000
1118.20/1114.67	c cleaning 31009 clauses out of 62077 with flag 6035003/6035003
1122.11/1118.51	c cleaning 31012 clauses out of 62065 with flag 6066000/6066000
1129.94/1126.33	c cleaning 31001 clauses out of 62054 with flag 6097001/6097001
1137.55/1133.97	c cleaning 31001 clauses out of 62056 with flag 6128004/6128004
1144.98/1141.32	c cleaning 31000 clauses out of 62052 with flag 6159001/6159001
1152.69/1149.01	c cleaning 30991 clauses out of 62051 with flag 6190000/6190000
1159.91/1156.25	c cleaning 30988 clauses out of 62060 with flag 6221000/6221000
1167.23/1163.52	c cleaning 31005 clauses out of 62072 with flag 6252000/6252000
1174.16/1170.44	c cleaning 31007 clauses out of 62069 with flag 6283002/6283002
1181.55/1177.86	c cleaning 31001 clauses out of 62061 with flag 6314001/6314001
1188.77/1185.08	c cleaning 30998 clauses out of 62062 with flag 6345003/6345003
1195.78/1192.06	c cleaning 31000 clauses out of 62061 with flag 6376000/6376000
1201.09/1197.33	c cleaning 30979 clauses out of 62062 with flag 6407001/6407001
1209.60/1205.82	c cleaning 30994 clauses out of 62082 with flag 6438000/6438000
1217.52/1213.78	c cleaning 30991 clauses out of 62088 with flag 6469000/6469000
1225.63/1221.82	c cleaning 31019 clauses out of 62097 with flag 6500000/6500000
1233.25/1229.45	c cleaning 30998 clauses out of 62078 with flag 6531000/6531000
1241.46/1237.64	c cleaning 30996 clauses out of 62082 with flag 6562002/6562002
1248.57/1244.73	c cleaning 31005 clauses out of 62085 with flag 6593001/6593001
1255.80/1251.96	c cleaning 31002 clauses out of 62080 with flag 6624001/6624001
1267.11/1263.28	c cleaning 31005 clauses out of 62078 with flag 6655001/6655001
1275.23/1271.34	c cleaning 30979 clauses out of 62073 with flag 6686001/6686001
1282.75/1278.83	c cleaning 31023 clauses out of 62095 with flag 6717002/6717002
1286.47/1282.55	c cleaning 31020 clauses out of 62070 with flag 6748000/6748000
1290.28/1286.39	c cleaning 31017 clauses out of 62051 with flag 6779001/6779001
1293.90/1289.99	c cleaning 30914 clauses out of 62034 with flag 6810001/6810001
1298.41/1294.40	c cleaning 30995 clauses out of 62119 with flag 6841000/6841000
1301.64/1297.65	c cleaning 31018 clauses out of 62124 with flag 6872000/6872000
1309.25/1305.24	c cleaning 31012 clauses out of 62107 with flag 6903001/6903001
1314.56/1310.53	c cleaning 31011 clauses out of 62098 with flag 6934004/6934004
1320.48/1316.46	c cleaning 30992 clauses out of 62084 with flag 6965001/6965001
1328.41/1324.36	c cleaning 30998 clauses out of 62091 with flag 6996000/6996000
1333.72/1329.65	c cleaning 31008 clauses out of 62095 with flag 7027002/7027002
1340.33/1336.29	c cleaning 30999 clauses out of 62085 with flag 7058000/7058000
1346.55/1342.46	c cleaning 30991 clauses out of 62086 with flag 7089000/7089000
1353.17/1349.05	c cleaning 31006 clauses out of 62097 with flag 7120002/7120002
1359.40/1355.22	c cleaning 31004 clauses out of 62089 with flag 7151000/7151000
1364.60/1360.46	c cleaning 31012 clauses out of 62086 with flag 7182001/7182001
1372.01/1367.84	c cleaning 30994 clauses out of 62073 with flag 7213000/7213000
1375.94/1371.73	c cleaning 30983 clauses out of 62081 with flag 7244002/7244002
1380.13/1376.01	c cleaning 30981 clauses out of 62096 with flag 7275000/7275000
1386.05/1381.89	c cleaning 30993 clauses out of 62117 with flag 7306002/7306002
1391.87/1387.62	c cleaning 31002 clauses out of 62123 with flag 7337001/7337001
1397.29/1393.02	c cleaning 31000 clauses out of 62120 with flag 7368000/7368000
1402.70/1398.44	c cleaning 31011 clauses out of 62120 with flag 7399000/7399000
1409.05/1404.77	c cleaning 31011 clauses out of 62111 with flag 7430002/7430002
1417.14/1412.87	c cleaning 30980 clauses out of 62100 with flag 7461002/7461002
1422.96/1418.66	c cleaning 30973 clauses out of 62120 with flag 7492002/7492002
1428.08/1423.79	c cleaning 30953 clauses out of 62146 with flag 7523001/7523001
1436.90/1432.57	c cleaning 30981 clauses out of 62192 with flag 7554000/7554000
1444.71/1440.38	c cleaning 30993 clauses out of 62212 with flag 7585001/7585001
1452.83/1448.46	c cleaning 31001 clauses out of 62221 with flag 7616003/7616003
1459.55/1455.17	c cleaning 31000 clauses out of 62219 with flag 7647002/7647002
1467.05/1462.60	c cleaning 31001 clauses out of 62219 with flag 7678002/7678002
1474.08/1469.63	c cleaning 30991 clauses out of 62217 with flag 7709001/7709001
1478.57/1474.14	c cleaning 31092 clauses out of 62225 with flag 7740000/7740000
1483.29/1478.89	c cleaning 31039 clauses out of 62133 with flag 7771000/7771000
1487.60/1483.14	c cleaning 31027 clauses out of 62095 with flag 7802001/7802001
1492.41/1487.97	c cleaning 30990 clauses out of 62068 with flag 7833001/7833001
1497.02/1492.50	c cleaning 31017 clauses out of 62077 with flag 7864000/7864000
1501.54/1497.11	c cleaning 31010 clauses out of 62063 with flag 7895003/7895003
1505.34/1500.89	c cleaning 31010 clauses out of 62053 with flag 7926003/7926003
1509.65/1505.12	c cleaning 30997 clauses out of 62040 with flag 7957000/7957000
1513.96/1509.46	c cleaning 31003 clauses out of 62044 with flag 7988001/7988001
1518.67/1514.19	c cleaning 30988 clauses out of 62040 with flag 8019000/8019000
1523.18/1518.61	c cleaning 31006 clauses out of 62053 with flag 8050001/8050001
1528.00/1523.47	c cleaning 31000 clauses out of 62046 with flag 8081000/8081000
1532.90/1528.30	c cleaning 30994 clauses out of 62046 with flag 8112000/8112000
1537.21/1532.70	c cleaning 31003 clauses out of 62053 with flag 8143001/8143001
1541.12/1536.61	c cleaning 30997 clauses out of 62052 with flag 8174003/8174003
1545.53/1540.96	c cleaning 31009 clauses out of 62059 with flag 8205007/8205007
1549.54/1544.99	c cleaning 31011 clauses out of 62044 with flag 8236001/8236001
1557.35/1552.75	c cleaning 30994 clauses out of 62035 with flag 8267003/8267003
1565.37/1560.79	c cleaning 31002 clauses out of 62038 with flag 8298000/8298000
1572.32/1567.69	c cleaning 30992 clauses out of 62036 with flag 8329000/8329000
1578.94/1574.22	c cleaning 30989 clauses out of 62044 with flag 8360000/8360000
1585.48/1580.73	c cleaning 31013 clauses out of 62057 with flag 8391002/8391002
1589.48/1584.70	c cleaning 30960 clauses out of 62043 with flag 8422001/8422001
1594.31/1589.59	c cleaning 30984 clauses out of 62083 with flag 8453001/8453001
1599.60/1594.89	c cleaning 30997 clauses out of 62099 with flag 8484001/8484001
1605.11/1600.40	c cleaning 30988 clauses out of 62102 with flag 8515001/8515001
1609.92/1605.18	c cleaning 31005 clauses out of 62115 with flag 8546002/8546002
1614.92/1610.19	c cleaning 30996 clauses out of 62110 with flag 8577002/8577002
1619.83/1615.07	c cleaning 31004 clauses out of 62114 with flag 8608002/8608002
1625.44/1620.66	c cleaning 30989 clauses out of 62110 with flag 8639002/8639002
1631.15/1626.34	c cleaning 30992 clauses out of 62120 with flag 8670001/8670001
1636.36/1631.53	c cleaning 31010 clauses out of 62128 with flag 8701001/8701001
1641.47/1636.61	c cleaning 31004 clauses out of 62118 with flag 8732001/8732001
1645.69/1640.81	c cleaning 30967 clauses out of 62115 with flag 8763002/8763002
1653.60/1648.81	c cleaning 31002 clauses out of 62146 with flag 8794000/8794000
1660.44/1655.57	c cleaning 30987 clauses out of 62144 with flag 8825000/8825000
1665.64/1660.75	c cleaning 30996 clauses out of 62157 with flag 8856000/8856000
1671.95/1667.05	c cleaning 31003 clauses out of 62162 with flag 8887001/8887001
1677.86/1672.99	c cleaning 30997 clauses out of 62158 with flag 8918000/8918000
1683.89/1678.95	c cleaning 30998 clauses out of 62161 with flag 8949000/8949000
1688.51/1683.55	c cleaning 31029 clauses out of 62164 with flag 8980001/8980001
1694.42/1689.47	c cleaning 31021 clauses out of 62139 with flag 9011005/9011005
1700.84/1695.88	c cleaning 31021 clauses out of 62114 with flag 9042001/9042001
1707.95/1702.98	c cleaning 31017 clauses out of 62094 with flag 9073002/9073002
1714.26/1709.29	c cleaning 30998 clauses out of 62077 with flag 9104002/9104002
1721.78/1716.80	c cleaning 30989 clauses out of 62077 with flag 9135000/9135000
1727.09/1722.05	c cleaning 31002 clauses out of 62094 with flag 9166006/9166006
1732.61/1727.57	c cleaning 31009 clauses out of 62087 with flag 9197001/9197001
1738.41/1733.36	c cleaning 31009 clauses out of 62077 with flag 9228000/9228000
1743.82/1738.76	c cleaning 30999 clauses out of 62068 with flag 9259000/9259000
1749.53/1744.45	c cleaning 30998 clauses out of 62071 with flag 9290002/9290002
1755.94/1750.85	c cleaning 30989 clauses out of 62074 with flag 9321003/9321003
1761.45/1756.32	c cleaning 30994 clauses out of 62082 with flag 9352000/9352000
1767.06/1761.92	c cleaning 31006 clauses out of 62092 with flag 9383004/9383004
1771.79/1766.64	c cleaning 31008 clauses out of 62083 with flag 9414001/9414001
1776.28/1771.19	c cleaning 30994 clauses out of 62074 with flag 9445000/9445000
1782.49/1777.35	c cleaning 31001 clauses out of 62080 with flag 9476000/9476000
1788.10/1782.98	c cleaning 30998 clauses out of 62081 with flag 9507002/9507002
1793.51/1788.39	c cleaning 31011 clauses out of 62082 with flag 9538001/9538001
1798.13/1793.00	c cleaning 30994 clauses out of 62071 with flag 9569001/9569001
1800.04/1794.82	c starts		: 300
1800.04/1794.82	c conflicts		: 9582084
1800.04/1794.82	c decisions		: 11897724
1800.04/1794.82	c propagations		: 443233891
1800.04/1794.82	c inspects		: 18249780766
1800.04/1794.82	c shortcuts		: 0
1800.04/1794.82	c learnt literals	: 0
1800.04/1794.82	c learnt binary clauses	: 0
1800.04/1794.82	c learnt ternary clauses	: 0
1800.04/1794.82	c learnt constraints	: 9582085
1800.04/1794.82	c ignored constraints	: 0
1800.04/1794.82	c root simplifications	: 0
1800.04/1794.82	c removed literals (reason simplification)	: 63725783
1800.04/1794.82	c reason swapping (by a shorter reason)	: 0
1800.04/1794.82	c Calls to reduceDB	: 320
1800.04/1794.82	c number of reductions to clauses (during analyze)	: 0
1800.04/1794.82	c number of learned constraints concerned by reduction	: 0
1800.04/1794.82	c number of learning phase by resolution	: 0
1800.04/1794.82	c number of learning phase by cutting planes	: 0
1800.04/1794.82	c speed (assignments/second)	: 247024.98428345952
1800.04/1794.82	c non guided choices	219946
1800.04/1794.84	c learnt constraints type 
1800.04/1794.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44273
1800.04/1794.84	c constraints type 
1800.04/1794.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29334
1800.04/1794.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 941
1800.04/1794.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1800.04/1794.84	s UNKNOWN
1800.04/1794.85	c Total wall clock time (in seconds): 1794.736

Verifier Data 

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 3847 0 1 0 0 0 0 0 25 0 2 0 825541709 13850947584 3549 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3381579 3562 917 9 0 3372735 0
[pid=12048/tid=12049] ppid=12046 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 7726 0 1 0 0 1 0 0 25 0 2 0 825541709 13850947584 8542 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0765839 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 14418 0 1 0 5 2 0 0 25 0 18 0 825541709 13880410112 14115 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3388772 14120 1754 9 0 3379506 0
[pid=12048/tid=12049] ppid=12046 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 13249 0 1 0 4 1 0 0 25 0 18 0 825541709 13880410112 14120 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 47646805203795 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088

[startup+0.10055 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13622068 CPUtime=0.1 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 15490 0 1 0 8 2 0 0 25 0 18 0 825541709 13948997632 15187 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3405517 15188 2092 9 0 3396251 0
[pid=12048/tid=12049] ppid=12046 vsize=13622068 CPUtime=0.08 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 13598 0 1 0 7 1 0 0 25 0 18 0 825541709 13948997632 15190 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622068

[startup+0.306561 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13625352 CPUtime=0.55 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 24490 0 1 0 53 2 0 0 25 0 18 0 825541709 13952360448 23405 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3406338 23406 2202 9 0 3397072 0
[pid=12048/tid=12049] ppid=12046 vsize=13625352 CPUtime=0.29 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 20662 0 1 0 27 2 0 0 25 0 18 0 825541709 13952360448 23406 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505561690 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625352

[startup+0.700436 s]
/proc/loadavg: 2.19 2.08 2.01 2/535 12048
/proc/meminfo: memFree=21236880/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13627804 CPUtime=1.48 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 46297 0 1 0 143 5 0 0 25 0 19 0 825541709 13954871296 44042 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3406951 44042 2234 9 0 3397685 0
[pid=12048/tid=12049] ppid=12046 vsize=13627804 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40254 0 1 0 64 4 0 0 25 0 19 0 825541709 13954871296 44042 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505907244 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13627804

[startup+1.50131 s]
/proc/loadavg: 2.19 2.08 2.01 5/554 12067
/proc/meminfo: memFree=21065492/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693340 CPUtime=2.4 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 50289 0 1 0 235 5 0 0 25 0 19 0 825541709 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423335 47535 2262 9 0 3414069 0
[pid=12048/tid=12049] ppid=12046 vsize=13693340 CPUtime=1.42 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40702 0 1 0 138 4 0 0 25 0 19 0 825541709 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836068 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693340 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 646 0 0 0 1 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693340 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 446 0 0 0 1 0 0 0 15 0 19 0 825541711 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693340 CPUtime=0.04 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 1349 0 0 0 4 0 0 0 16 0 19 0 825541712 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693340 CPUtime=0.44 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2535 0 0 0 44 0 0 0 16 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693340 CPUtime=0.44 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2868 0 0 0 44 0 0 0 16 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541715 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693340 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021980160 47535 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13693340

[startup+3.10098 s]
/proc/loadavg: 2.19 2.08 2.01 4/554 12067
/proc/meminfo: memFree=21052464/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=4.05 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 50796 0 1 0 400 5 0 0 25 0 19 0 825541709 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 47923 2262 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=2.97 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40704 0 1 0 293 4 0 0 25 0 19 0 825541709 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505865099 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 646 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 545 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=0.08 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 1545 0 0 0 8 0 0 0 16 0 19 0 825541712 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.48 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2953 0 0 0 48 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 47923 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13693064

[startup+6.30134 s]
/proc/loadavg: 2.18 2.08 2.01 3/554 12067
/proc/meminfo: memFree=21049064/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=7.27 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 51592 0 1 0 721 6 0 0 25 0 19 0 825541709 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 48634 2262 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=6.06 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 40709 0 1 0 602 4 0 0 25 0 19 0 825541709 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505779680 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 322 0 0 0 1 0 0 0 16 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 734 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.01 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 616 0 0 0 1 0 0 0 15 0 19 0 825541711 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=0.18 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 2089 0 0 0 18 0 0 0 16 0 19 0 825541712 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.48 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2953 0 0 0 48 0 0 0 15 0 19 0 825541715 14021697536 48634 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0

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

[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.78 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2133 0 0 0 78 0 0 0 15 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.8 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 80 0 0 0 15 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.63 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1720 0 0 0 63 0 0 0 16 0 19 0 825541711 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=18.19 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25001 0 0 0 1814 5 0 0 15 0 19 0 825541712 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 83790 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.25
Current children cumulated vsize (KiB) 13693064

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/554 12163
/proc/meminfo: memFree=20733084/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1727.41 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 87922 0 1 0 172724 17 0 0 25 0 19 0 825541709 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84461 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1701.29 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41008 0 1 0 170125 4 0 0 25 0 19 0 825541709 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505872625 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.77 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 770 0 0 0 77 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.7 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 69 1 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.75 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1819 0 0 0 75 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.86 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 86 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.71 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 71 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.82 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2138 0 0 0 82 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.81 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 81 0 0 0 15 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.66 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1720 0 0 0 66 0 0 0 16 0 19 0 825541711 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=18.96 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25615 0 0 0 1891 5 0 0 16 0 19 0 825541712 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84461 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.41
Current children cumulated vsize (KiB) 13693064

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/554 12165
/proc/meminfo: memFree=20732644/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1787.5 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 87966 0 1 0 178733 17 0 0 25 0 19 0 825541709 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84487 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1760.46 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41018 0 1 0 176042 4 0 0 25 0 19 0 825541709 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.79 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 774 0 0 0 79 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 71 1 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.76 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1820 0 0 0 76 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.87 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 87 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 72 0 0 0 15 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.84 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2141 0 0 0 84 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.85 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 85 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1738 0 0 0 68 0 0 0 16 0 19 0 825541711 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=19.76 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25619 0 0 0 1970 6 0 0 15 0 19 0 825541712 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84487 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (KiB) 13693064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.20 2.08 2.02 3/554 12165
/proc/meminfo: memFree=20732268/32950928 swapFree=34259960/67111528
[pid=12048] ppid=12046 vsize=13693064 CPUtime=1800.04 cores=1,3,5,7
/proc/12048/stat : 12048 (java) S 12046 12048 7151 0 -1 4202496 88015 0 1 0 179987 17 0 0 25 0 19 0 825541709 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12048/statm: 3423266 84533 2263 9 0 3414000 0
[pid=12048/tid=12049] ppid=12046 vsize=13693064 CPUtime=1772.73 cores=1,3,5,7
/proc/12048/task/12049/stat : 12049 (java) R 12046 12048 7151 0 -1 4202560 41021 0 1 0 177269 4 0 0 25 0 19 0 825541709 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 46912505836157 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12048/tid=12051] ppid=12046 vsize=13693064 CPUtime=0.8 cores=1,3,5,7
/proc/12048/task/12051/stat : 12051 (java) S 12046 12048 7151 0 -1 4202560 774 0 0 0 80 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12052] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12052/stat : 12052 (java) S 12046 12048 7151 0 -1 4202560 2701 0 0 0 71 1 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12053] ppid=12046 vsize=13693064 CPUtime=0.77 cores=1,3,5,7
/proc/12048/task/12053/stat : 12053 (java) S 12046 12048 7151 0 -1 4202560 1829 0 0 0 77 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12054] ppid=12046 vsize=13693064 CPUtime=0.87 cores=1,3,5,7
/proc/12048/task/12054/stat : 12054 (java) S 12046 12048 7151 0 -1 4202560 1757 0 0 0 87 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12055] ppid=12046 vsize=13693064 CPUtime=0.72 cores=1,3,5,7
/proc/12048/task/12055/stat : 12055 (java) S 12046 12048 7151 0 -1 4202560 1367 0 0 0 72 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12056] ppid=12046 vsize=13693064 CPUtime=0.85 cores=1,3,5,7
/proc/12048/task/12056/stat : 12056 (java) S 12046 12048 7151 0 -1 4202560 2153 0 0 0 85 0 0 0 15 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12057] ppid=12046 vsize=13693064 CPUtime=0.86 cores=1,3,5,7
/proc/12048/task/12057/stat : 12057 (java) S 12046 12048 7151 0 -1 4202560 2276 0 0 0 86 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12058] ppid=12046 vsize=13693064 CPUtime=0.68 cores=1,3,5,7
/proc/12048/task/12058/stat : 12058 (java) S 12046 12048 7151 0 -1 4202560 1740 0 0 0 68 0 0 0 16 0 19 0 825541711 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 7 0 0 0
[pid=12048/tid=12059] ppid=12046 vsize=13693064 CPUtime=19.99 cores=1,3,5,7
/proc/12048/task/12059/stat : 12059 (java) S 12046 12048 7151 0 -1 4202560 25642 0 0 0 1993 6 0 0 15 0 19 0 825541712 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 0 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12060] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12060/stat : 12060 (java) S 12046 12048 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12061] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12061/stat : 12061 (java) S 12046 12048 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825541713 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12062] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12062/stat : 12062 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512515505 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12063] ppid=12046 vsize=13693064 CPUtime=0.45 cores=1,3,5,7
/proc/12048/task/12063/stat : 12063 (java) S 12046 12048 7151 0 -1 4202560 2537 0 0 0 45 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 3 0 0 0
[pid=12048/tid=12064] ppid=12046 vsize=13693064 CPUtime=0.5 cores=1,3,5,7
/proc/12048/task/12064/stat : 12064 (java) S 12046 12048 7151 0 -1 4202560 2967 0 0 0 50 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12065] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12065/stat : 12065 (java) S 12046 12048 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512507801 0 4 0 16800975 18446604456901636480 0 0 -1 1 0 0 0
[pid=12048/tid=12066] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12066/stat : 12066 (java) S 12046 12048 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825541715 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
[pid=12048/tid=12067] ppid=12046 vsize=13693064 CPUtime=0 cores=1,3,5,7
/proc/12048/task/12067/stat : 12067 (java) S 12046 12048 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825541764 14021697536 84533 33554432000 1073741824 1073778376 140734521001104 18446744073709551615 254512508416 0 4 0 16800975 18446604456901636480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13693064

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.88
CPU time (s): 1800.14
CPU user time (s): 1799.95
CPU system time (s): 0.19497
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 13693340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88064
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= 46309
involuntary context switches= 10711

runsolver used 9.00763 second user time and 22.1176 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 00:17:30
IDJOB=3459407
IDBENCH=1500
IDSOLVER=1952
FILE ID=node149/3459407-1307139450
RUNJOBID= node149-1307134204-10440
PBS_JOBID= 13508767
Free space on /tmp= 73528 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459407-1307139450/watcher-3459407-1307139450 -o /tmp/evaluation-result-3459407-1307139450/solver-3459407-1307139450 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459407-1307139450.opb

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=1638675392

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21237160 kB
Buffers:        328156 kB
Cached:        3490816 kB
SwapCached:     123196 kB
Active:         400204 kB
Inactive:     10974364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21237160 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            1592 kB
Writeback:           0 kB
AnonPages:     7456548 kB
Mapped:          26264 kB
Slab:           150636 kB
PageTables:     117432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186522840 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= 73524 MiB
End job on node149 at 2011-06-04 00:47:27