Trace number 3459405

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.12 1794.88

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM732cdc3fa8b0bf0f47e882c13d928a6d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark205.837
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4626
Total number of constraints30747
Number of constraints which are clauses29724
Number of constraints which are cardinality constraints (but not clauses)945
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 101
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-3459405-1307139027.opb
0.10/0.11	c reading problem ... 
1.00/0.54	c ... done. Wall clock time 0.427s.
1.00/0.54	c #vars     4626
1.00/0.54	c #constraints  30921
1.00/0.54	c constraints type 
1.00/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29898
1.00/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 945
1.00/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1.86/1.03	c cleaning 2485 clauses out of 5000 with flag 5000/5000
2.42/1.43	c cleaning 4249 clauses out of 8515 with flag 11000/11000
2.92/1.93	c cleaning 5629 clauses out of 11267 with flag 18001/18001
3.53/2.50	c cleaning 6801 clauses out of 13637 with flag 26000/26000
4.28/3.30	c cleaning 7895 clauses out of 15836 with flag 35000/35000
5.07/4.10	c cleaning 8966 clauses out of 17942 with flag 45001/45001
5.97/4.94	c cleaning 9983 clauses out of 19975 with flag 56000/56000
7.17/6.18	c cleaning 10983 clauses out of 21992 with flag 68000/68000
8.38/7.32	c cleaning 12005 clauses out of 24009 with flag 81000/81000
9.48/8.45	c cleaning 12981 clauses out of 26005 with flag 95001/95001
11.19/10.15	c cleaning 13986 clauses out of 28024 with flag 110001/110001
12.49/11.43	c cleaning 15009 clauses out of 30038 with flag 126001/126001
14.22/13.18	c cleaning 16006 clauses out of 32028 with flag 143000/143000
16.60/15.54	c cleaning 16996 clauses out of 34025 with flag 161003/161003
18.51/17.40	c cleaning 18007 clauses out of 36027 with flag 180001/180001
20.51/19.40	c cleaning 18986 clauses out of 38020 with flag 200001/200001
23.04/22.01	c cleaning 20007 clauses out of 40033 with flag 221000/221000
25.83/24.76	c cleaning 21009 clauses out of 42026 with flag 243000/243000
28.65/27.59	c cleaning 22001 clauses out of 44017 with flag 266000/266000
31.14/30.03	c cleaning 22988 clauses out of 46016 with flag 290000/290000
33.85/32.77	c cleaning 24007 clauses out of 48028 with flag 315000/315000
38.26/37.17	c cleaning 25000 clauses out of 50021 with flag 341000/341000
41.57/40.47	c cleaning 25999 clauses out of 52021 with flag 368000/368000
44.68/43.59	c cleaning 27001 clauses out of 54022 with flag 396000/396000
47.69/46.52	c cleaning 28004 clauses out of 56025 with flag 425004/425004
51.82/50.63	c cleaning 28993 clauses out of 58018 with flag 455001/455001
57.23/56.02	c cleaning 29990 clauses out of 60025 with flag 486001/486001
63.72/62.55	c cleaning 30501 clauses out of 61036 with flag 517002/517002
67.63/66.44	c cleaning 30746 clauses out of 61535 with flag 548002/548002
72.14/70.93	c cleaning 30880 clauses out of 61788 with flag 579001/579001
74.97/73.72	c cleaning 30908 clauses out of 61908 with flag 610001/610001
78.46/77.27	c cleaning 30990 clauses out of 62002 with flag 641003/641003
82.69/81.42	c cleaning 30973 clauses out of 62011 with flag 672002/672002
86.78/85.59	c cleaning 31000 clauses out of 62037 with flag 703001/703001
90.41/89.18	c cleaning 31012 clauses out of 62038 with flag 734002/734002
94.60/93.32	c cleaning 31001 clauses out of 62024 with flag 765000/765000
98.13/96.84	c cleaning 30993 clauses out of 62023 with flag 796000/796000
102.82/101.50	c cleaning 30996 clauses out of 62030 with flag 827000/827000
106.96/105.66	c cleaning 31001 clauses out of 62034 with flag 858000/858000
110.65/109.30	c cleaning 31007 clauses out of 62034 with flag 889001/889001
113.66/112.37	c cleaning 31008 clauses out of 62026 with flag 920000/920000
118.87/117.55	c cleaning 30996 clauses out of 62018 with flag 951000/951000
122.59/121.28	c cleaning 30988 clauses out of 62022 with flag 982000/982000
130.30/128.96	c cleaning 30997 clauses out of 62035 with flag 1013001/1013001
134.53/133.17	c cleaning 30984 clauses out of 62038 with flag 1044001/1044001
140.72/139.37	c cleaning 31006 clauses out of 62055 with flag 1075002/1075002
145.84/144.42	c cleaning 31007 clauses out of 62047 with flag 1106000/1106000
152.65/151.29	c cleaning 31012 clauses out of 62044 with flag 1137004/1137004
160.17/158.75	c cleaning 30994 clauses out of 62028 with flag 1168000/1168000
164.88/163.47	c cleaning 30987 clauses out of 62037 with flag 1199003/1199003
173.01/171.55	c cleaning 30976 clauses out of 62048 with flag 1230001/1230001
180.61/179.13	c cleaning 31003 clauses out of 62071 with flag 1261000/1261000
188.12/186.63	c cleaning 30993 clauses out of 62070 with flag 1292002/1292002
195.73/194.29	c cleaning 31005 clauses out of 62077 with flag 1323002/1323002
198.74/197.25	c cleaning 31004 clauses out of 62070 with flag 1354000/1354000
202.45/200.91	c cleaning 31004 clauses out of 62068 with flag 1385002/1385002
207.36/205.81	c cleaning 31005 clauses out of 62063 with flag 1416001/1416001
213.68/212.11	c cleaning 30993 clauses out of 62057 with flag 1447000/1447000
218.09/216.59	c cleaning 30972 clauses out of 62064 with flag 1478000/1478000
224.15/222.59	c cleaning 31002 clauses out of 62093 with flag 1509001/1509001
228.18/226.61	c cleaning 31030 clauses out of 62090 with flag 1540000/1540000
232.70/231.08	c cleaning 30960 clauses out of 62060 with flag 1571000/1571000
240.19/238.51	c cleaning 30989 clauses out of 62103 with flag 1602003/1602003
245.71/244.09	c cleaning 31018 clauses out of 62112 with flag 1633001/1633001
250.25/248.54	c cleaning 31012 clauses out of 62093 with flag 1664000/1664000
254.75/253.07	c cleaning 31013 clauses out of 62083 with flag 1695002/1695002
259.07/257.40	c cleaning 30994 clauses out of 62068 with flag 1726000/1726000
263.47/261.77	c cleaning 31012 clauses out of 62074 with flag 1757000/1757000
267.76/266.03	c cleaning 31022 clauses out of 62064 with flag 1788002/1788002
272.31/270.52	c cleaning 31016 clauses out of 62041 with flag 1819001/1819001
277.83/276.02	c cleaning 30994 clauses out of 62024 with flag 1850000/1850000
282.01/280.26	c cleaning 31008 clauses out of 62030 with flag 1881000/1881000
287.32/285.53	c cleaning 30995 clauses out of 62022 with flag 1912000/1912000
292.04/290.23	c cleaning 31006 clauses out of 62027 with flag 1943000/1943000
297.45/295.60	c cleaning 31002 clauses out of 62021 with flag 1974000/1974000
300.75/298.91	c cleaning 30997 clauses out of 62021 with flag 2005002/2005002
303.96/302.15	c cleaning 30997 clauses out of 62023 with flag 2036001/2036001
307.78/305.98	c cleaning 31000 clauses out of 62025 with flag 2067000/2067000
312.12/310.23	c cleaning 30982 clauses out of 62025 with flag 2098000/2098000
316.81/314.96	c cleaning 31008 clauses out of 62044 with flag 2129001/2129001
323.23/321.37	c cleaning 31001 clauses out of 62035 with flag 2160000/2160000
328.24/326.36	c cleaning 31003 clauses out of 62035 with flag 2191001/2191001
333.16/331.22	c cleaning 30987 clauses out of 62031 with flag 2222000/2222000
338.50/336.61	c cleaning 30995 clauses out of 62046 with flag 2253002/2253002
345.60/343.68	c cleaning 31006 clauses out of 62053 with flag 2284004/2284004
350.42/348.42	c cleaning 30999 clauses out of 62043 with flag 2315000/2315000
356.33/354.38	c cleaning 31004 clauses out of 62044 with flag 2346000/2346000
361.05/359.03	c cleaning 30995 clauses out of 62040 with flag 2377000/2377000
365.76/363.70	c cleaning 30986 clauses out of 62045 with flag 2408000/2408000
369.27/367.24	c cleaning 31018 clauses out of 62059 with flag 2439000/2439000
374.49/372.44	c cleaning 31007 clauses out of 62043 with flag 2470002/2470002
379.10/377.03	c cleaning 30991 clauses out of 62034 with flag 2501000/2501000
386.52/384.40	c cleaning 31001 clauses out of 62044 with flag 2532001/2532001
394.23/392.15	c cleaning 30992 clauses out of 62042 with flag 2563000/2563000
402.57/400.45	c cleaning 31001 clauses out of 62052 with flag 2594002/2594002
409.86/407.76	c cleaning 30992 clauses out of 62050 with flag 2625001/2625001
418.28/416.18	c cleaning 31007 clauses out of 62059 with flag 2656002/2656002
424.20/422.00	c cleaning 30966 clauses out of 62052 with flag 2687002/2687002
429.31/427.16	c cleaning 30929 clauses out of 62084 with flag 2718000/2718000
437.23/435.05	c cleaning 30987 clauses out of 62156 with flag 2749001/2749001
444.64/442.46	c cleaning 30990 clauses out of 62169 with flag 2780001/2780001
451.86/449.63	c cleaning 31006 clauses out of 62179 with flag 2811001/2811001
459.57/457.36	c cleaning 31001 clauses out of 62172 with flag 2842000/2842000
466.28/464.06	c cleaning 30990 clauses out of 62175 with flag 2873004/2873004
473.01/470.75	c cleaning 30987 clauses out of 62181 with flag 2904000/2904000
479.90/477.64	c cleaning 30981 clauses out of 62195 with flag 2935001/2935001
487.11/484.89	c cleaning 31003 clauses out of 62213 with flag 2966000/2966000
491.22/488.99	c cleaning 31090 clauses out of 62213 with flag 2997003/2997003
495.16/492.88	c cleaning 31031 clauses out of 62121 with flag 3028001/3028001
499.66/497.37	c cleaning 31012 clauses out of 62090 with flag 3059001/3059001
503.57/501.22	c cleaning 31020 clauses out of 62078 with flag 3090001/3090001
507.99/505.69	c cleaning 31016 clauses out of 62058 with flag 3121001/3121001
513.60/511.22	c cleaning 31010 clauses out of 62043 with flag 3152002/3152002
518.11/515.73	c cleaning 31000 clauses out of 62033 with flag 3183002/3183002
522.75/520.33	c cleaning 30999 clauses out of 62034 with flag 3214003/3214003
527.83/525.40	c cleaning 30991 clauses out of 62032 with flag 3245000/3245000
532.44/530.07	c cleaning 31007 clauses out of 62041 with flag 3276000/3276000
537.75/535.39	c cleaning 31002 clauses out of 62035 with flag 3307001/3307001
545.47/543.02	c cleaning 30998 clauses out of 62033 with flag 3338001/3338001
553.09/550.61	c cleaning 31004 clauses out of 62034 with flag 3369000/3369000
559.71/557.26	c cleaning 31000 clauses out of 62030 with flag 3400000/3400000
566.32/563.88	c cleaning 31000 clauses out of 62031 with flag 3431001/3431001
571.64/569.13	c cleaning 30977 clauses out of 62031 with flag 3462001/3462001
579.15/576.67	c cleaning 30988 clauses out of 62053 with flag 3493000/3493000
585.98/583.45	c cleaning 30996 clauses out of 62065 with flag 3524000/3524000
592.50/589.93	c cleaning 30998 clauses out of 62069 with flag 3555000/3555000
597.81/595.24	c cleaning 30999 clauses out of 62071 with flag 3586000/3586000
602.73/600.12	c cleaning 30966 clauses out of 62072 with flag 3617000/3617000
609.04/606.48	c cleaning 31003 clauses out of 62107 with flag 3648001/3648001
613.07/610.51	c cleaning 31014 clauses out of 62103 with flag 3679000/3679000
621.47/618.84	c cleaning 31003 clauses out of 62089 with flag 3710000/3710000
629.39/626.76	c cleaning 31015 clauses out of 62088 with flag 3741002/3741002
636.90/634.20	c cleaning 31005 clauses out of 62071 with flag 3772000/3772000
643.81/641.21	c cleaning 30995 clauses out of 62067 with flag 3803001/3803001
649.44/646.76	c cleaning 30985 clauses out of 62072 with flag 3834001/3834001
655.63/652.93	c cleaning 30989 clauses out of 62086 with flag 3865000/3865000
661.24/658.55	c cleaning 31016 clauses out of 62100 with flag 3896003/3896003
667.25/664.52	c cleaning 31004 clauses out of 62081 with flag 3927000/3927000
673.46/670.77	c cleaning 30990 clauses out of 62078 with flag 3958001/3958001
679.20/676.42	c cleaning 31012 clauses out of 62090 with flag 3989003/3989003
686.58/683.81	c cleaning 31013 clauses out of 62075 with flag 4020000/4020000
691.80/689.05	c cleaning 30985 clauses out of 62063 with flag 4051001/4051001
700.71/697.96	c cleaning 31006 clauses out of 62078 with flag 4082001/4082001
708.54/705.70	c cleaning 31007 clauses out of 62073 with flag 4113002/4113002
716.67/713.92	c cleaning 30972 clauses out of 62066 with flag 4144002/4144002
724.27/721.51	c cleaning 31018 clauses out of 62092 with flag 4175000/4175000
732.38/729.53	c cleaning 31007 clauses out of 62075 with flag 4206001/4206001
739.40/736.50	c cleaning 31005 clauses out of 62068 with flag 4237001/4237001
748.01/745.15	c cleaning 31005 clauses out of 62062 with flag 4268000/4268000
759.22/756.37	c cleaning 30982 clauses out of 62057 with flag 4299000/4299000
769.66/766.77	c cleaning 31000 clauses out of 62078 with flag 4330003/4330003
777.55/774.60	c cleaning 30996 clauses out of 62075 with flag 4361000/4361000
785.17/782.21	c cleaning 31016 clauses out of 62081 with flag 4392002/4392002
792.97/790.07	c cleaning 30987 clauses out of 62063 with flag 4423000/4423000
805.38/802.42	c cleaning 31015 clauses out of 62078 with flag 4454002/4454002
812.32/809.35	c cleaning 31019 clauses out of 62061 with flag 4485000/4485000
815.34/812.32	c cleaning 31011 clauses out of 62042 with flag 4516000/4516000
819.46/816.46	c cleaning 31002 clauses out of 62031 with flag 4547000/4547000
825.07/822.08	c cleaning 30994 clauses out of 62030 with flag 4578001/4578001
830.99/827.97	c cleaning 31000 clauses out of 62040 with flag 4609005/4609005
836.30/833.29	c cleaning 31011 clauses out of 62036 with flag 4640001/4640001
843.12/840.04	c cleaning 31005 clauses out of 62024 with flag 4671000/4671000
847.63/844.60	c cleaning 30977 clauses out of 62019 with flag 4702000/4702000
852.55/849.40	c cleaning 30994 clauses out of 62042 with flag 4733000/4733000
857.78/854.69	c cleaning 31007 clauses out of 62049 with flag 4764001/4764001
861.57/858.43	c cleaning 31016 clauses out of 62042 with flag 4795001/4795001
867.70/864.53	c cleaning 31000 clauses out of 62029 with flag 4826004/4826004
873.90/870.75	c cleaning 30985 clauses out of 62025 with flag 4857000/4857000
880.51/877.34	c cleaning 31008 clauses out of 62042 with flag 4888002/4888002
885.92/882.79	c cleaning 30973 clauses out of 62032 with flag 4919000/4919000
889.85/886.69	c cleaning 30995 clauses out of 62059 with flag 4950000/4950000
897.25/894.07	c cleaning 31000 clauses out of 62065 with flag 4981001/4981001
904.87/901.65	c cleaning 30985 clauses out of 62065 with flag 5012001/5012001
912.08/908.87	c cleaning 31009 clauses out of 62080 with flag 5043001/5043001
919.53/916.24	c cleaning 30988 clauses out of 62070 with flag 5074000/5074000
927.02/923.79	c cleaning 31005 clauses out of 62082 with flag 5105000/5105000
934.74/931.44	c cleaning 31006 clauses out of 62077 with flag 5136000/5136000
939.25/935.98	c cleaning 31000 clauses out of 62071 with flag 5167000/5167000
946.58/943.30	c cleaning 31003 clauses out of 62071 with flag 5198000/5198000
954.00/950.67	c cleaning 31005 clauses out of 62070 with flag 5229002/5229002
961.31/957.97	c cleaning 31002 clauses out of 62063 with flag 5260000/5260000
968.43/965.04	c cleaning 30988 clauses out of 62061 with flag 5291000/5291000
975.64/972.21	c cleaning 30977 clauses out of 62073 with flag 5322000/5322000
980.66/977.23	c cleaning 30998 clauses out of 62099 with flag 5353003/5353003
988.67/985.26	c cleaning 31002 clauses out of 62103 with flag 5384005/5384005
995.89/992.43	c cleaning 31013 clauses out of 62098 with flag 5415002/5415002
1000.91/997.43	c cleaning 31006 clauses out of 62084 with flag 5446001/5446001
1007.22/1003.70	c cleaning 30983 clauses out of 62080 with flag 5477003/5477003
1012.35/1008.82	c cleaning 31030 clauses out of 62094 with flag 5508000/5508000
1017.36/1013.82	c cleaning 31016 clauses out of 62065 with flag 5539001/5539001
1022.58/1019.01	c cleaning 30997 clauses out of 62048 with flag 5570000/5570000
1027.09/1023.56	c cleaning 31009 clauses out of 62051 with flag 5601000/5601000
1031.20/1027.70	c cleaning 31004 clauses out of 62042 with flag 5632000/5632000
1035.61/1032.06	c cleaning 31002 clauses out of 62038 with flag 5663000/5663000
1039.73/1036.20	c cleaning 30997 clauses out of 62036 with flag 5694000/5694000
1044.63/1041.09	c cleaning 31005 clauses out of 62040 with flag 5725001/5725001
1050.14/1046.56	c cleaning 31000 clauses out of 62036 with flag 5756002/5756002
1055.66/1052.07	c cleaning 30973 clauses out of 62034 with flag 5787000/5787000
1061.68/1058.07	c cleaning 31009 clauses out of 62062 with flag 5818001/5818001
1070.29/1066.69	c cleaning 30975 clauses out of 62054 with flag 5849002/5849002
1076.22/1072.57	c cleaning 30985 clauses out of 62079 with flag 5880002/5880002
1081.73/1078.08	c cleaning 30988 clauses out of 62092 with flag 5911000/5911000
1087.62/1083.90	c cleaning 30991 clauses out of 62104 with flag 5942000/5942000
1092.83/1089.17	c cleaning 30987 clauses out of 62114 with flag 5973001/5973001
1097.84/1094.12	c cleaning 31061 clauses out of 62128 with flag 6004002/6004002
1102.36/1098.66	c cleaning 31021 clauses out of 62066 with flag 6035001/6035001
1106.28/1102.55	c cleaning 31002 clauses out of 62046 with flag 6066002/6066002
1111.29/1107.52	c cleaning 31015 clauses out of 62042 with flag 6097000/6097000
1116.21/1112.42	c cleaning 31010 clauses out of 62029 with flag 6128002/6128002
1120.72/1116.96	c cleaning 30996 clauses out of 62018 with flag 6159001/6159001
1125.22/1121.43	c cleaning 31003 clauses out of 62022 with flag 6190001/6190001
1130.03/1126.21	c cleaning 30989 clauses out of 62019 with flag 6221001/6221001
1135.15/1131.39	c cleaning 31001 clauses out of 62030 with flag 6252001/6252001
1139.65/1135.84	c cleaning 31002 clauses out of 62029 with flag 6283001/6283001
1144.36/1140.50	c cleaning 31009 clauses out of 62028 with flag 6314002/6314002
1148.77/1144.92	c cleaning 31001 clauses out of 62017 with flag 6345000/6345000
1153.78/1149.92	c cleaning 30984 clauses out of 62016 with flag 6376000/6376000
1159.49/1155.66	c cleaning 31008 clauses out of 62032 with flag 6407000/6407000
1164.10/1160.28	c cleaning 30995 clauses out of 62026 with flag 6438002/6438002
1169.51/1165.62	c cleaning 30998 clauses out of 62029 with flag 6469000/6469000
1175.52/1171.60	c cleaning 30991 clauses out of 62031 with flag 6500000/6500000
1180.24/1176.31	c cleaning 30988 clauses out of 62042 with flag 6531002/6531002
1185.14/1181.22	c cleaning 31009 clauses out of 62055 with flag 6562003/6562003
1190.77/1186.90	c cleaning 30999 clauses out of 62044 with flag 6593001/6593001
1195.18/1191.22	c cleaning 31010 clauses out of 62045 with flag 6624001/6624001
1200.16/1196.20	c cleaning 31001 clauses out of 62035 with flag 6655001/6655001
1205.87/1201.99	c cleaning 30983 clauses out of 62033 with flag 6686000/6686000
1210.78/1206.84	c cleaning 31007 clauses out of 62050 with flag 6717000/6717000
1214.29/1210.32	c cleaning 30999 clauses out of 62044 with flag 6748001/6748001
1218.01/1214.03	c cleaning 31016 clauses out of 62046 with flag 6779002/6779002
1222.43/1218.45	c cleaning 30986 clauses out of 62028 with flag 6810000/6810000
1228.27/1224.22	c cleaning 31006 clauses out of 62042 with flag 6841000/6841000
1233.06/1229.09	c cleaning 30953 clauses out of 62038 with flag 6872002/6872002
1241.38/1237.39	c cleaning 30999 clauses out of 62086 with flag 6903003/6903003
1246.60/1242.53	c cleaning 31029 clauses out of 62084 with flag 6934000/6934000
1252.41/1248.38	c cleaning 30966 clauses out of 62057 with flag 6965002/6965002
1259.93/1255.84	c cleaning 30983 clauses out of 62089 with flag 6996000/6996000
1266.74/1262.65	c cleaning 31025 clauses out of 62109 with flag 7027003/7027003
1273.49/1269.33	c cleaning 31001 clauses out of 62081 with flag 7058000/7058000
1278.38/1274.29	c cleaning 31005 clauses out of 62080 with flag 7089000/7089000
1284.19/1280.00	c cleaning 31006 clauses out of 62075 with flag 7120000/7120000
1289.21/1285.01	c cleaning 31001 clauses out of 62070 with flag 7151001/7151001
1294.02/1289.82	c cleaning 31027 clauses out of 62070 with flag 7182002/7182002
1299.23/1295.06	c cleaning 31014 clauses out of 62042 with flag 7213001/7213001
1304.25/1300.12	c cleaning 31010 clauses out of 62031 with flag 7244004/7244004
1309.97/1305.77	c cleaning 31001 clauses out of 62018 with flag 7275001/7275001
1315.38/1311.17	c cleaning 31002 clauses out of 62017 with flag 7306001/7306001
1320.89/1316.69	c cleaning 31001 clauses out of 62015 with flag 7337001/7337001
1325.88/1321.67	c cleaning 31000 clauses out of 62013 with flag 7368000/7368000
1330.38/1326.15	c cleaning 31000 clauses out of 62013 with flag 7399000/7399000
1334.70/1330.48	c cleaning 30985 clauses out of 62015 with flag 7430002/7430002
1341.21/1336.90	c cleaning 30996 clauses out of 62028 with flag 7461000/7461000
1347.02/1342.79	c cleaning 30998 clauses out of 62033 with flag 7492001/7492001
1353.24/1348.98	c cleaning 31008 clauses out of 62035 with flag 7523001/7523001
1359.15/1354.85	c cleaning 30983 clauses out of 62027 with flag 7554001/7554001
1365.17/1360.85	c cleaning 30998 clauses out of 62044 with flag 7585001/7585001
1371.07/1366.74	c cleaning 30996 clauses out of 62045 with flag 7616000/7616000
1377.20/1372.88	c cleaning 30999 clauses out of 62052 with flag 7647003/7647003
1383.29/1378.97	c cleaning 31002 clauses out of 62050 with flag 7678000/7678000
1389.00/1384.67	c cleaning 30996 clauses out of 62050 with flag 7709002/7709002
1393.40/1389.04	c cleaning 30980 clauses out of 62055 with flag 7740003/7740003
1401.82/1397.46	c cleaning 30991 clauses out of 62073 with flag 7771001/7771001
1409.94/1405.60	c cleaning 30994 clauses out of 62082 with flag 7802001/7802001
1418.16/1413.74	c cleaning 30997 clauses out of 62087 with flag 7833000/7833000
1426.17/1421.78	c cleaning 30999 clauses out of 62092 with flag 7864002/7864002
1434.19/1429.78	c cleaning 30994 clauses out of 62092 with flag 7895001/7895001
1442.51/1438.04	c cleaning 30995 clauses out of 62099 with flag 7926002/7926002
1450.63/1446.11	c cleaning 30989 clauses out of 62102 with flag 7957000/7957000
1459.14/1454.63	c cleaning 31002 clauses out of 62115 with flag 7988002/7988002
1465.96/1461.45	c cleaning 31013 clauses out of 62116 with flag 8019005/8019005
1474.56/1470.08	c cleaning 31003 clauses out of 62100 with flag 8050002/8050002
1482.17/1477.69	c cleaning 31000 clauses out of 62096 with flag 8081001/8081001
1490.38/1485.80	c cleaning 31000 clauses out of 62095 with flag 8112000/8112000
1498.00/1493.41	c cleaning 30996 clauses out of 62095 with flag 8143000/8143000
1506.21/1501.66	c cleaning 30996 clauses out of 62100 with flag 8174001/8174001
1513.23/1508.62	c cleaning 31002 clauses out of 62105 with flag 8205002/8205002
1518.26/1513.69	c cleaning 31030 clauses out of 62102 with flag 8236001/8236001
1522.96/1518.30	c cleaning 31007 clauses out of 62071 with flag 8267000/8267000
1527.77/1523.12	c cleaning 31019 clauses out of 62064 with flag 8298000/8298000
1531.89/1527.27	c cleaning 31004 clauses out of 62046 with flag 8329001/8329001
1535.70/1531.01	c cleaning 31007 clauses out of 62041 with flag 8360000/8360000
1540.24/1535.54	c cleaning 30983 clauses out of 62034 with flag 8391000/8391000
1545.33/1540.62	c cleaning 30989 clauses out of 62054 with flag 8422003/8422003
1551.85/1547.18	c cleaning 30972 clauses out of 62062 with flag 8453000/8453000
1556.89/1552.17	c cleaning 30984 clauses out of 62090 with flag 8484000/8484000
1564.29/1559.52	c cleaning 30982 clauses out of 62112 with flag 8515006/8515006
1571.50/1566.70	c cleaning 30995 clauses out of 62124 with flag 8546000/8546000
1578.51/1573.77	c cleaning 30990 clauses out of 62129 with flag 8577000/8577000
1585.12/1580.33	c cleaning 30999 clauses out of 62139 with flag 8608000/8608000
1591.53/1586.76	c cleaning 31001 clauses out of 62142 with flag 8639002/8639002
1598.34/1593.59	c cleaning 30996 clauses out of 62139 with flag 8670000/8670000
1605.45/1600.68	c cleaning 31005 clauses out of 62145 with flag 8701002/8701002
1612.26/1607.48	c cleaning 31008 clauses out of 62138 with flag 8732000/8732000
1618.97/1614.11	c cleaning 30993 clauses out of 62130 with flag 8763000/8763000
1625.78/1620.92	c cleaning 30992 clauses out of 62137 with flag 8794000/8794000
1632.98/1628.12	c cleaning 31005 clauses out of 62146 with flag 8825001/8825001
1639.90/1635.10	c cleaning 31012 clauses out of 62141 with flag 8856001/8856001
1646.71/1641.82	c cleaning 30992 clauses out of 62128 with flag 8887000/8887000
1653.42/1648.50	c cleaning 31011 clauses out of 62137 with flag 8918001/8918001
1659.43/1654.56	c cleaning 30992 clauses out of 62125 with flag 8949000/8949000
1664.55/1659.60	c cleaning 31037 clauses out of 62133 with flag 8980000/8980000
1668.66/1663.73	c cleaning 31012 clauses out of 62096 with flag 9011000/9011000
1676.28/1671.34	c cleaning 31007 clauses out of 62087 with flag 9042003/9042003
1682.90/1677.92	c cleaning 31002 clauses out of 62077 with flag 9073000/9073000
1689.61/1684.66	c cleaning 30988 clauses out of 62075 with flag 9104000/9104000
1695.82/1690.87	c cleaning 31011 clauses out of 62093 with flag 9135006/9135006
1702.13/1697.21	c cleaning 30991 clauses out of 62076 with flag 9166000/9166000
1708.64/1703.67	c cleaning 30997 clauses out of 62086 with flag 9197001/9197001
1714.75/1709.77	c cleaning 30998 clauses out of 62088 with flag 9228000/9228000
1720.46/1715.43	c cleaning 30992 clauses out of 62090 with flag 9259000/9259000
1726.17/1721.15	c cleaning 31013 clauses out of 62099 with flag 9290001/9290001
1731.18/1726.12	c cleaning 31001 clauses out of 62085 with flag 9321000/9321000
1736.41/1731.39	c cleaning 30996 clauses out of 62084 with flag 9352000/9352000
1741.31/1736.26	c cleaning 31008 clauses out of 62092 with flag 9383004/9383004
1746.92/1741.83	c cleaning 30997 clauses out of 62081 with flag 9414001/9414001
1752.23/1747.16	c cleaning 31000 clauses out of 62084 with flag 9445001/9445001
1757.24/1752.22	c cleaning 31000 clauses out of 62084 with flag 9476001/9476001
1762.65/1757.55	c cleaning 30996 clauses out of 62084 with flag 9507001/9507001
1767.45/1762.38	c cleaning 31007 clauses out of 62089 with flag 9538002/9538002
1772.66/1767.58	c cleaning 30999 clauses out of 62081 with flag 9569001/9569001
1777.77/1772.63	c cleaning 30998 clauses out of 62082 with flag 9600001/9600001
1783.08/1777.98	c cleaning 31003 clauses out of 62084 with flag 9631001/9631001
1787.79/1782.68	c cleaning 30999 clauses out of 62082 with flag 9662002/9662002
1793.09/1787.98	c cleaning 31001 clauses out of 62081 with flag 9693000/9693000
1798.12/1792.98	c cleaning 31000 clauses out of 62081 with flag 9724001/9724001
1800.03/1794.82	c starts		: 300
1800.03/1794.82	c conflicts		: 9738806
1800.03/1794.82	c decisions		: 12062379
1800.03/1794.82	c propagations		: 440912210
1800.03/1794.82	c inspects		: 18159206054
1800.03/1794.82	c shortcuts		: 0
1800.03/1794.82	c learnt literals	: 0
1800.03/1794.82	c learnt binary clauses	: 0
1800.03/1794.83	c learnt ternary clauses	: 0
1800.03/1794.83	c learnt constraints	: 9738805
1800.03/1794.83	c ignored constraints	: 0
1800.03/1794.83	c root simplifications	: 0
1800.03/1794.83	c removed literals (reason simplification)	: 67456912
1800.03/1794.83	c reason swapping (by a shorter reason)	: 0
1800.03/1794.83	c Calls to reduceDB	: 325
1800.03/1794.83	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.83	c number of learned constraints concerned by reduction	: 0
1800.03/1794.83	c number of learning phase by resolution	: 0
1800.03/1794.83	c number of learning phase by cutting planes	: 0
1800.03/1794.83	c speed (assignments/second)	: 245731.0147534844
1800.03/1794.83	c non guided choices	209630
1800.03/1794.85	c learnt constraints type 
1800.03/1794.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45995
1800.03/1794.85	c constraints type 
1800.03/1794.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29898
1800.03/1794.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 945
1800.03/1794.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
1800.03/1794.85	s UNKNOWN
1800.03/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-3459405-1307139027/watcher-3459405-1307139027 -o /tmp/evaluation-result-3459405-1307139027/solver-3459405-1307139027 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459405-1307139027.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.15 2.08 2.04 2/590 29078
/proc/meminfo: memFree=31737000/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 9202 0 1 0 0 0 0 0 25 0 2 0 825501477 13850947584 8904 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3381579 8917 917 9 0 3372735 0
[pid=29078/tid=29079] ppid=29076 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 8420 0 1 0 0 0 0 0 25 0 2 0 825501477 13850947584 9236 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.084629 s]
/proc/loadavg: 2.15 2.08 2.04 2/590 29078
/proc/meminfo: memFree=31737000/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13620768 CPUtime=0.07 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 14548 0 1 0 6 1 0 0 25 0 18 0 825501477 13947666432 14245 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3405192 14262 1772 9 0 3395926 0
[pid=29078/tid=29079] ppid=29076 vsize=13620768 CPUtime=0.07 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 13362 0 1 0 6 1 0 0 25 0 18 0 825501477 13947666432 14266 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620768

[startup+0.100613 s]
/proc/loadavg: 2.15 2.08 2.04 2/590 29078
/proc/meminfo: memFree=31737000/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13621544 CPUtime=0.1 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 15539 0 1 0 9 1 0 0 25 0 18 0 825501477 13948461056 15197 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3405386 15198 2093 9 0 3396120 0
[pid=29078/tid=29079] ppid=29076 vsize=13621544 CPUtime=0.08 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 13579 0 1 0 7 1 0 0 25 0 18 0 825501477 13948461056 15199 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268272349505 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621544

[startup+0.300581 s]
/proc/loadavg: 2.15 2.08 2.04 2/590 29078
/proc/meminfo: memFree=31737000/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13623116 CPUtime=0.54 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 24678 0 1 0 51 3 0 0 25 0 18 0 825501477 13950070784 23317 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3405779 23318 2203 9 0 3396513 0
[pid=29078/tid=29079] ppid=29076 vsize=13623116 CPUtime=0.28 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 20595 0 1 0 26 2 0 0 25 0 18 0 825501477 13950070784 23319 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505606408 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13623116

[startup+0.700509 s]
/proc/loadavg: 2.15 2.08 2.04 2/590 29078
/proc/meminfo: memFree=31737000/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627052 CPUtime=1.47 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 47175 0 1 0 141 6 0 0 25 0 19 0 825501477 13954101248 44507 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406763 44507 2234 9 0 3397497 0
[pid=29078/tid=29079] ppid=29076 vsize=13627052 CPUtime=0.68 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 40619 0 1 0 63 5 0 0 25 0 19 0 825501477 13954101248 44507 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505832744 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13627052

[startup+1.50136 s]
/proc/loadavg: 2.15 2.08 2.04 3/609 29097
/proc/meminfo: memFree=31563692/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13626604 CPUtime=2.52 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 54675 0 1 0 245 7 0 0 25 0 19 0 825501477 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406651 50222 2263 9 0 3397385 0
[pid=29078/tid=29079] ppid=29076 vsize=13626604 CPUtime=1.43 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41112 0 1 0 138 5 0 0 25 0 19 0 825501477 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505793643 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 273 0 0 0 0 0 0 0 16 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 76 0 0 0 0 0 0 0 16 0 19 0 825501479 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13626604 CPUtime=0.04 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 1416 0 0 0 4 0 0 0 15 0 19 0 825501480 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13626604 CPUtime=0.45 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2047 0 0 0 45 0 0 0 20 0 19 0 825501483 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13626604 CPUtime=0.53 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 53 0 0 0 21 0 19 0 825501483 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825501483 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13626604 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13953642496 50222 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13626604

[startup+3.10108 s]
/proc/loadavg: 2.15 2.08 2.04 3/609 29097
/proc/meminfo: memFree=31541344/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627016 CPUtime=4.16 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 55249 0 1 0 409 7 0 0 25 0 19 0 825501477 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406754 50794 2263 9 0 3397488 0
[pid=29078/tid=29079] ppid=29076 vsize=13627016 CPUtime=2.98 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41112 0 1 0 293 5 0 0 25 0 19 0 825501477 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505761312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 480 0 0 0 0 0 0 0 16 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 278 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=0.09 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 1613 0 0 0 9 0 0 0 15 0 19 0 825501480 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.49 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2132 0 0 0 49 0 0 0 15 0 19 0 825501483 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825501483 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13954064384 50794 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13627016

[startup+6.30157 s]
/proc/loadavg: 2.14 2.08 2.04 3/609 29097
/proc/meminfo: memFree=31544444/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627016 CPUtime=7.38 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 55757 0 1 0 731 7 0 0 25 0 19 0 825501477 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406754 49624 2263 9 0 3397488 0
[pid=29078/tid=29079] ppid=29076 vsize=13627016 CPUtime=6.07 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41117 0 1 0 602 5 0 0 25 0 19 0 825501477 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505845312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 480 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 430 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 825501479 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=0.19 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 2073 0 0 0 19 0 0 0 16 0 19 0 825501480 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.49 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2132 0 0 0 49 0 0 0 15 0 19 0 825501483 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 49624 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0

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

[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0.72 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 2338 0 0 0 72 0 0 0 16 0 19 0 825501479 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0.78 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 3286 0 0 0 77 1 0 0 15 0 19 0 825501479 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0.76 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 2157 0 0 0 76 0 0 0 15 0 19 0 825501479 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=18.54 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 24261 0 0 0 1849 5 0 0 15 0 19 0 825501480 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.51 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2136 0 0 0 51 0 0 0 15 0 19 0 825501483 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825501483 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13954064384 87480 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.26
Current children cumulated vsize (KiB) 13627016

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/609 29237
/proc/meminfo: memFree=26099484/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627016 CPUtime=1727.38 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 94652 0 1 0 172719 19 0 0 25 0 19 0 825501477 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406754 88000 2264 9 0 3397488 0
[pid=29078/tid=29079] ppid=29076 vsize=13627016 CPUtime=1701.02 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41420 0 1 0 170097 5 0 0 25 0 19 0 825501477 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505832744 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13627016 CPUtime=0.67 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 1727 0 0 0 67 0 0 0 16 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13627016 CPUtime=0.74 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 2714 0 0 0 74 0 0 0 15 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13627016 CPUtime=0.71 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 2217 0 0 0 71 0 0 0 16 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13627016 CPUtime=0.7 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 2490 0 0 0 70 0 0 0 15 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13627016 CPUtime=0.71 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 907 0 0 0 71 0 0 0 15 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0.75 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 2341 0 0 0 75 0 0 0 16 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0.8 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 3286 0 0 0 79 1 0 0 15 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0.78 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 2158 0 0 0 78 0 0 0 16 0 19 0 825501479 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=19.31 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 24756 0 0 0 1926 5 0 0 15 0 19 0 825501480 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.51 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2136 0 0 0 51 0 0 0 15 0 19 0 825501483 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825501483 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13954064384 88000 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.38
Current children cumulated vsize (KiB) 13627016

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/609 29239
/proc/meminfo: memFree=26097820/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627016 CPUtime=1787.49 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 94843 0 1 0 178730 19 0 0 25 0 19 0 825501477 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406754 88172 2264 9 0 3397488 0
[pid=29078/tid=29079] ppid=29076 vsize=13627016 CPUtime=1760.12 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41431 0 1 0 176007 5 0 0 25 0 19 0 825501477 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505832775 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13627016 CPUtime=0.69 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 1729 0 0 0 69 0 0 0 16 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13627016 CPUtime=0.76 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 2719 0 0 0 76 0 0 0 15 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13627016 CPUtime=0.73 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 2228 0 0 0 73 0 0 0 16 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13627016 CPUtime=0.72 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 2490 0 0 0 72 0 0 0 16 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13627016 CPUtime=0.73 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 907 0 0 0 73 0 0 0 15 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0.77 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 2346 0 0 0 77 0 0 0 15 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0.82 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 3289 0 0 0 81 1 0 0 15 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0.8 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 2160 0 0 0 80 0 0 0 15 0 19 0 825501479 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=20.17 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 24904 0 0 0 2012 5 0 0 15 0 19 0 825501480 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.51 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2136 0 0 0 51 0 0 0 15 0 19 0 825501483 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825501483 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13954064384 88172 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (KiB) 13627016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/609 29239
/proc/meminfo: memFree=26098180/32950928 swapFree=43925852/67111528
[pid=29078] ppid=29076 vsize=13627016 CPUtime=1800.03 cores=1,3,5,7
/proc/29078/stat : 29078 (java) S 29076 29078 24211 0 -1 4202496 94864 0 1 0 179984 19 0 0 25 0 19 0 825501477 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29078/statm: 3406754 88190 2264 9 0 3397488 0
[pid=29078/tid=29079] ppid=29076 vsize=13627016 CPUtime=1772.39 cores=1,3,5,7
/proc/29078/task/29079/stat : 29079 (java) R 29076 29078 24211 0 -1 4202560 41434 0 1 0 177234 5 0 0 25 0 19 0 825501477 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 46912505761283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29078/tid=29081] ppid=29076 vsize=13627016 CPUtime=0.69 cores=1,3,5,7
/proc/29078/task/29081/stat : 29081 (java) S 29076 29078 24211 0 -1 4202560 1729 0 0 0 69 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29082] ppid=29076 vsize=13627016 CPUtime=0.76 cores=1,3,5,7
/proc/29078/task/29082/stat : 29082 (java) S 29076 29078 24211 0 -1 4202560 2731 0 0 0 76 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29083] ppid=29076 vsize=13627016 CPUtime=0.73 cores=1,3,5,7
/proc/29078/task/29083/stat : 29083 (java) S 29076 29078 24211 0 -1 4202560 2228 0 0 0 73 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29084] ppid=29076 vsize=13627016 CPUtime=0.72 cores=1,3,5,7
/proc/29078/task/29084/stat : 29084 (java) S 29076 29078 24211 0 -1 4202560 2490 0 0 0 72 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29085] ppid=29076 vsize=13627016 CPUtime=0.73 cores=1,3,5,7
/proc/29078/task/29085/stat : 29085 (java) S 29076 29078 24211 0 -1 4202560 907 0 0 0 73 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29086] ppid=29076 vsize=13627016 CPUtime=0.77 cores=1,3,5,7
/proc/29078/task/29086/stat : 29086 (java) S 29076 29078 24211 0 -1 4202560 2346 0 0 0 77 0 0 0 16 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29087] ppid=29076 vsize=13627016 CPUtime=0.83 cores=1,3,5,7
/proc/29078/task/29087/stat : 29087 (java) S 29076 29078 24211 0 -1 4202560 3289 0 0 0 82 1 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29088] ppid=29076 vsize=13627016 CPUtime=0.8 cores=1,3,5,7
/proc/29078/task/29088/stat : 29088 (java) S 29076 29078 24211 0 -1 4202560 2160 0 0 0 80 0 0 0 15 0 19 0 825501479 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29089] ppid=29076 vsize=13627016 CPUtime=20.4 cores=1,3,5,7
/proc/29078/task/29089/stat : 29089 (java) S 29076 29078 24211 0 -1 4202560 24910 0 0 0 2035 5 0 0 15 0 19 0 825501480 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 0 0 16800975 18446604461310695424 0 0 -1 3 0 0 0
[pid=29078/tid=29090] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29090/stat : 29090 (java) S 29076 29078 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29091] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29091/stat : 29091 (java) S 29076 29078 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825501481 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29092] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29092/stat : 29092 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284512689 0 4 0 16800975 18446604461310695424 0 0 -1 7 0 0 0
[pid=29078/tid=29093] ppid=29076 vsize=13627016 CPUtime=0.51 cores=1,3,5,7
/proc/29078/task/29093/stat : 29093 (java) S 29076 29078 24211 0 -1 4202560 2136 0 0 0 51 0 0 0 15 0 19 0 825501483 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29094] ppid=29076 vsize=13627016 CPUtime=0.54 cores=1,3,5,7
/proc/29078/task/29094/stat : 29094 (java) S 29076 29078 24211 0 -1 4202560 7252 0 0 0 54 0 0 0 15 0 19 0 825501483 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29095] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29095/stat : 29095 (java) S 29076 29078 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825501483 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284504985 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
[pid=29078/tid=29096] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29096/stat : 29096 (java) S 29076 29078 24211 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825501483 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 1 0 0 0
[pid=29078/tid=29097] ppid=29076 vsize=13627016 CPUtime=0 cores=1,3,5,7
/proc/29078/task/29097/stat : 29097 (java) S 29076 29078 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825501532 13954064384 88190 33554432000 1073741824 1073778376 140736476006640 18446744073709551615 268284505600 0 4 0 16800975 18446604461310695424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13627016

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.12
CPU user time (s): 1799.91
CPU system time (s): 0.212967
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 13627052

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

runsolver used 10.1575 second user time and 24.1753 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-04 00:10:27
IDJOB=3459405
IDBENCH=1498
IDSOLVER=1952
FILE ID=node122/3459405-1307139027
RUNJOBID= node122-1307133514-27531
PBS_JOBID= 13508794
Free space on /tmp= 73804 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-9,16-19.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459405-1307139027/watcher-3459405-1307139027 -o /tmp/evaluation-result-3459405-1307139027/solver-3459405-1307139027 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459405-1307139027.opb

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

MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d
RANDOM SEED=815033754

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31737280 kB
Buffers:        301972 kB
Cached:         422312 kB
SwapCached:      16832 kB
Active:         480164 kB
Inactive:       419156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31737280 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            1652 kB
Writeback:           0 kB
AnonPages:      172900 kB
Mapped:          17540 kB
Slab:           149992 kB
PageTables:      93676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 194154044 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= 73760 MiB
End job on node122 at 2011-06-04 00:40:24