Trace number 4105394

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)122 1800.09 899.879

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
MD5SUMabda325d00dae29cc1f423bbedcd64ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark113
Best CPU time to get the best result obtained on this benchmark0.029994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 113
Optimality of the best value was proved YES
Number of variables515
Total number of constraints559
Number of constraints which are clauses559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Number of terms in the objective function 515
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 515
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 515
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4105394-1466253602.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.26/0.24	c ... done. Wall clock time 0.124s.
0.26/0.24	c declared #vars     515
0.26/0.24	c #constraints  559
0.26/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.26/0.24	c constraints type 
0.26/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 501
0.26/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58
0.26/0.24	c 559 constraints processed.
0.26/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.26/0.24	c constraints type 
0.26/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58
0.26/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 501
0.26/0.24	c 559 constraints processed.
0.26/0.24	c objective function length is 515 literals
0.26/0.26	c And the winner is solver1
0.42/0.75	c SATISFIABLE
0.42/0.75	c OPTIMIZING...
0.42/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
0.42/0.75	o 139
0.99/0.91	c And the winner is solver1
1.19/1.25	c Got one! Elapsed wall clock time (in seconds):1.136
1.19/1.25	o 138
1.32/1.33	c And the winner is solver1
1.43/1.75	c Got one! Elapsed wall clock time (in seconds):1.638
1.43/1.75	o 137
2.75/2.16	c And the winner is solver1
2.75/2.18	c cleaning 3307 clauses out of 6613 with flag 11708/6613
3.11/2.26	c Got one! Elapsed wall clock time (in seconds):2.145
3.11/2.26	o 136
4.17/2.61	c cleaning 4154 clauses out of 8307 with flag 11229/11614
4.98/3.04	c cleaning 5074 clauses out of 10152 with flag 25247/17613
5.41/3.27	c And the winner is solver1
5.56/3.76	c Got one! Elapsed wall clock time (in seconds):3.647
5.56/3.76	o 135
5.64/3.89	c cleaning 5225 clauses out of 10450 with flag 4673/22985
6.65/4.30	c cleaning 5610 clauses out of 11225 with flag 18616/28985
6.86/4.43	c And the winner is solver1
6.91/4.77	c Got one! Elapsed wall clock time (in seconds):4.649
6.91/4.77	o 134
7.41/5.02	c cleaning 5331 clauses out of 10663 with flag 6863/34033
7.82/5.29	c And the winner is solver1
8.02/5.77	c Got one! Elapsed wall clock time (in seconds):5.65
8.02/5.77	o 133
8.28/5.91	c cleaning 5598 clauses out of 11199 with flag 4575/39900
9.08/6.30	c cleaning 5800 clauses out of 11599 with flag 18480/45898
10.14/6.81	c And the winner is solver1
10.18/7.27	c Got one! Elapsed wall clock time (in seconds):7.152
10.18/7.27	o 132
10.84/7.64	c cleaning 8721 clauses out of 17446 with flag 11987/57545
11.88/8.16	c cleaning 7360 clauses out of 14725 with flag 26365/63545
12.48/8.43	c And the winner is solver1
12.58/8.77	c Got one! Elapsed wall clock time (in seconds):8.654
12.58/8.77	o 131
12.64/8.86	c cleaning 6230 clauses out of 12459 with flag 2271/68639
13.47/9.29	c cleaning 6113 clauses out of 12228 with flag 17485/74638
14.29/9.65	c And the winner is solver1
14.40/9.77	c Got one! Elapsed wall clock time (in seconds):9.656
14.40/9.77	o 130
14.47/9.86	c cleaning 5904 clauses out of 11812 with flag 2480/80335
15.58/10.37	c cleaning 5952 clauses out of 11908 with flag 17222/86335
16.58/10.87	c And the winner is solver1
16.74/11.27	c Got one! Elapsed wall clock time (in seconds):11.158
16.74/11.27	o 129
17.39/11.69	c cleaning 8779 clauses out of 17557 with flag 11971/97936
18.49/12.16	c And the winner is solver1
18.62/12.28	c Got one! Elapsed wall clock time (in seconds):12.16
18.62/12.28	o 128
19.26/12.68	c cleaning 9393 clauses out of 18786 with flag 11633/107944
20.32/13.17	c cleaning 7697 clauses out of 15394 with flag 25714/113945
21.51/13.75	c cleaning 7348 clauses out of 14696 with flag 42214/120944
22.92/14.42	c cleaning 7675 clauses out of 15349 with flag 62225/128945
24.84/15.30	c cleaning 8337 clauses out of 16674 with flag 84551/137945
26.43/16.17	c cleaning 9166 clauses out of 18338 with flag 109325/147946
28.42/17.12	c cleaning 10083 clauses out of 20170 with flag 137681/158944
31.16/18.40	c cleaning 11037 clauses out of 22088 with flag 169528/170945
33.76/19.79	c cleaning 12025 clauses out of 24050 with flag 204690/183944
36.96/21.30	c cleaning 13010 clauses out of 26026 with flag 241378/197945
40.16/22.95	c cleaning 14006 clauses out of 28015 with flag 279971/212944
43.78/24.63	c cleaning 15004 clauses out of 30012 with flag 320932/228947
47.18/26.30	c cleaning 16000 clauses out of 32005 with flag 364298/245944
51.00/28.21	c And the winner is solver1
51.00/28.35	c Got one! Elapsed wall clock time (in seconds):28.234
51.00/28.35	o 127
51.70/28.79	c cleaning 19386 clauses out of 38772 with flag 11962/268711
52.69/29.27	c cleaning 12693 clauses out of 25386 with flag 26645/274711
54.06/29.88	c cleaning 9847 clauses out of 19693 with flag 44029/281711
55.32/30.43	c cleaning 8920 clauses out of 17846 with flag 63379/289711
56.52/31.06	c cleaning 8964 clauses out of 17927 with flag 84941/298712
57.92/31.78	c cleaning 9477 clauses out of 18962 with flag 109301/308711
59.52/32.55	c cleaning 10242 clauses out of 20486 with flag 136379/319712
61.32/33.47	c cleaning 11120 clauses out of 22243 with flag 168447/331711
63.52/34.55	c cleaning 12060 clauses out of 24123 with flag 204404/344711
65.93/35.75	c cleaning 13032 clauses out of 26064 with flag 238446/358712
68.12/36.88	c cleaning 14015 clauses out of 28031 with flag 275396/373711
71.36/38.30	c cleaning 15007 clauses out of 30017 with flag 315982/389712
74.36/39.84	c cleaning 15996 clauses out of 32009 with flag 358082/406711
77.56/41.46	c cleaning 17007 clauses out of 34014 with flag 406531/424712
81.57/43.43	c cleaning 17999 clauses out of 36006 with flag 459226/443711
86.14/45.66	c cleaning 19002 clauses out of 38007 with flag 510831/463711
90.56/47.84	c cleaning 20001 clauses out of 40005 with flag 561621/484711
95.36/50.22	c cleaning 21002 clauses out of 42004 with flag 613514/506711
100.57/52.88	c cleaning 22000 clauses out of 44002 with flag 670135/529711
106.17/55.62	c cleaning 23001 clauses out of 46002 with flag 731870/553711
112.62/59.16	c And the winner is solver1
112.62/59.56	c Got one! Elapsed wall clock time (in seconds):59.442
112.62/59.56	o 126
113.55/60.00	c cleaning 25491 clauses out of 50984 with flag 11546/581694
114.57/60.52	c cleaning 15747 clauses out of 31493 with flag 25366/587694
115.75/61.13	c cleaning 11369 clauses out of 22745 with flag 42025/594693
116.97/61.77	c cleaning 9689 clauses out of 19377 with flag 61403/602694
118.55/62.54	c cleaning 9344 clauses out of 18688 with flag 82722/611694
120.15/63.38	c cleaning 9669 clauses out of 19343 with flag 107980/621693
122.35/64.41	c cleaning 10329 clauses out of 20674 with flag 134657/632693
124.55/65.50	c cleaning 11167 clauses out of 22346 with flag 164183/644694
126.95/66.71	c cleaning 12082 clauses out of 24178 with flag 196738/657693
129.75/68.12	c cleaning 13046 clauses out of 26097 with flag 232260/671694
132.62/69.54	c cleaning 14025 clauses out of 28051 with flag 271023/686694
134.82/70.65	c And the winner is solver1
134.88/71.06	c Got one! Elapsed wall clock time (in seconds):70.946
134.88/71.06	o 125
135.54/71.44	c cleaning 15285 clauses out of 30572 with flag 11564/703240
136.55/71.90	c cleaning 10641 clauses out of 21287 with flag 25571/709240
137.55/72.45	c cleaning 8823 clauses out of 17645 with flag 42880/716239
138.95/73.10	c cleaning 8406 clauses out of 16823 with flag 62053/724240
140.16/73.79	c cleaning 8700 clauses out of 17416 with flag 84310/733239
141.75/74.58	c cleaning 9355 clauses out of 18716 with flag 109484/743239
143.55/75.47	c cleaning 10181 clauses out of 20362 with flag 136315/754240
145.74/76.52	c cleaning 11092 clauses out of 22183 with flag 166878/766242
147.94/77.65	c cleaning 12044 clauses out of 24088 with flag 199731/779239
150.54/78.97	c cleaning 13021 clauses out of 26046 with flag 235061/793241
153.49/80.40	c cleaning 14006 clauses out of 28024 with flag 274540/808240
156.87/82.06	c cleaning 15008 clauses out of 30018 with flag 314904/824240
160.28/83.73	c cleaning 16002 clauses out of 32009 with flag 354545/841239
163.67/85.44	c cleaning 17001 clauses out of 34008 with flag 399283/859240
167.26/87.29	c cleaning 18002 clauses out of 36007 with flag 448180/878240
171.66/89.42	c cleaning 18994 clauses out of 38004 with flag 498675/898239
176.81/91.92	c cleaning 19998 clauses out of 40010 with flag 549279/919239
181.20/94.17	c cleaning 21002 clauses out of 42013 with flag 605084/941240
186.40/96.73	c cleaning 21998 clauses out of 44010 with flag 662142/964239
191.60/99.32	c cleaning 23003 clauses out of 46012 with flag 722002/988239
197.00/102.02	c cleaning 24003 clauses out of 48010 with flag 789667/1013240
203.82/105.32	c cleaning 25004 clauses out of 50007 with flag 856482/1039240
209.81/108.35	c cleaning 25998 clauses out of 52002 with flag 926334/1066239
217.01/111.90	c cleaning 26999 clauses out of 54006 with flag 999668/1094241
217.63/112.23	c cleaning 0 clauses out of 8127 with flag 0/8127
225.05/115.78	c cleaning 28000 clauses out of 56005 with flag 1074215/1123239
232.34/119.36	c cleaning 29003 clauses out of 58005 with flag 1152903/1153239
240.15/123.22	c cleaning 30001 clauses out of 60003 with flag 1236692/1184240
248.53/127.37	c cleaning 30999 clauses out of 62001 with flag 1320846/1216239
256.53/131.36	c cleaning 31997 clauses out of 64002 with flag 1403285/1249239
266.53/136.31	c cleaning 32998 clauses out of 66005 with flag 1490707/1283239
277.68/142.35	c cleaning 34000 clauses out of 68009 with flag 1582253/1318241
288.27/147.66	c cleaning 35003 clauses out of 70009 with flag 1684057/1354241
297.54/152.24	c cleaning 35998 clauses out of 72004 with flag 1779858/1391239
308.33/157.69	c cleaning 36999 clauses out of 74007 with flag 1878983/1429240
319.13/163.08	c cleaning 37999 clauses out of 76007 with flag 1982111/1468239
332.22/169.56	c cleaning 39002 clauses out of 78009 with flag 2087365/1508240
345.34/176.03	c cleaning 40003 clauses out of 80007 with flag 2190043/1549240
356.73/181.75	c cleaning 40995 clauses out of 82003 with flag 2297077/1591239
369.46/188.01	c cleaning 41999 clauses out of 84009 with flag 2408286/1634240
384.25/195.41	c cleaning 43005 clauses out of 86010 with flag 2521769/1678240
398.43/202.46	c cleaning 44002 clauses out of 88006 with flag 2638065/1723241
412.61/209.58	c cleaning 44995 clauses out of 90002 with flag 2753722/1769239
429.79/218.09	c cleaning 45998 clauses out of 92008 with flag 2887819/1816240
445.94/226.03	c cleaning 47004 clauses out of 94009 with flag 3008331/1864239
464.11/235.02	c cleaning 47996 clauses out of 96005 with flag 3139159/1913239
482.32/244.11	c cleaning 49004 clauses out of 98009 with flag 3265836/1963239
500.50/253.12	c cleaning 50000 clauses out of 100006 with flag 3394934/2014240
520.14/262.89	c cleaning 50999 clauses out of 102005 with flag 3530760/2066239
539.82/272.55	c cleaning 52003 clauses out of 104007 with flag 3671104/2119240
559.64/282.30	c cleaning 53000 clauses out of 106003 with flag 3814503/2173239
579.46/292.14	c cleaning 53999 clauses out of 108003 with flag 3955483/2228239
600.11/302.35	c cleaning 55003 clauses out of 110006 with flag 4107680/2284241
621.38/312.89	c cleaning 55998 clauses out of 112002 with flag 4252820/2341240
644.44/324.27	c cleaning 56998 clauses out of 114003 with flag 4402781/2399239
667.36/335.53	c cleaning 58001 clauses out of 116006 with flag 4556824/2458240
671.97/337.82	c And the winner is solver1
671.97/338.16	c Got one! Elapsed wall clock time (in seconds):338.047
671.97/338.16	o 124
672.83/338.67	c cleaning 39322 clauses out of 78644 with flag 11623/2478879
674.58/339.34	c cleaning 22661 clauses out of 45322 with flag 25555/2484879
675.58/339.88	c cleaning 14829 clauses out of 29660 with flag 42006/2491878
676.78/340.47	c cleaning 11413 clauses out of 22832 with flag 61552/2499879
677.99/341.10	c cleaning 10203 clauses out of 20419 with flag 83147/2508879
679.58/341.80	c cleaning 10104 clauses out of 20215 with flag 108609/2518878
681.18/342.66	c cleaning 10551 clauses out of 21111 with flag 137199/2529878
683.18/343.61	c cleaning 11275 clauses out of 22560 with flag 166679/2541878
685.38/344.72	c cleaning 12140 clauses out of 24285 with flag 200892/2554878
687.58/345.86	c cleaning 13067 clauses out of 26145 with flag 236943/2568878
690.38/347.25	c cleaning 14038 clauses out of 28079 with flag 275599/2583879
693.90/348.88	c cleaning 15020 clauses out of 30042 with flag 314894/2599880
697.48/350.68	c cleaning 16008 clauses out of 32020 with flag 355455/2616878
701.08/352.43	c cleaning 17005 clauses out of 34013 with flag 399031/2634879
704.69/354.25	c cleaning 18001 clauses out of 36008 with flag 445101/2653879
708.53/356.10	c cleaning 19001 clauses out of 38006 with flag 496753/2673878
713.24/358.33	c cleaning 19997 clauses out of 40005 with flag 551620/2694878
717.64/360.59	c cleaning 20998 clauses out of 42008 with flag 607847/2716878
722.24/362.87	c cleaning 22003 clauses out of 44011 with flag 667180/2739879
726.24/364.89	c And the winner is solver1
726.29/365.24	c Got one! Elapsed wall clock time (in seconds):365.124
726.29/365.24	o 123
727.01/365.63	c cleaning 24397 clauses out of 48804 with flag 11693/2766675
728.00/366.10	c cleaning 15204 clauses out of 30407 with flag 26333/2772675
728.81/366.59	c cleaning 11100 clauses out of 22203 with flag 43392/2779675
730.01/367.13	c cleaning 9548 clauses out of 19103 with flag 63327/2787675
733.33/369.42	c cleaning 9277 clauses out of 18554 with flag 86576/2796674
734.73/370.13	c cleaning 9633 clauses out of 19277 with flag 111137/2806674
736.33/370.93	c cleaning 10320 clauses out of 20646 with flag 138947/2817676
738.14/371.82	c cleaning 11160 clauses out of 22325 with flag 168071/2829675
740.13/372.84	c cleaning 12080 clauses out of 24164 with flag 199394/2842674
742.54/374.03	c cleaning 13043 clauses out of 26085 with flag 234393/2856675
744.94/375.27	c cleaning 14021 clauses out of 28041 with flag 273145/2871674
747.53/376.54	c cleaning 15006 clauses out of 30020 with flag 313545/2887674
750.39/377.94	c cleaning 16008 clauses out of 32015 with flag 355980/2904675
753.60/379.57	c cleaning 17004 clauses out of 34008 with flag 401553/2922676
757.18/381.34	c cleaning 18001 clauses out of 36002 with flag 450405/2941674
761.78/383.60	c cleaning 19001 clauses out of 38003 with flag 501374/2961676
766.38/385.92	c cleaning 19998 clauses out of 40000 with flag 556065/2982674
771.64/388.54	c cleaning 20995 clauses out of 42002 with flag 615891/3004674
776.44/390.96	c cleaning 21999 clauses out of 44007 with flag 676101/3027674
781.84/393.65	c cleaning 23002 clauses out of 46009 with flag 742947/3051675
787.72/396.51	c cleaning 23998 clauses out of 48006 with flag 813547/3076674
793.92/399.67	c cleaning 24999 clauses out of 50008 with flag 889020/3102674
801.12/403.28	c cleaning 26000 clauses out of 52009 with flag 970480/3129674
808.23/406.75	c cleaning 27000 clauses out of 54009 with flag 1042648/3157674
814.83/410.09	c cleaning 28000 clauses out of 56010 with flag 1114128/3186675
822.42/413.82	c cleaning 28998 clauses out of 58010 with flag 1194171/3216675
831.34/418.27	c cleaning 30001 clauses out of 60011 with flag 1273957/3247674
840.34/422.75	c cleaning 31002 clauses out of 62011 with flag 1369333/3279675
849.48/427.20	c cleaning 32000 clauses out of 64008 with flag 1465166/3312674
858.88/431.94	c cleaning 33004 clauses out of 66008 with flag 1563602/3346674
869.61/437.23	c cleaning 33997 clauses out of 68004 with flag 1670034/3381674
871.41/438.10	c And the winner is solver1
871.41/438.32	c Got one! Elapsed wall clock time (in seconds):438.204
871.41/438.32	o 122
872.17/438.72	c cleaning 23349 clauses out of 46698 with flag 11835/3394365
872.96/439.16	c cleaning 14675 clauses out of 29349 with flag 25430/3400365
873.96/439.66	c cleaning 10837 clauses out of 21674 with flag 42217/3407365
875.16/440.27	c cleaning 9416 clauses out of 18837 with flag 62868/3415365
876.37/440.89	c cleaning 9207 clauses out of 18421 with flag 85304/3424365
877.97/441.64	c cleaning 9602 clauses out of 19214 with flag 109515/3434365
879.56/442.40	c cleaning 10304 clauses out of 20612 with flag 137715/3445365
881.38/443.32	c cleaning 11150 clauses out of 22308 with flag 168968/3457365
883.36/444.35	c cleaning 12078 clauses out of 24161 with flag 202901/3470368
885.90/445.51	c cleaning 13035 clauses out of 26080 with flag 238904/3484365
888.49/446.81	c cleaning 14022 clauses out of 28046 with flag 276523/3499366
891.09/448.19	c cleaning 15009 clauses out of 30024 with flag 317430/3515366
894.09/449.69	c cleaning 16000 clauses out of 32014 with flag 363685/3532365
897.10/451.15	c cleaning 17002 clauses out of 34014 with flag 408339/3550365
900.29/452.79	c cleaning 18004 clauses out of 36012 with flag 456811/3569365
904.89/455.00	c cleaning 19002 clauses out of 38008 with flag 508766/3589365
908.89/457.03	c cleaning 20000 clauses out of 40006 with flag 560563/3610365
913.45/459.28	c cleaning 21000 clauses out of 42006 with flag 612785/3632365
918.45/461.79	c cleaning 22000 clauses out of 44006 with flag 666910/3655365
923.66/464.31	c cleaning 22999 clauses out of 46006 with flag 729440/3679365
929.45/467.24	c cleaning 24002 clauses out of 48008 with flag 792964/3704366
935.23/470.09	c cleaning 25001 clauses out of 50006 with flag 857005/3730366
941.02/472.97	c cleaning 25997 clauses out of 52004 with flag 926489/3757365
947.22/476.03	c cleaning 26989 clauses out of 54008 with flag 998675/3785366
954.45/479.53	c cleaning 28006 clauses out of 56019 with flag 1075158/3814366
961.65/483.13	c cleaning 29003 clauses out of 58012 with flag 1150299/3844365
969.47/486.96	c cleaning 30002 clauses out of 60010 with flag 1230249/3875366
976.66/490.51	c cleaning 31000 clauses out of 62008 with flag 1311857/3907366
985.26/494.87	c cleaning 32002 clauses out of 64008 with flag 1393897/3940366
996.06/500.13	c cleaning 33003 clauses out of 66006 with flag 1482788/3974366
1005.68/504.93	c cleaning 33997 clauses out of 68003 with flag 1571482/4009366
1016.41/510.22	c cleaning 35001 clauses out of 70006 with flag 1665038/4045366
1030.09/516.95	c cleaning 36000 clauses out of 72004 with flag 1759579/4082365
1043.29/523.59	c cleaning 36999 clauses out of 74005 with flag 1859041/4120366
1055.16/529.36	c cleaning 38000 clauses out of 76005 with flag 1961389/4159365
1069.41/536.36	c cleaning 39001 clauses out of 78006 with flag 2062170/4199366
1083.41/543.37	c cleaning 40002 clauses out of 80004 with flag 2172315/4240365
1096.08/549.54	c cleaning 41002 clauses out of 82003 with flag 2277694/4282366
1111.38/557.09	c cleaning 41999 clauses out of 84001 with flag 2382383/4325366
1126.46/564.49	c cleaning 43000 clauses out of 86002 with flag 2487357/4369366
1142.89/572.58	c cleaning 43999 clauses out of 88001 with flag 2605103/4414365
1158.48/580.34	c cleaning 44995 clauses out of 90003 with flag 2719469/4460366
1173.48/587.76	c cleaning 46001 clauses out of 92007 with flag 2832338/4507365
1188.66/595.27	c cleaning 47001 clauses out of 94008 with flag 2952387/4555367
1209.21/605.43	c cleaning 47996 clauses out of 96005 with flag 3078335/4604365
1228.56/615.02	c cleaning 48999 clauses out of 98009 with flag 3210248/4654365
1248.89/625.12	c cleaning 50002 clauses out of 100012 with flag 3339595/4705367
1267.02/634.19	c cleaning 51003 clauses out of 102009 with flag 3470576/4757366
1285.79/643.41	c cleaning 52001 clauses out of 104006 with flag 3605416/4810366
1304.38/652.78	c cleaning 52998 clauses out of 106005 with flag 3743138/4864366
1321.75/661.31	c cleaning 53998 clauses out of 108006 with flag 3889763/4919365
1341.53/671.14	c cleaning 54999 clauses out of 110008 with flag 4025796/4975365
1368.49/684.45	c cleaning 56002 clauses out of 112010 with flag 4172523/5032366
1394.91/697.53	c cleaning 57000 clauses out of 114007 with flag 4317547/5090365
1423.32/711.61	c cleaning 57998 clauses out of 116008 with flag 4477007/5149366
1444.98/722.37	c cleaning 59000 clauses out of 118010 with flag 4636951/5209366
1472.23/735.71	c cleaning 59998 clauses out of 120009 with flag 4808548/5270365
1476.43/737.86	c cleaning 0 clauses out of 20352 with flag 0/20352
1496.68/747.81	c cleaning 61006 clauses out of 122011 with flag 4975303/5332365
1520.11/759.42	c cleaning 61999 clauses out of 124005 with flag 5147579/5395365
1547.79/773.12	c cleaning 63003 clauses out of 126006 with flag 5336952/5459365
1580.88/790.93	c cleaning 63996 clauses out of 128003 with flag 5504890/5524365
1607.94/804.44	c cleaning 65000 clauses out of 130008 with flag 5680000/5590366
1633.34/817.07	c cleaning 65995 clauses out of 132007 with flag 5858165/5657365
1660.27/830.50	c cleaning 67004 clauses out of 134013 with flag 6030008/5725366
1689.59/845.08	c cleaning 68000 clauses out of 136011 with flag 6209354/5794368
1718.89/859.55	c cleaning 68996 clauses out of 138008 with flag 6390106/5864365
1749.58/874.88	c cleaning 70001 clauses out of 140013 with flag 6578162/5935366
1786.12/892.97	c cleaning 71005 clauses out of 142011 with flag 6772832/6007365
1800.09/899.81	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.81	c starts		: 119553
1800.09/899.81	c conflicts		: 6044463
1800.09/899.81	c decisions		: 24121111
1800.09/899.81	c propagations		: 355843845
1800.09/899.81	c inspects		: 12709687893
1800.09/899.81	c shortcuts		: 0
1800.09/899.81	c learnt literals	: 0
1800.09/899.81	c learnt binary clauses	: 0
1800.09/899.81	c learnt ternary clauses	: 0
1800.09/899.81	c learnt constraints	: 6044463
1800.09/899.81	c ignored constraints	: 0
1800.09/899.81	c root simplifications	: 0
1800.09/899.81	c removed literals (reason simplification)	: 20174314
1800.09/899.81	c reason swapping (by a shorter reason)	: 0
1800.09/899.81	c Calls to reduceDB	: 232
1800.09/899.81	c Number of update (reduction) of LBD	: 758535
1800.09/899.81	c Imported unit clauses	: 0
1800.09/899.81	c number of reductions to clauses (during analyze)	: 0
1800.09/899.81	c number of learned constraints concerned by reduction	: 0
1800.09/899.81	c number of learning phase by resolution	: 0
1800.09/899.81	c number of learning phase by cutting planes	: 0
1800.09/899.81	c speed (assignments/second)	: 771082.643893856
1800.09/899.81	c non guided choices	0
1800.09/899.84	c learnt constraints type 
1800.09/899.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108104
1800.09/899.84	c >>>>>>>>>> Solver number 1 (18 answers) <<<<<<<<<<<<<<<<<<
1800.09/899.84	c starts		: 69
1800.09/899.84	c conflicts		: 22291
1800.09/899.84	c decisions		: 116309
1800.09/899.84	c propagations		: 570721
1800.09/899.84	c inspects		: 790896911
1800.09/899.84	c shortcuts		: 0
1800.09/899.84	c learnt literals	: 0
1800.09/899.84	c learnt binary clauses	: 0
1800.09/899.84	c learnt ternary clauses	: 0
1800.09/899.84	c learnt constraints	: 22291
1800.09/899.84	c ignored constraints	: 0
1800.09/899.84	c root simplifications	: 0
1800.09/899.84	c removed literals (reason simplification)	: 0
1800.09/899.84	c reason swapping (by a shorter reason)	: 0
1800.09/899.84	c Calls to reduceDB	: 2
1800.09/899.84	c Number of update (reduction) of LBD	: 0
1800.09/899.84	c Imported unit clauses	: 0
1800.09/899.84	c number of reductions to clauses (during analyze)	: 0
1800.09/899.84	c number of learned constraints concerned by reduction	: 0
1800.09/899.84	c number of learning phase by resolution	: 0
1800.09/899.84	c number of learning phase by cutting planes	: 0
1800.09/899.84	c speed (assignments/second)	: 634.4269857767748
1800.09/899.84	c non guided choices	124
1800.09/899.84	c learnt constraints type 
1800.09/899.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3609
1800.09/899.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18682
1800.09/899.84	s SATISFIABLE
1800.09/899.84	c Found 18 solution(s)
1800.09/899.85	v x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 x20 x21 -x22 -x23 -x24 -x25 x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 -x142 -x143 x144 -x145 -x146 x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 x189 -x190 x191 x192 x193 -x194 -x195 -x196 x197 -x198 -x199 x200 x201 x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 x314 x315 -x316 -x317 x318 x319 -x320 x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 x444 -x445 -x446 x447 -x448 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 
1800.09/899.85	c objective function=122
1800.09/899.85	c Total wall clock time (in seconds): 899.731

Verifier Data 

OK	122

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4105394-1466253602/watcher-4105394-1466253602 -o /tmp/evaluation-result-4105394-1466253602/solver-4105394-1466253602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105394-1466253602.opb 

pid=25473
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.29 4.26 4.24 4/198 25476
/proc/meminfo: memFree=27760236/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 2 0 27405690 94019584 917 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 23225 918 697 9 0 16769 0
[pid=25476/tid=25477] ppid=25473 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) D 25473 25476 22091 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 27405690 95129600 927 33554432000 1073741824 1073778376 140735036146336 139899988360744 239863950631 0 0 4096 0 18446744072100588836 0 0 -1 0 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 4.29 4.26 4.24 4/198 25476
/proc/meminfo: memFree=27760236/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 4410 0 1 0 9 1 0 0 20 0 18 0 27405690 9787879424 6042 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2389619 6042 2126 9 0 2380296 0
[pid=25476/tid=25477] ppid=25473 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) R 25473 25476 22091 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 27405690 9787879424 6042 33554432000 1073741824 1073778376 140735036146336 139899988364192 239876498701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200311 s]
/proc/loadavg: 4.29 4.26 4.24 4/198 25476
/proc/meminfo: memFree=27760236/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 4685 0 1 0 25 1 0 0 20 0 18 0 27405690 9787879424 6766 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2389619 6766 2203 9 0 2380296 0
[pid=25476/tid=25477] ppid=25473 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) R 25473 25476 22091 0 -1 4202560 2401 0 1 0 16 1 0 0 20 0 18 0 27405690 9787879424 6766 33554432000 1073741824 1073778376 140735036146336 139899988365304 139899852721440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300354 s]
/proc/loadavg: 4.29 4.26 4.24 4/198 25476
/proc/meminfo: memFree=27760236/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 5098 0 1 0 38 4 0 0 20 0 19 0 27405690 10060525568 9145 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 9145 2234 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2415 0 1 0 21 1 0 0 20 0 19 0 27405690 10060525568 9145 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732

[startup+0.700321 s]
/proc/loadavg: 4.29 4.26 4.24 4/198 25476
/proc/meminfo: memFree=27760236/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 5098 0 1 0 38 4 0 0 20 0 19 0 27405690 10060525568 9145 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 9145 2234 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2415 0 1 0 21 1 0 0 20 0 19 0 27405690 10060525568 9145 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 4.29 4.26 4.24 3/217 25501
/proc/meminfo: memFree=27717548/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 8601 0 1 0 135 8 0 0 20 0 19 0 27405690 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 14880 2256 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2419 0 1 0 22 2 0 0 20 0 19 0 27405690 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25479] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25479/stat : 25479 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899977427496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25480] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25480/stat : 25480 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899976374696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25481] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25481/stat : 25481 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899975321896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25482] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25482/stat : 25482 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899974269096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25483] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25483/stat : 25483 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899973217320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25484] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25484/stat : 25484 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899972164520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25485] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25485/stat : 25485 (java) S 25473 25476 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899971111720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25486] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27405691 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27405692 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27405693 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27405693 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405695 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 3064 0 0 0 31 0 0 0 20 0 19 0 27405695 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/25476/task/25492/stat : 25492 (java) S 25473 25476 22091 0 -1 4202560 1750 0 0 0 33 0 0 0 20 0 19 0 27405695 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899807255352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25493] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25493/stat : 25493 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405695 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899806202744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25494] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25494/stat : 25494 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27405695 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899805150152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25498] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25498/stat : 25498 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27405715 10060525568 14880 33554432000 1073741824 1073778376 140735036146336 139899800937256 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 4.29 4.26 4.24 5/217 25507
/proc/meminfo: memFree=27658920/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=5.21 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 25531 0 1 0 505 16 0 0 20 0 22 0 27405690 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 49778 2283 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2419 0 1 0 22 2 0 0 20 0 22 0 27405690 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25479] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25479/stat : 25479 (java) S 25473 25476 22091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899977427496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25480] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25480/stat : 25480 (java) S 25473 25476 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899976374696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25481] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25481/stat : 25481 (java) S 25473 25476 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899975321896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25482] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25482/stat : 25482 (java) S 25473 25476 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899974269096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25483] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25483/stat : 25483 (java) S 25473 25476 22091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899973217320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25484] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25484/stat : 25484 (java) S 25473 25476 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899972164520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25485] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25485/stat : 25485 (java) S 25473 25476 22091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899971111720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25486] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405692 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 9112 0 0 0 90 1 0 0 20 0 22 0 27405695 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/25476/task/25492/stat : 25492 (java) S 25473 25476 22091 0 -1 4202560 12519 0 0 0 98 2 0 0 20 0 22 0 27405695 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899807255352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25493] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25493/stat : 25493 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899806202744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25494] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25494/stat : 25494 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899805150152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25498] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25498/stat : 25498 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405715 10060525568 49778 33554432000 1073741824 1073778376 140735036146336 139899800937256 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 9824732

[startup+6.30077 s]
/proc/loadavg: 4.35 4.27 4.25 3/217 25516
/proc/meminfo: memFree=27548720/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=9.08 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 26070 0 1 0 883 25 0 0 20 0 22 0 27405690 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 54667 2286 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2419 0 1 0 22 2 0 0 20 0 22 0 27405690 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25479] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25479/stat : 25479 (java) S 25473 25476 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899977427496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25480] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25480/stat : 25480 (java) S 25473 25476 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899976374696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25481] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25481/stat : 25481 (java) S 25473 25476 22091 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899975321896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25482] ppid=25473 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/25476/task/25482/stat : 25482 (java) S 25473 25476 22091 0 -1 4202560 131 0 0 0 1 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899974269096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25483] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25483/stat : 25483 (java) S 25473 25476 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899973217320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25484] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25484/stat : 25484 (java) S 25473 25476 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899972164520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25485] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25485/stat : 25485 (java) S 25473 25476 22091 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899971111720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25486] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 22 0 27405691 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405692 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 9114 0 0 0 93 1 0 0 20 0 22 0 27405695 10060525568 54667 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=1.03 cores=0,2,4,6

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

/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 673 0 0 0 359 17 0 0 20 0 22 0 27405691 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=6.25 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 2536 0 0 0 617 8 0 0 20 0 22 0 27405692 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 9124 0 0 0 110 1 0 0 20 0 22 0 27405695 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/25476/task/25492/stat : 25492 (java) S 25473 25476 22091 0 -1 4202560 14108 0 0 0 177 2 0 0 20 0 22 0 27405695 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899807255352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25493] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25493/stat : 25493 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899806202744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25494] ppid=25473 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/25476/task/25494/stat : 25494 (java) S 25473 25476 22091 0 -1 4202560 47 0 0 0 12 15 0 0 20 0 22 0 27405695 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899805150152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25498] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25498/stat : 25498 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405715 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899800937256 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25657] ppid=25473 vsize=9824732 CPUtime=375.96 cores=0,2,4,6
/proc/25476/task/25657/stat : 25657 (java) R 25473 25476 22091 0 -1 4202560 23 0 0 0 37590 6 0 0 20 0 22 0 27449522 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899804086432 139899852794464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25658] ppid=25473 vsize=9824732 CPUtime=375.94 cores=0,2,4,6
/proc/25476/task/25658/stat : 25658 (java) R 25473 25476 22091 0 -1 4202560 20 0 0 0 37589 5 0 0 20 0 22 0 27449522 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899801988576 139899853528833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25659] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25659/stat : 25659 (java) S 25473 25476 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27449523 10060525568 960123 33554432000 1073741824 1073778376 140735036146336 139899803042856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1642.32
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.26 4.24 4.22 5/219 25671
/proc/meminfo: memFree=23373500/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=1763.15 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 37051 0 1 0 176053 262 0 0 20 0 22 0 27405690 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 960105 2294 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2429 0 1 0 27 3 0 0 20 0 22 0 27405690 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25479] ppid=25473 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/25476/task/25479/stat : 25479 (java) S 25473 25476 22091 0 -1 4202560 865 0 0 0 416 21 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899977427496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25480] ppid=25473 vsize=9824732 CPUtime=4.18 cores=0,2,4,6
/proc/25476/task/25480/stat : 25480 (java) S 25473 25476 22091 0 -1 4202560 745 0 0 0 397 21 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899976374696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25481] ppid=25473 vsize=9824732 CPUtime=4.4 cores=0,2,4,6
/proc/25476/task/25481/stat : 25481 (java) S 25473 25476 22091 0 -1 4202560 926 0 0 0 419 21 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899975321896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25482] ppid=25473 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/25476/task/25482/stat : 25482 (java) S 25473 25476 22091 0 -1 4202560 776 0 0 0 413 22 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899974269096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25483] ppid=25473 vsize=9824732 CPUtime=4.51 cores=0,2,4,6
/proc/25476/task/25483/stat : 25483 (java) S 25473 25476 22091 0 -1 4202560 640 0 0 0 432 19 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899973217320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25484] ppid=25473 vsize=9824732 CPUtime=4.1 cores=0,2,4,6
/proc/25476/task/25484/stat : 25484 (java) S 25473 25476 22091 0 -1 4202560 604 0 0 0 391 19 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899972164520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25485] ppid=25473 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/25476/task/25485/stat : 25485 (java) S 25473 25476 22091 0 -1 4202560 724 0 0 0 385 20 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899971111720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25486] ppid=25473 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 673 0 0 0 379 17 0 0 20 0 22 0 27405691 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=6.25 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 2552 0 0 0 617 8 0 0 20 0 22 0 27405692 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 9124 0 0 0 110 1 0 0 20 0 22 0 27405695 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/25476/task/25492/stat : 25492 (java) S 25473 25476 22091 0 -1 4202560 14108 0 0 0 177 2 0 0 20 0 22 0 27405695 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899807255352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25493] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25493/stat : 25493 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899806202744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25494] ppid=25473 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25476/task/25494/stat : 25494 (java) S 25473 25476 22091 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 27405695 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899805150152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25498] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25498/stat : 25498 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405715 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899800937256 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25657] ppid=25473 vsize=9824732 CPUtime=435.31 cores=0,2,4,6
/proc/25476/task/25657/stat : 25657 (java) R 25473 25476 22091 0 -1 4202560 28 0 0 0 43524 7 0 0 20 0 22 0 27449522 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899804094144 139899852865667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25658] ppid=25473 vsize=9824732 CPUtime=435.3 cores=0,2,4,6
/proc/25476/task/25658/stat : 25658 (java) R 25473 25476 22091 0 -1 4202560 21 0 0 0 43524 6 0 0 20 0 22 0 27449522 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899801987760 139899853194851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25659] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25659/stat : 25659 (java) S 25473 25476 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27449523 10060525568 960105 33554432000 1073741824 1073778376 140735036146336 139899803042856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1763.15
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.801 s]
/proc/loadavg: 4.19 4.23 4.22 5/219 25671
/proc/meminfo: memFree=23373380/32872528 swapFree=1459628/1655852
[pid=25476] ppid=25473 vsize=9824732 CPUtime=1798.48 cores=0,2,4,6
/proc/25476/stat : 25476 (java) S 25473 25476 22091 0 -1 4202496 37066 0 1 0 179585 263 0 0 20 0 22 0 27405690 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 140735036137472 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25476/statm: 2456183 960118 2294 9 0 2446860 0
[pid=25476/tid=25477] ppid=25473 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25476/task/25477/stat : 25477 (java) S 25473 25476 22091 0 -1 4202560 2430 0 1 0 27 3 0 0 20 0 22 0 27405690 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899988366200 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25479] ppid=25473 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/25476/task/25479/stat : 25479 (java) S 25473 25476 22091 0 -1 4202560 865 0 0 0 425 21 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899977427496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25480] ppid=25473 vsize=9824732 CPUtime=4.27 cores=0,2,4,6
/proc/25476/task/25480/stat : 25480 (java) S 25473 25476 22091 0 -1 4202560 745 0 0 0 406 21 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899976374696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25481] ppid=25473 vsize=9824732 CPUtime=4.49 cores=0,2,4,6
/proc/25476/task/25481/stat : 25481 (java) S 25473 25476 22091 0 -1 4202560 926 0 0 0 428 21 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899975321896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25482] ppid=25473 vsize=9824732 CPUtime=4.47 cores=0,2,4,6
/proc/25476/task/25482/stat : 25482 (java) S 25473 25476 22091 0 -1 4202560 776 0 0 0 425 22 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899974269096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25483] ppid=25473 vsize=9824732 CPUtime=4.58 cores=0,2,4,6
/proc/25476/task/25483/stat : 25483 (java) S 25473 25476 22091 0 -1 4202560 640 0 0 0 439 19 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899973217320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25484] ppid=25473 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/25476/task/25484/stat : 25484 (java) S 25473 25476 22091 0 -1 4202560 604 0 0 0 404 19 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899972164520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25485] ppid=25473 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/25476/task/25485/stat : 25485 (java) S 25473 25476 22091 0 -1 4202560 724 0 0 0 392 20 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899971111720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25486] ppid=25473 vsize=9824732 CPUtime=4.02 cores=0,2,4,6
/proc/25476/task/25486/stat : 25486 (java) S 25473 25476 22091 0 -1 4202560 673 0 0 0 385 17 0 0 20 0 22 0 27405691 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899824716456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25487] ppid=25473 vsize=9824732 CPUtime=6.26 cores=0,2,4,6
/proc/25476/task/25487/stat : 25487 (java) S 25473 25476 22091 0 -1 4202560 2565 0 0 0 617 9 0 0 20 0 22 0 27405692 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899812518376 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25488] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25488/stat : 25488 (java) S 25473 25476 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899811464440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25489] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25489/stat : 25489 (java) S 25473 25476 22091 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27405693 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899810411528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25490] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25490/stat : 25490 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899809360016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25476/tid=25491] ppid=25473 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/25476/task/25491/stat : 25491 (java) S 25473 25476 22091 0 -1 4202560 9124 0 0 0 110 1 0 0 20 0 22 0 27405695 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899808308152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25492] ppid=25473 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/25476/task/25492/stat : 25492 (java) S 25473 25476 22091 0 -1 4202560 14108 0 0 0 177 2 0 0 20 0 22 0 27405695 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899807255352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25493] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25493/stat : 25493 (java) S 25473 25476 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27405695 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899806202744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25494] ppid=25473 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25476/task/25494/stat : 25494 (java) S 25473 25476 22091 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 27405695 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899805150152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25498] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25498/stat : 25498 (java) S 25473 25476 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27405715 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899800937256 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25476/tid=25657] ppid=25473 vsize=9824732 CPUtime=452.58 cores=0,2,4,6
/proc/25476/task/25657/stat : 25657 (java) R 25473 25476 22091 0 -1 4202560 28 0 0 0 45251 7 0 0 20 0 22 0 27449522 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899804093344 139899852910833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25476/tid=25658] ppid=25473 vsize=9824732 CPUtime=452.56 cores=0,2,4,6
/proc/25476/task/25658/stat : 25658 (java) R 25473 25476 22091 0 -1 4202560 22 0 0 0 45250 6 0 0 20 0 22 0 27449522 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899801988560 139899853193904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25476/tid=25659] ppid=25473 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25476/task/25659/stat : 25659 (java) S 25473 25476 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27449523 10060525568 960118 33554432000 1073741824 1073778376 140735036146336 139899803042856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25476 sig 9
??? kill -25476 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25476 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=560337
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=941552
# CPU time returned by wait4() is 1796.5
# while last known CPU time is 1798.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.60993
#  lost CPU user time (s): 1.73997
#  lost CPU system time (s): -0.13

Real time (s): 899.879
CPU time (s): 1800.09
CPU user time (s): 1797.59
CPU system time (s): 2.5
CPU usage (%): 200.037
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 2.94155
maximum resident set size= 3840612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37110
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24337
involuntary context switches= 29262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13291 second user time and 5.80512 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 14:40:02
IDJOB=4105394
IDBENCH=2855
IDSOLVER=2543
FILE ID=node136/4105394-1466253602
RUNJOBID= node136-1466240588-22107
PBS_JOBID= 19918192
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105394-1466253602/watcher-4105394-1466253602 -o /tmp/evaluation-result-4105394-1466253602/solver-4105394-1466253602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105394-1466253602.opb

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

MD5SUM BENCH= abda325d00dae29cc1f423bbedcd64ad
RANDOM SEED=2146858536

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27760508 kB
Buffers:           18300 kB
Cached:           104304 kB
SwapCached:        47324 kB
Active:          2620880 kB
Inactive:         127004 kB
Active(anon):    2580388 kB
Inactive(anon):    47248 kB
Active(file):      40492 kB
Inactive(file):    79756 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054628 kB
Dirty:               524 kB
Writeback:             0 kB
AnonPages:       4233340 kB
Mapped:            16912 kB
Shmem:                 0 kB
Slab:             570008 kB
SReclaimable:      13792 kB
SUnreclaim:       556216 kB
KernelStack:        1632 kB
PageTables:        12808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4601500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2533376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node136 at 2016-06-18 14:55:02