Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | UNSAT | 13.0972 | 4.37807 |
Name | SocialGolfers/ SocialGolfers-4-4-7-cp_c18.xml |
MD5SUM | 6202e41c7df8f203e59ab292b28f5059 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.065 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 2529 |
Number of domains | 1 |
Minimum domain size | 4 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":4,"count":112}] |
Minimum variable degree | 92 |
Maximum variable degree | 93 |
Distribution of variable degrees | [{"degree":92,"count":96},{"degree":93,"count":16}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 112 |
Distribution of constraint arities | [{"arity":4,"count":2520},{"arity":16,"count":8},{"arity":112,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2520 |
Distribution of constraint types | [{"type":"intension","count":2520},{"type":"lex","count":1},{"type":"cardinality","count":7},{"type":"instantiation","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 -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-8561-serial-file.bin HOME/instance-4307187-1534192127.xml 0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-31) 0.66/0.53 (Encoding Process) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Mon Aug 13 22:28:48 CEST 2018 0.66/0.56 c PID: 8564 0.66/0.56 c IP: 172.20.3.107 0.66/0.56 c HOST: node107.alineos.net 0.66/0.56 c (0,0) Parsing Begin 3.82/1.54 c (1,0) Parsing End 3.82/1.55 c (1,1) CSP: 112 int (0 aux), 0 bool (0 aux), 2529 ctr, max domain size 4 3.82/1.55 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.82/1.55 c (1,1) Constraint Name Generate Begin 3.82/1.58 c (1,1) Ctr:HOME/instance-4307187-1534192127.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or 3.82/1.58 c (1,1) Constraint Name Generate End 3.82/1.58 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.82/1.58 c (1,1) CSP to CSPinCNF Begin 4.52/1.75 c (1,1) translated 253 (10%) constraints 4.78/1.81 c (1,1) translated 506 (20%) constraints 4.78/1.84 c (1,1) translated 759 (30%) constraints 4.78/1.87 c (1,1) translated 1012 (40%) constraints 4.78/1.89 c (1,1) translated 1265 (50%) constraints 5.06/1.90 c (1,1) translated 1518 (60%) constraints 5.06/1.92 c (1,1) translated 1771 (70%) constraints 5.06/1.94 c (1,1) translated 2024 (80%) constraints 5.06/1.95 c (1,1) translated 2277 (90%) constraints 6.36/2.21 c (1,1) translated 2529 (100%) constraints 7.10/2.45 c (1,1) STATISTICS1:HOME/instance-4307187-1534192127.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,719,3820,32768,4,4,16,32768:56;4:4640;1:781,4:10079;2:1821;1:1675,4:2679;3:469;2:607;1:65,16:56;2:5421;1:2749, 7.10/2.45 c (1,1) ========================================== 7.10/2.45 c (1,1) Order 7.10/2.45 c (1,1) ========================================== 7.10/2.49 c (1,1) translated 382 (10%) constraints 7.53/2.52 c (1,1) translated 764 (20%) constraints 7.53/2.55 c (2,2) translated 1146 (30%) constraints 7.53/2.58 c (2,2) translated 1528 (40%) constraints 7.93/2.60 c (2,2) translated 1910 (50%) constraints 7.93/2.63 c (2,2) translated 2292 (60%) constraints 7.93/2.69 c (2,2) translated 2674 (70%) constraints 8.32/2.74 c (2,2) translated 3056 (80%) constraints 8.32/2.78 c (2,2) translated 3438 (90%) constraints 8.32/2.80 c (2,2) translated 3820 (100%) constraints 8.75/2.80 c (2,2) CSP to CSPinCNF End 8.75/2.80 c (2,2) CSP: 196 int (84 aux), 1055 bool (1055 aux), 4928 ctr, max domain size 5 8.75/2.80 c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 8.75/2.80 c (2,2) CSPinCNF Propagation Begin 9.17/2.93 c (2,2) 188 values, 1386 unsatisfiable literals, and 1122 valid clauses are removed 9.17/2.93 c (2,2) CSPinCNF Propagation End 9.17/2.93 c (2,2) CSP: 336 int (224 aux), 915 bool (915 aux), 3806 ctr, max domain size 5 9.17/2.93 c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 9.17/2.93 c (2,2) Simplify CSPinCNF Begin 9.64/3.04 c (2,2) Simplify CSPinCNF End 9.64/3.04 c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5 9.64/3.04 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.64/3.04 c (2,2) Calculate Precise Domain Begin 9.64/3.08 c (2,2) 0 values are removed by re-calculation 9.64/3.08 c (2,2) Calculate Precise Domain End 9.64/3.08 c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5 9.64/3.08 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.64/3.08 c (2,2) CSPinCNF to SatSolver Begin 10.31/3.20 c (2,2) 544 (10 %) CSP clauses are encoded (3119 SAT variables, 2067 SAT clauses) 10.31/3.23 c (2,2) 1087 (20 %) CSP clauses are encoded (3119 SAT variables, 3798 SAT clauses) 10.31/3.25 c (2,2) 1631 (30 %) CSP clauses are encoded (3119 SAT variables, 5335 SAT clauses) 10.31/3.27 c (2,2) 2174 (40 %) CSP clauses are encoded (3119 SAT variables, 6889 SAT clauses) 10.31/3.28 c (2,2) 2717 (50 %) CSP clauses are encoded (3119 SAT variables, 7444 SAT clauses) 10.31/3.29 c (2,2) 3261 (60 %) CSP clauses are encoded (3119 SAT variables, 7988 SAT clauses) 10.68/3.32 c (2,2) 3804 (70 %) CSP clauses are encoded (3119 SAT variables, 10435 SAT clauses) 10.68/3.35 c (2,2) 4348 (80 %) CSP clauses are encoded (3119 SAT variables, 12883 SAT clauses) 10.68/3.38 c (2,2) 4891 (90 %) CSP clauses are encoded (3119 SAT variables, 15330 SAT clauses) 10.68/3.40 c (2,2) 5434 (100 %) CSP clauses are encoded (3119 SAT variables, 16661 SAT clauses) 10.68/3.40 c (2,2) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 10.68/3.40 c (2,2) CSPinCNF to SatSolver End 10.68/3.40 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.09/3.44 c (2,2) STATISTICS2:HOME/instance-4307187-1534192127.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2879,5434,64,5,4,7,64:48;32:96;25:48;4:1760;1:35,5:288;4:4707;2:12385;1:35,4:1941;3:215;2:3069;1:209,7:48;6:96;3:48;2:1795;1:12769, 11.09/3.44 c (2,2) 3119 bool, 16664 clause 11.09/3.44 c (2,2) Export Begin 11.48/3.52 c (2,2) Export to HOME/scop-8561-serial-file.bin 11.48/3.52 c (2,2) Export End 11.48/3.53 c (2,2) Export File Size: 0.02 MB 11.48/3.53 c (2,2) 1,1,2,2,2,2,2,STOP-AFTER(DIMACS) 11.48/3.53 c END-Prog: Mon Aug 13 22:28:51 CEST 2018 11.48/3.55 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8561-serial-file.bin 12.18/4.05 c (0,0) Read Serial File Begin 12.18/4.05 c (0,0) HOME/scop-8561-serial-file.bin 12.47/4.22 c (0,0) Read Serial File End 12.47/4.23 12.47/4.23 scop order+glucose-syrup (2018-07-31) 12.47/4.23 (Solving Process) 12.47/4.23 12.47/4.26 c BEGIN-Prog: Mon Aug 13 22:28:51 CEST 2018 12.47/4.26 c PID: 8584 12.47/4.26 c IP: 172.20.3.107 12.47/4.26 c HOST: node107.alineos.net 12.47/4.26 c (0,0) SatSolver.solve Begin 12.47/4.26 c (0,0) 0 bool, 0 clause 12.47/4.26 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307187-1534192127.xml-scop-8564.cnf 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 12.66/4.36 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 12.66/4.36 c (0,0) c ========================================[ Problem Statistics ]=========================================== 12.66/4.36 c (0,0) c | | 12.66/4.36 c (0,0) c | Number of variables: 3119 | 12.66/4.36 c (0,0) c | Number of clauses: 16664 | 12.66/4.36 c (0,0) c | Parse time: 0.01 s | 12.66/4.36 c (0,0) c | | 12.66/4.36 c (0,0) c | Eliminated clauses: 0.01 Mb | 12.66/4.36 c (0,0) c | Simplification time: 0.01 s | 12.66/4.36 c (0,0) c | | 12.66/4.36 c (0,0) c | Generating clones | 12.66/4.36 c (0,0) c | all clones generated. Memory = 35.48Mb. | 12.66/4.36 c (0,0) c ========================================================================================================| 12.66/4.36 c (0,0) c Thread 5 is 100% pure glucose! First thread to finish! (UNSAT answer). 12.66/4.36 c (0,0) c Total Memory so far : 614.01Mb 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c real time : 0.069839 s 12.66/4.36 c (0,0) c cpu time : 0.279895 s 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 12.66/4.36 c (0,0) c 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) c | Conflicts | 11647 | 855 | 1044 | 1091 | 2213 | 1038 | 2171 | 2117 | 1118 | 12.66/4.36 c (0,0) c | Decisions | 19597 | 2173 | 1937 | 1995 | 3309 | 1930 | 3190 | 3104 | 1959 | 12.66/4.36 c (0,0) c | Propagations | 1209736 | 82166 | 145749 | 151182 | 179493 | 144698 | 178267 | 177680 | 150501 | 12.66/4.36 c (0,0) c | Avg_Trail | | 1012 | 1219 | 1206 | 644 | 1221 | 655 | 663 | 1094 | 12.66/4.36 c (0,0) c | Avg_DL | | 24 | 20 | 20 | 9 | 20 | 9 | 9 | 19 | 12.66/4.36 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12.66/4.36 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) c | Exported | 406 | 32 | 26 | 29 | 105 | 26 | 84 | 66 | 38 | 12.66/4.36 c (0,0) c | Imported | 1433 | 312 | 40 | 40 | 276 | 40 | 321 | 197 | 207 | 12.66/4.36 c (0,0) c | Good | 273 | 55 | 11 | 11 | 53 | 11 | 63 | 32 | 37 | 12.66/4.36 c (0,0) c | Purge | 1160 | 257 | 29 | 29 | 223 | 29 | 258 | 165 | 170 | 12.66/4.36 c (0,0) c | Promoted | 23 | 5 | 1 | 1 | 2 | 1 | 7 | 2 | 4 | 12.66/4.36 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12.66/4.36 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) c | Unaries | | 11 | 2 | 2 | 11 | 2 | 14 | 6 | 3 | 12.66/4.36 c (0,0) c | Binaries | | 10 | 1 | 2 | 29 | 1 | 35 | 17 | 4 | 12.66/4.36 c (0,0) c | Glues | | 32 | 26 | 29 | 105 | 26 | 84 | 66 | 38 | 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) c | Orig_Seen | 19 % | 3565 | 4632 | 4650 | 1190 | 4632 | 1188 | 1176 | 5361 | 12.66/4.36 c (0,0) c | Diff Orig seen| | 2377 | 3444 | 3462 | 2 | 3444 | X | - 12 | 4173 | 12.66/4.36 c (0,0) c | Hamming | 15 % | 694 | 633 | 631 | 140 | 614 | X | 145 | 588 | 12.66/4.36 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.66/4.36 c (0,0) 12.66/4.36 c (0,0) s UNSATISFIABLE 12.66/4.36 c (0,0) SatSolver.solve End 12.66/4.36 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 12.66/4.36 c (0,0) Show results Begin 12.66/4.36 s UNSATISFIABLE 12.66/4.36 c (0,0) Show results End 12.66/4.36 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 12.66/4.37 c (0,0) 0,0,STOP-AFTER(ALL) 12.66/4.37 c END-Prog: Mon Aug 13 22:28:51 CEST 2018
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 (12434 MiB free) memory of node 1: 16384 MiB (10106 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307187-1534192127/watcher-4307187-1534192127 -o /tmp/evaluation-result-4307187-1534192127/solver-4307187-1534192127 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534191883-7330 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307187-1534192127.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=8561, runsolver pid=8558 [startup+0.100156 s]* /proc/loadavg: 5.00 3.87 2.25 2/200 8583 /proc/meminfo: memFree=22986584/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236775881 115843072 349 33554432000 4194304 5098028 140726500516624 140726500513880 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 349 296 221 0 87 0 [pid=8564] ppid=8561 vsize=27313900 memory=107880 CPUtime=0.1 cores=0-7 /proc/8564/stat : 8564 (java) S 8561 8561 7303 0 -1 1077944320 6445 0 0 0 8 2 0 0 20 0 20 0 236775881 27969433600 26970 33554432000 4194304 4196468 140730643254448 140730643236992 140188032478967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 /proc/8564/statm: 6828475 26970 2734 1 0 6790935 0 [pid=8564/tid=8565] ppid=8561 vsize=27313900 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/8564/task/8565/stat : 8565 (java) R 8561 8561 7303 0 -1 4202560 4600 0 0 0 7 1 0 0 20 0 20 0 236775881 27969433600 27035 33554432000 4194304 4196468 140730643254448 140188004313536 140188016559454 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8566] ppid=8561 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/8564/task/8566/stat : 8566 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140188036721296 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8567] ppid=8561 vsize=27313900 memory=140397931218560 CPUtime=0 cores=0-7 /proc/8564/task/8567/stat : 8567 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187867970064 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8568] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8568/stat : 8568 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187453991312 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8569] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8569/stat : 8569 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187452938512 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8570] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8570/stat : 8570 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187451886736 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8571] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8571/stat : 8571 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187450833936 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8572] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8572/stat : 8572 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187449781136 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8573] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8573/stat : 8573 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 27035 33554432000 4194304 4196468 140730643254448 140187448728336 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8574] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8574/stat : 8574 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775885 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186151410032 140188032490114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8575] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8575/stat : 8575 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 27035 33554432000 4194304 4196468 140730643254448 140185987703840 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8576] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8576/stat : 8576 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 27035 33554432000 4194304 4196468 140730643254448 140185719268208 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8577] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8577/stat : 8577 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 27035 33554432000 4194304 4196468 140730643254448 140185344759632 140188032497563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8578] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8578/stat : 8578 (java) S 8561 8561 7303 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186150357872 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8579] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8579/stat : 8579 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186149305072 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8580] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8580/stat : 8580 (java) R 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186148252272 140188032490114 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8581] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8581/stat : 8581 (java) S 8561 8561 7303 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186147199472 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8582] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8582/stat : 8582 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 27035 33554432000 4194304 4196468 140730643254448 140184846854752 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8583] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8583/stat : 8583 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 27035 33554432000 4194304 4196468 140730643254448 140186146146864 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109276 KiB [startup+0.209796 s]* /proc/loadavg: 5.00 3.87 2.25 2/200 8583 /proc/meminfo: memFree=22970708/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236775881 115843072 349 33554432000 4194304 5098028 140726500516624 140726500513880 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 349 296 221 0 87 0 [pid=8564] ppid=8561 vsize=27313900 memory=122540 CPUtime=0.24 cores=0-7 /proc/8564/stat : 8564 (java) S 8561 8561 7303 0 -1 1077944320 10334 0 0 0 21 3 0 0 20 0 20 0 236775881 27969433600 30635 33554432000 4194304 4196468 140730643254448 140730643236992 140188032478967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 /proc/8564/statm: 6828475 30635 2864 1 0 6790935 0 [pid=8564/tid=8565] ppid=8561 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8564/task/8565/stat : 8565 (java) R 8561 8561 7303 0 -1 4202560 8181 0 0 0 17 2 0 0 20 0 20 0 236775881 27969433600 30635 33554432000 4194304 4196468 140730643254448 140188004267568 140188024716094 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8566] ppid=8561 vsize=27313900 memory=331 CPUtime=0 cores=0-7 /proc/8564/task/8566/stat : 8566 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140188036721296 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8567] ppid=8561 vsize=27313900 memory=140397931227374 CPUtime=0 cores=0-7 /proc/8564/task/8567/stat : 8567 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187867970064 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8568] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8568/stat : 8568 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187453991312 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8569] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8569/stat : 8569 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187452938512 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8570] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8570/stat : 8570 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187451886736 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8571] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8571/stat : 8571 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187450833936 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8572] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8572/stat : 8572 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187449781136 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8573] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8573/stat : 8573 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 30635 33554432000 4194304 4196468 140730643254448 140187448728336 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8574] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8574/stat : 8574 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775885 27969433600 30635 33554432000 4194304 4196468 140730643254448 140186151410032 140188032490114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8575] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8575/stat : 8575 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 30635 33554432000 4194304 4196468 140730643254448 140185987703840 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8576] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8576/stat : 8576 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 30635 33554432000 4194304 4196468 140730643254448 140185719268208 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8577] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8577/stat : 8577 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 30635 33554432000 4194304 4196468 140730643254448 140185344759632 140188032497563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8578] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8578/stat : 8578 (java) S 8561 8561 7303 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 30635 33554432000 4194304 4196468 140730643254448 140186150357872 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8579] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8579/stat : 8579 (java) S 8561 8561 7303 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 30635 33554432000 4194304 4196468 140730643254448 140186149305072 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8580] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8580/stat : 8580 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 30635 33554432000 4194304 4196468 140730643254448 140186148252272 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8581] ppid=8561 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/8564/task/8581/stat : 8581 (java) S 8561 8561 7303 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 20 0 236775889 27969433600 30635 33554432000 4194304 4196468 140730643254448 140186147199472 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8582] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8582/stat : 8582 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 30700 33554432000 4194304 4196468 140730643254448 140184846854752 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8583] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8583/stat : 8583 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 30700 33554432000 4194304 4196468 140730643254448 140186146146864 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 123936 KiB [startup+0.30945 s]* /proc/loadavg: 5.00 3.87 2.25 2/200 8583 /proc/meminfo: memFree=22967172/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236775881 115843072 349 33554432000 4194304 5098028 140726500516624 140726500513880 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 349 296 221 0 87 0 [pid=8564] ppid=8561 vsize=27313900 memory=126636 CPUtime=0.42 cores=0-7 /proc/8564/stat : 8564 (java) S 8561 8561 7303 0 -1 1077944320 10974 0 0 0 38 4 0 0 20 0 20 0 236775881 27969433600 31659 33554432000 4194304 4196468 140730643254448 140730643236992 140188032478967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 /proc/8564/statm: 6828475 31659 2963 1 0 6790935 0 [pid=8564/tid=8565] ppid=8561 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8564/task/8565/stat : 8565 (java) R 8561 8561 7303 0 -1 4202560 8568 0 0 0 26 3 0 0 20 0 20 0 236775881 27969433600 31659 33554432000 4194304 4196468 140730643254448 140188004274416 140188012754795 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8566] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8566/stat : 8566 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140188036721296 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8567] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8567/stat : 8567 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187867970064 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8568] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8568/stat : 8568 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187453991312 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8569] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8569/stat : 8569 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187452938512 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8570] ppid=8561 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/8564/task/8570/stat : 8570 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187451886736 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8571] ppid=8561 vsize=27313900 memory=140397783380911 CPUtime=0 cores=0-7 /proc/8564/task/8571/stat : 8571 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187450833936 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8572] ppid=8561 vsize=27313900 memory=140397783383216 CPUtime=0 cores=0-7 /proc/8564/task/8572/stat : 8572 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187449781136 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8573] ppid=8561 vsize=27313900 memory=140397783385520 CPUtime=0 cores=0-7 /proc/8564/task/8573/stat : 8573 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775884 27969433600 31659 33554432000 4194304 4196468 140730643254448 140187448728336 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8574] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8574/stat : 8574 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775885 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186151410032 140188032490114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8575] ppid=8561 vsize=27313900 memory=280795566778000 CPUtime=0 cores=0-7 /proc/8564/task/8575/stat : 8575 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 31659 33554432000 4194304 4196468 140730643254448 140185987703840 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8576] ppid=8561 vsize=27313900 memory=280795566784912 CPUtime=0 cores=0-7 /proc/8564/task/8576/stat : 8576 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775886 27969433600 31659 33554432000 4194304 4196468 140730643254448 140185719268208 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8577] ppid=8561 vsize=27313900 memory=280795566726192 CPUtime=0 cores=0-7 /proc/8564/task/8577/stat : 8577 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 31659 33554432000 4194304 4196468 140730643254448 140185344759632 140188032497563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8578] ppid=8561 vsize=27313900 memory=280795566798736 CPUtime=0.01 cores=0-7 /proc/8564/task/8578/stat : 8578 (java) S 8561 8561 7303 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 20 0 236775888 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186150357872 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8579] ppid=8561 vsize=27313900 memory=280795566805648 CPUtime=0 cores=0-7 /proc/8564/task/8579/stat : 8579 (java) S 8561 8561 7303 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 236775888 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186149305072 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8580] ppid=8561 vsize=27313900 memory=280795566803344 CPUtime=0.02 cores=0-7 /proc/8564/task/8580/stat : 8580 (java) S 8561 8561 7303 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 236775889 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186148252272 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8581] ppid=8561 vsize=27313900 memory=280795566819504 CPUtime=0.07 cores=0-7 /proc/8564/task/8581/stat : 8581 (java) S 8561 8561 7303 0 -1 1077944384 427 0 0 0 7 0 0 0 20 0 20 0 236775889 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186147199472 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8582] ppid=8561 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8582/stat : 8582 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 31659 33554432000 4194304 4196468 140730643254448 140184846854752 140188032489173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8583] ppid=8561 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/8564/task/8583/stat : 8583 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775889 27969433600 31659 33554432000 4194304 4196468 140730643254448 140186146146864 140188032490114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 128032 KiB [startup+0.700883 s] /proc/loadavg: 5.00 3.87 2.25 2/200 8583 /proc/meminfo: memFree=22941764/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 236775881 115843072 349 33554432000 4194304 5098028 140726500516624 140726500513880 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 349 296 221 0 87 0 [pid=8564] ppid=8561 vsize=27320172 memory=166144 CPUtime=1.02 cores=0-7 /proc/8564/stat : 8564 (java) S 8561 8561 7303 0 -1 1077944320 17980 0 0 0 96 6 0 0 20 0 20 0 236775881 27975856128 41536 33554432000 4194304 4196468 140730643254448 140730643236992 140188032478967 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 /proc/8564/statm: 6830043 41536 3125 1 0 6791447 0 [pid=8564/tid=8565] ppid=8561 vsize=27320172 memory=280795567177392 CPUtime=0.67 cores=0-7 /proc/8564/task/8565/stat : 8565 (java) R 8561 8561 7303 0 -1 4202560 14934 0 0 0 63 4 0 0 20 0 20 0 236775881 27975856128 41536 33554432000 4194304 4196468 140730643254448 140188004314640 140188032500893 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8566] ppid=8561 vsize=27320172 memory=140397783589744 CPUtime=0 cores=0-7 /proc/8564/task/8566/stat : 8566 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236775884 27975856128 41536 33554432000 4194304 4196468 140730643254448 140188036721296 140188032489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8567] ppid=8561 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8567/stat : 8567 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27975856128 41536 33554432000 4194304 4196468 140730643254448 140187867970064 140188032489173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8568] ppid=8561 vsize=27320172 memory=872 CPUtime=0 cores=0-7 /proc/8564/task/8568/stat : 8568 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775884 27975856128 41536 33554432000 4194304 4196468 140730643254448 140187453991312 140188032489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 ################ # More data... # ################ /proc/8564/task/8582/stat : 8582 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236775889 27984392192 138389 33554432000 4194304 4196468 140730643254448 140184846854752 140188032489173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 [pid=8564/tid=8583] ppid=8561 vsize=27328508 memory=0 CPUtime=0 cores=0-7 /proc/8564/task/8583/stat : 8583 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236775889 27984392192 138389 33554432000 4194304 4196468 140730643254448 140186146146864 140188032490114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140730643256297 140730643256621 140730643256621 140730643259343 0 Current children cumulated CPU time: 10.31 s Current children cumulated vsize: 27441636 KiB Current children cumulated memory: 554952 KiB [startup+4.00023 s]* /proc/loadavg: 5.00 3.87 2.25 2/200 8603 /proc/meminfo: memFree=23022112/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1472 CPUtime=11.6 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 590 31733 0 0 0 0 1138 22 20 0 1 0 236775881 115843072 368 33554432000 4194304 5098028 140726500516624 140726500513368 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 368 311 221 0 87 0 [pid=8584] ppid=8561 vsize=7752048 memory=69336 CPUtime=0.58 cores=0-7 /proc/8584/stat : 8584 (java) S 8561 8561 7303 0 -1 1077944320 12574 0 0 0 55 3 0 0 20 0 20 0 236776236 7938097152 17334 33554432000 4194304 4196468 140724599840832 140724599823376 139825107443447 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 /proc/8584/statm: 1938012 17334 3021 1 0 1899951 0 [pid=8584/tid=8585] ppid=8561 vsize=7752048 memory=667680 CPUtime=0.42 cores=0-7 /proc/8584/task/8585/stat : 8585 (java) R 8561 8561 7303 0 -1 4202560 9992 0 0 0 40 2 0 0 20 0 20 0 236776237 7938097152 17910 33554432000 4194304 4196468 140724599840832 139825079259680 139825091523934 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8586] ppid=8561 vsize=7752048 memory=7306637759129741677 CPUtime=0 cores=0-7 /proc/8584/task/8586/stat : 8586 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139825111686288 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8587] ppid=8561 vsize=7752048 memory=3472468526827023817 CPUtime=0 cores=0-7 /proc/8584/task/8587/stat : 8587 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824592170000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8588] ppid=8561 vsize=7752048 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/8584/task/8588/stat : 8588 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824591117200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8589] ppid=8561 vsize=7752048 memory=2241 CPUtime=0 cores=0-7 /proc/8584/task/8589/stat : 8589 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824590064400 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8590] ppid=8561 vsize=7752048 memory=2244 CPUtime=0 cores=0-7 /proc/8584/task/8590/stat : 8590 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824589011600 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8591] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8591/stat : 8591 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824587958800 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8592] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8592/stat : 8592 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824586906000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8593] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8593/stat : 8593 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824585853200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8594] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8594/stat : 8594 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776240 7938097152 17910 33554432000 4194304 4196468 140724599840832 139824200661872 139825107454594 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8595] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8595/stat : 8595 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236776240 7938097152 17910 33554432000 4194304 4196468 140724599840832 139823532729888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8596] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8596/stat : 8596 (java) S 8561 8561 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236776240 7938097152 17910 33554432000 4194304 4196468 140724599840832 139823398507888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8597] ppid=8561 vsize=7752048 memory=-2897801490638248215 CPUtime=0 cores=0-7 /proc/8584/task/8597/stat : 8597 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776243 7938097152 17910 33554432000 4194304 4196468 140724599840832 139823024003408 139825107462043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8598] ppid=8561 vsize=7752048 memory=6944656575208382560 CPUtime=0.01 cores=0-7 /proc/8584/task/8598/stat : 8598 (java) S 8561 8561 7303 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 236776243 7938097152 17911 33554432000 4194304 4196468 140724599840832 139824199608688 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8599] ppid=8561 vsize=7752048 memory=6944656575208382560 CPUtime=0.01 cores=0-7 /proc/8584/task/8599/stat : 8599 (java) S 8561 8561 7303 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 236776243 7938097152 17911 33554432000 4194304 4196468 140724599840832 139824198555888 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8600] ppid=8561 vsize=7752048 memory=6944656575208382560 CPUtime=0.01 cores=0-7 /proc/8584/task/8600/stat : 8600 (java) S 8561 8561 7303 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 236776243 7938097152 17911 33554432000 4194304 4196468 140724599840832 139824197503088 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8601] ppid=8561 vsize=7752048 memory=0 CPUtime=0.09 cores=0-7 /proc/8584/task/8601/stat : 8601 (java) S 8561 8561 7303 0 -1 1077944384 532 0 0 0 9 0 0 0 20 0 20 0 236776243 7938097152 17911 33554432000 4194304 4196468 140724599840832 139824196450288 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8602] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8602/stat : 8602 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236776243 7938097152 17911 33554432000 4194304 4196468 140724599840832 139822526098528 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8603] ppid=8561 vsize=7752048 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8603/stat : 8603 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776244 7938097152 17911 33554432000 4194304 4196468 140724599840832 139824195398704 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 Current children cumulated CPU time: 12.18 s Current children cumulated vsize: 7865176 KiB Current children cumulated memory: 70808 KiB [startup+4.20083 s] /proc/loadavg: 5.00 3.87 2.25 2/200 8603 /proc/meminfo: memFree=23022112/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1472 CPUtime=11.6 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 590 31733 0 0 0 0 1138 22 20 0 1 0 236775881 115843072 368 33554432000 4194304 5098028 140726500516624 140726500513368 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 368 311 221 0 87 0 [pid=8584] ppid=8561 vsize=7754116 memory=94936 CPUtime=0.87 cores=0-7 /proc/8584/stat : 8584 (java) S 8561 8561 7303 0 -1 1077944320 17499 0 0 0 82 5 0 0 20 0 20 0 236776236 7940214784 23734 33554432000 4194304 4196468 140724599840832 140724599823376 139825107443447 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 /proc/8584/statm: 1938529 23734 3058 1 0 1900463 0 [pid=8584/tid=8585] ppid=8561 vsize=7754116 memory=8112282956445269571 CPUtime=0.61 cores=0-7 /proc/8584/task/8585/stat : 8585 (java) R 8561 8561 7303 0 -1 4202560 14731 0 0 0 58 3 0 0 20 0 20 0 236776237 7940214784 23734 33554432000 4194304 4196468 140724599840832 139825079274208 139825091523934 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8586] ppid=8561 vsize=7754116 memory=4715433313220523562 CPUtime=0 cores=0-7 /proc/8584/task/8586/stat : 8586 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139825111686288 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8587] ppid=8561 vsize=7754116 memory=8514701219730522529 CPUtime=0 cores=0-7 /proc/8584/task/8587/stat : 8587 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824592170000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8588] ppid=8561 vsize=7754116 memory=7822038051842261661 CPUtime=0 cores=0-7 /proc/8584/task/8588/stat : 8588 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824591117200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8589] ppid=8561 vsize=7754116 memory=-8341965534556230502 CPUtime=0 cores=0-7 /proc/8584/task/8589/stat : 8589 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824590064400 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8590] ppid=8561 vsize=7754116 memory=9047017150487036571 CPUtime=0 cores=0-7 /proc/8584/task/8590/stat : 8590 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824589011600 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8591] ppid=8561 vsize=7754116 memory=-8707038579349950309 CPUtime=0 cores=0-7 /proc/8584/task/8591/stat : 8591 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824587958800 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8592] ppid=8561 vsize=7754116 memory=-8253362762722141311 CPUtime=0 cores=0-7 /proc/8584/task/8592/stat : 8592 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824586906000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8593] ppid=8561 vsize=7754116 memory=-9174445032661854264 CPUtime=0 cores=0-7 /proc/8584/task/8593/stat : 8593 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776238 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824585853200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8594] ppid=8561 vsize=7754116 memory=7684149871766313600 CPUtime=0 cores=0-7 /proc/8584/task/8594/stat : 8594 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776240 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824200661872 139825107454594 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8595] ppid=8561 vsize=7754116 memory=7169338633794804192 CPUtime=0 cores=0-7 /proc/8584/task/8595/stat : 8595 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236776240 7940214784 23734 33554432000 4194304 4196468 140724599840832 139823532729888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8596] ppid=8561 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8596/stat : 8596 (java) S 8561 8561 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236776240 7940214784 23734 33554432000 4194304 4196468 140724599840832 139823398507888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8597] ppid=8561 vsize=7754116 memory=31356350842106267 CPUtime=0 cores=0-7 /proc/8584/task/8597/stat : 8597 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139823024003408 139825107462043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8598] ppid=8561 vsize=7754116 memory=18501 CPUtime=0.03 cores=0-7 /proc/8584/task/8598/stat : 8598 (java) S 8561 8561 7303 0 -1 1077944384 392 0 0 0 3 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824199608688 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8599] ppid=8561 vsize=7754116 memory=0 CPUtime=0.02 cores=0-7 /proc/8584/task/8599/stat : 8599 (java) S 8561 8561 7303 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824198555888 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8600] ppid=8561 vsize=7754116 memory=0 CPUtime=0.02 cores=0-7 /proc/8584/task/8600/stat : 8600 (java) R 8561 8561 7303 0 -1 4202560 278 0 0 0 2 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824197492352 139825090830304 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8601] ppid=8561 vsize=7754116 memory=0 CPUtime=0.15 cores=0-7 /proc/8584/task/8601/stat : 8601 (java) S 8561 8561 7303 0 -1 1077944384 671 0 0 0 15 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824196450288 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8602] ppid=8561 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8602/stat : 8602 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236776243 7940214784 23734 33554432000 4194304 4196468 140724599840832 139822526098528 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8603] ppid=8561 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8603/stat : 8603 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236776244 7940214784 23734 33554432000 4194304 4196468 140724599840832 139824195398704 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 Current children cumulated CPU time: 12.47 s Current children cumulated vsize: 7867244 KiB Current children cumulated memory: 96408 KiB [startup+4.30329 s] /proc/loadavg: 5.00 3.87 2.25 2/200 8603 /proc/meminfo: memFree=23022112/32770624 swapFree=67108860/67108860 [pid=8561] ppid=8558 vsize=113128 memory=1472 CPUtime=11.6 cores=0-7 /proc/8561/stat : 8561 (scop.sh) S 8558 8561 7303 0 -1 4202496 590 31733 0 0 0 0 1138 22 20 0 1 0 236775881 115843072 368 33554432000 4194304 5098028 140726500516624 140726500513368 139994348900988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140726500520994 140726500521219 140726500521219 140726500523981 0 /proc/8561/statm: 28282 368 311 221 0 87 0 [pid=8584] ppid=8561 vsize=8215244 memory=111320 CPUtime=1.06 cores=0-7 /proc/8584/stat : 8584 (java) S 8561 8561 7303 0 -1 1077944320 18657 0 0 0 101 5 0 0 20 0 23 0 236776236 8412409856 27830 33554432000 4194304 4196468 140724599840832 140724599823376 139825107443447 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 /proc/8584/statm: 2053811 27830 3143 1 0 2015210 0 [pid=8584/tid=8585] ppid=8561 vsize=8215244 memory=140402226185855 CPUtime=0.72 cores=0-7 /proc/8584/task/8585/stat : 8585 (java) R 8561 8561 7303 0 -1 4202560 15436 0 0 0 68 4 0 0 20 0 23 0 236776237 8412409856 27830 33554432000 4194304 4196468 140724599840832 139825079267136 139824861796804 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8586] ppid=8561 vsize=8215244 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8586/stat : 8586 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139825111686288 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8587] ppid=8561 vsize=8215244 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8587/stat : 8587 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824592170000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8588] ppid=8561 vsize=8215244 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8588/stat : 8588 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824591117200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8589] ppid=8561 vsize=8215244 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8589/stat : 8589 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824590064400 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8590] ppid=8561 vsize=8215244 memory=0 CPUtime=0 cores=0-7 /proc/8584/task/8590/stat : 8590 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824589011600 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8591] ppid=8561 vsize=8215244 memory=90812 CPUtime=0 cores=0-7 /proc/8584/task/8591/stat : 8591 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824587958800 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8592] ppid=8561 vsize=8215244 memory=5450916471307728426 CPUtime=0 cores=0-7 /proc/8584/task/8592/stat : 8592 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824586906000 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8593] ppid=8561 vsize=8215244 memory=4137821294866298410 CPUtime=0 cores=0-7 /proc/8584/task/8593/stat : 8593 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776238 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824585853200 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8594] ppid=8561 vsize=8215244 memory=-3103912127665269909 CPUtime=0 cores=0-7 /proc/8584/task/8594/stat : 8594 (java) S 8561 8561 7303 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 23 0 236776240 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824200661872 139825107454594 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8595] ppid=8561 vsize=8215244 memory=4282249737340613536 CPUtime=0 cores=0-7 /proc/8584/task/8595/stat : 8595 (java) S 8561 8561 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 23 0 236776240 8412409856 27830 33554432000 4194304 4196468 140724599840832 139823532729888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8596] ppid=8561 vsize=8215244 memory=7595998506214910830 CPUtime=0 cores=0-7 /proc/8584/task/8596/stat : 8596 (java) S 8561 8561 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 236776240 8412409856 27830 33554432000 4194304 4196468 140724599840832 139823398507888 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8597] ppid=8561 vsize=8215244 memory=7444843076533644388 CPUtime=0 cores=0-7 /proc/8584/task/8597/stat : 8597 (java) S 8561 8561 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139823024003408 139825107462043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8598] ppid=8561 vsize=8215244 memory=7593438860376829281 CPUtime=0.03 cores=0-7 /proc/8584/task/8598/stat : 8598 (java) S 8561 8561 7303 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824199608688 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8599] ppid=8561 vsize=8215244 memory=303430223234596890 CPUtime=0.06 cores=0-7 /proc/8584/task/8599/stat : 8599 (java) S 8561 8561 7303 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824198555888 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8600] ppid=8561 vsize=8215244 memory=288230596050944315 CPUtime=0.04 cores=0-7 /proc/8584/task/8600/stat : 8600 (java) S 8561 8561 7303 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824197503088 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8601] ppid=8561 vsize=8215244 memory=15258134151170443 CPUtime=0.18 cores=0-7 /proc/8584/task/8601/stat : 8601 (java) S 8561 8561 7303 0 -1 1077944384 755 0 0 0 18 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824196450288 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8602] ppid=8561 vsize=8215244 memory=1724 CPUtime=0 cores=0-7 /proc/8584/task/8602/stat : 8602 (java) S 8561 8561 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 236776243 8412409856 27830 33554432000 4194304 4196468 140724599840832 139822526098528 139825107453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 [pid=8584/tid=8603] ppid=8561 vsize=8215244 memory=4004 CPUtime=0 cores=0-7 /proc/8584/task/8603/stat : 8603 (java) S 8561 8561 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 236776244 8412409856 27830 33554432000 4194304 4196468 140724599840832 139824195398704 139825107454594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21880832 140724599846066 140724599846189 140724599846189 140724599848911 0 Current children cumulated CPU time: 12.66 s Current children cumulated vsize: 8328372 KiB Current children cumulated memory: 112792 KiB Child status: 0 Real time (s): 4.37807 CPU time (s): 13.0972 CPU user time (s): 12.7577 CPU system time (s): 0.339508 CPU usage (%): 299.155 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 641844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.7577 system time used= 0.339508 maximum resident set size= 643340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55932 page faults= 0 swaps= 0 block input operations= 0 block output operations= 784 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11937 involuntary context switches= 26 # summary of solver processes directly reported to runsolver: # pid: 8561 # total CPU time (s): 13.0972 # total CPU user time (s): 12.7577 # total CPU system time (s): 0.339508 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.054689 second user time and 0.087325 second system time The end
Begin job on node107 at 2018-08-13 22:28:47 IDJOB=4307187 IDBENCH=141387 IDSOLVER=2788 FILE ID=node107/4307187-1534192127 RUNJOBID= node107-1534191883-7330 PBS_JOBID= 21037998 Free space on /tmp= 39620 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-7-cp_c18.xml COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307187-1534192127/watcher-4307187-1534192127 -o /tmp/evaluation-result-4307187-1534192127/solver-4307187-1534192127 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534191883-7330 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307187-1534192127.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6202e41c7df8f203e59ab292b28f5059 RANDOM SEED=2047562916 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: 23082932 kB MemAvailable: 31901904 kB Buffers: 232644 kB Cached: 8782484 kB SwapCached: 0 kB Active: 4704748 kB Inactive: 4365352 kB Active(anon): 4024 kB Inactive(anon): 103580 kB Active(file): 4700724 kB Inactive(file): 4261772 kB Unevictable: 6976 kB Mlocked: 6976 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8668 kB Writeback: 0 kB AnonPages: 61528 kB Mapped: 53644 kB Shmem: 49804 kB Slab: 312904 kB SReclaimable: 284936 kB SUnreclaim: 27968 kB KernelStack: 3232 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348648 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= 39612 MiB End job on node107 at 2018-08-13 22:28:51