| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 4.49329 | 1.90365 |
| 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.52 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 03:15:57 CEST 2018 0.66/0.55 c PID: 15042 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.20/0.88 c (0,0) Parsing End 1.20/0.88 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 32 1.20/0.88 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.20/0.88 c (0,0) Constraint Name Generate Begin 1.20/0.89 c (0,0) Ctr:HOME/instance-4296934-1532654157.xml,Add:Element:Eq:IntVar:Num 1.20/0.89 c (0,0) Constraint Name Generate End 1.20/0.89 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.20/0.89 c (0,0) CSP to CSPinCNF Begin 1.55/1.09 c (0,0) translated 5 (10%) constraints 1.82/1.16 c (0,0) translated 10 (20%) constraints 2.07/1.21 c (0,0) translated 15 (30%) constraints 2.07/1.23 c (0,0) translated 20 (40%) constraints 2.07/1.25 c (0,0) translated 24 (50%) constraints 2.07/1.27 c (0,0) translated 29 (60%) constraints 2.07/1.29 c (0,0) translated 34 (70%) constraints 2.07/1.29 c (0,0) translated 39 (80%) constraints 2.07/1.29 c (0,0) translated 44 (90%) constraints 2.07/1.29 c (0,0) translated 48 (100%) constraints 2.33/1.34 c (0,0) STATISTICS1:HOME/instance-4296934-1532654157.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.33/1.34 c (0,0) =========================================== 2.33/1.34 c (0,0) Order 2.33/1.34 c (0,0) =========================================== 2.33/1.40 c (0,0) translated 104 (10%) constraints 2.61/1.43 c (0,0) translated 208 (20%) constraints 2.61/1.45 c (0,0) translated 312 (30%) constraints 2.61/1.48 c (0,0) translated 416 (40%) constraints 2.94/1.50 c (0,0) translated 520 (50%) constraints 2.94/1.51 c (0,0) translated 624 (60%) constraints 2.94/1.53 c (0,0) translated 728 (70%) constraints 2.94/1.54 c (1,1) translated 832 (80%) constraints 2.94/1.56 c (1,1) translated 936 (90%) constraints 2.94/1.57 c (1,1) translated 1040 (100%) constraints 2.94/1.58 c (1,1) CSP to CSPinCNF End 2.94/1.58 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 3104 ctr, max domain size 30 2.94/1.58 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.94/1.58 c (1,1) CSPinCNF Propagation Begin 3.33/1.64 c (1,1) 0 values, 368 unsatisfiable literals, and 432 valid clauses are removed 3.33/1.64 c (1,1) CSPinCNF Propagation End 3.33/1.64 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.33/1.64 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.33/1.64 c (1,1) Simplify CSPinCNF Begin 3.33/1.66 c (1,1) Simplify CSPinCNF End 3.33/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.33/1.66 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.33/1.66 c (1,1) Calculate Precise Domain Begin 3.33/1.66 c (1,1) 0 values are removed by re-calculation 3.33/1.66 c (1,1) Calculate Precise Domain End 3.33/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30 3.33/1.66 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.33/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.77 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.15/1.81 c (1,1) STATISTICS2:HOME/instance-4296934-1532654157.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.15/1.81 c (1,1) SatSolver.solve Begin 4.15/1.81 c (1,1) 1680 bool, 4432 clause 4.15/1.81 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296934-1532654157.xml-scop-15042.cnf HOME/instance-4296934-1532654157.xml-scop-15042.cnf.out 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 4.15/1.85 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 4.15/1.85 c (1,0) c ========================================[ Problem Statistics ]=========================================== 4.15/1.85 c (1,0) c | | 4.15/1.85 c (1,0) c | Number of variables: 1680 | 4.15/1.85 c (1,0) c | Number of clauses: 4432 | 4.15/1.85 c (1,0) c | Parse time: 0.00 s | 4.15/1.85 c (1,0) c | | 4.15/1.85 c (1,0) c | Eliminated clauses: 0.02 Mb | 4.15/1.85 c (1,0) c | Simplification time: 0.00 s | 4.15/1.85 c (1,0) c | | 4.15/1.85 c (1,0) c | Generating clones | 4.15/1.85 c (1,0) c | all clones generated. Memory = 29.90Mb. | 4.15/1.85 c (1,0) c ========================================================================================================| 4.15/1.85 c (1,0) c last restart ## conflicts : 34 101 4.15/1.85 c (1,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer). 4.15/1.85 c (1,0) c last restart ## conflicts : 34 101 4.15/1.85 c (1,0) c Total Memory so far : 605.93Mb 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c real time : 0.0118761 s 4.15/1.85 c (1,0) c cpu time : 0.017649 s 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.15/1.85 c (1,0) c 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) c | Conflicts | 175 | 32 | 27 | 1 | 34 | 21 | 25 | 1 | 34 | 4.15/1.85 c (1,0) c | Decisions | 1208 | 183 | 158 | 118 | 164 | 150 | 153 | 118 | 164 | 4.15/1.85 c (1,0) c | Propagations | 31781 | 5069 | 5123 | 826 | 5469 | 4203 | 4796 | 826 | 5469 | 4.15/1.85 c (1,0) c | Avg_Trail | | 732 | 805 | 229 | 816 | 796 | 801 | 229 | 816 | 4.15/1.85 c (1,0) c | Avg_DL | | 136 | 98 | 14 | 99 | 98 | 98 | 14 | 99 | 4.15/1.85 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) c | Exported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c | Glues | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) c | Orig_Seen | 9 % | 422 | 601 | 5 | 609 | 560 | 571 | 5 | 609 | 4.15/1.85 c (1,0) c | Diff Orig seen| | - 187 | - 8 | - 604 | X | - 49 | - 38 | - 604 | - 0 | 4.15/1.85 c (1,0) c | Hamming | 12 % | 323 | 58 | 382 | X | 164 | 135 | 382 | 0 | 4.15/1.85 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.15/1.85 c (1,0) 4.15/1.85 c (1,0) s SATISFIABLE 4.15/1.87 c (1,1) SatSolver.solve End 4.15/1.87 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.15/1.87 c (1,1) Show results Begin 4.15/1.89 c (1,1) p[0] = 31 4.15/1.89 c (1,1) p[1] = 29 4.15/1.89 c (1,1) p[2] = 11 4.15/1.89 c (1,1) p[3] = 8 4.15/1.89 c (1,1) p[4] = 30 4.15/1.89 c (1,1) p[5] = 26 4.15/1.89 c (1,1) p[6] = 28 4.15/1.89 c (1,1) p[7] = 23 4.15/1.89 c (1,1) p[8] = 13 4.15/1.89 c (1,1) p[9] = 7 4.15/1.89 c (1,1) p[10] = 10 4.15/1.89 c (1,1) p[11] = 3 4.15/1.89 c (1,1) p[12] = 25 4.15/1.89 c (1,1) p[13] = 17 4.15/1.89 c (1,1) p[14] = 27 4.15/1.89 c (1,1) p[15] = 18 4.15/1.89 c (1,1) p[16] = 24 4.15/1.89 c (1,1) p[17] = 14 4.15/1.89 c (1,1) p[18] = 16 4.15/1.89 c (1,1) p[19] = 5 4.15/1.89 c (1,1) p[20] = 12 4.15/1.89 c (1,1) p[21] = 0 4.15/1.89 c (1,1) p[22] = 22 4.15/1.89 c (1,1) p[23] = 9 4.15/1.89 c (1,1) p[24] = 15 4.15/1.89 c (1,1) p[25] = 1 4.15/1.89 c (1,1) p[26] = 21 4.15/1.89 c (1,1) p[27] = 6 4.15/1.89 c (1,1) p[28] = 20 4.15/1.89 c (1,1) p[29] = 4 4.15/1.89 c (1,1) p[30] = 19 4.15/1.89 c (1,1) p[31] = 2 4.15/1.89 c (1,1) v[0] = 11 4.15/1.89 c (1,1) v[1] = 13 4.15/1.89 c (1,1) v[2] = 16 4.15/1.89 c (1,1) v[3] = 6 4.15/1.89 c (1,1) v[4] = 15 4.15/1.89 c (1,1) v[5] = 10 4.15/1.89 c (1,1) v[6] = 14 4.15/1.89 c (1,1) v[7] = 5 4.15/1.89 c (1,1) v[8] = 2 4.15/1.89 c (1,1) v[9] = 12 4.15/1.89 c (1,1) v[10] = 6 4.15/1.89 c (1,1) v[11] = 2 4.15/1.89 c (1,1) v[12] = 11 4.15/1.89 c (1,1) v[13] = 5 4.15/1.89 c (1,1) v[14] = 9 4.15/1.89 c (1,1) v[15] = 13 4.15/1.89 c (1,1) v[16] = 10 4.15/1.89 c (1,1) v[17] = 7 4.15/1.89 c (1,1) v[18] = 8 4.15/1.89 c (1,1) v[19] = 16 4.15/1.89 c (1,1) v[20] = 15 4.15/1.89 c (1,1) v[21] = 14 4.15/1.89 c (1,1) v[22] = 12 4.15/1.89 c (1,1) v[23] = 4 4.15/1.89 c (1,1) v[24] = 9 4.15/1.89 c (1,1) v[25] = 7 4.15/1.89 c (1,1) v[26] = 3 4.15/1.89 c (1,1) v[27] = 8 4.15/1.89 c (1,1) v[28] = 4 4.15/1.89 c (1,1) v[29] = 1 4.15/1.89 c (1,1) v[30] = 3 4.15/1.89 c (1,1) v[31] = 1 4.15/1.89 s SATISFIABLE 4.15/1.89 v <instantiation> 4.15/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.15/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.15/1.89 v </instantiation> 4.15/1.89 c (1,1) Show results End 4.15/1.89 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 4.15/1.89 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL) 4.15/1.89 c END-Prog: Fri Jul 27 03:15:59 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 (8509 MiB free)
memory of node 1: 16384 MiB (11547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296934-1532654157/watcher-4296934-1532654157 -o /tmp/evaluation-result-4296934-1532654157/solver-4296934-1532654157 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532654157-15025 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296934-1532654157.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=15042, runsolver pid=15039
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 9.26 8.87 8.84 2/198 15062
/proc/meminfo: memFree=20441060/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27312552 memory=110048 CPUtime=0.1 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 6534 0 0 0 8 2 0 0 20 0 20 0 82978852 27968053248 27512 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6828138 27512 2750 1 0 6790598 0
[pid=15042/tid=15044] ppid=15039 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 4644 0 0 0 7 2 0 0 20 0 20 0 82978852 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969656715984 139969666465127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27312552 memory=139664059647616 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 27512 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978856 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 27512 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 27512 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) S 15039 15042 14998 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968876845168 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968875792368 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968874740080 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) S 15039 15042 14998 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968873687280 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 27512 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27968053248 27512 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110048 KiB
[startup+0.21012 s]*
/proc/loadavg: 9.26 8.87 8.84 3/198 15062
/proc/meminfo: memFree=20424720/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27312552 memory=124164 CPUtime=0.24 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 10320 0 0 0 21 3 0 0 20 0 20 0 82978852 27968053248 31041 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6828138 31041 2855 1 0 6790598 0
[pid=15042/tid=15044] ppid=15039 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 8218 0 0 0 17 3 0 0 20 0 20 0 82978852 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969656692288 139969668945253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27312552 memory=13939 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27312552 memory=139664060197128 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31041 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978856 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 31041 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 31041 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) S 15039 15042 14998 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968876845168 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) S 15039 15042 14998 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968875792368 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) S 15039 15042 14998 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968874740080 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) S 15039 15042 14998 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968873687280 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31041 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27968053248 31041 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124164 KiB
[startup+0.310095 s]*
/proc/loadavg: 9.26 8.87 8.84 2/198 15062
/proc/meminfo: memFree=20421308/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27312552 memory=127920 CPUtime=0.42 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 10873 0 0 0 38 4 0 0 20 0 20 0 82978852 27968053248 31980 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6828138 31980 2988 1 0 6790598 0
[pid=15042/tid=15044] ppid=15039 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 8588 0 0 0 26 3 0 0 20 0 20 0 82978852 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969656705552 139969670067262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27312552 memory=139663947953071 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27312552 memory=139663947955376 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27312552 memory=139663947957680 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27968053248 31980 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978856 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27312552 memory=279327895922320 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 31980 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27312552 memory=279327895929232 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27968053248 31980 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27312552 memory=279327895870512 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27312552 memory=279327895943056 CPUtime=0.01 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) S 15039 15042 14998 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968876845168 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27312552 memory=279327895949968 CPUtime=0.01 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) S 15039 15042 14998 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968875792368 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27312552 memory=279327895947664 CPUtime=0.01 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) S 15039 15042 14998 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968874740080 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27312552 memory=279327895964272 CPUtime=0.07 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) S 15039 15042 14998 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968873687280 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27968053248 31980 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27968053248 31980 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127920 KiB
[startup+0.703476 s]
/proc/loadavg: 9.26 8.87 8.84 2/198 15062
/proc/meminfo: memFree=20397124/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27320948 memory=165436 CPUtime=1 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 17952 0 0 0 94 6 0 0 20 0 20 0 82978852 27976650752 41359 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6830237 41359 3148 1 0 6791622 0
[pid=15042/tid=15044] ppid=15039 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 15219 0 0 0 62 5 0 0 20 0 20 0 82978852 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969656739136 139969668982110 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27320948 memory=1196 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27320948 memory=8532 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27320948 memory=1424 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27320948 memory=15868 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27976650752 41359 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27320948 memory=4052 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82978856 27976650752 41359 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
################
# More data... #
################
[pid=15042/tid=15061] ppid=15039 vsize=27320948 memory=1704 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27976650752 41359 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27320948 memory=9996 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27976650752 41359 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 27320948 KiB
Current children cumulated memory: 165436 KiB
[startup+1.50098 s]
/proc/loadavg: 9.26 8.87 8.84 6/198 15062
/proc/meminfo: memFree=20370900/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27322996 memory=224796 CPUtime=2.94 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 21983 0 0 0 283 11 0 0 20 0 20 0 82978852 27978747904 56199 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6830749 56199 3199 1 0 6792134 0
[pid=15042/tid=15044] ppid=15039 vsize=27322996 memory=0 CPUtime=1.46 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 16309 0 0 0 140 6 0 0 20 0 20 0 82978852 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969656736368 139969179422724 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27322996 memory=279327896478896 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27322996 memory=66778151519210 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27322996 memory=66778151519210 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27322996 memory=279327896502080 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 56199 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82978856 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27322996 memory=1196 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27978747904 56199 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27322996 memory=8532 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27978747904 56199 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27322996 memory=4616 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27322996 memory=1424 CPUtime=0.26 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) R 15039 15042 14998 0 -1 4202560 805 0 0 0 25 1 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968876845168 139969684922970 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27322996 memory=15868 CPUtime=0.24 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) R 15039 15042 14998 0 -1 4202560 724 0 0 0 24 0 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968875770688 139969666422498 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27322996 memory=4052 CPUtime=0.3 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) R 15039 15042 14998 0 -1 4202560 408 0 0 0 29 1 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968874740080 139969684922970 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27322996 memory=18252 CPUtime=0.64 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) S 15039 15042 14998 0 -1 1077944384 2387 0 0 0 63 1 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968873687280 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27978747904 56199 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27978747904 56199 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 27322996 KiB
Current children cumulated memory: 224796 KiB
[startup+1.90362 s]
# the end of solver process 15042 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.34459 s, system=0.148697 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60114 s]
/proc/loadavg: 9.26 8.87 8.84 6/198 15062
/proc/meminfo: memFree=20370900/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27322996 memory=238904 CPUtime=3.33 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 22421 0 0 0 322 11 0 0 20 0 20 0 82978852 27978747904 59726 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6830749 59726 3199 1 0 6792134 0
[pid=15042/tid=15044] ppid=15039 vsize=27322996 memory=0 CPUtime=1.57 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 16377 0 0 0 150 7 0 0 20 0 20 0 82978852 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969656738240 139969183110326 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27322996 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27322996 memory=4136 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27322996 memory=24580 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27322996 memory=6442450945227 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27322996 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27322996 memory=15824378344507954 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27978747904 59726 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27322996 memory=1704 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82978856 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27322996 memory=9996 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27978747904 59726 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27322996 memory=5792 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27978747904 59726 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27322996 memory=1936 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27322996 memory=20036 CPUtime=0.34 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) S 15039 15042 14998 0 -1 1077944384 843 0 0 0 33 1 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968876845168 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27322996 memory=6943526294502006880 CPUtime=0.32 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) S 15039 15042 14998 0 -1 1077944384 752 0 0 0 32 0 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968875792368 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27322996 memory=6656426216303648864 CPUtime=0.4 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) R 15039 15042 14998 0 -1 4202560 680 0 0 0 39 1 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968874732032 139969662649073 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27322996 memory=6944656592455360604 CPUtime=0.67 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) R 15039 15042 14998 0 -1 4202560 2419 0 0 0 66 1 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968873681664 139969684922970 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27322996 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27978747904 59726 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27322996 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27978747904 59726 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 27322996 KiB
Current children cumulated memory: 238904 KiB
[startup+1.80088 s]
/proc/loadavg: 9.26 8.87 8.84 6/198 15062
/proc/meminfo: memFree=20370900/32770624 swapFree=67108860/67108860
[pid=15042] ppid=15039 vsize=27327160 memory=265744 CPUtime=4.15 cores=0-7
/proc/15042/stat : 15042 (java) S 15039 15042 14998 0 -1 1077944320 23850 0 0 0 402 13 0 0 20 0 20 0 82978852 27983011840 66436 33554432000 4194304 4196468 140736545241872 140736545224416 139969684901623 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
/proc/15042/statm: 6831790 66436 3211 1 0 6792646 0
[pid=15042/tid=15044] ppid=15039 vsize=27327160 memory=6791534058613427641 CPUtime=1.76 cores=0-7
/proc/15042/task/15044/stat : 15044 (java) R 15039 15042 14998 0 -1 4202560 16649 0 0 0 169 7 0 0 20 0 20 0 82978852 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969656737264 139969175884477 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15045] ppid=15039 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15045/stat : 15045 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969689144208 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15046] ppid=15039 vsize=27327160 memory=4580 CPUtime=0 cores=0-7
/proc/15042/task/15046/stat : 15046 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969503300368 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15047] ppid=15039 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15047/stat : 15047 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969502248080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15048] ppid=15039 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/15042/task/15048/stat : 15048 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969501195280 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15049] ppid=15039 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/15042/task/15049/stat : 15049 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969500141968 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15050] ppid=15039 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15050/stat : 15050 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969499089168 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15051] ppid=15039 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/15042/task/15051/stat : 15051 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969498036880 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15052] ppid=15039 vsize=27327160 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/15042/task/15052/stat : 15052 (java) S 15039 15042 14998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82978855 27983011840 66436 33554432000 4194304 4196468 140736545241872 139969496984080 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15053] ppid=15039 vsize=27327160 memory=-2541025662029814883 CPUtime=0 cores=0-7
/proc/15042/task/15053/stat : 15053 (java) S 15039 15042 14998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82978856 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968877898352 139969684912770 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15054] ppid=15039 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/15042/task/15054/stat : 15054 (java) S 15039 15042 14998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82978857 27983011840 66436 33554432000 4194304 4196468 140736545241872 139967548351776 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15055] ppid=15039 vsize=27327160 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/15042/task/15055/stat : 15055 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978857 27983011840 66436 33554432000 4194304 4196468 140736545241872 139967279916656 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15056] ppid=15039 vsize=27327160 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/15042/task/15056/stat : 15056 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139966905408080 139969684920219 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15057] ppid=15039 vsize=27327160 memory=6944656592455348282 CPUtime=0.51 cores=0-7
/proc/15042/task/15057/stat : 15057 (java) R 15039 15042 14998 0 -1 4202560 926 0 0 0 50 1 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968876832192 139969666422995 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15058] ppid=15039 vsize=27327160 memory=8303054830060986464 CPUtime=0.47 cores=0-7
/proc/15042/task/15058/stat : 15058 (java) R 15039 15042 14998 0 -1 4202560 853 0 0 0 47 0 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968875779600 139969684915510 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15059] ppid=15039 vsize=27327160 memory=8257237230706253920 CPUtime=0.58 cores=0-7
/proc/15042/task/15059/stat : 15059 (java) R 15039 15042 14998 0 -1 4202560 1463 0 0 0 57 1 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968874724912 139969666423750 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15060] ppid=15039 vsize=27327160 memory=-7966001967256141664 CPUtime=0.77 cores=0-7
/proc/15042/task/15060/stat : 15060 (java) R 15039 15042 14998 0 -1 4202560 2609 0 0 0 76 1 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968873687280 139969664200812 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15061] ppid=15039 vsize=27327160 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/15042/task/15061/stat : 15061 (java) S 15039 15042 14998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82978859 27983011840 66436 33554432000 4194304 4196468 140736545241872 139966407502688 139969684911829 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
[pid=15042/tid=15062] ppid=15039 vsize=27327160 memory=14204 CPUtime=0 cores=0-7
/proc/15042/task/15062/stat : 15062 (java) S 15039 15042 14998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82978860 27983011840 66436 33554432000 4194304 4196468 140736545241872 139968872635184 139969684912770 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27082752 140736545244121 140736545244421 140736545244421 140736545247183 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 27327160 KiB
Current children cumulated memory: 265744 KiB
Child status: 0
Real time (s): 1.90365
CPU time (s): 4.49329
CPU user time (s): 4.34459
CPU system time (s): 0.148697
CPU usage (%): 236.036
Max. virtual memory (cumulated for all children) (KiB): 27327160
Max. memory (cumulated for all children) (KiB): 265744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34459
system time used= 0.148697
maximum resident set size= 290540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26523
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= 5208
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 15042
# total CPU time (s): 4.49329
# total CPU user time (s): 4.34459
# total CPU system time (s): 0.148697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033082 second user time and 0.06332 second system time
The end
Begin job on node105 at 2018-07-27 03:15:57 IDJOB=4296934 IDBENCH=141345 IDSOLVER=2758 FILE ID=node105/4296934-1532654157 RUNJOBID= node105-1532654157-15025 PBS_JOBID= 21022216 Free space on /tmp= 44624 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Langford/LangfordBin-16_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296934-1532654157/watcher-4296934-1532654157 -o /tmp/evaluation-result-4296934-1532654157/solver-4296934-1532654157 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532654157-15025 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296934-1532654157.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 27c67f30ca0ef1b1bbbeaa4cb2c2f178 RANDOM SEED=419524047 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: 20537716 kB MemAvailable: 31929280 kB Buffers: 253196 kB Cached: 11279084 kB SwapCached: 0 kB Active: 2335476 kB Inactive: 9248504 kB Active(anon): 5988 kB Inactive(anon): 73460 kB Active(file): 2329488 kB Inactive(file): 9175044 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 58484 kB Mapped: 41496 kB Shmem: 25228 kB Slab: 343152 kB SReclaimable: 315492 kB SUnreclaim: 27660 kB KernelStack: 3088 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324232 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:15:59