Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-31) | SAT | 10.9117 | 3.9277 |
Name | Eternity/ Eternity-04-04_c18.xml |
MD5SUM | 888903612ba8c9f4d3271c512caeb5d6 |
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 | 2.16196 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 56 |
Number of constraints | 33 |
Number of domains | 2 |
Minimum domain size | 6 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":6,"count":40},{"size":16,"count":16}] |
Minimum variable degree | 1 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":52},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":1,"count":16},{"arity":5,"count":16},{"arity":16,"count":1}] |
Number of extensional constraints | 16 |
Number of intensional constraints | 16 |
Distribution of constraint types | [{"type":"extension","count":16},{"type":"intension","count":16},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-28686-serial-file.bin HOME/instance-4307378-1534208083.xml 0.65/0.53 0.65/0.53 scop both+glucose-syrup (2018-07-31) 0.65/0.53 (Encoding Process) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Tue Aug 14 02:54:43 CEST 2018 0.65/0.56 c PID: 28689 0.65/0.56 c IP: 172.20.3.134 0.65/0.56 c HOST: node134.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.58/0.91 c (0,0) Parsing End 1.58/0.91 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 33 ctr, max domain size 16 1.58/0.92 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.58/0.92 c (0,0) Constraint Name Generate Begin 1.58/0.92 c (0,0) Ctr:HOME/instance-4307378-1534208083.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num 1.58/0.92 c (0,0) Constraint Name Generate End 1.58/0.92 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.58/0.92 c (0,0) CSP to CSPinCNF Begin 3.35/1.54 c (1,0) translated 4 (10%) constraints 4.07/1.72 c (1,1) translated 7 (20%) constraints 4.47/1.85 c (1,1) translated 10 (30%) constraints 4.88/1.99 c (1,1) translated 14 (40%) constraints 5.32/2.10 c (1,1) translated 17 (50%) constraints 5.72/2.13 c (1,1) translated 20 (60%) constraints 5.72/2.14 c (1,1) translated 24 (70%) constraints 5.72/2.14 c (1,1) translated 27 (80%) constraints 5.72/2.14 c (1,1) translated 30 (90%) constraints 5.72/2.14 c (1,1) translated 33 (100%) constraints 6.08/2.24 c (1,1) STATISTICS1:HOME/instance-4307378-1534208083.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,1576,8842,16,16,17,2,16:120,16:752;6:7632;2:15520;1:2560,17:16;16:2;5:64;4:2912;3:2528;2:3304;1:16,2:120;1:26240;0:16, 6.08/2.24 c (1,1) ========================================== 6.08/2.24 c (1,1) Both Encoding selects: 6.08/2.24 c (1,1) Order 6.08/2.24 c (1,1) ========================================== 6.53/2.32 c (1,1) translated 885 (10%) constraints 6.53/2.36 c (1,1) translated 1769 (20%) constraints 6.53/2.39 c (1,1) translated 2653 (30%) constraints 6.97/2.41 c (1,1) translated 3537 (40%) constraints 6.97/2.43 c (1,1) translated 4421 (50%) constraints 6.97/2.45 c (1,1) translated 5306 (60%) constraints 6.97/2.47 c (1,1) translated 6190 (70%) constraints 6.97/2.49 c (1,1) translated 7074 (80%) constraints 7.37/2.51 c (1,1) translated 7958 (90%) constraints 7.37/2.53 c (1,1) translated 8842 (100%) constraints 7.37/2.53 c (1,1) CSP to CSPinCNF End 7.37/2.54 c (1,1) CSP: 56 int (0 aux), 1520 bool (1520 aux), 8858 ctr, max domain size 16 7.37/2.54 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 7.37/2.54 c (1,1) CSPinCNF Propagation Begin 8.22/2.74 c (2,2) 685 values, 3989 unsatisfiable literals, and 3921 valid clauses are removed 8.22/2.74 c (2,2) CSPinCNF Propagation End 8.22/2.74 c (2,2) CSP: 661 int (605 aux), 915 bool (915 aux), 4937 ctr, max domain size 16 8.22/2.74 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 8.22/2.74 c (2,2) Simplify CSPinCNF Begin 8.22/2.78 c (2,2) Simplify CSPinCNF End 8.22/2.78 c (2,2) CSP: 661 int (605 aux), 1155 bool (1155 aux), 5177 ctr, max domain size 16 8.22/2.78 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 8.22/2.78 c (2,2) Calculate Precise Domain Begin 8.22/2.78 c (2,2) 0 values are removed by re-calculation 8.22/2.78 c (2,2) Calculate Precise Domain End 8.22/2.78 c (2,2) CSP: 661 int (605 aux), 1155 bool (1155 aux), 5177 ctr, max domain size 16 8.22/2.78 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 8.22/2.78 c (2,2) CSPinCNF to SatSolver Begin 8.61/2.88 c (2,2) 518 (10 %) CSP clauses are encoded (1435 SAT variables, 2581 SAT clauses) 8.61/2.89 c (2,2) 1036 (20 %) CSP clauses are encoded (1435 SAT variables, 3099 SAT clauses) 8.61/2.89 c (2,2) 1554 (30 %) CSP clauses are encoded (1435 SAT variables, 3617 SAT clauses) 8.88/2.90 c (2,2) 2071 (40 %) CSP clauses are encoded (1435 SAT variables, 4134 SAT clauses) 8.88/2.91 c (2,2) 2589 (50 %) CSP clauses are encoded (1435 SAT variables, 4652 SAT clauses) 8.88/2.91 c (2,2) 3107 (60 %) CSP clauses are encoded (1435 SAT variables, 5170 SAT clauses) 8.88/2.92 c (2,2) 3624 (70 %) CSP clauses are encoded (1435 SAT variables, 5687 SAT clauses) 8.88/2.92 c (2,2) 4142 (80 %) CSP clauses are encoded (1435 SAT variables, 6205 SAT clauses) 8.88/2.93 c (2,2) 4660 (90 %) CSP clauses are encoded (1435 SAT variables, 6723 SAT clauses) 8.88/2.94 c (2,2) 5177 (100 %) CSP clauses are encoded (1435 SAT variables, 7240 SAT clauses) 8.88/2.94 c (2,2) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 8.88/2.94 c (2,2) CSPinCNF to SatSolver End 8.88/2.94 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 8.88/2.98 c (2,2) STATISTICS2:HOME/instance-4307378-1534208083.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,1816,5177,16,16,16,2,16:12;12:120;4:108,16:248;12:424;6:5243;4:148;2:8790,16:5;12:8;5:24;4:1371;3:1295;2:2474,2:240;1:14373, 8.88/2.98 c (2,2) 1435 bool, 7241 clause 8.88/2.98 c (2,2) Export Begin 9.33/3.07 c (2,2) Export to HOME/scop-28686-serial-file.bin 9.33/3.07 c (2,2) Export End 9.33/3.07 c (2,2) Export File Size: 0.01 MB 9.33/3.07 c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS) 9.33/3.07 c END-Prog: Tue Aug 14 02:54:46 CEST 2018 9.33/3.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28686-serial-file.bin 9.60/3.58 c (0,0) Read Serial File Begin 9.60/3.58 c (0,0) HOME/scop-28686-serial-file.bin 9.60/3.75 c (0,0) Read Serial File End 9.60/3.76 9.60/3.76 scop order+glucose-syrup (2018-07-31) 9.60/3.76 (Solving Process) 9.60/3.76 9.60/3.78 c BEGIN-Prog: Tue Aug 14 02:54:47 CEST 2018 9.60/3.78 c PID: 28709 9.60/3.78 c IP: 172.20.3.134 9.60/3.78 c HOST: node134.alineos.net 9.60/3.79 c (0,0) SatSolver.solve Begin 9.60/3.79 c (0,0) 0 bool, 0 clause 9.60/3.79 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307378-1534208083.xml-scop-28689.cnf 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 9.60/3.83 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 9.60/3.83 c (0,0) c ========================================[ Problem Statistics ]=========================================== 9.60/3.83 c (0,0) c | | 9.60/3.83 c (0,0) c | Number of variables: 1435 | 9.60/3.83 c (0,0) c | Number of clauses: 7241 | 9.60/3.83 c (0,0) c | Parse time: 0.00 s | 9.60/3.83 c (0,0) c | | 9.60/3.83 c (0,0) c | Eliminated clauses: 0.02 Mb | 9.60/3.83 c (0,0) c | Simplification time: 0.01 s | 9.60/3.83 c (0,0) c | | 9.60/3.83 c (0,0) c | Generating clones | 9.60/3.83 c (0,0) c | all clones generated. Memory = 30.50Mb. | 9.60/3.83 c (0,0) c ========================================================================================================| 9.60/3.83 c (0,0) c last restart ## conflicts : 10 12 9.60/3.83 c (0,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer). 9.60/3.83 c (0,0) c last restart ## conflicts : 10 16 9.60/3.83 c (0,0) c last restart ## conflicts : 10 16 9.60/3.83 c (0,0) c Total Memory so far : 606.53Mb 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c real time : 0.016819 s 9.60/3.83 c (0,0) c cpu time : 0.019462 s 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 9.60/3.83 c (0,0) c 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) c | Conflicts | 81 | 8 | 10 | 9 | 10 | 18 | 8 | 8 | 10 | 9.60/3.83 c (0,0) c | Decisions | 307 | 23 | 44 | 35 | 43 | 52 | 33 | 33 | 44 | 9.60/3.83 c (0,0) c | Propagations | 12430 | 1335 | 1414 | 1451 | 2031 | 2760 | 1029 | 996 | 1414 | 9.60/3.83 c (0,0) c | Avg_Trail | | 393 | 284 | 259 | 304 | 402 | 233 | 233 | 284 | 9.60/3.83 c (0,0) c | Avg_DL | | 5 | 10 | 9 | 9 | 9 | 9 | 9 | 10 | 9.60/3.83 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.60/3.83 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) c | Exported | 40 | 3 | 6 | 4 | 5 | 8 | 4 | 4 | 6 | 9.60/3.83 c (0,0) c | Imported | 125 | 0 | 27 | 2 | 14 | 6 | 17 | 31 | 28 | 9.60/3.83 c (0,0) c | Good | 58 | 0 | 14 | 0 | 7 | 2 | 7 | 14 | 14 | 9.60/3.83 c (0,0) c | Purge | 67 | 0 | 13 | 2 | 7 | 4 | 10 | 17 | 14 | 9.60/3.83 c (0,0) c | Promoted | 8 | 0 | 2 | 0 | 0 | 1 | 1 | 2 | 2 | 9.60/3.83 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.60/3.83 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) c | Unaries | | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 9.60/3.83 c (0,0) c | Binaries | | 0 | 3 | 2 | 2 | 4 | 2 | 2 | 3 | 9.60/3.83 c (0,0) c | Glues | | 3 | 6 | 4 | 5 | 8 | 4 | 4 | 6 | 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) c | Orig_Seen | 2 % | 206 | 105 | 131 | 135 | 382 | 98 | 98 | 105 | 9.60/3.83 c (0,0) c | Diff Orig seen| | 71 | - 30 | - 4 | X | 247 | - 37 | - 37 | - 30 | 9.60/3.83 c (0,0) c | Hamming | 11 % | 217 | 151 | 157 | X | 154 | 146 | 146 | 151 | 9.60/3.83 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.60/3.83 c (0,0) 9.60/3.83 c (0,0) s SATISFIABLE 9.60/3.86 c (0,0) SatSolver.solve End 9.60/3.86 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 9.60/3.86 c (0,0) Show results Begin 9.60/3.90 s SATISFIABLE 9.60/3.91 v <instantiation> 9.60/3.91 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3]</list> 9.60/3.91 v <values>3 9 11 1 10 15 13 4 7 12 14 6 2 5 8 0 0 0 0 0 2 4 5 1 1 5 4 1 2 3 4 1 0 2 2 2 0 5 3 3 0 5 3 4 0 1 2 1 0 0 0 0 0 0 0 0</values> 9.60/3.91 v </instantiation> 9.60/3.91 c (0,0) Show results End 9.60/3.91 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 9.60/3.91 c (0,0) 0,0,STOP-AFTER(ALL) 9.60/3.91 c END-Prog: Tue Aug 14 02:54:47 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 (14279 MiB free) memory of node 1: 16384 MiB (9697 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307378-1534208083/watcher-4307378-1534208083 -o /tmp/evaluation-result-4307378-1534208083/solver-4307378-1534208083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534202477-27908 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307378-1534208083.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 Current StackSize limit: 8192 KiB solver pid=28686, runsolver pid=28683 [startup+0.104537 s]* /proc/loadavg: 6.91 8.09 8.25 3/205 28708 /proc/meminfo: memFree=24457500/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 238371490 115843072 349 33554432000 4194304 5098028 140729032815136 140729032812392 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 349 296 221 0 87 0 [pid=28689] ppid=28686 vsize=27313900 memory=108648 CPUtime=0.11 cores=0-7 /proc/28689/stat : 28689 (java) S 28686 28686 27881 0 -1 1077944320 6120 0 0 0 9 2 0 0 20 0 20 0 238371490 27969433600 27162 33554432000 4194304 4196468 140735857675424 140735857657968 140447994724087 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 /proc/28689/statm: 6828475 27162 2739 1 0 6790935 0 [pid=28689/tid=28690] ppid=28686 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28689/task/28690/stat : 28690 (java) R 28686 28686 27881 0 -1 4202560 4232 0 0 0 7 1 0 0 20 0 20 0 238371491 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447966504160 140447978804574 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28691] ppid=28686 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28689/task/28691/stat : 28691 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447998966800 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28692] ppid=28686 vsize=27313900 memory=139938630190720 CPUtime=0 cores=0-7 /proc/28689/task/28692/stat : 28692 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447782362256 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28693] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28693/stat : 28693 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447781309200 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28694] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28694/stat : 28694 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447414475664 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28695] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28695/stat : 28695 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447413422608 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28696] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28696/stat : 28696 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447412370064 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28697] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28697/stat : 28697 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447411317008 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28698] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28698/stat : 28698 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 27162 33554432000 4194304 4196468 140735857675424 140447410264464 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28699] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28699/stat : 28699 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446985575152 140447994735234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28700] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28700/stat : 28700 (java) S 28686 28686 27881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 27162 33554432000 4194304 4196468 140735857675424 140445900334752 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28701] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28701/stat : 28701 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 27162 33554432000 4194304 4196468 140735857675424 140445631898864 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28702] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28702/stat : 28702 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140445257390544 140447994742683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28703] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28703/stat : 28703 (java) S 28686 28686 27881 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446984521968 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28704] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28704/stat : 28704 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446983469424 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28705] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28705/stat : 28705 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446982416368 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28706] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28706/stat : 28706 (java) S 28686 28686 27881 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446981363824 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28707] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28707/stat : 28707 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140444759485408 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28708] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28708/stat : 28708 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 27162 33554432000 4194304 4196468 140735857675424 140446980312240 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 110044 KiB [startup+0.210596 s]* /proc/loadavg: 6.91 8.09 8.25 2/205 28708 /proc/meminfo: memFree=24442012/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 238371490 115843072 349 33554432000 4194304 5098028 140729032815136 140729032812392 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 349 296 221 0 87 0 [pid=28689] ppid=28686 vsize=27313900 memory=122796 CPUtime=0.24 cores=0-7 /proc/28689/stat : 28689 (java) S 28686 28686 27881 0 -1 1077944320 9899 0 0 0 21 3 0 0 20 0 20 0 238371490 27969433600 30699 33554432000 4194304 4196468 140735857675424 140735857657968 140447994724087 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 /proc/28689/statm: 6828475 30699 2896 1 0 6790935 0 [pid=28689/tid=28690] ppid=28686 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28689/task/28690/stat : 28690 (java) R 28686 28686 27881 0 -1 4202560 7801 0 0 0 17 2 0 0 20 0 20 0 238371491 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447966522832 140447978804574 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28691] ppid=28686 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/28689/task/28691/stat : 28691 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447998966800 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28692] ppid=28686 vsize=27313900 memory=139938630218562 CPUtime=0 cores=0-7 /proc/28689/task/28692/stat : 28692 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447782362256 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28693] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28693/stat : 28693 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447781309200 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28694] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28694/stat : 28694 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447414475664 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28695] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28695/stat : 28695 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447413422608 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28696] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28696/stat : 28696 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30699 33554432000 4194304 4196468 140735857675424 140447412370064 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28697] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28697/stat : 28697 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30764 33554432000 4194304 4196468 140735857675424 140447411317008 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28698] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28698/stat : 28698 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 30764 33554432000 4194304 4196468 140735857675424 140447410264464 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28699] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28699/stat : 28699 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446985575152 140447994735234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28700] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28700/stat : 28700 (java) S 28686 28686 27881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 30764 33554432000 4194304 4196468 140735857675424 140445900334752 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28701] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28701/stat : 28701 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 30764 33554432000 4194304 4196468 140735857675424 140445631898864 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28702] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28702/stat : 28702 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140445257390544 140447994742683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28703] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28703/stat : 28703 (java) S 28686 28686 27881 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446984521968 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28704] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28704/stat : 28704 (java) S 28686 28686 27881 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446983469424 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28705] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28705/stat : 28705 (java) S 28686 28686 27881 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446982416368 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28706] ppid=28686 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/28689/task/28706/stat : 28706 (java) S 28686 28686 27881 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446981363824 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28707] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28707/stat : 28707 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140444759485408 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28708] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28708/stat : 28708 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 30764 33554432000 4194304 4196468 140735857675424 140446980312240 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 124192 KiB [startup+0.310537 s]* /proc/loadavg: 6.91 8.09 8.25 2/205 28708 /proc/meminfo: memFree=24438476/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 238371490 115843072 349 33554432000 4194304 5098028 140729032815136 140729032812392 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 349 296 221 0 87 0 [pid=28689] ppid=28686 vsize=27313900 memory=126844 CPUtime=0.41 cores=0-7 /proc/28689/stat : 28689 (java) S 28686 28686 27881 0 -1 1077944320 10576 0 0 0 37 4 0 0 20 0 20 0 238371490 27969433600 31711 33554432000 4194304 4196468 140735857675424 140735857657968 140447994724087 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 /proc/28689/statm: 6828475 31711 2943 1 0 6790935 0 [pid=28689/tid=28690] ppid=28686 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28689/task/28690/stat : 28690 (java) R 28686 28686 27881 0 -1 4202560 8308 0 0 0 26 3 0 0 20 0 20 0 238371491 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447966519536 140447976287643 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28691] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28691/stat : 28691 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447998966800 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28692] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28692/stat : 28692 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447782362256 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28693] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28693/stat : 28693 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447781309200 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28694] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28694/stat : 28694 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447414475664 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28695] ppid=28686 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/28689/task/28695/stat : 28695 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447413422608 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28696] ppid=28686 vsize=27313900 memory=139938490315695 CPUtime=0 cores=0-7 /proc/28689/task/28696/stat : 28696 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447412370064 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28697] ppid=28686 vsize=27313900 memory=139938490318000 CPUtime=0 cores=0-7 /proc/28689/task/28697/stat : 28697 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447411317008 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28698] ppid=28686 vsize=27313900 memory=139938490320304 CPUtime=0 cores=0-7 /proc/28689/task/28698/stat : 28698 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27969433600 31711 33554432000 4194304 4196468 140735857675424 140447410264464 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28699] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28699/stat : 28699 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446985575152 140447994735234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28700] ppid=28686 vsize=27313900 memory=279876980647568 CPUtime=0 cores=0-7 /proc/28689/task/28700/stat : 28700 (java) S 28686 28686 27881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 31711 33554432000 4194304 4196468 140735857675424 140445900334752 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28701] ppid=28686 vsize=27313900 memory=279876980654480 CPUtime=0 cores=0-7 /proc/28689/task/28701/stat : 28701 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371495 27969433600 31711 33554432000 4194304 4196468 140735857675424 140445631898864 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28702] ppid=28686 vsize=27313900 memory=279876980595760 CPUtime=0 cores=0-7 /proc/28689/task/28702/stat : 28702 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140445257390544 140447994742683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28703] ppid=28686 vsize=27313900 memory=279876980668304 CPUtime=0 cores=0-7 /proc/28689/task/28703/stat : 28703 (java) S 28686 28686 27881 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446984521968 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28704] ppid=28686 vsize=27313900 memory=279876980675216 CPUtime=0 cores=0-7 /proc/28689/task/28704/stat : 28704 (java) S 28686 28686 27881 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446983469424 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28705] ppid=28686 vsize=27313900 memory=279876980672912 CPUtime=0.02 cores=0-7 /proc/28689/task/28705/stat : 28705 (java) S 28686 28686 27881 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446982416368 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28706] ppid=28686 vsize=27313900 memory=279876980689072 CPUtime=0.07 cores=0-7 /proc/28689/task/28706/stat : 28706 (java) S 28686 28686 27881 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446981363824 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28707] ppid=28686 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28707/stat : 28707 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140444759485408 140447994734293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28708] ppid=28686 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/28689/task/28708/stat : 28708 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27969433600 31711 33554432000 4194304 4196468 140735857675424 140446980312240 140447994735234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 128240 KiB [startup+0.701013 s] /proc/loadavg: 6.91 8.09 8.25 2/205 28708 /proc/meminfo: memFree=24413672/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 238371490 115843072 349 33554432000 4194304 5098028 140729032815136 140729032812392 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 349 296 221 0 87 0 [pid=28689] ppid=28686 vsize=27322328 memory=165152 CPUtime=0.99 cores=0-7 /proc/28689/stat : 28689 (java) S 28686 28686 27881 0 -1 1077944320 17823 0 0 0 93 6 0 0 20 0 20 0 238371490 27978063872 41288 33554432000 4194304 4196468 140735857675424 140735857657968 140447994724087 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 /proc/28689/statm: 6830574 41288 3143 1 0 6791959 0 [pid=28689/tid=28690] ppid=28686 vsize=27322296 memory=279876981046960 CPUtime=0.67 cores=0-7 /proc/28689/task/28690/stat : 28690 (java) D 28686 28686 27881 0 -1 1077944384 15037 0 0 0 62 5 0 0 20 0 20 0 238371491 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447966541616 140447987403309 0 4 2 25189581 18446744072101809700 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28691] ppid=28686 vsize=27322296 memory=139938490524528 CPUtime=0 cores=0-7 /proc/28689/task/28691/stat : 28691 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447998966800 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28692] ppid=28686 vsize=27322296 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28692/stat : 28692 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447782362256 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28693] ppid=28686 vsize=27322296 memory=1612 CPUtime=0 cores=0-7 /proc/28689/task/28693/stat : 28693 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447781309200 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28694] ppid=28686 vsize=27322296 memory=1808 CPUtime=0 cores=0-7 /proc/28689/task/28694/stat : 28694 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447414475664 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28695] ppid=28686 vsize=27322328 memory=8684 CPUtime=0 cores=0-7 /proc/28689/task/28695/stat : 28695 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27978063872 41288 33554432000 4194304 4196468 140735857675424 140447413422608 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28696] ppid=28686 vsize=27322328 memory=14884 CPUtime=0 cores=0-7 /proc/28689/task/28696/stat : 28696 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27978063872 41288 33554432000 4194304 4196468 140735857675424 140447412370064 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28697] ppid=28686 vsize=27322296 memory=15784 CPUtime=0 cores=0-7 /proc/28689/task/28697/stat : 28697 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447411317008 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28698] ppid=28686 vsize=27322296 memory=1172 CPUtime=0 cores=0-7 /proc/28689/task/28698/stat : 28698 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27978031104 41288 33554432000 4194304 4196468 140735857675424 140447410264464 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28699] ppid=28686 vsize=27322296 memory=35760 CPUtime=0 cores=0-7 /proc/28689/task/28699/stat : 28699 (java) S 28686 28686 27881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 238371495 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446985575152 140447994735234 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28700] ppid=28686 vsize=27322296 memory=3360 CPUtime=0 cores=0-7 /proc/28689/task/28700/stat : 28700 (java) S 28686 28686 27881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238371495 27978031104 41288 33554432000 4194304 4196468 140735857675424 140445900334752 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28701] ppid=28686 vsize=27322296 memory=496 CPUtime=0 cores=0-7 /proc/28689/task/28701/stat : 28701 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371495 27978031104 41288 33554432000 4194304 4196468 140735857675424 140445631898864 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28702] ppid=28686 vsize=27322296 memory=1624 CPUtime=0 cores=0-7 /proc/28689/task/28702/stat : 28702 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140445257390544 140447994742683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28703] ppid=28686 vsize=27322296 memory=0 CPUtime=0.05 cores=0-7 /proc/28689/task/28703/stat : 28703 (java) R 28686 28686 27881 0 -1 1077944384 571 0 0 0 5 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446984521968 140447994735234 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28704] ppid=28686 vsize=27322296 memory=4216 CPUtime=0.03 cores=0-7 /proc/28689/task/28704/stat : 28704 (java) S 28686 28686 27881 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446983469424 140447994735234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28705] ppid=28686 vsize=27322296 memory=752 CPUtime=0.06 cores=0-7 /proc/28689/task/28705/stat : 28705 (java) S 28686 28686 27881 0 -1 1077944384 193 0 0 0 6 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446982416368 140447994735234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28706] ppid=28686 vsize=27322296 memory=3732 CPUtime=0.15 cores=0-7 /proc/28689/task/28706/stat : 28706 (java) R 28686 28686 27881 0 -1 4202560 455 0 0 0 15 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446981363824 140447974132436 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28707] ppid=28686 vsize=27322296 memory=1276 CPUtime=0 cores=0-7 /proc/28689/task/28707/stat : 28707 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140444759485408 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28708] ppid=28686 vsize=27322296 memory=9604 CPUtime=0 cores=0-7 /proc/28689/task/28708/stat : 28708 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371498 27978031104 41288 33554432000 4194304 4196468 140735857675424 140446980312240 140447994735234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 27435456 KiB Current children cumulated memory: 166548 KiB [startup+1.50105 s] /proc/loadavg: 6.91 8.09 8.25 4/205 28708 /proc/meminfo: memFree=24378500/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 238371490 115843072 349 33554432000 4194304 5098028 140729032815136 140729032812392 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 349 296 221 0 87 0 [pid=28689] ppid=28686 vsize=27326392 memory=220688 CPUtime=3.35 cores=0-7 /proc/28689/stat : 28689 (java) S 28686 28686 27881 0 -1 1077944320 23726 0 0 0 326 9 0 0 20 0 20 0 238371490 27982225408 55172 33554432000 4194304 4196468 140735857675424 140735857657968 140447994724087 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 /proc/28689/statm: 6831598 55172 3189 1 0 6792983 0 [pid=28689/tid=28690] ppid=28686 vsize=27326392 memory=15538518206188108 CPUtime=1.46 cores=0-7 /proc/28689/task/28690/stat : 28690 (java) R 28686 28686 27881 0 -1 4202560 16381 0 0 0 140 6 0 0 20 0 20 0 238371491 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447966555488 140447994736022 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28691] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28691/stat : 28691 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447998966800 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28692] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28692/stat : 28692 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447782362256 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28693] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28693/stat : 28693 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447781309200 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28694] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28694/stat : 28694 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447414475664 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28695] ppid=28686 vsize=27326392 memory=279876981320720 CPUtime=0 cores=0-7 /proc/28689/task/28695/stat : 28695 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447413422608 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28696] ppid=28686 vsize=27326392 memory=139938490661408 CPUtime=0 cores=0-7 /proc/28689/task/28696/stat : 28696 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447412370064 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28697] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28697/stat : 28697 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447411317008 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28698] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28698/stat : 28698 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371493 27982225408 55172 33554432000 4194304 4196468 140735857675424 140447410264464 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28699] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28699/stat : 28699 (java) S 28686 28686 27881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 238371495 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446985575152 140447994735234 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28700] ppid=28686 vsize=27326392 memory=2244 CPUtime=0 cores=0-7 /proc/28689/task/28700/stat : 28700 (java) S 28686 28686 27881 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238371495 27982225408 55172 33554432000 4194304 4196468 140735857675424 140445900334752 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28701] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28701/stat : 28701 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371495 27982225408 55172 33554432000 4194304 4196468 140735857675424 140445631898864 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28702] ppid=28686 vsize=27326392 memory=0 CPUtime=0 cores=0-7 /proc/28689/task/28702/stat : 28702 (java) S 28686 28686 27881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140445257390544 140447994742683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28703] ppid=28686 vsize=27326392 memory=0 CPUtime=0.31 cores=0-7 /proc/28689/task/28703/stat : 28703 (java) S 28686 28686 27881 0 -1 1077944384 917 0 0 0 30 1 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446984521968 140447994735234 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28704] ppid=28686 vsize=27326392 memory=0 CPUtime=0.4 cores=0-7 /proc/28689/task/28704/stat : 28704 (java) R 28686 28686 27881 0 -1 4202560 1398 0 0 0 40 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446983457040 140447972746632 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28705] ppid=28686 vsize=27326392 memory=0 CPUtime=0.44 cores=0-7 /proc/28689/task/28705/stat : 28705 (java) R 28686 28686 27881 0 -1 4202560 1063 0 0 0 44 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446982395600 140447994745434 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28706] ppid=28686 vsize=27326392 memory=6944656592455097440 CPUtime=0.69 cores=0-7 /proc/28689/task/28706/stat : 28706 (java) R 28686 28686 27881 0 -1 4202560 2627 0 0 0 69 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446981363824 140447987820804 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28707] ppid=28686 vsize=27326392 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/28689/task/28707/stat : 28707 (java) S 28686 28686 27881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140444759485408 140447994734293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 [pid=28689/tid=28708] ppid=28686 vsize=27326392 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/28689/task/28708/stat : 28708 (java) S 28686 28686 27881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238371498 27982225408 55172 33554432000 4194304 4196468 140735857675424 140446980312240 140447994735234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140735857677289 140735857677613 140735857677613 140735857680335 0 Current children cumulated CPU time: 3.35 s Current children cumulated vsize: 27439520 KiB Current children cumulated memory: 222084 KiB [startup+3.11066 s] /proc/loadavg: 6.59 8.01 8.23 5/205 28708 /proc/meminfo: memFree=23968496/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1472 CPUtime=9.6 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 589 30250 0 0 0 0 942 18 20 0 1 0 238371490 115843072 368 33554432000 4194304 5098028 140729032815136 140729032811880 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 9.6 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+3.92764 s] # the end of solver process 28686 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.6324 s, system=0.279285 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20251 s] /proc/loadavg: 6.59 8.01 8.23 5/205 28708 /proc/meminfo: memFree=23968496/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1472 CPUtime=9.6 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 589 30250 0 0 0 0 942 18 20 0 1 0 238371490 115843072 368 33554432000 4194304 5098028 140729032815136 140729032811880 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 9.6 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+3.60039 s] /proc/loadavg: 6.59 8.01 8.23 5/205 28708 /proc/meminfo: memFree=23968496/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1472 CPUtime=9.6 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 589 30250 0 0 0 0 942 18 20 0 1 0 238371490 115843072 368 33554432000 4194304 5098028 140729032815136 140729032811880 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 9.6 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+3.8019 s] /proc/loadavg: 6.59 8.01 8.23 5/205 28708 /proc/meminfo: memFree=23968496/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1472 CPUtime=9.6 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 589 30250 0 0 0 0 942 18 20 0 1 0 238371490 115843072 368 33554432000 4194304 5098028 140729032815136 140729032811880 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 9.6 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+3.90033 s] /proc/loadavg: 6.59 8.01 8.23 5/205 28708 /proc/meminfo: memFree=23968496/32770624 swapFree=67108688/67108860 [pid=28686] ppid=28683 vsize=113128 memory=1472 CPUtime=9.6 cores=0-7 /proc/28686/stat : 28686 (scop.sh) S 28683 28686 27881 0 -1 4202496 589 30250 0 0 0 0 942 18 20 0 1 0 238371490 115843072 368 33554432000 4194304 5098028 140729032815136 140729032811880 139961237779068 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28176384 140729032819747 140729032819971 140729032819971 140729032822733 0 /proc/28686/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 9.6 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB Child status: 0 Real time (s): 3.9277 CPU time (s): 10.9117 CPU user time (s): 10.6324 CPU system time (s): 0.279285 CPU usage (%): 277.813 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 599996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6324 system time used= 0.279285 maximum resident set size= 604672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51745 page faults= 0 swaps= 0 block input operations= 0 block output operations= 432 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8279 involuntary context switches= 27 # summary of solver processes directly reported to runsolver: # pid: 28686 # total CPU time (s): 10.9117 # total CPU user time (s): 10.6324 # total CPU system time (s): 0.279285 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.058716 second user time and 0.074168 second system time The end
Begin job on node134 at 2018-08-14 02:54:43 IDJOB=4307378 IDBENCH=141650 IDSOLVER=2789 FILE ID=node134/4307378-1534208083 RUNJOBID= node134-1534202477-27908 PBS_JOBID= 21038018 Free space on /tmp= 42776 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Eternity/Eternity-04-04_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307378-1534208083/watcher-4307378-1534208083 -o /tmp/evaluation-result-4307378-1534208083/solver-4307378-1534208083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534202477-27908 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307378-1534208083.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 888903612ba8c9f4d3271c512caeb5d6 RANDOM SEED=237077551 node134.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.68 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.68 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.68 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.68 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: 24553768 kB MemAvailable: 31900484 kB Buffers: 163508 kB Cached: 7385760 kB SwapCached: 32 kB Active: 3836380 kB Inactive: 3768928 kB Active(anon): 4804 kB Inactive(anon): 103448 kB Active(file): 3831576 kB Inactive(file): 3665480 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8484 kB Writeback: 0 kB AnonPages: 65248 kB Mapped: 53644 kB Shmem: 49652 kB Slab: 306132 kB SReclaimable: 278120 kB SUnreclaim: 28012 kB KernelStack: 3296 kB PageTables: 5428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 42768 MiB End job on node134 at 2018-08-14 02:54:47