Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | UNSAT | 21.5769 | 7.9437 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml |
MD5SUM | f8050e8ddc741b4fb4a45c7e8cfb7628 |
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 | 19.7903 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 39 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
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-25035-serial-file.bin HOME/instance-4307300-1534184687.xml 0.65/0.53 0.65/0.53 scop order+glucose-syrup (2018-07-31) 0.65/0.53 (Encoding Process) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Mon Aug 13 20:24:48 CEST 2018 0.65/0.56 c PID: 25038 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 5.77/1.95 c (1,1) Parsing End 5.77/1.96 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39 5.77/1.96 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.77/1.96 c (1,1) Constraint Name Generate Begin 5.77/1.99 c (1,1) Ctr:HOME/instance-4307300-1534184687.xml,Dist:Eq:IntVar:Le:Num 5.77/1.99 c (1,1) Constraint Name Generate End 5.77/1.99 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.77/1.99 c (1,1) CSP to CSPinCNF Begin 6.89/2.26 c (1,1) translated 411 (10%) constraints 7.23/2.33 c (1,1) translated 821 (20%) constraints 7.23/2.37 c (1,1) translated 1231 (30%) constraints 7.62/2.42 c (1,1) translated 1642 (40%) constraints 7.62/2.46 c (1,1) translated 2052 (50%) constraints 8.02/2.50 c (1,1) translated 2462 (60%) constraints 8.02/2.54 c (2,1) translated 2873 (70%) constraints 8.02/2.57 c (2,2) translated 3283 (80%) constraints 8.42/2.61 c (2,2) translated 3693 (90%) constraints 8.88/2.73 c (2,2) translated 4103 (100%) constraints 9.33/2.83 c (2,2) STATISTICS1:HOME/instance-4307300-1534184687.xml,Dist:Eq:IntVar:Le:Num,680,4783,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64,2:4103;1:680,2:8886, 9.33/2.83 c (2,2) ========================================== 9.33/2.83 c (2,2) Order 9.33/2.84 c (2,2) ========================================== 9.33/2.86 c (2,2) translated 479 (10%) constraints 9.33/2.88 c (2,2) translated 957 (20%) constraints 9.33/2.90 c (2,2) translated 1435 (30%) constraints 9.71/2.91 c (2,2) translated 1914 (40%) constraints 9.71/2.92 c (2,2) translated 2392 (50%) constraints 9.71/2.93 c (2,2) translated 2870 (60%) constraints 9.71/2.95 c (2,2) translated 3349 (70%) constraints 9.71/2.96 c (2,2) translated 3827 (80%) constraints 9.71/2.97 c (2,2) translated 4305 (90%) constraints 9.71/2.98 c (2,2) translated 4783 (100%) constraints 9.71/2.98 c (2,2) CSP to CSPinCNF End 9.71/2.98 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39 9.71/2.98 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.71/2.98 c (2,2) CSPinCNF Propagation Begin 12.05/4.39 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 12.05/4.39 c (3,3) CSPinCNF Propagation End 12.05/4.39 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39 12.05/4.39 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 12.05/4.39 c (3,3) Simplify CSPinCNF Begin 12.75/4.64 c (4,4) Simplify CSPinCNF End 12.75/4.64 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39 12.75/4.64 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.75/4.64 c (4,4) Calculate Precise Domain Begin 12.75/4.65 c (4,4) 0 values are removed by re-calculation 12.75/4.65 c (4,4) Calculate Precise Domain End 12.75/4.65 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39 12.75/4.65 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.75/4.65 c (4,4) CSPinCNF to SatSolver Begin 14.05/4.96 c (4,4) 1299 (10 %) CSP clauses are encoded (31386 SAT variables, 50505 SAT clauses) 14.49/5.08 c (4,4) 2598 (20 %) CSP clauses are encoded (31386 SAT variables, 78073 SAT clauses) 14.91/5.16 c (4,4) 3897 (30 %) CSP clauses are encoded (31386 SAT variables, 103483 SAT clauses) 15.06/5.26 c (4,4) 5196 (40 %) CSP clauses are encoded (31386 SAT variables, 131265 SAT clauses) 15.31/5.36 c (4,4) 6495 (50 %) CSP clauses are encoded (31386 SAT variables, 160135 SAT clauses) 15.53/5.46 c (4,4) 7794 (60 %) CSP clauses are encoded (31386 SAT variables, 189589 SAT clauses) 15.70/5.54 c (5,4) 9093 (70 %) CSP clauses are encoded (31386 SAT variables, 218811 SAT clauses) 15.87/5.63 c (5,5) 10392 (80 %) CSP clauses are encoded (31386 SAT variables, 248167 SAT clauses) 15.99/5.70 c (5,5) 11691 (90 %) CSP clauses are encoded (31386 SAT variables, 276483 SAT clauses) 15.99/5.76 c (5,5) 12989 (100 %) CSP clauses are encoded (31386 SAT variables, 302440 SAT clauses) 15.99/5.76 c (5,5) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 15.99/5.76 c (5,5) CSPinCNF to SatSolver End 15.99/5.76 c (5,5) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.19/5.84 c (5,5) STATISTICS2:HOME/instance-4307300-1534184687.xml,Dist:Eq:IntVar:Le:Num,8886,12989,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 16.19/5.84 c (5,5) 31386 bool, 302452 clause 16.19/5.84 c (5,5) Export Begin 17.25/6.19 c (5,5) Export to HOME/scop-25035-serial-file.bin 17.25/6.19 c (5,5) Export End 17.25/6.19 c (5,5) Export File Size: 4.28 MB 17.25/6.19 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS) 17.25/6.19 c END-Prog: Mon Aug 13 20:24:53 CEST 2018 17.36/6.23 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25035-serial-file.bin 17.39/6.72 c (0,0) Read Serial File Begin 17.39/6.72 c (0,0) HOME/scop-25035-serial-file.bin 18.74/7.07 c (0,0) Read Serial File End 18.74/7.07 18.74/7.07 scop order+glucose-syrup (2018-07-31) 18.74/7.08 (Solving Process) 18.74/7.08 18.74/7.10 c BEGIN-Prog: Mon Aug 13 20:24:54 CEST 2018 18.74/7.10 c PID: 25058 18.74/7.10 c IP: 172.20.3.134 18.74/7.10 c HOST: node134.alineos.net 18.97/7.11 c (0,0) SatSolver.solve Begin 18.97/7.11 c (0,0) 0 bool, 0 clause 18.97/7.11 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307300-1534184687.xml-scop-25038.cnf 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 19.14/7.92 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 19.14/7.92 c (1,0) c ========================================[ Problem Statistics ]=========================================== 19.14/7.92 c (1,0) c | | 19.14/7.92 c (1,0) c | Number of variables: 31386 | 19.14/7.92 c (1,0) c | Number of clauses: 302452 | 19.14/7.92 c (1,0) c | Parse time: 0.11 s | 19.14/7.92 c (1,0) c | | 19.14/7.92 c (1,0) c | Eliminated clauses: 0.08 Mb | 19.14/7.92 c (1,0) c | Simplification time: 0.30 s | 19.14/7.92 c (1,0) c | | 19.14/7.92 c (1,0) c | Generating clones | 19.14/7.92 c (1,0) c | all clones generated. Memory = 214.42Mb. | 19.14/7.92 c (1,0) c ========================================================================================================| 19.14/7.92 c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (UNSAT answer). 19.14/7.92 c (1,0) c Total Memory so far : 790.84Mb 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c real time : 0.784231 s 19.14/7.92 c (1,0) c cpu time : 2.28764 s 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 19.14/7.92 c (1,0) c 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) c | Conflicts | 31469 | 3473 | 4038 | 3828 | 3806 | 4364 | 4129 | 3793 | 4038 | 19.14/7.92 c (1,0) c | Decisions | 45300 | 4879 | 5721 | 5675 | 5651 | 6232 | 5875 | 5546 | 5721 | 19.14/7.92 c (1,0) c | Propagations | 6185756 | 736328 | 793541 | 757934 | 755253 | 799491 | 799668 | 750000 | 793541 | 19.14/7.92 c (1,0) c | Avg_Trail | | 1732 | 1641 | 1697 | 1699 | 1585 | 1635 | 1700 | 1641 | 19.14/7.92 c (1,0) c | Avg_DL | | 56 | 41 | 44 | 44 | 39 | 41 | 43 | 41 | 19.14/7.92 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.14/7.92 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) c | Exported | 1031 | 88 | 122 | 128 | 125 | 161 | 145 | 140 | 122 | 19.14/7.92 c (1,0) c | Imported | 5308 | 504 | 573 | 771 | 788 | 870 | 355 | 878 | 569 | 19.14/7.92 c (1,0) c | Good | 320 | 25 | 29 | 48 | 51 | 65 | 16 | 57 | 29 | 19.14/7.92 c (1,0) c | Purge | 4988 | 479 | 544 | 723 | 737 | 805 | 339 | 821 | 540 | 19.14/7.92 c (1,0) c | Promoted | 405 | 39 | 50 | 76 | 68 | 36 | 29 | 57 | 50 | 19.14/7.92 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.14/7.92 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) c | Unaries | | 0 | 0 | 1 | 1 | 2 | 0 | 3 | 0 | 19.14/7.92 c (1,0) c | Binaries | | 4 | 5 | 12 | 7 | 21 | 9 | 23 | 5 | 19.14/7.92 c (1,0) c | Glues | | 88 | 122 | 128 | 125 | 161 | 145 | 140 | 122 | 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) c | Orig_Seen | 2 % | 8600 | 9085 | 8999 | 8946 | 9267 | 9271 | 8763 | 9085 | 19.14/7.92 c (1,0) c | Diff Orig seen| | - 667 | - 182 | - 268 | - 321 | X | 4 | - 504 | - 182 | 19.14/7.92 c (1,0) c | Hamming | 3 % | 3715 | 498 | 488 | 516 | X | 453 | 477 | 498 | 19.14/7.92 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.14/7.92 c (1,0) 19.14/7.92 c (1,0) s UNSATISFIABLE 19.14/7.93 c (1,0) SatSolver.solve End 19.14/7.93 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 19.14/7.93 c (1,0) Show results Begin 19.14/7.93 s UNSATISFIABLE 19.14/7.93 c (1,0) Show results End 19.14/7.93 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 19.14/7.93 c (1,0) 1,1,STOP-AFTER(ALL) 19.14/7.93 c END-Prog: Mon Aug 13 20:24:55 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 (10621 MiB free) memory of node 1: 16384 MiB (6745 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307300-1534184687/watcher-4307300-1534184687 -o /tmp/evaluation-result-4307300-1534184687/solver-4307300-1534184687 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307300-1534184687.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=25035, runsolver pid=25032 [startup+0.105176 s]* /proc/loadavg: 2.77 5.86 7.45 2/203 25057 /proc/meminfo: memFree=17686976/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236031930 115843072 349 33554432000 4194304 5098028 140722407137888 140722407135144 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 349 296 221 0 87 0 [pid=25038] ppid=25035 vsize=27313900 memory=110004 CPUtime=0.11 cores=0-7 /proc/25038/stat : 25038 (java) S 25035 25035 22617 0 -1 1077944320 6437 0 0 0 9 2 0 0 20 0 20 0 236031931 27969433600 27501 33554432000 4194304 4196468 140723312486960 140723312469504 140398178266871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 /proc/25038/statm: 6828475 27501 2743 1 0 6790935 0 [pid=25038/tid=25039] ppid=25035 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/25038/task/25039/stat : 25039 (java) R 25035 25035 22617 0 -1 4202560 4565 0 0 0 7 1 0 0 20 0 20 0 236031931 27969433600 27501 33554432000 4194304 4196468 140723312486960 140398150046944 140398162347358 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25040] ppid=25035 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25038/task/25040/stat : 25040 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 27501 33554432000 4194304 4196468 140723312486960 140398182508944 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25041] ppid=25035 vsize=27313900 memory=139691675682432 CPUtime=0 cores=0-7 /proc/25038/task/25041/stat : 25041 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397996665104 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25042] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25042/stat : 25042 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397995612816 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25043] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25043/stat : 25043 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397994560016 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25044] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25044/stat : 25044 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397993507728 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25045] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25045/stat : 25045 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397992454928 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25046] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25046/stat : 25046 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397991402640 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25047] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25047/stat : 25047 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397990349840 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25048] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25048/stat : 25048 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397370099824 140398178278018 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25049] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25049/stat : 25049 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 27501 33554432000 4194304 4196468 140723312486960 140395971339040 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25050] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25050/stat : 25050 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031936 27969433600 27501 33554432000 4194304 4196468 140723312486960 140395702903920 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25051] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25051/stat : 25051 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140395328395344 140398178285467 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25052] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25052/stat : 25052 (java) S 25035 25035 22617 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397369047664 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25053] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25053/stat : 25053 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397367994864 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25054] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25054/stat : 25054 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397366942576 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25055] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25055/stat : 25055 (java) S 25035 25035 22617 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397365889776 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25056] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25056/stat : 25056 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 27501 33554432000 4194304 4196468 140723312486960 140394830489952 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25057] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25057/stat : 25057 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031939 27969433600 27501 33554432000 4194304 4196468 140723312486960 140397364836656 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 111400 KiB [startup+0.210406 s]* /proc/loadavg: 2.77 5.86 7.45 2/203 25057 /proc/meminfo: memFree=17671224/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236031930 115843072 349 33554432000 4194304 5098028 140722407137888 140722407135144 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 349 296 221 0 87 0 [pid=25038] ppid=25035 vsize=27313900 memory=124136 CPUtime=0.24 cores=0-7 /proc/25038/stat : 25038 (java) S 25035 25035 22617 0 -1 1077944320 10203 0 0 0 21 3 0 0 20 0 20 0 236031931 27969433600 31034 33554432000 4194304 4196468 140723312486960 140723312469504 140398178266871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 /proc/25038/statm: 6828475 31034 2900 1 0 6790935 0 [pid=25038/tid=25039] ppid=25035 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/25038/task/25039/stat : 25039 (java) R 25035 25035 22617 0 -1 4202560 8128 0 0 0 17 2 0 0 20 0 20 0 236031931 27969433600 31034 33554432000 4194304 4196468 140723312486960 140398150065616 140398170503998 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25040] ppid=25035 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/25038/task/25040/stat : 25040 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31034 33554432000 4194304 4196468 140723312486960 140398182508944 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25041] ppid=25035 vsize=27313900 memory=139691675705245 CPUtime=0 cores=0-7 /proc/25038/task/25041/stat : 25041 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397996665104 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25042] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25042/stat : 25042 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397995612816 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25043] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25043/stat : 25043 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397994560016 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25044] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25044/stat : 25044 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397993507728 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25045] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25045/stat : 25045 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397992454928 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25046] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25046/stat : 25046 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397991402640 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25047] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25047/stat : 25047 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397990349840 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25048] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25048/stat : 25048 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397370099824 140398178278018 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25049] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25049/stat : 25049 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 31034 33554432000 4194304 4196468 140723312486960 140395971339040 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25050] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25050/stat : 25050 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031936 27969433600 31034 33554432000 4194304 4196468 140723312486960 140395702903920 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25051] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25051/stat : 25051 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140395328395344 140398178285467 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25052] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25052/stat : 25052 (java) S 25035 25035 22617 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397369047664 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25053] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25053/stat : 25053 (java) S 25035 25035 22617 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397367994864 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25054] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25054/stat : 25054 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397366942576 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25055] ppid=25035 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/25038/task/25055/stat : 25055 (java) S 25035 25035 22617 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397365889776 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25056] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25056/stat : 25056 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31034 33554432000 4194304 4196468 140723312486960 140394830489952 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25057] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25057/stat : 25057 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031939 27969433600 31034 33554432000 4194304 4196468 140723312486960 140397364836656 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 125532 KiB [startup+0.310402 s]* /proc/loadavg: 2.77 5.86 7.45 2/203 25057 /proc/meminfo: memFree=17668184/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236031930 115843072 349 33554432000 4194304 5098028 140722407137888 140722407135144 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 349 296 221 0 87 0 [pid=25038] ppid=25035 vsize=27313900 memory=127932 CPUtime=0.42 cores=0-7 /proc/25038/stat : 25038 (java) S 25035 25035 22617 0 -1 1077944320 10760 0 0 0 38 4 0 0 20 0 20 0 236031931 27969433600 31983 33554432000 4194304 4196468 140723312486960 140723312469504 140398178266871 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 /proc/25038/statm: 6828475 31983 2981 1 0 6790935 0 [pid=25038/tid=25039] ppid=25035 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25038/task/25039/stat : 25039 (java) R 25035 25035 22617 0 -1 4202560 8513 0 0 0 26 3 0 0 20 0 20 0 236031931 27969433600 31983 33554432000 4194304 4196468 140723312486960 140398150061872 140398159830427 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25040] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25040/stat : 25040 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31983 33554432000 4194304 4196468 140723312486960 140398182508944 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25041] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25041/stat : 25041 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397996665104 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25042] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25042/stat : 25042 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397995612816 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25043] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25043/stat : 25043 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397994560016 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25044] ppid=25035 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/25038/task/25044/stat : 25044 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397993507728 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25045] ppid=25035 vsize=27313900 memory=139691529696175 CPUtime=0 cores=0-7 /proc/25038/task/25045/stat : 25045 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397992454928 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25046] ppid=25035 vsize=27313900 memory=139691529698480 CPUtime=0 cores=0-7 /proc/25038/task/25046/stat : 25046 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397991402640 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25047] ppid=25035 vsize=27313900 memory=139691529700784 CPUtime=0 cores=0-7 /proc/25038/task/25047/stat : 25047 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031934 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397990349840 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25048] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25048/stat : 25048 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397370099824 140398178278018 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25049] ppid=25035 vsize=27313900 memory=279383059408528 CPUtime=0 cores=0-7 /proc/25038/task/25049/stat : 25049 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236031935 27969433600 31983 33554432000 4194304 4196468 140723312486960 140395971339040 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25050] ppid=25035 vsize=27313900 memory=279383059415440 CPUtime=0 cores=0-7 /proc/25038/task/25050/stat : 25050 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031936 27969433600 31983 33554432000 4194304 4196468 140723312486960 140395702903920 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25051] ppid=25035 vsize=27313900 memory=279383059356720 CPUtime=0 cores=0-7 /proc/25038/task/25051/stat : 25051 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140395328395344 140398178285467 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25052] ppid=25035 vsize=27313900 memory=279383059429264 CPUtime=0 cores=0-7 /proc/25038/task/25052/stat : 25052 (java) S 25035 25035 22617 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397369047664 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25053] ppid=25035 vsize=27313900 memory=279383059436176 CPUtime=0.01 cores=0-7 /proc/25038/task/25053/stat : 25053 (java) S 25035 25035 22617 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397367994864 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25054] ppid=25035 vsize=27313900 memory=279383059433872 CPUtime=0.01 cores=0-7 /proc/25038/task/25054/stat : 25054 (java) S 25035 25035 22617 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397366942576 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25055] ppid=25035 vsize=27313900 memory=279383059450032 CPUtime=0.07 cores=0-7 /proc/25038/task/25055/stat : 25055 (java) S 25035 25035 22617 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397365889776 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25056] ppid=25035 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25056/stat : 25056 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236031938 27969433600 31983 33554432000 4194304 4196468 140723312486960 140394830489952 140398178277077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25057] ppid=25035 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25038/task/25057/stat : 25057 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031939 27969433600 31983 33554432000 4194304 4196468 140723312486960 140397364836656 140398178278018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 129328 KiB [startup+0.701001 s] /proc/loadavg: 2.77 5.86 7.45 2/203 25057 /proc/meminfo: memFree=17644508/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 236031930 115843072 349 33554432000 4194304 5098028 140722407137888 140722407135144 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 349 296 221 0 87 0 [pid=25038] ppid=25035 vsize=27320172 memory=164864 CPUtime=0.99 cores=0-7 /proc/25038/stat : 25038 (java) S 25035 25035 22617 0 -1 1077944320 17692 0 0 0 93 6 0 0 20 0 20 0 236031931 27975856128 41216 33554432000 4194304 4196468 140723312486960 140723312469504 140398178266871 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 /proc/25038/statm: 6830043 41216 3135 1 0 6791447 0 [pid=25038/tid=25039] ppid=25035 vsize=27320172 memory=279383059807920 CPUtime=0.67 cores=0-7 /proc/25038/task/25039/stat : 25039 (java) R 25035 25035 22617 0 -1 4202560 14878 0 0 0 62 5 0 0 20 0 20 0 236031931 27975856128 41216 33554432000 4194304 4196468 140723312486960 140398150102544 140397665995603 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25040] ppid=25035 vsize=27320172 memory=139691529905008 CPUtime=0 cores=0-7 /proc/25038/task/25040/stat : 25040 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236031933 27975856128 41216 33554432000 4194304 4196468 140723312486960 140398182508944 140398178277077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25041] ppid=25035 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/25038/task/25041/stat : 25041 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27975856128 41216 33554432000 4194304 4196468 140723312486960 140397996665104 140398178277077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 [pid=25038/tid=25042] ppid=25035 vsize=27320172 memory=1616 CPUtime=0 cores=0-7 /proc/25038/task/25042/stat : 25042 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236031933 27975856128 41216 33554432000 4194304 4196468 140723312486960 140397995612816 140398178277077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30941184 140723312489448 140723312489773 140723312489773 140723312492495 0 ################ # More data... # ################ /proc/25058/task/25076/stat : 25076 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871180024672 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25077] ppid=25035 vsize=8413904 memory=1316514 CPUtime=0 cores=0-7 /proc/25058/task/25077/stat : 25077 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872772741936 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 Current children cumulated CPU time: 19.14 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 141604 KiB [startup+7.601 s] /proc/loadavg: 2.87 5.83 7.43 4/203 25077 /proc/meminfo: memFree=17677712/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1472 CPUtime=17.39 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 591 35388 0 0 0 0 1662 77 20 0 1 0 236031930 115843072 368 33554432000 4194304 5098028 140722407137888 140722407134632 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 368 311 221 0 87 0 [pid=25058] ppid=25035 vsize=8413904 memory=140132 CPUtime=1.75 cores=0-7 /proc/25058/stat : 25058 (java) S 25035 25035 22617 0 -1 1077944320 19698 0 0 0 161 14 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 140723567572368 139873684745975 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 /proc/25058/statm: 2103476 35033 3156 1 0 2064875 0 [pid=25058/tid=25059] ppid=25035 vsize=8413904 memory=4580 CPUtime=0.92 cores=0-7 /proc/25058/task/25059/stat : 25059 (java) S 25035 25035 22617 0 -1 1077944384 15590 0 0 0 80 12 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873656586128 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25060] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25060/stat : 25060 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873688988560 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25061] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25061/stat : 25061 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873489156880 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25062] ppid=25035 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/25058/task/25062/stat : 25062 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873488104592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25063] ppid=25035 vsize=8413904 memory=2412 CPUtime=0 cores=0-7 /proc/25058/task/25063/stat : 25063 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873487051792 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25064] ppid=25035 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/25058/task/25064/stat : 25064 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873485998480 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25065] ppid=25035 vsize=8413904 memory=1564 CPUtime=0 cores=0-7 /proc/25058/task/25065/stat : 25065 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873484945680 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25066] ppid=25035 vsize=8413904 memory=2212 CPUtime=0 cores=0-7 /proc/25058/task/25066/stat : 25066 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873483893392 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25067] ppid=25035 vsize=8413904 memory=3984 CPUtime=0 cores=0-7 /proc/25058/task/25067/stat : 25067 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873482840592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25068] ppid=25035 vsize=8413904 memory=1224 CPUtime=0 cores=0-7 /proc/25058/task/25068/stat : 25068 (java) S 25035 25035 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872778005104 139873684757122 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25069] ppid=25035 vsize=8413904 memory=1616 CPUtime=0 cores=0-7 /proc/25058/task/25069/stat : 25069 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872320873760 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25070] ppid=25035 vsize=8413904 memory=1832 CPUtime=0 cores=0-7 /proc/25058/task/25070/stat : 25070 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872052438640 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25071] ppid=25035 vsize=8413904 memory=8916 CPUtime=0 cores=0-7 /proc/25058/task/25071/stat : 25071 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871677930064 139873684764571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25072] ppid=25035 vsize=8413904 memory=15196 CPUtime=0.18 cores=0-7 /proc/25058/task/25072/stat : 25072 (java) S 25035 25035 22617 0 -1 1077944384 801 0 0 0 18 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872776951920 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25073] ppid=25035 vsize=8413904 memory=16348 CPUtime=0.2 cores=0-7 /proc/25058/task/25073/stat : 25073 (java) S 25035 25035 22617 0 -1 1077944384 678 0 0 0 20 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872775899120 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25074] ppid=25035 vsize=8413904 memory=2036 CPUtime=0.17 cores=0-7 /proc/25058/task/25074/stat : 25074 (java) S 25035 25035 22617 0 -1 1077944384 540 0 0 0 17 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872774846832 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25075] ppid=25035 vsize=8413904 memory=7636 CPUtime=0.25 cores=0-7 /proc/25058/task/25075/stat : 25075 (java) S 25035 25035 22617 0 -1 1077944384 689 0 0 0 25 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872773794032 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25076] ppid=25035 vsize=8413904 memory=808 CPUtime=0 cores=0-7 /proc/25058/task/25076/stat : 25076 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871180024672 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25077] ppid=25035 vsize=8413904 memory=1800 CPUtime=0 cores=0-7 /proc/25058/task/25077/stat : 25077 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872772741936 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 Current children cumulated CPU time: 19.14 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 141604 KiB [startup+7.80118 s] /proc/loadavg: 2.87 5.83 7.43 4/203 25077 /proc/meminfo: memFree=17677712/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1472 CPUtime=17.39 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 591 35388 0 0 0 0 1662 77 20 0 1 0 236031930 115843072 368 33554432000 4194304 5098028 140722407137888 140722407134632 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 368 311 221 0 87 0 [pid=25058] ppid=25035 vsize=8413904 memory=140132 CPUtime=1.75 cores=0-7 /proc/25058/stat : 25058 (java) S 25035 25035 22617 0 -1 1077944320 19698 0 0 0 161 14 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 140723567572368 139873684745975 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 /proc/25058/statm: 2103476 35033 3156 1 0 2064875 0 [pid=25058/tid=25059] ppid=25035 vsize=8413904 memory=6791534058613427641 CPUtime=0.92 cores=0-7 /proc/25058/task/25059/stat : 25059 (java) S 25035 25035 22617 0 -1 1077944384 15590 0 0 0 80 12 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873656586128 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25060] ppid=25035 vsize=8413904 memory=5450909908396308010 CPUtime=0 cores=0-7 /proc/25058/task/25060/stat : 25060 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873688988560 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25061] ppid=25035 vsize=8413904 memory=8691514255285633087 CPUtime=0 cores=0-7 /proc/25058/task/25061/stat : 25061 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873489156880 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25062] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25062/stat : 25062 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873488104592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25063] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25063/stat : 25063 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873487051792 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25064] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25064/stat : 25064 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873485998480 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25065] ppid=25035 vsize=8413904 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/25058/task/25065/stat : 25065 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873484945680 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25066] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25066/stat : 25066 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873483893392 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25067] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25067/stat : 25067 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873482840592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25068] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25068/stat : 25068 (java) S 25035 25035 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872778005104 139873684757122 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25069] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25069/stat : 25069 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872320873760 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25070] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25070/stat : 25070 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872052438640 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25071] ppid=25035 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/25058/task/25071/stat : 25071 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871677930064 139873684764571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25072] ppid=25035 vsize=8413904 memory=0 CPUtime=0.18 cores=0-7 /proc/25058/task/25072/stat : 25072 (java) S 25035 25035 22617 0 -1 1077944384 801 0 0 0 18 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872776951920 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25073] ppid=25035 vsize=8413904 memory=876 CPUtime=0.2 cores=0-7 /proc/25058/task/25073/stat : 25073 (java) S 25035 25035 22617 0 -1 1077944384 678 0 0 0 20 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872775899120 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25074] ppid=25035 vsize=8413904 memory=5344 CPUtime=0.17 cores=0-7 /proc/25058/task/25074/stat : 25074 (java) S 25035 25035 22617 0 -1 1077944384 540 0 0 0 17 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872774846832 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25075] ppid=25035 vsize=8413904 memory=756 CPUtime=0.25 cores=0-7 /proc/25058/task/25075/stat : 25075 (java) S 25035 25035 22617 0 -1 1077944384 689 0 0 0 25 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872773794032 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25076] ppid=25035 vsize=8413904 memory=4588 CPUtime=0 cores=0-7 /proc/25058/task/25076/stat : 25076 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871180024672 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25077] ppid=25035 vsize=8413904 memory=1388 CPUtime=0 cores=0-7 /proc/25058/task/25077/stat : 25077 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872772741936 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 Current children cumulated CPU time: 19.14 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 141604 KiB [startup+7.90118 s] /proc/loadavg: 2.87 5.83 7.43 4/203 25077 /proc/meminfo: memFree=17677712/32770624 swapFree=67108688/67108860 [pid=25035] ppid=25032 vsize=113128 memory=1472 CPUtime=17.39 cores=0-7 /proc/25035/stat : 25035 (scop.sh) S 25032 25035 22617 0 -1 4202496 591 35388 0 0 0 0 1662 77 20 0 1 0 236031930 115843072 368 33554432000 4194304 5098028 140722407137888 140722407134632 140053784797820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30093312 140722407142434 140722407142659 140722407142659 140722407145421 0 /proc/25035/statm: 28282 368 311 221 0 87 0 [pid=25058] ppid=25035 vsize=8413904 memory=140132 CPUtime=1.75 cores=0-7 /proc/25058/stat : 25058 (java) S 25035 25035 22617 0 -1 1077944320 19698 0 0 0 161 14 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 140723567572368 139873684745975 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 /proc/25058/statm: 2103476 35033 3156 1 0 2064875 0 [pid=25058/tid=25059] ppid=25035 vsize=8413904 memory=920 CPUtime=0.92 cores=0-7 /proc/25058/task/25059/stat : 25059 (java) S 25035 25035 22617 0 -1 1077944384 15590 0 0 0 80 12 0 0 20 0 24 0 236032554 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873656586128 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25060] ppid=25035 vsize=8413904 memory=4380 CPUtime=0 cores=0-7 /proc/25058/task/25060/stat : 25060 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873688988560 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25061] ppid=25035 vsize=8413904 memory=1616 CPUtime=0 cores=0-7 /proc/25058/task/25061/stat : 25061 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873489156880 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25062] ppid=25035 vsize=8413904 memory=1832 CPUtime=0 cores=0-7 /proc/25058/task/25062/stat : 25062 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873488104592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25063] ppid=25035 vsize=8413904 memory=8916 CPUtime=0 cores=0-7 /proc/25058/task/25063/stat : 25063 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873487051792 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25064] ppid=25035 vsize=8413904 memory=140132 CPUtime=0 cores=0-7 /proc/25058/task/25064/stat : 25064 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873485998480 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25065] ppid=25035 vsize=8413904 memory=1472 CPUtime=0 cores=0-7 /proc/25058/task/25065/stat : 25065 (java) S 25035 25035 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873484945680 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25066] ppid=25035 vsize=8413904 memory=279383059754568 CPUtime=0 cores=0-7 /proc/25058/task/25066/stat : 25066 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873483893392 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25067] ppid=25035 vsize=8413904 memory=5344 CPUtime=0 cores=0-7 /proc/25058/task/25067/stat : 25067 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032555 8615837696 35033 33554432000 4194304 4196468 140723567589824 139873482840592 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25068] ppid=25035 vsize=8413904 memory=756 CPUtime=0 cores=0-7 /proc/25058/task/25068/stat : 25068 (java) S 25035 25035 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872778005104 139873684757122 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25069] ppid=25035 vsize=8413904 memory=4588 CPUtime=0 cores=0-7 /proc/25058/task/25069/stat : 25069 (java) S 25035 25035 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872320873760 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25070] ppid=25035 vsize=8413904 memory=1388 CPUtime=0 cores=0-7 /proc/25058/task/25070/stat : 25070 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032557 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872052438640 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25071] ppid=25035 vsize=8413904 memory=9664 CPUtime=0 cores=0-7 /proc/25058/task/25071/stat : 25071 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871677930064 139873684764571 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25072] ppid=25035 vsize=8413904 memory=1136 CPUtime=0.18 cores=0-7 /proc/25058/task/25072/stat : 25072 (java) S 25035 25035 22617 0 -1 1077944384 801 0 0 0 18 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872776951920 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25073] ppid=25035 vsize=8413904 memory=1224 CPUtime=0.2 cores=0-7 /proc/25058/task/25073/stat : 25073 (java) S 25035 25035 22617 0 -1 1077944384 678 0 0 0 20 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872775899120 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25074] ppid=25035 vsize=8413904 memory=1224 CPUtime=0.17 cores=0-7 /proc/25058/task/25074/stat : 25074 (java) S 25035 25035 22617 0 -1 1077944384 540 0 0 0 17 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872774846832 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25075] ppid=25035 vsize=8413904 memory=1792 CPUtime=0.25 cores=0-7 /proc/25058/task/25075/stat : 25075 (java) S 25035 25035 22617 0 -1 1077944384 689 0 0 0 25 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872773794032 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25076] ppid=25035 vsize=8413904 memory=876 CPUtime=0 cores=0-7 /proc/25058/task/25076/stat : 25076 (java) S 25035 25035 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139871180024672 139873684756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 [pid=25058/tid=25077] ppid=25035 vsize=8413904 memory=1396 CPUtime=0 cores=0-7 /proc/25058/task/25077/stat : 25077 (java) S 25035 25035 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236032560 8615837696 35033 33554432000 4194304 4196468 140723567589824 139872772741936 139873684757122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32382976 140723567596721 140723567596845 140723567596845 140723567599567 0 Current children cumulated CPU time: 19.14 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 141604 KiB Child status: 0 Real time (s): 7.9437 CPU time (s): 21.5769 CPU user time (s): 20.5573 CPU system time (s): 1.01959 CPU usage (%): 271.623 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 3013840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.5573 system time used= 1.01959 maximum resident set size= 3013068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96426 page faults= 0 swaps= 0 block input operations= 0 block output operations= 20552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10154 involuntary context switches= 49 # summary of solver processes directly reported to runsolver: # pid: 25035 # total CPU time (s): 21.5769 # total CPU user time (s): 20.5573 # total CPU system time (s): 1.01959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.083297 second user time and 0.12172 second system time The end
Begin job on node134 at 2018-08-13 20:24:47 IDJOB=4307300 IDBENCH=141185 IDSOLVER=2788 FILE ID=node134/4307300-1534184687 RUNJOBID= node134-1534182009-22644 PBS_JOBID= 21037981 Free space on /tmp= 42776 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_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-4307300-1534184687/watcher-4307300-1534184687 -o /tmp/evaluation-result-4307300-1534184687/solver-4307300-1534184687 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307300-1534184687.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=1576854959 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: 17784904 kB MemAvailable: 31897848 kB Buffers: 227524 kB Cached: 14034176 kB SwapCached: 52 kB Active: 4499936 kB Inactive: 9817420 kB Active(anon): 4836 kB Inactive(anon): 103128 kB Active(file): 4495100 kB Inactive(file): 9714292 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8876 kB Writeback: 0 kB AnonPages: 61988 kB Mapped: 55988 kB Shmem: 49652 kB Slab: 360860 kB SReclaimable: 332012 kB SUnreclaim: 28848 kB KernelStack: 3280 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349048 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 42768 MiB End job on node134 at 2018-08-13 20:24:55