Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 4.56446 | 1.88214 |
Name | Langford/ LangfordBin-15_c18.xml |
MD5SUM | 07ea5144b09b59ff4e6e73933349a8c8 |
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.5873 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 45 |
Number of domains | 2 |
Minimum domain size | 15 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":15,"count":30},{"size":30,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":30,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":31,"count":30}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 15 |
Distribution of constraint types | [{"type":"intension","count":15},{"type":"element","count":30}] |
Optimization problem | NO |
Type of objective |
0.66/0.53 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:13 CEST 2018 0.66/0.55 c PID: 15959 0.66/0.55 c IP: 172.20.3.107 0.66/0.55 c HOST: node107.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.18/0.87 c (0,0) Parsing End 1.18/0.88 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 45 ctr, max domain size 30 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-4296933-1532654113.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.55/1.08 c (0,0) translated 5 (10%) constraints 1.84/1.14 c (0,0) translated 9 (20%) constraints 1.84/1.19 c (0,0) translated 14 (30%) constraints 2.09/1.22 c (0,0) translated 18 (40%) constraints 2.09/1.24 c (0,0) translated 23 (50%) constraints 2.09/1.26 c (0,0) translated 27 (60%) constraints 2.09/1.27 c (0,0) translated 32 (70%) constraints 2.09/1.28 c (0,0) translated 36 (80%) constraints 2.09/1.28 c (0,0) translated 41 (90%) constraints 2.09/1.28 c (0,0) translated 45 (100%) constraints 2.36/1.32 c (0,0) STATISTICS1:HOME/instance-4296933-1532654113.xml,Add:Element:Eq:IntVar:Num,60,915,28,28,3,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;14:2,28:62;27:62;26:62;25:62;24:62;23:62;22:62;21:62;20:62;19:62;18:62;17:62;16:62;15:962;14:62,3:900;1:15,2:30;1:2700, 2.36/1.32 c (0,0) =========================================== 2.36/1.32 c (0,0) Order 2.36/1.32 c (0,0) =========================================== 2.36/1.38 c (0,0) translated 92 (10%) constraints 2.65/1.41 c (0,0) translated 183 (20%) constraints 2.65/1.43 c (0,0) translated 275 (30%) constraints 2.65/1.45 c (0,0) translated 366 (40%) constraints 2.65/1.47 c (0,0) translated 458 (50%) constraints 2.65/1.49 c (0,0) translated 549 (60%) constraints 2.99/1.50 c (0,0) translated 641 (70%) constraints 2.99/1.52 c (0,0) translated 732 (80%) constraints 2.99/1.53 c (0,0) translated 824 (90%) constraints 2.99/1.54 c (1,1) translated 915 (100%) constraints 2.99/1.55 c (1,1) CSP to CSPinCNF End 2.99/1.55 c (1,1) CSP: 60 int (0 aux), 450 bool (450 aux), 2730 ctr, max domain size 28 2.99/1.55 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.99/1.55 c (1,1) CSPinCNF Propagation Begin 3.39/1.61 c (1,1) 0 values, 330 unsatisfiable literals, and 390 valid clauses are removed 3.39/1.61 c (1,1) CSPinCNF Propagation End 3.39/1.61 c (1,1) CSP: 60 int (0 aux), 450 bool (450 aux), 2340 ctr, max domain size 28 3.39/1.61 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.39/1.61 c (1,1) Simplify CSPinCNF Begin 3.39/1.62 c (1,1) Simplify CSPinCNF End 3.39/1.62 c (1,1) CSP: 60 int (0 aux), 450 bool (450 aux), 2340 ctr, max domain size 28 3.39/1.62 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.39/1.62 c (1,1) Calculate Precise Domain Begin 3.39/1.62 c (1,1) 0 values are removed by re-calculation 3.39/1.62 c (1,1) Calculate Precise Domain End 3.39/1.62 c (1,1) CSP: 60 int (0 aux), 450 bool (450 aux), 2340 ctr, max domain size 28 3.39/1.62 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.39/1.62 c (1,1) CSPinCNF to SatSolver Begin 3.39/1.69 c (1,1) 234 (10 %) CSP clauses are encoded (1470 SAT variables, 1193 SAT clauses) 3.39/1.70 c (1,1) 468 (20 %) CSP clauses are encoded (1470 SAT variables, 1427 SAT clauses) 3.83/1.70 c (1,1) 702 (30 %) CSP clauses are encoded (1470 SAT variables, 1661 SAT clauses) 3.83/1.71 c (1,1) 936 (40 %) CSP clauses are encoded (1470 SAT variables, 1895 SAT clauses) 3.83/1.71 c (1,1) 1170 (50 %) CSP clauses are encoded (1470 SAT variables, 2129 SAT clauses) 3.83/1.72 c (1,1) 1404 (60 %) CSP clauses are encoded (1470 SAT variables, 2363 SAT clauses) 3.83/1.72 c (1,1) 1638 (70 %) CSP clauses are encoded (1470 SAT variables, 2597 SAT clauses) 3.83/1.72 c (1,1) 1872 (80 %) CSP clauses are encoded (1470 SAT variables, 2831 SAT clauses) 3.83/1.73 c (1,1) 2106 (90 %) CSP clauses are encoded (1470 SAT variables, 3065 SAT clauses) 3.83/1.75 c (1,1) 2340 (100 %) CSP clauses are encoded (1470 SAT variables, 3857 SAT clauses) 3.83/1.75 c (1,1) CSPinCNF to SatSolver End 3.83/1.75 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.83/1.77 c (1,1) STATISTICS2:HOME/instance-4296933-1532654113.xml,Add:Element:Eq:IntVar:Num,510,2340,28,28,3,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;14:2,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:64;15:1740;14:56;2:2310,3:570;2:1740;1:30,2:30;1:5190, 3.83/1.77 c (1,1) SatSolver.solve Begin 3.83/1.77 c (1,1) 1470 bool, 3870 clause 3.83/1.77 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296933-1532654113.xml-scop-15959.cnf HOME/instance-4296933-1532654113.xml-scop-15959.cnf.out 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 4.26/1.82 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 4.26/1.82 c (1,0) c ========================================[ Problem Statistics ]=========================================== 4.26/1.82 c (1,0) c | | 4.26/1.82 c (1,0) c | Number of variables: 1470 | 4.26/1.82 c (1,0) c | Number of clauses: 3870 | 4.26/1.82 c (1,0) c | Parse time: 0.00 s | 4.26/1.82 c (1,0) c | | 4.26/1.82 c (1,0) c | Eliminated clauses: 0.02 Mb | 4.26/1.82 c (1,0) c | Simplification time: 0.00 s | 4.26/1.82 c (1,0) c | | 4.26/1.82 c (1,0) c | Generating clones | 4.26/1.82 c (1,0) c | all clones generated. Memory = 29.42Mb. | 4.26/1.82 c (1,0) c ========================================================================================================| 4.26/1.82 c (1,0) c last restart ## conflicts : 126 34 4.26/1.82 c (1,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 4.26/1.82 c (1,0) c Total Memory so far : 605.45Mb 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c real time : 0.028388 s 4.26/1.82 c (1,0) c cpu time : 0.089423 s 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.26/1.82 c (1,0) c 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) c | Conflicts | 3936 | 554 | 305 | 488 | 323 | 669 | 506 | 550 | 541 | 4.26/1.82 c (1,0) c | Decisions | 5715 | 857 | 420 | 710 | 442 | 994 | 728 | 785 | 779 | 4.26/1.82 c (1,0) c | Propagations | 454078 | 67878 | 31425 | 56747 | 32495 | 79213 | 58988 | 64500 | 62832 | 4.26/1.82 c (1,0) c | Avg_Trail | | 682 | 719 | 718 | 721 | 708 | 718 | 718 | 718 | 4.26/1.82 c (1,0) c | Avg_DL | | 61 | 30 | 31 | 30 | 30 | 31 | 31 | 31 | 4.26/1.82 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) c | Exported | 3 | 1 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Imported | 6 | 0 | 0 | 2 | 0 | 1 | 1 | 1 | 1 | 4.26/1.82 c (1,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Purge | 6 | 0 | 0 | 2 | 0 | 1 | 1 | 1 | 1 | 4.26/1.82 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Binaries | | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c | Glues | | 1 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) c | Orig_Seen | 35 % | 1343 | 913 | 1499 | 920 | 1633 | 1532 | 1576 | 1565 | 4.26/1.82 c (1,0) c | Diff Orig seen| | - 233 | - 663 | - 77 | - 656 | 57 | - 44 | X | - 11 | 4.26/1.82 c (1,0) c | Hamming | 17 % | 272 | 372 | 121 | 348 | 349 | 228 | X | 152 | 4.26/1.82 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.26/1.82 c (1,0) 4.26/1.82 c (1,0) s SATISFIABLE 4.26/1.84 c (1,1) SatSolver.solve End 4.26/1.84 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.26/1.84 c (1,1) Show results Begin 4.26/1.85 c (1,1) p[0] = 25 4.26/1.85 c (1,1) p[1] = 23 4.26/1.85 c (1,1) p[2] = 4 4.26/1.85 c (1,1) p[3] = 1 4.26/1.85 c (1,1) p[4] = 24 4.26/1.85 c (1,1) p[5] = 20 4.26/1.85 c (1,1) p[6] = 22 4.26/1.85 c (1,1) p[7] = 17 4.26/1.85 c (1,1) p[8] = 9 4.26/1.85 c (1,1) p[9] = 3 4.26/1.85 c (1,1) p[10] = 12 4.26/1.85 c (1,1) p[11] = 5 4.26/1.85 c (1,1) p[12] = 8 4.26/1.85 c (1,1) p[13] = 0 4.26/1.85 c (1,1) p[14] = 27 4.26/1.85 c (1,1) p[15] = 18 4.26/1.85 c (1,1) p[16] = 16 4.26/1.85 c (1,1) p[17] = 6 4.26/1.85 c (1,1) p[18] = 21 4.26/1.85 c (1,1) p[19] = 10 4.26/1.85 c (1,1) p[20] = 19 4.26/1.85 c (1,1) p[21] = 7 4.26/1.85 c (1,1) p[22] = 15 4.26/1.85 c (1,1) p[23] = 2 4.26/1.85 c (1,1) p[24] = 28 4.26/1.85 c (1,1) p[25] = 14 4.26/1.85 c (1,1) p[26] = 26 4.26/1.85 c (1,1) p[27] = 11 4.26/1.85 c (1,1) p[28] = 29 4.26/1.85 c (1,1) p[29] = 13 4.26/1.85 c (1,1) v[0] = 7 4.26/1.85 c (1,1) v[1] = 2 4.26/1.85 c (1,1) v[2] = 12 4.26/1.85 c (1,1) v[3] = 5 4.26/1.85 c (1,1) v[4] = 2 4.26/1.85 c (1,1) v[5] = 6 4.26/1.85 c (1,1) v[6] = 9 4.26/1.85 c (1,1) v[7] = 11 4.26/1.85 c (1,1) v[8] = 7 4.26/1.85 c (1,1) v[9] = 5 4.26/1.85 c (1,1) v[10] = 10 4.26/1.85 c (1,1) v[11] = 14 4.26/1.85 c (1,1) v[12] = 6 4.26/1.85 c (1,1) v[13] = 15 4.26/1.85 c (1,1) v[14] = 13 4.26/1.85 c (1,1) v[15] = 12 4.26/1.85 c (1,1) v[16] = 9 4.26/1.85 c (1,1) v[17] = 4 4.26/1.85 c (1,1) v[18] = 8 4.26/1.85 c (1,1) v[19] = 11 4.26/1.85 c (1,1) v[20] = 3 4.26/1.85 c (1,1) v[21] = 10 4.26/1.85 c (1,1) v[22] = 4 4.26/1.85 c (1,1) v[23] = 1 4.26/1.85 c (1,1) v[24] = 3 4.26/1.85 c (1,1) v[25] = 1 4.26/1.85 c (1,1) v[26] = 14 4.26/1.85 c (1,1) v[27] = 8 4.26/1.85 c (1,1) v[28] = 13 4.26/1.85 c (1,1) v[29] = 15 4.26/1.85 s SATISFIABLE 4.26/1.85 v <instantiation> 4.26/1.85 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] 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]</list> 4.26/1.85 v <values>7 2 12 5 2 6 9 11 7 5 10 14 6 15 13 12 9 4 8 11 3 10 4 1 3 1 14 8 13 15 25 23 4 1 24 20 22 17 9 3 12 5 8 0 27 18 16 6 21 10 19 7 15 2 28 14 26 11 29 13</values> 4.26/1.85 v </instantiation> 4.26/1.85 c (1,1) Show results End 4.26/1.85 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.26/1.85 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL) 4.26/1.85 c END-Prog: Fri Jul 27 03:15:15 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 (8736 MiB free) memory of node 1: 16384 MiB (12142 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296933-1532654113/watcher-4296933-1532654113 -o /tmp/evaluation-result-4296933-1532654113/solver-4296933-1532654113 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532654109-15834 --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-4296933-1532654113.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=15959, runsolver pid=15956 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 8.16 8.73 8.78 2/199 15979 /proc/meminfo: memFree=21286544/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27312552 memory=107668 CPUtime=0.1 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 6968 0 0 0 8 2 0 0 20 0 20 0 82974465 27968053248 26917 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6828138 26917 2746 1 0 6790598 0 [pid=15959/tid=15961] ppid=15956 vsize=27312552 memory=8329858793914409628 CPUtime=0.09 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 5062 0 0 0 7 2 0 0 20 0 20 0 82974466 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963945732400 139963973977245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27312552 memory=732370530067868645 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27312552 memory=140391730415232 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 26917 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 26917 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 26917 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) S 15956 15959 15807 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962427025904 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962425973360 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) S 15956 15959 15807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962424920816 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) R 15956 15959 15807 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962423868272 139963973976666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 26917 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 107668 KiB [startup+0.210286 s]* /proc/loadavg: 8.16 8.73 8.78 2/199 15979 /proc/meminfo: memFree=21270296/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27312552 memory=122124 CPUtime=0.24 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 10768 0 0 0 21 3 0 0 20 0 20 0 82974465 27968053248 30531 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6828138 30531 2883 1 0 6790598 0 [pid=15959/tid=15961] ppid=15956 vsize=27312552 memory=0 CPUtime=0.2 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 8661 0 0 0 17 3 0 0 20 0 20 0 82974466 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963945754064 139963973967254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27312552 memory=140391730415232 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27312552 memory=140391730415232 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 30531 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 30531 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 30531 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) S 15956 15959 15807 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962427025904 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962425973360 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) S 15956 15959 15807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962424920816 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) S 15956 15959 15807 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962423868272 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 30531 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 122124 KiB [startup+0.310278 s]* /proc/loadavg: 8.16 8.73 8.78 2/199 15979 /proc/meminfo: memFree=21267256/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27312552 memory=125332 CPUtime=0.42 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 11289 0 0 0 38 4 0 0 20 0 20 0 82974465 27968053248 31333 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6828138 31333 2922 1 0 6790598 0 [pid=15959/tid=15961] ppid=15956 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 9031 0 0 0 26 3 0 0 20 0 20 0 82974466 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963945759472 139963959120864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27312552 memory=140391609363119 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27312552 memory=140391609365424 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27968053248 31333 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27312552 memory=2110742216480676 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 31333 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27312552 memory=2110742216503844 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82974470 27968053248 31333 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27312552 memory=2110742216485284 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27312552 memory=2110742216487588 CPUtime=0.01 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) S 15956 15959 15807 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962427025904 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27312552 memory=2110742216489892 CPUtime=0.02 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) S 15956 15959 15807 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962425973360 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27312552 memory=2110742216504052 CPUtime=0 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) S 15956 15959 15807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962424920816 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27312552 memory=2110742216504084 CPUtime=0.07 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) S 15956 15959 15807 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962423868272 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27968053248 31333 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125332 KiB [startup+0.70094 s] /proc/loadavg: 8.16 8.73 8.78 2/199 15979 /proc/meminfo: memFree=21242948/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27320948 memory=165452 CPUtime=1 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 18457 0 0 0 93 7 0 0 20 0 20 0 82974465 27976650752 41363 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6830237 41363 3154 1 0 6791622 0 [pid=15959/tid=15961] ppid=15956 vsize=27320948 memory=8102086060158702692 CPUtime=0.67 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 15658 0 0 0 62 5 0 0 20 0 20 0 82974466 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963945792048 139963973976666 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27320948 memory=280783218543440 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27320948 memory=2110742216475812 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27320948 memory=96945466 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27320948 memory=2372 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27976650752 41363 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82974470 27976650752 41363 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 ################ # More data... # ################ [pid=15959/tid=15978] ppid=15956 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27976650752 41363 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27320948 memory=952 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27976650752 41363 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 1 s Current children cumulated vsize: 27320948 KiB Current children cumulated memory: 165452 KiB [startup+1.50097 s] /proc/loadavg: 8.16 8.73 8.78 3/199 15979 /proc/meminfo: memFree=21214660/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27322996 memory=224832 CPUtime=2.99 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 22528 0 0 0 288 11 0 0 20 0 20 0 82974465 27978747904 56208 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6830749 56208 3200 1 0 6792134 0 [pid=15959/tid=15961] ppid=15956 vsize=27322996 memory=4465 CPUtime=1.47 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 16763 0 0 0 140 7 0 0 20 0 20 0 82974466 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963945793632 139963973967254 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27322996 memory=4420 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27322996 memory=4580 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27322996 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27322996 memory=140396025382527 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27322996 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27322996 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27322996 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27978747904 56208 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27322996 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82974470 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27322996 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82974470 27978747904 56208 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27322996 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82974470 27978747904 56208 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27322996 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27322996 memory=6655300316396806240 CPUtime=0.3 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) R 15956 15959 15807 0 -1 4202560 987 0 0 0 29 1 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962427026032 139963957454058 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27322996 memory=4206186544037388384 CPUtime=0.26 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) R 15956 15959 15807 0 -1 4202560 630 0 0 0 26 0 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962425959240 139963959065400 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27322996 memory=280783218540784 CPUtime=0.28 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) R 15956 15959 15807 0 -1 4202560 429 0 0 0 27 1 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962424920816 139963958362578 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27322996 memory=7955166091236687980 CPUtime=0.64 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) S 15956 15959 15807 0 -1 1077944384 2352 0 0 0 63 1 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962423868272 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27322996 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27322996 memory=1200 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27978747904 56208 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 2.99 s Current children cumulated vsize: 27322996 KiB Current children cumulated memory: 224832 KiB [startup+1.8821 s] # the end of solver process 15959 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.4038 s, system=0.160666 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60112 s] /proc/loadavg: 8.16 8.73 8.78 3/199 15979 /proc/meminfo: memFree=21214660/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27325044 memory=238604 CPUtime=3.39 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 22925 0 0 0 327 12 0 0 20 0 20 0 82974465 27980845056 59651 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6831261 59651 3200 1 0 6792646 0 [pid=15959/tid=15961] ppid=15956 vsize=27325044 memory=14288 CPUtime=1.57 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 16837 0 0 0 150 7 0 0 20 0 20 0 82974466 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963945792528 139963479512650 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27325044 memory=4004 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27325044 memory=4140 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27325044 memory=24468 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27325044 memory=1296 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27325044 memory=2400 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27325044 memory=280783218841088 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27325044 memory=-3756611412707075625 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27325044 memory=-4190076264842474805 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974468 27980845056 59651 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27325044 memory=-7357787915995474596 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 82974470 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82974470 27980845056 59651 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27325044 memory=2241 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82974470 27980845056 59651 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27325044 memory=2244 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27325044 memory=7740397209428451944 CPUtime=0.39 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) R 15956 15959 15807 0 -1 4202560 1037 0 0 0 38 1 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962427011216 139963951550784 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27325044 memory=7955440994963975232 CPUtime=0.36 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) R 15956 15959 15807 0 -1 4202560 831 0 0 0 36 0 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962425954376 139963973976666 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27325044 memory=7236229500900889449 CPUtime=0.36 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) R 15956 15959 15807 0 -1 4202560 453 0 0 0 35 1 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962424907600 139963952121800 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27325044 memory=0 CPUtime=0.67 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) S 15956 15959 15807 0 -1 1077944384 2402 0 0 0 66 1 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962423868272 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27325044 memory=48980 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82974473 27980845056 59651 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 3.39 s Current children cumulated vsize: 27325044 KiB Current children cumulated memory: 238604 KiB [startup+1.8044 s] /proc/loadavg: 8.16 8.73 8.78 3/199 15979 /proc/meminfo: memFree=21214660/32770624 swapFree=67108860/67108860 [pid=15959] ppid=15956 vsize=27786148 memory=276100 CPUtime=4.26 cores=0-7 /proc/15959/stat : 15959 (java) S 15956 15959 15807 0 -1 1077944320 24642 0 0 0 413 13 0 0 20 0 23 0 82974465 28453015552 69025 33554432000 4194304 4196468 140728353626848 140728353609392 139963973955319 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 /proc/15959/statm: 6946537 69025 3216 1 0 6907393 0 [pid=15959/tid=15961] ppid=15956 vsize=27786148 memory=6655300316396806240 CPUtime=1.76 cores=0-7 /proc/15959/task/15961/stat : 15961 (java) R 15956 15959 15807 0 -1 4202560 17323 0 0 0 169 7 0 0 20 0 23 0 82974466 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963945782776 139963958035806 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15962] ppid=15956 vsize=27786148 memory=4206186544037388384 CPUtime=0 cores=0-7 /proc/15959/task/15962/stat : 15962 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963978197264 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15963] ppid=15956 vsize=27786148 memory=280783218540784 CPUtime=0 cores=0-7 /proc/15959/task/15963/stat : 15963 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963792353680 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15964] ppid=15956 vsize=27786148 memory=7955166091236687980 CPUtime=0 cores=0-7 /proc/15959/task/15964/stat : 15964 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963394587152 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15965] ppid=15956 vsize=27786148 memory=15876 CPUtime=0 cores=0-7 /proc/15959/task/15965/stat : 15965 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963393534608 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15966] ppid=15956 vsize=27786148 memory=14288 CPUtime=0 cores=0-7 /proc/15959/task/15966/stat : 15966 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963392482064 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15967] ppid=15956 vsize=27786148 memory=4004 CPUtime=0 cores=0-7 /proc/15959/task/15967/stat : 15967 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963391429520 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15968] ppid=15956 vsize=27786148 memory=18448 CPUtime=0 cores=0-7 /proc/15959/task/15968/stat : 15968 (java) S 15956 15959 15807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963390376976 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15969] ppid=15956 vsize=27786148 memory=1796 CPUtime=0 cores=0-7 /proc/15959/task/15969/stat : 15969 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 82974468 28453015552 69025 33554432000 4194304 4196468 140728353626848 139963389324432 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15970] ppid=15956 vsize=27786148 memory=640 CPUtime=0 cores=0-7 /proc/15959/task/15970/stat : 15970 (java) S 15956 15959 15807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 23 0 82974470 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962428078064 139963973966466 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15971] ppid=15956 vsize=27786148 memory=952 CPUtime=0 cores=0-7 /proc/15959/task/15971/stat : 15971 (java) S 15956 15959 15807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 23 0 82974470 28453015552 69025 33554432000 4194304 4196468 140728353626848 139961642771360 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15972] ppid=15956 vsize=27786148 memory=1232 CPUtime=0 cores=0-7 /proc/15959/task/15972/stat : 15972 (java) S 15956 15959 15807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 82974470 28453015552 69025 33554432000 4194304 4196468 140728353626848 139961508549616 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15973] ppid=15956 vsize=27786148 memory=2340 CPUtime=0 cores=0-7 /proc/15959/task/15973/stat : 15973 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139961134045392 139963973973915 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15974] ppid=15956 vsize=27786148 memory=2244 CPUtime=0.58 cores=0-7 /proc/15959/task/15974/stat : 15974 (java) R 15956 15959 15807 0 -1 4202560 1123 0 0 0 57 1 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962427024304 139963951812609 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15975] ppid=15956 vsize=27786148 memory=932 CPUtime=0.55 cores=0-7 /proc/15959/task/15975/stat : 15975 (java) S 15956 15959 15807 0 -1 1077944384 1258 0 0 0 54 1 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962425973360 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15976] ppid=15956 vsize=27786148 memory=1584 CPUtime=0.55 cores=0-7 /proc/15959/task/15976/stat : 15976 (java) R 15956 15959 15807 0 -1 4202560 894 0 0 0 54 1 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962424906840 139963957340147 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15977] ppid=15956 vsize=27786148 memory=4124 CPUtime=0.77 cores=0-7 /proc/15959/task/15977/stat : 15977 (java) S 15956 15959 15807 0 -1 1077944384 2629 0 0 0 76 1 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962423868272 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15978] ppid=15956 vsize=27786148 memory=2200 CPUtime=0 cores=0-7 /proc/15959/task/15978/stat : 15978 (java) S 15956 15959 15807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139960636139744 139963973965525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 [pid=15959/tid=15979] ppid=15956 vsize=27786148 memory=7288 CPUtime=0 cores=0-7 /proc/15959/task/15979/stat : 15979 (java) S 15956 15959 15807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 82974473 28453015552 69025 33554432000 4194304 4196468 140728353626848 139962422815152 139963973966466 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35356672 140728353629145 140728353629445 140728353629445 140728353632207 0 Current children cumulated CPU time: 4.26 s Current children cumulated vsize: 27786148 KiB Current children cumulated memory: 276100 KiB Child status: 0 Real time (s): 1.88214 CPU time (s): 4.56446 CPU user time (s): 4.4038 CPU system time (s): 0.160666 CPU usage (%): 242.514 Max. virtual memory (cumulated for all children) (KiB): 27786148 Max. memory (cumulated for all children) (KiB): 276100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.4038 system time used= 0.160666 maximum resident set size= 284596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27372 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5304 involuntary context switches= 29 # summary of solver processes directly reported to runsolver: # pid: 15959 # total CPU time (s): 4.56446 # total CPU user time (s): 4.4038 # total CPU system time (s): 0.160666 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.039465 second user time and 0.058102 second system time The end
Begin job on node107 at 2018-07-27 03:15:13 IDJOB=4296933 IDBENCH=141341 IDSOLVER=2758 FILE ID=node107/4296933-1532654113 RUNJOBID= node107-1532654109-15834 PBS_JOBID= 21022215 Free space on /tmp= 54472 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Langford/LangfordBin-15_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-4296933-1532654113/watcher-4296933-1532654113 -o /tmp/evaluation-result-4296933-1532654113/solver-4296933-1532654113 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532654109-15834 --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-4296933-1532654113.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 07ea5144b09b59ff4e6e73933349a8c8 RANDOM SEED=1086964071 node107.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.40 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.40 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.40 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.40 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: 21380876 kB MemAvailable: 31927124 kB Buffers: 206408 kB Cached: 10573520 kB SwapCached: 0 kB Active: 4304896 kB Inactive: 6530932 kB Active(anon): 5208 kB Inactive(anon): 78660 kB Active(file): 4299688 kB Inactive(file): 6452272 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8180 kB Writeback: 264 kB AnonPages: 62440 kB Mapped: 41184 kB Shmem: 25260 kB Slab: 248248 kB SReclaimable: 220248 kB SUnreclaim: 28000 kB KernelStack: 3520 kB PageTables: 5492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54464 MiB End job on node107 at 2018-07-27 03:15:15