Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | SAT | 4.59362 | 1.9125 |
Name | Langford/ LangfordBin-16_c18.xml |
MD5SUM | 27c67f30ca0ef1b1bbbeaa4cb2c2f178 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.65554 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 48 |
Number of domains | 2 |
Minimum domain size | 16 |
Maximum domain size | 32 |
Distribution of domain sizes | [{"size":16,"count":32},{"size":32,"count":32}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":32},{"degree":32,"count":32}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":16},{"arity":33,"count":32}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 16 |
Distribution of constraint types | [{"type":"intension","count":16},{"type":"element","count":32}] |
Optimization problem | NO |
Type of objective |
0.66/0.53 0.66/0.53 scop both+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 03:16:00 CEST 2018 0.66/0.55 c PID: 15141 0.66/0.55 c IP: 172.20.3.105 0.66/0.55 c HOST: node105.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.18/0.88 c (0,0) Parsing End 1.18/0.88 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 32 1.18/0.88 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.18/0.88 c (0,0) Constraint Name Generate Begin 1.18/0.89 c (0,0) Ctr:HOME/instance-4297170-1532654160.xml,Add:Element:Eq:IntVar:Num 1.18/0.89 c (0,0) Constraint Name Generate End 1.18/0.89 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.18/0.89 c (0,0) CSP to CSPinCNF Begin 1.54/1.09 c (0,0) translated 5 (10%) constraints 1.82/1.16 c (0,0) translated 10 (20%) constraints 2.06/1.21 c (0,0) translated 15 (30%) constraints 2.06/1.23 c (0,0) translated 20 (40%) constraints 2.06/1.25 c (0,0) translated 24 (50%) constraints 2.06/1.27 c (0,0) translated 29 (60%) constraints 2.06/1.29 c (0,0) translated 34 (70%) constraints 2.06/1.29 c (0,0) translated 39 (80%) constraints 2.06/1.29 c (0,0) translated 44 (90%) constraints 2.06/1.29 c (0,0) translated 48 (100%) constraints 2.34/1.33 c (0,0) STATISTICS1:HOME/instance-4297170-1532654160.xml,Add:Element:Eq:IntVar:Num,64,1040,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:66;29:66;28:66;27:66;26:66;25:66;24:66;23:66;22:66;21:66;20:66;19:66;18:66;17:66;16:1090;15:66,3:1024;1:16,2:32;1:3072, 2.34/1.33 c (0,0) =========================================== 2.34/1.33 c (0,0) Both Encoding selects: 2.34/1.33 c (0,0) Order 2.34/1.33 c (0,0) =========================================== 2.34/1.39 c (0,0) translated 104 (10%) constraints 2.65/1.43 c (0,0) translated 208 (20%) constraints 2.65/1.46 c (0,0) translated 312 (30%) constraints 2.65/1.48 c (0,0) translated 416 (40%) constraints 2.99/1.50 c (0,0) translated 520 (50%) constraints 2.99/1.51 c (0,0) translated 624 (60%) constraints 2.99/1.53 c (0,0) translated 728 (70%) constraints 2.99/1.54 c (1,1) translated 832 (80%) constraints 2.99/1.56 c (1,1) translated 936 (90%) constraints 2.99/1.57 c (1,1) translated 1040 (100%) constraints 2.99/1.58 c (1,1) CSP to CSPinCNF End 2.99/1.58 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 3104 ctr, max domain size 30 2.99/1.58 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.99/1.58 c (1,1) CSPinCNF Propagation Begin 3.36/1.64 c (1,1) 0 values, 368 unsatisfiable literals, and 432 valid clauses are removed 3.36/1.64 c (1,1) CSPinCNF Propagation End 3.36/1.64 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.36/1.64 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.36/1.64 c (1,1) Simplify CSPinCNF Begin 3.36/1.66 c (1,1) Simplify CSPinCNF End 3.36/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.36/1.66 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.36/1.66 c (1,1) Calculate Precise Domain Begin 3.36/1.66 c (1,1) 0 values are removed by re-calculation 3.36/1.66 c (1,1) Calculate Precise Domain End 3.36/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.36/1.66 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.36/1.66 c (1,1) CSPinCNF to SatSolver Begin 3.77/1.72 c (1,1) 268 (10 %) CSP clauses are encoded (1680 SAT variables, 1371 SAT clauses) 3.77/1.73 c (1,1) 535 (20 %) CSP clauses are encoded (1680 SAT variables, 1638 SAT clauses) 3.77/1.74 c (1,1) 802 (30 %) CSP clauses are encoded (1680 SAT variables, 1905 SAT clauses) 3.77/1.74 c (1,1) 1069 (40 %) CSP clauses are encoded (1680 SAT variables, 2172 SAT clauses) 3.77/1.75 c (1,1) 1336 (50 %) CSP clauses are encoded (1680 SAT variables, 2439 SAT clauses) 3.77/1.75 c (1,1) 1604 (60 %) CSP clauses are encoded (1680 SAT variables, 2707 SAT clauses) 3.77/1.76 c (1,1) 1871 (70 %) CSP clauses are encoded (1680 SAT variables, 2974 SAT clauses) 3.77/1.76 c (1,1) 2138 (80 %) CSP clauses are encoded (1680 SAT variables, 3241 SAT clauses) 3.77/1.76 c (1,1) 2405 (90 %) CSP clauses are encoded (1680 SAT variables, 3508 SAT clauses) 3.77/1.78 c (1,1) 2672 (100 %) CSP clauses are encoded (1680 SAT variables, 4418 SAT clauses) 3.77/1.78 c (1,1) CSPinCNF to SatSolver End 3.77/1.78 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.13/1.81 c (1,1) STATISTICS2:HOME/instance-4297170-1532654160.xml,Add:Element:Eq:IntVar:Num,576,2672,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:120;29:116;28:112;27:108;26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:1984;15:60;2:2640,3:656;2:1984;1:32,2:32;1:5936, 4.13/1.81 c (1,1) SatSolver.solve Begin 4.13/1.81 c (1,1) 1680 bool, 4432 clause 4.13/1.81 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297170-1532654160.xml-scop-15141.cnf HOME/instance-4297170-1532654160.xml-scop-15141.cnf.out 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 4.13/1.84 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 4.13/1.84 c (1,0) c ========================================[ Problem Statistics ]=========================================== 4.13/1.84 c (1,0) c | | 4.13/1.84 c (1,0) c | Number of variables: 1680 | 4.13/1.84 c (1,0) c | Number of clauses: 4432 | 4.13/1.84 c (1,0) c | Parse time: 0.00 s | 4.13/1.84 c (1,0) c | | 4.13/1.84 c (1,0) c | Eliminated clauses: 0.02 Mb | 4.13/1.84 c (1,0) c | Simplification time: 0.00 s | 4.13/1.84 c (1,0) c | | 4.13/1.84 c (1,0) c | Generating clones | 4.13/1.84 c (1,0) c | all clones generated. Memory = 29.91Mb. | 4.13/1.84 c (1,0) c ========================================================================================================| 4.13/1.84 c (1,0) c last restart ## conflicts : 34 101 4.13/1.84 c (1,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 4.13/1.84 c (1,0) c Total Memory so far : 541.94Mb 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c real time : 0.0122561 s 4.13/1.84 c (1,0) c cpu time : 0.016675 s 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.13/1.84 c (1,0) c 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) c | Conflicts | 119 | 0 | 14 | 27 | 17 | 1 | 26 | 34 | 0 | 4.13/1.84 c (1,0) c | Decisions | 1019 | 137 | 142 | 158 | 147 | 118 | 153 | 164 | 0 | 4.13/1.84 c (1,0) c | Propagations | 23570 | 459 | 3159 | 5123 | 3590 | 826 | 4944 | 5469 | 0 | 4.13/1.84 c (1,0) c | Avg_Trail | | 0 | 765 | 805 | 787 | 229 | 804 | 816 | 0 | 4.13/1.84 c (1,0) c | Avg_DL | | 0 | 96 | 98 | 97 | 14 | 98 | 99 | 0 | 4.13/1.84 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) c | Exported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c | Glues | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) c | Orig_Seen | 7 % | 0 | 429 | 601 | 500 | 5 | 586 | 609 | 0 | 4.13/1.84 c (1,0) c | Diff Orig seen| | - 609 | - 180 | - 8 | - 109 | - 604 | - 23 | X | - 609 | 4.13/1.84 c (1,0) c | Hamming | 13 % | 402 | 160 | 58 | 157 | 382 | 51 | X | 402 | 4.13/1.84 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.13/1.84 c (1,0) 4.13/1.84 c (1,0) s SATISFIABLE 4.13/1.87 c (1,1) SatSolver.solve End 4.13/1.87 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.13/1.87 c (1,1) Show results Begin 4.13/1.89 c (1,1) p[0] = 31 4.13/1.89 c (1,1) p[1] = 29 4.13/1.89 c (1,1) p[2] = 11 4.13/1.89 c (1,1) p[3] = 8 4.13/1.89 c (1,1) p[4] = 30 4.13/1.89 c (1,1) p[5] = 26 4.13/1.89 c (1,1) p[6] = 28 4.13/1.89 c (1,1) p[7] = 23 4.13/1.89 c (1,1) p[8] = 13 4.13/1.89 c (1,1) p[9] = 7 4.13/1.89 c (1,1) p[10] = 10 4.13/1.89 c (1,1) p[11] = 3 4.13/1.89 c (1,1) p[12] = 25 4.13/1.89 c (1,1) p[13] = 17 4.13/1.89 c (1,1) p[14] = 27 4.13/1.89 c (1,1) p[15] = 18 4.13/1.89 c (1,1) p[16] = 24 4.13/1.89 c (1,1) p[17] = 14 4.13/1.89 c (1,1) p[18] = 16 4.13/1.89 c (1,1) p[19] = 5 4.13/1.89 c (1,1) p[20] = 12 4.13/1.89 c (1,1) p[21] = 0 4.13/1.89 c (1,1) p[22] = 22 4.13/1.89 c (1,1) p[23] = 9 4.13/1.89 c (1,1) p[24] = 15 4.13/1.89 c (1,1) p[25] = 1 4.13/1.89 c (1,1) p[26] = 21 4.13/1.89 c (1,1) p[27] = 6 4.13/1.89 c (1,1) p[28] = 20 4.13/1.89 c (1,1) p[29] = 4 4.13/1.89 c (1,1) p[30] = 19 4.13/1.89 c (1,1) p[31] = 2 4.13/1.89 c (1,1) v[0] = 11 4.13/1.89 c (1,1) v[1] = 13 4.13/1.89 c (1,1) v[2] = 16 4.13/1.89 c (1,1) v[3] = 6 4.13/1.89 c (1,1) v[4] = 15 4.13/1.89 c (1,1) v[5] = 10 4.13/1.89 c (1,1) v[6] = 14 4.13/1.89 c (1,1) v[7] = 5 4.13/1.89 c (1,1) v[8] = 2 4.13/1.89 c (1,1) v[9] = 12 4.13/1.89 c (1,1) v[10] = 6 4.13/1.89 c (1,1) v[11] = 2 4.13/1.89 c (1,1) v[12] = 11 4.13/1.89 c (1,1) v[13] = 5 4.13/1.89 c (1,1) v[14] = 9 4.13/1.89 c (1,1) v[15] = 13 4.13/1.89 c (1,1) v[16] = 10 4.13/1.89 c (1,1) v[17] = 7 4.13/1.89 c (1,1) v[18] = 8 4.13/1.89 c (1,1) v[19] = 16 4.13/1.89 c (1,1) v[20] = 15 4.13/1.89 c (1,1) v[21] = 14 4.13/1.89 c (1,1) v[22] = 12 4.13/1.89 c (1,1) v[23] = 4 4.13/1.89 c (1,1) v[24] = 9 4.13/1.89 c (1,1) v[25] = 7 4.13/1.89 c (1,1) v[26] = 3 4.13/1.89 c (1,1) v[27] = 8 4.13/1.89 c (1,1) v[28] = 4 4.13/1.89 c (1,1) v[29] = 1 4.13/1.89 c (1,1) v[30] = 3 4.13/1.89 c (1,1) v[31] = 1 4.13/1.89 s SATISFIABLE 4.13/1.89 v <instantiation> 4.13/1.89 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] v[24] v[25] v[26] v[27] v[28] v[29] v[30] v[31] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31]</list> 4.13/1.89 v <values>11 13 16 6 15 10 14 5 2 12 6 2 11 5 9 13 10 7 8 16 15 14 12 4 9 7 3 8 4 1 3 1 31 29 11 8 30 26 28 23 13 7 10 3 25 17 27 18 24 14 16 5 12 0 22 9 15 1 21 6 20 4 19 2</values> 4.13/1.89 v </instantiation> 4.13/1.89 c (1,1) Show results End 4.13/1.89 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.13/1.89 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL) 4.13/1.89 c END-Prog: Fri Jul 27 03:16:02 CEST 2018
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8506 MiB free) memory of node 1: 16384 MiB (11546 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297170-1532654160/watcher-4297170-1532654160 -o /tmp/evaluation-result-4297170-1532654160/solver-4297170-1532654160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532654157-15025 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297170-1532654160.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15141, runsolver pid=15138 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 8.68 8.75 8.80 3/198 15161 /proc/meminfo: memFree=20441172/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27312552 memory=107792 CPUtime=0.11 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 7007 0 0 0 9 2 0 0 20 0 20 0 82979159 27968053248 26948 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6828138 26948 2747 1 0 6790598 0 [pid=15141/tid=15143] ppid=15138 vsize=27312552 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 5094 0 0 0 7 1 0 0 20 0 20 0 82979159 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707397589016 140707425795478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27312552 memory=140190958212736 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 26948 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979163 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140704700258256 140707425802139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) S 15138 15141 14998 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705879022320 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705877969776 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705876916720 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 26948 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27968053248 26948 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 107792 KiB [startup+0.210151 s]* /proc/loadavg: 8.68 8.75 8.80 2/198 15161 /proc/meminfo: memFree=20425140/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27312552 memory=122164 CPUtime=0.25 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 10798 0 0 0 21 4 0 0 20 0 20 0 82979159 27968053248 30541 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6828138 30541 2883 1 0 6790598 0 [pid=15141/tid=15143] ppid=15138 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 8670 0 0 0 17 3 0 0 20 0 20 0 82979159 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707397573248 140707404228289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27312552 memory=13939 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27312552 memory=140190958762248 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 30541 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979163 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140704700258256 140707425802139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) S 15138 15141 14998 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705879022320 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705877969776 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) S 15138 15141 14998 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705876916720 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 30541 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27968053248 30541 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 122164 KiB [startup+0.3102 s]* /proc/loadavg: 8.68 8.75 8.80 2/198 15161 /proc/meminfo: memFree=20422100/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27312552 memory=125636 CPUtime=0.42 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 11353 0 0 0 38 4 0 0 20 0 20 0 82979159 27968053248 31409 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6828138 31409 2977 1 0 6790598 0 [pid=15141/tid=15143] ppid=15138 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 9040 0 0 0 26 3 0 0 20 0 20 0 82979159 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707397587696 140707408970352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27312552 memory=140190819644335 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27312552 memory=140190819646640 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27312552 memory=140190819648944 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27968053248 31409 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979163 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27312552 memory=280381639304848 CPUtime=0 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27312552 memory=280381639311760 CPUtime=0 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82979164 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27312552 memory=280381639253040 CPUtime=0 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140704700258256 140707425802139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27312552 memory=280381639325584 CPUtime=0.01 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) S 15138 15141 14998 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705879022320 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27312552 memory=280381639332496 CPUtime=0.01 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) S 15138 15141 14998 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705877969776 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27312552 memory=280381639330192 CPUtime=0.01 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) S 15138 15141 14998 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705876916720 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27312552 memory=280381639346800 CPUtime=0.07 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27968053248 31409 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27968053248 31409 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125636 KiB [startup+0.700921 s] /proc/loadavg: 8.68 8.75 8.80 2/198 15161 /proc/meminfo: memFree=20397544/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27320948 memory=163072 CPUtime=0.99 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 18455 0 0 0 92 7 0 0 20 0 20 0 82979159 27976650752 40768 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6830237 40768 3138 1 0 6791622 0 [pid=15141/tid=15143] ppid=15138 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 15713 0 0 0 61 6 0 0 20 0 20 0 82979159 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707397612224 140707425804890 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27320948 memory=1196 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27320948 memory=8532 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27320948 memory=4616 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27320948 memory=1424 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27320948 memory=15868 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27976650752 40768 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27320948 memory=4052 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82979163 27976650752 40768 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 ################ # More data... # ################ [pid=15141/tid=15159] ppid=15138 vsize=27322996 memory=18252 CPUtime=0.64 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 2376 0 0 0 63 1 0 0 20 0 20 0 82979166 27978747904 55683 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27978747904 55683 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27978747904 55683 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 2.99 s Current children cumulated vsize: 27322996 KiB Current children cumulated memory: 222732 KiB [startup+1.91246 s] # the end of solver process 15141 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.44517 s, system=0.148451 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60107 s] /proc/loadavg: 8.68 8.75 8.80 4/198 15161 /proc/meminfo: memFree=20371056/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27322996 memory=235840 CPUtime=3.36 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 22775 0 0 0 324 12 0 0 20 0 20 0 82979159 27978747904 58960 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6830749 58960 3200 1 0 6792134 0 [pid=15141/tid=15143] ppid=15138 vsize=27322996 memory=0 CPUtime=1.56 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 16877 0 0 0 149 7 0 0 20 0 20 0 82979159 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707397621616 140706911509020 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27322996 memory=4136 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27322996 memory=24580 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27322996 memory=6442450945227 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27322996 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27322996 memory=15824378344507954 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27978747904 58960 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27322996 memory=1704 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82979163 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27322996 memory=9996 CPUtime=0 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82979164 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27322996 memory=5792 CPUtime=0 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82979164 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27322996 memory=1936 CPUtime=0 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140704700258256 140707425802139 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27322996 memory=20036 CPUtime=0.31 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) R 15138 15141 14998 0 -1 4202560 1068 0 0 0 30 1 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705879022320 140707406105839 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27322996 memory=6943526294502006880 CPUtime=0.41 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) R 15138 15141 14998 0 -1 4202560 538 0 0 0 41 0 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705877969776 140707425795478 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27322996 memory=6656426216303648864 CPUtime=0.37 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) R 15138 15141 14998 0 -1 4202560 517 0 0 0 37 0 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705876894656 140707409280283 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27322996 memory=6944656592455360604 CPUtime=0.66 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 2408 0 0 0 65 1 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27322996 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27978747904 58960 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27322996 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27978747904 58960 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 3.36 s Current children cumulated vsize: 27322996 KiB Current children cumulated memory: 235840 KiB [startup+1.80084 s] /proc/loadavg: 8.68 8.75 8.80 4/198 15161 /proc/meminfo: memFree=20371056/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27327160 memory=266424 CPUtime=4.13 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 23713 0 0 0 401 12 0 0 20 0 20 0 82979159 27983011840 66606 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6831790 66606 3216 1 0 6792646 0 [pid=15141/tid=15143] ppid=15138 vsize=27327160 memory=6791534058613427641 CPUtime=1.77 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) R 15138 15141 14998 0 -1 4202560 17151 0 0 0 169 8 0 0 20 0 20 0 82979159 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707397619360 140706910214537 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27327160 memory=4580 CPUtime=0 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 66606 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27327160 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82979162 27983011840 67118 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27327160 memory=-2541025662029814883 CPUtime=0 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82979163 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705880074480 140707425794690 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82979164 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27327160 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82979164 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27327160 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140704700258256 140707425802139 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27327160 memory=6944656592455348282 CPUtime=0.48 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) R 15138 15141 14998 0 -1 4202560 1138 0 0 0 47 1 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705879005392 140707425804890 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27327160 memory=8303054830060986464 CPUtime=0.55 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) R 15138 15141 14998 0 -1 4202560 634 0 0 0 55 0 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705877958576 140707406483847 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27327160 memory=8257237230706253920 CPUtime=0.52 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) R 15138 15141 14998 0 -1 4202560 800 0 0 0 52 0 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705876905984 140707410693481 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27327160 memory=-7966001967256141664 CPUtime=0.77 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 2623 0 0 0 76 1 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27327160 memory=8257237230052613020 CPUtime=0 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82979166 27983011840 67118 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15161] ppid=15138 vsize=27327160 memory=14204 CPUtime=0 cores=0-7 /proc/15141/task/15161/stat : 15161 (java) S 15138 15141 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82979167 27983011840 67118 33554432000 4194304 4196468 140728671136768 140705874811568 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 4.13 s Current children cumulated vsize: 27327160 KiB Current children cumulated memory: 266424 KiB [startup+1.90079 s] /proc/loadavg: 8.68 8.75 8.80 4/198 15161 /proc/meminfo: memFree=20371056/32770624 swapFree=67108860/67108860 [pid=15141] ppid=15138 vsize=27655072 memory=288992 CPUtime=4.56 cores=0-7 /proc/15141/stat : 15141 (java) S 15138 15141 14998 0 -1 1077944320 24833 1641 0 0 442 13 1 0 20 0 21 0 82979159 28318793728 72248 33554432000 4194304 4196468 140728671136768 140728671119312 140707425783543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 /proc/15141/statm: 6913768 72248 3221 1 0 6874624 0 [pid=15141/tid=15143] ppid=15138 vsize=27655072 memory=0 CPUtime=1.86 cores=0-7 /proc/15141/task/15143/stat : 15143 (java) S 15138 15141 14998 0 -1 1077944384 17520 1641 0 0 177 8 1 0 20 0 21 0 82979159 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707397627024 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15144] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15144/stat : 15144 (java) S 15138 15141 14998 0 -1 1077944384 1 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707430025744 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15145] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15145/stat : 15145 (java) S 15138 15141 14998 0 -1 1077944384 1 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707244182160 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15146] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15146/stat : 15146 (java) S 15138 15141 14998 0 -1 1077944384 3 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707243129104 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15147] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15147/stat : 15147 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707242076560 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15148] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15148/stat : 15148 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707241024528 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15149] ppid=15138 vsize=27655072 memory=0 CPUtime=0.01 cores=0-7 /proc/15141/task/15149/stat : 15149 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707239971984 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15150] ppid=15138 vsize=27655072 memory=140195253180031 CPUtime=0.01 cores=0-7 /proc/15141/task/15150/stat : 15150 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707238918928 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15151] ppid=15138 vsize=27655072 memory=6944656592455359580 CPUtime=0.01 cores=0-7 /proc/15141/task/15151/stat : 15151 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979162 28318793728 72248 33554432000 4194304 4196468 140728671136768 140707237866384 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15152] ppid=15138 vsize=27655072 memory=6944656592455360604 CPUtime=0.01 cores=0-7 /proc/15141/task/15152/stat : 15152 (java) S 15138 15141 14998 0 -1 1077944384 5 1641 0 0 0 0 1 0 20 0 21 0 82979163 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705880074688 140707425794690 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15153] ppid=15138 vsize=27655072 memory=-3255422371651459150 CPUtime=0.01 cores=0-7 /proc/15141/task/15153/stat : 15153 (java) S 15138 15141 14998 0 -1 1077944384 13 1641 0 0 0 0 1 0 20 0 21 0 82979164 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705208984736 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15154] ppid=15138 vsize=27655072 memory=-7595754389018307680 CPUtime=0.01 cores=0-7 /proc/15141/task/15154/stat : 15154 (java) S 15138 15141 14998 0 -1 1077944384 21 1641 0 0 0 0 1 0 20 0 21 0 82979164 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705074762480 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15155] ppid=15138 vsize=27655072 memory=6944656592455360569 CPUtime=0.01 cores=0-7 /proc/15141/task/15155/stat : 15155 (java) S 15138 15141 14998 0 -1 1077944384 2 1641 0 0 0 0 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140704700257904 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15156] ppid=15138 vsize=27655072 memory=208888 CPUtime=0.57 cores=0-7 /proc/15141/task/15156/stat : 15156 (java) S 15138 15141 14998 0 -1 1077944384 1169 1641 0 0 55 1 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705879012064 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15157] ppid=15138 vsize=27655072 memory=280381639266720 CPUtime=0.66 cores=0-7 /proc/15141/task/15157/stat : 15157 (java) R 15138 15141 14998 0 -1 4202560 861 1641 0 0 65 0 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705877955968 140707410908910 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15158] ppid=15138 vsize=27655072 memory=6656426216303648864 CPUtime=0.63 cores=0-7 /proc/15141/task/15158/stat : 15158 (java) S 15138 15141 14998 0 -1 1077944384 1095 1641 0 0 61 1 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705876907824 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15159] ppid=15138 vsize=27655072 memory=280381639463616 CPUtime=0.82 cores=0-7 /proc/15141/task/15159/stat : 15159 (java) S 15138 15141 14998 0 -1 1077944384 2702 1641 0 0 80 1 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140705875864176 140707425794690 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 [pid=15141/tid=15160] ppid=15138 vsize=27655072 memory=280381639463808 CPUtime=0.01 cores=0-7 /proc/15141/task/15160/stat : 15160 (java) S 15138 15141 14998 0 -1 1077944384 3 1641 0 0 0 0 1 0 20 0 21 0 82979166 28318793728 72248 33554432000 4194304 4196468 140728671136768 140704202353120 140707425793749 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37462016 140728671138778 140728671139077 140728671139077 140728671141839 0 Current children cumulated CPU time: 4.56 s Current children cumulated vsize: 27655072 KiB Current children cumulated memory: 288992 KiB Child status: 0 Real time (s): 1.9125 CPU time (s): 4.59362 CPU user time (s): 4.44517 CPU system time (s): 0.148451 CPU usage (%): 240.189 Max. virtual memory (cumulated for all children) (KiB): 27655072 Max. memory (cumulated for all children) (KiB): 288992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.44517 system time used= 0.148451 maximum resident set size= 289628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26479 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5140 involuntary context switches= 10 # summary of solver processes directly reported to runsolver: # pid: 15141 # total CPU time (s): 4.59362 # total CPU user time (s): 4.44517 # total CPU system time (s): 0.148451 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.034249 second user time and 0.063507 second system time The end
Begin job on node105 at 2018-07-27 03:16:00 IDJOB=4297170 IDBENCH=141345 IDSOLVER=2759 FILE ID=node105/4297170-1532654160 RUNJOBID= node105-1532654157-15025 PBS_JOBID= 21022216 Free space on /tmp= 44624 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Langford/LangfordBin-16_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297170-1532654160/watcher-4297170-1532654160 -o /tmp/evaluation-result-4297170-1532654160/solver-4297170-1532654160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532654157-15025 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297170-1532654160.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 27c67f30ca0ef1b1bbbeaa4cb2c2f178 RANDOM SEED=1805251331 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 20535400 kB MemAvailable: 31927188 kB Buffers: 253200 kB Cached: 11279468 kB SwapCached: 0 kB Active: 2336148 kB Inactive: 9248528 kB Active(anon): 6492 kB Inactive(anon): 73460 kB Active(file): 2329656 kB Inactive(file): 9175068 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 59168 kB Mapped: 41668 kB Shmem: 25228 kB Slab: 343464 kB SReclaimable: 315524 kB SUnreclaim: 27940 kB KernelStack: 3168 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44616 MiB End job on node105 at 2018-07-27 03:16:02