Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | UNSAT | 20.7074 | 7.88815 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml |
MD5SUM | 2cf96eb4ef0a34305468f9a178fec6f7 |
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 | 16.9992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":20,"count":4},{"size":22,"count":10},{"size":29,"count":336},{"size":36,"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-25522-serial-file.bin HOME/instance-4307301-1534184720.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:25:21 CEST 2018 0.65/0.56 c PID: 25525 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.90/1.98 c (1,1) Parsing End 5.90/1.99 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 36 5.90/1.99 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.90/1.99 c (1,1) Constraint Name Generate Begin 6.38/2.03 c (1,1) Ctr:HOME/instance-4307301-1534184720.xml,Dist:Eq:IntVar:Le:Num 6.38/2.03 c (1,1) Constraint Name Generate End 6.38/2.03 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.38/2.03 c (1,1) CSP to CSPinCNF Begin 7.39/2.30 c (1,1) translated 411 (10%) constraints 7.39/2.36 c (1,1) translated 821 (20%) constraints 7.78/2.41 c (1,1) translated 1231 (30%) constraints 7.78/2.46 c (1,1) translated 1642 (40%) constraints 8.18/2.50 c (1,1) translated 2052 (50%) constraints 8.18/2.54 c (2,1) translated 2462 (60%) constraints 8.18/2.58 c (2,2) translated 2873 (70%) constraints 8.59/2.61 c (2,2) translated 3283 (80%) constraints 8.59/2.65 c (2,2) translated 3693 (90%) constraints 9.37/2.97 c (2,2) translated 4103 (100%) constraints 9.80/3.07 c (2,2) STATISTICS1:HOME/instance-4307301-1534184720.xml,Dist:Eq:IntVar:Le:Num,680,4783,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64,2:4103;1:680,2:8886, 9.80/3.07 c (2,2) ========================================== 9.80/3.07 c (2,2) Order 9.80/3.07 c (2,2) ========================================== 9.80/3.10 c (2,2) translated 479 (10%) constraints 10.25/3.12 c (2,2) translated 957 (20%) constraints 10.25/3.14 c (2,2) translated 1435 (30%) constraints 10.25/3.15 c (2,2) translated 1914 (40%) constraints 10.25/3.17 c (2,2) translated 2392 (50%) constraints 10.25/3.18 c (2,2) translated 2870 (60%) constraints 10.25/3.19 c (2,2) translated 3349 (70%) constraints 10.62/3.20 c (2,2) translated 3827 (80%) constraints 10.62/3.22 c (2,2) translated 4305 (90%) constraints 10.62/3.22 c (2,2) translated 4783 (100%) constraints 10.62/3.23 c (2,2) CSP to CSPinCNF End 10.62/3.23 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36 10.62/3.23 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 10.62/3.23 c (2,2) CSPinCNF Propagation Begin 13.15/4.53 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 13.15/4.53 c (3,3) CSPinCNF Propagation End 13.15/4.53 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36 13.15/4.53 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 13.15/4.53 c (3,3) Simplify CSPinCNF Begin 13.66/4.78 c (4,4) Simplify CSPinCNF End 13.66/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36 13.66/4.79 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 13.66/4.79 c (4,4) Calculate Precise Domain Begin 13.66/4.79 c (4,4) 0 values are removed by re-calculation 13.66/4.79 c (4,4) Calculate Precise Domain End 13.66/4.79 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36 13.66/4.79 c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 13.66/4.79 c (4,4) CSPinCNF to SatSolver Begin 14.98/5.08 c (4,4) 1299 (10 %) CSP clauses are encoded (29390 SAT variables, 46979 SAT clauses) 15.39/5.18 c (4,4) 2598 (20 %) CSP clauses are encoded (29390 SAT variables, 73084 SAT clauses) 15.72/5.26 c (4,4) 3897 (30 %) CSP clauses are encoded (29390 SAT variables, 97080 SAT clauses) 15.95/5.35 c (4,4) 5196 (40 %) CSP clauses are encoded (29390 SAT variables, 123193 SAT clauses) 16.17/5.44 c (4,4) 6495 (50 %) CSP clauses are encoded (29390 SAT variables, 150090 SAT clauses) 16.38/5.53 c (4,4) 7794 (60 %) CSP clauses are encoded (29390 SAT variables, 177184 SAT clauses) 16.63/5.61 c (5,4) 9093 (70 %) CSP clauses are encoded (29390 SAT variables, 203885 SAT clauses) 16.63/5.69 c (5,4) 10392 (80 %) CSP clauses are encoded (29390 SAT variables, 230656 SAT clauses) 16.74/5.76 c (5,5) 11691 (90 %) CSP clauses are encoded (29390 SAT variables, 256270 SAT clauses) 16.93/5.82 c (5,5) 12989 (100 %) CSP clauses are encoded (29390 SAT variables, 279146 SAT clauses) 16.93/5.82 c (5,5) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 16.93/5.82 c (5,5) CSPinCNF to SatSolver End 16.93/5.82 c (5,5) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 17.28/5.90 c (5,5) STATISTICS2:HOME/instance-4307301-1534184720.xml,Dist:Eq:IntVar:Le:Num,8886,12989,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 17.28/5.90 c (5,5) 29390 bool, 279158 clause 17.28/5.90 c (5,5) Export Begin 18.17/6.24 c (5,5) Export to HOME/scop-25522-serial-file.bin 18.17/6.24 c (5,5) Export End 18.17/6.24 c (5,5) Export File Size: 4.01 MB 18.17/6.24 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS) 18.17/6.24 c END-Prog: Mon Aug 13 20:25:26 CEST 2018 18.17/6.26 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25522-serial-file.bin 18.26/6.75 c (0,0) Read Serial File Begin 18.26/6.75 c (0,0) HOME/scop-25522-serial-file.bin 19.56/7.09 c (0,0) Read Serial File End 19.56/7.09 19.56/7.09 scop order+glucose-syrup (2018-07-31) 19.56/7.09 (Solving Process) 19.56/7.09 19.78/7.12 c BEGIN-Prog: Mon Aug 13 20:25:27 CEST 2018 19.78/7.12 c PID: 25545 19.78/7.12 c IP: 172.20.3.134 19.78/7.12 c HOST: node134.alineos.net 19.78/7.13 c (0,0) SatSolver.solve Begin 19.78/7.13 c (0,0) 0 bool, 0 clause 19.78/7.13 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307301-1534184720.xml-scop-25525.cnf 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 19.97/7.69 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 19.97/7.69 c (1,0) c ========================================[ Problem Statistics ]=========================================== 19.97/7.69 c (1,0) c | | 19.97/7.69 c (1,0) c | Number of variables: 29390 | 19.97/7.69 c (1,0) c | Number of clauses: 279158 | 19.97/7.69 c (1,0) c | Parse time: 0.11 s | 19.97/7.69 c (1,0) c | | 19.97/7.69 c (1,0) c | Eliminated clauses: 0.08 Mb | 19.97/7.69 c (1,0) c | Simplification time: 0.27 s | 19.97/7.69 c (1,0) c | | 19.97/7.69 c (1,0) c | Generating clones | 19.97/7.69 c (1,0) c | all clones generated. Memory = 200.25Mb. | 19.97/7.69 c (1,0) c ========================================================================================================| 19.97/7.69 c (1,0) c Thread 3 is 100% pure glucose! First thread to finish! (UNSAT answer). 19.97/7.69 c (1,0) c Total Memory so far : 776.28Mb 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c real time : 0.541914 s 19.97/7.69 c (1,0) c cpu time : 0.593842 s 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 19.97/7.69 c (1,0) c 19.97/7.69 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.69 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 19.97/7.69 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.69 c (1,0) c | Conflicts | 2378 | 31 | 379 | 379 | 398 | 345 | 379 | 264 | 203 | 19.97/7.69 c (1,0) c | Decisions | 4361 | 496 | 600 | 598 | 617 | 562 | 600 | 480 | 408 | 19.97/7.69 c (1,0) c | Propagations | 346080 | 14472 | 52337 | 52511 | 54608 | 48629 | 52405 | 38109 | 33009 | 19.97/7.69 c (1,0) c | Avg_Trail | | 11026 | 2524 | 2524 | 2419 | 2688 | 2524 | 3188 | 3396 | 19.97/7.69 c (1,0) c | Avg_DL | | 425 | 82 | 82 | 78 | 88 | 82 | 106 | 113 | 19.97/7.69 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.97/7.69 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.97/7.69 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.69 c (1,0) c | Exported | 250 | 0 | 43 | 43 | 49 | 32 | 43 | 21 | 19 | 19.97/7.69 c (1,0) c | Imported | 822 | 0 | 207 | 207 | 201 | 0 | 207 | 0 | 0 | 19.97/7.69 c (1,0) c | Good | 136 | 0 | 35 | 35 | 31 | 0 | 35 | 0 | 0 | 19.97/7.69 c (1,0) c | Purge | 686 | 0 | 172 | 172 | 170 | 0 | 172 | 0 | 0 | 19.97/7.70 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.97/7.70 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.97/7.70 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 19.97/7.70 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.70 c (1,0) c | Unaries | | 0 | 1 | 1 | 7 | 0 | 1 | 0 | 0 | 19.97/7.70 c (1,0) c | Binaries | | 0 | 8 | 8 | 12 | 3 | 8 | 2 | 2 | 19.97/7.70 c (1,0) c | Glues | | 0 | 43 | 43 | 49 | 32 | 43 | 21 | 19 | 19.97/7.70 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.70 c (1,0) c | Orig_Seen | 0 % | 357 | 1521 | 1521 | 1534 | 1475 | 1521 | 1376 | 1263 | 19.97/7.70 c (1,0) c | Diff Orig seen| | - 1177 | - 13 | - 13 | X | - 59 | - 13 | - 158 | - 271 | 19.97/7.70 c (1,0) c | Hamming | 2 % | 2954 | 184 | 184 | X | 361 | 184 | 444 | 985 | 19.97/7.70 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.97/7.70 c (1,0) 19.97/7.70 c (1,0) s UNSATISFIABLE 19.99/7.70 c (1,0) SatSolver.solve End 19.99/7.70 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 19.99/7.70 c (1,0) Show results Begin 19.99/7.70 s UNSATISFIABLE 19.99/7.70 c (1,0) Show results End 19.99/7.70 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 19.99/7.71 c (1,0) 1,1,STOP-AFTER(ALL) 19.99/7.71 c END-Prog: Mon Aug 13 20:25:28 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 (10623 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-4307301-1534184720/watcher-4307301-1534184720 -o /tmp/evaluation-result-4307301-1534184720/solver-4307301-1534184720 -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-4307301-1534184720.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=25522, runsolver pid=25519 [startup+0.100334 s]* /proc/loadavg: 2.15 5.37 7.23 3/202 25544 /proc/meminfo: memFree=17693852/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236035217 115843072 348 33554432000 4194304 5098028 140729303420960 140729303418216 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 348 296 221 0 87 0 [pid=25525] ppid=25522 vsize=27313900 memory=108212 CPUtime=0.1 cores=0-7 /proc/25525/stat : 25525 (java) S 25522 25522 22617 0 -1 1077944320 6483 0 0 0 8 2 0 0 20 0 20 0 236035217 27969433600 27053 33554432000 4194304 4196468 140733008296096 140733008278640 140453666213623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 /proc/25525/statm: 6828475 27053 2743 1 0 6790935 0 [pid=25525/tid=25526] ppid=25522 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/25525/task/25526/stat : 25526 (java) R 25522 25522 22617 0 -1 4202560 4607 0 0 0 7 1 0 0 20 0 20 0 236035217 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453638048160 140453650294110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25527] ppid=25522 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25525/task/25527/stat : 25527 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453670455824 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25528] ppid=25522 vsize=27313900 memory=140287022167680 CPUtime=0 cores=0-7 /proc/25525/task/25528/stat : 25528 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453087967888 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25529] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25529/stat : 25529 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453086914832 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25530] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25530/stat : 25530 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453085862288 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25531] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25531/stat : 25531 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453084810256 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25532] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25532/stat : 25532 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453083757712 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25533] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25533/stat : 25533 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453082704656 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25534] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25534/stat : 25534 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 27053 33554432000 4194304 4196468 140733008296096 140453081652112 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25535] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25535/stat : 25535 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035221 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452657518832 140453666224770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25536] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25536/stat : 25536 (java) S 25522 25522 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 27053 33554432000 4194304 4196468 140733008296096 140451604587680 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25537] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25537/stat : 25537 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 27053 33554432000 4194304 4196468 140733008296096 140451336151792 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25538] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25538/stat : 25538 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 27053 33554432000 4194304 4196468 140733008296096 140450961643472 140453666232219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25539] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25539/stat : 25539 (java) S 25522 25522 22617 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452656466672 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25540] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25540/stat : 25540 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452655414128 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25541] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25541/stat : 25541 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452654361072 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25542] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25542/stat : 25542 (java) S 25522 25522 22617 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452653308528 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25543] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25543/stat : 25543 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 27053 33554432000 4194304 4196468 140733008296096 140450463738336 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25544] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25544/stat : 25544 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 27053 33554432000 4194304 4196468 140733008296096 140452652255920 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109604 KiB [startup+0.210558 s]* /proc/loadavg: 2.15 5.37 7.23 2/202 25544 /proc/meminfo: memFree=17675176/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236035217 115843072 348 33554432000 4194304 5098028 140729303420960 140729303418216 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 348 296 221 0 87 0 [pid=25525] ppid=25522 vsize=27313900 memory=122844 CPUtime=0.24 cores=0-7 /proc/25525/stat : 25525 (java) S 25522 25522 22617 0 -1 1077944320 10418 0 0 0 21 3 0 0 20 0 20 0 236035217 27969433600 30711 33554432000 4194304 4196468 140733008296096 140733008278640 140453666213623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 /proc/25525/statm: 6828475 30711 2875 1 0 6790935 0 [pid=25525/tid=25526] ppid=25522 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/25525/task/25526/stat : 25526 (java) R 25522 25522 22617 0 -1 4202560 8312 0 0 0 17 2 0 0 20 0 20 0 236035217 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453638036160 140453666225558 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25527] ppid=25522 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/25525/task/25527/stat : 25527 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453670455824 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25528] ppid=25522 vsize=27313900 memory=140287022190493 CPUtime=0 cores=0-7 /proc/25525/task/25528/stat : 25528 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453087967888 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25529] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25529/stat : 25529 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453086914832 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25530] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25530/stat : 25530 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453085862288 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25531] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25531/stat : 25531 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453084810256 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25532] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25532/stat : 25532 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453083757712 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25533] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25533/stat : 25533 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453082704656 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25534] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25534/stat : 25534 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 30711 33554432000 4194304 4196468 140733008296096 140453081652112 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25535] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25535/stat : 25535 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035221 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452657518832 140453666224770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25536] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25536/stat : 25536 (java) S 25522 25522 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 30711 33554432000 4194304 4196468 140733008296096 140451604587680 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25537] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25537/stat : 25537 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 30711 33554432000 4194304 4196468 140733008296096 140451336151792 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25538] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25538/stat : 25538 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 30711 33554432000 4194304 4196468 140733008296096 140450961643472 140453666232219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25539] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25539/stat : 25539 (java) S 25522 25522 22617 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452656466672 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25540] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25540/stat : 25540 (java) S 25522 25522 22617 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452655414128 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25541] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25541/stat : 25541 (java) S 25522 25522 22617 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452654361072 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25542] ppid=25522 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/25525/task/25542/stat : 25542 (java) R 25522 25522 22617 0 -1 4202560 299 0 0 0 2 0 0 0 20 0 20 0 236035225 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452653308528 140453666234970 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25543] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25543/stat : 25543 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 30711 33554432000 4194304 4196468 140733008296096 140450463738336 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25544] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25544/stat : 25544 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 30711 33554432000 4194304 4196468 140733008296096 140452652255920 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 124236 KiB [startup+0.310511 s]* /proc/loadavg: 2.15 5.37 7.23 3/202 25544 /proc/meminfo: memFree=17671020/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236035217 115843072 348 33554432000 4194304 5098028 140729303420960 140729303418216 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 348 296 221 0 87 0 [pid=25525] ppid=25522 vsize=27313900 memory=127312 CPUtime=0.41 cores=0-7 /proc/25525/stat : 25525 (java) S 25522 25522 22617 0 -1 1077944320 11116 0 0 0 38 3 0 0 20 0 20 0 236035217 27969433600 31828 33554432000 4194304 4196468 140733008296096 140733008278640 140453666213623 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 /proc/25525/statm: 6828475 31828 2956 1 0 6790935 0 [pid=25525/tid=25526] ppid=25522 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25525/task/25526/stat : 25526 (java) R 25522 25522 22617 0 -1 4202560 8804 0 0 0 26 3 0 0 20 0 20 0 236035217 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453638009072 140453647777198 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25527] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25527/stat : 25527 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453670455824 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25528] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25528/stat : 25528 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453087967888 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25529] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25529/stat : 25529 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453086914832 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25530] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25530/stat : 25530 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453085862288 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25531] ppid=25522 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/25525/task/25531/stat : 25531 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453084810256 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25532] ppid=25522 vsize=27313900 memory=140286919537583 CPUtime=0 cores=0-7 /proc/25525/task/25532/stat : 25532 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453083757712 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25533] ppid=25522 vsize=27313900 memory=140286919539888 CPUtime=0 cores=0-7 /proc/25525/task/25533/stat : 25533 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453082704656 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25534] ppid=25522 vsize=27313900 memory=140286919542192 CPUtime=0 cores=0-7 /proc/25525/task/25534/stat : 25534 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27969433600 31828 33554432000 4194304 4196468 140733008296096 140453081652112 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25535] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25535/stat : 25535 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035221 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452657518832 140453666224770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25536] ppid=25522 vsize=27313900 memory=280573839091344 CPUtime=0 cores=0-7 /proc/25525/task/25536/stat : 25536 (java) S 25522 25522 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 31828 33554432000 4194304 4196468 140733008296096 140451604587680 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25537] ppid=25522 vsize=27313900 memory=280573839098256 CPUtime=0 cores=0-7 /proc/25525/task/25537/stat : 25537 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035222 27969433600 31828 33554432000 4194304 4196468 140733008296096 140451336151792 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25538] ppid=25522 vsize=27313900 memory=280573839039536 CPUtime=0 cores=0-7 /proc/25525/task/25538/stat : 25538 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035224 27969433600 31828 33554432000 4194304 4196468 140733008296096 140450961643472 140453666232219 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25539] ppid=25522 vsize=27313900 memory=280573839112080 CPUtime=0.01 cores=0-7 /proc/25525/task/25539/stat : 25539 (java) S 25522 25522 22617 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 236035224 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452656466672 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25540] ppid=25522 vsize=27313900 memory=280573839118992 CPUtime=0.01 cores=0-7 /proc/25525/task/25540/stat : 25540 (java) S 25522 25522 22617 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 236035224 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452655414128 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25541] ppid=25522 vsize=27313900 memory=280573839116688 CPUtime=0.01 cores=0-7 /proc/25525/task/25541/stat : 25541 (java) S 25522 25522 22617 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 236035225 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452654361072 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25542] ppid=25522 vsize=27313900 memory=280573839132848 CPUtime=0.07 cores=0-7 /proc/25525/task/25542/stat : 25542 (java) S 25522 25522 22617 0 -1 1077944384 345 0 0 0 7 0 0 0 20 0 20 0 236035225 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452653308528 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25543] ppid=25522 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25543/stat : 25543 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 31828 33554432000 4194304 4196468 140733008296096 140450463738336 140453666223829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25544] ppid=25522 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/25525/task/25544/stat : 25544 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035225 27969433600 31828 33554432000 4194304 4196468 140733008296096 140452652255920 140453666224770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 128704 KiB [startup+0.700915 s] /proc/loadavg: 2.15 5.37 7.23 2/202 25544 /proc/meminfo: memFree=17645968/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236035217 115843072 348 33554432000 4194304 5098028 140729303420960 140729303418216 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 348 296 221 0 87 0 [pid=25525] ppid=25522 vsize=27320172 memory=164292 CPUtime=1 cores=0-7 /proc/25525/stat : 25525 (java) S 25522 25522 22617 0 -1 1077944320 18132 0 0 0 95 5 0 0 20 0 20 0 236035217 27975856128 41073 33554432000 4194304 4196468 140733008296096 140733008278640 140453666213623 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 /proc/25525/statm: 6830043 41073 3105 1 0 6791447 0 [pid=25525/tid=25526] ppid=25522 vsize=27320172 memory=280573839490736 CPUtime=0.67 cores=0-7 /proc/25525/task/25526/stat : 25526 (java) R 25522 25522 22617 0 -1 4202560 15315 0 0 0 63 4 0 0 20 0 20 0 236035217 27975856128 41073 33554432000 4194304 4196468 140733008296096 140453638051728 140453165026613 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25527] ppid=25522 vsize=27320172 memory=140286919746416 CPUtime=0 cores=0-7 /proc/25525/task/25527/stat : 25527 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27975856128 41073 33554432000 4194304 4196468 140733008296096 140453670455824 140453666223829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25528] ppid=25522 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/25525/task/25528/stat : 25528 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236035220 27975856128 41073 33554432000 4194304 4196468 140733008296096 140453087967888 140453666223829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 [pid=25525/tid=25529] ppid=25522 vsize=27320172 memory=1616 CPUtime=0 cores=0-7 /proc/25525/task/25529/stat : 25529 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236035220 27975856128 41073 33554432000 4194304 4196468 140733008296096 140453086914832 140453666223829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35033088 140733008303080 140733008303405 140733008303405 140733008306127 0 ################ # More data... # ################ [pid=25522] ppid=25519 vsize=113128 memory=1468 CPUtime=18.26 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 588 39265 0 0 0 0 1754 72 20 0 1 0 236035217 115843072 367 33554432000 4194304 5098028 140729303420960 140729303417704 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 367 311 221 0 87 0 Current children cumulated CPU time: 18.26 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1468 KiB [startup+7.20086 s] /proc/loadavg: 2.22 5.33 7.21 4/202 25565 /proc/meminfo: memFree=17679800/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1468 CPUtime=18.26 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 588 39265 0 0 0 0 1754 72 20 0 1 0 236035217 115843072 367 33554432000 4194304 5098028 140729303420960 140729303417704 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 367 311 221 0 87 0 [pid=25545] ppid=25522 vsize=8413904 memory=138324 CPUtime=1.7 cores=0-7 /proc/25545/stat : 25545 (java) S 25522 25522 22617 0 -1 1077944320 19234 0 0 0 157 13 0 0 20 0 24 0 236035843 8615837696 34581 33554432000 4194304 4196468 140728274869856 140728274852400 140476645650167 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 /proc/25545/statm: 2103476 34581 3164 1 0 2064875 0 [pid=25545/tid=25546] ppid=25522 vsize=8413904 memory=288288895920243274 CPUtime=0.9 cores=0-7 /proc/25545/task/25546/stat : 25546 (java) R 25522 25522 22617 0 -1 4202560 15103 0 0 0 79 11 0 0 20 0 24 0 236035843 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476617457616 140476628842901 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25547] ppid=25522 vsize=8413904 memory=6935652554312077392 CPUtime=0 cores=0-7 /proc/25545/task/25547/stat : 25547 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476649892880 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25548] ppid=25522 vsize=8413904 memory=280573838885104 CPUtime=0 cores=0-7 /proc/25545/task/25548/stat : 25548 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476450061456 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25549] ppid=25522 vsize=8413904 memory=7590655979367786604 CPUtime=0 cores=0-7 /proc/25545/task/25549/stat : 25549 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476449008400 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25550] ppid=25522 vsize=8413904 memory=-3535470213243961690 CPUtime=0 cores=0-7 /proc/25545/task/25550/stat : 25550 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476447955856 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25551] ppid=25522 vsize=8413904 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/25545/task/25551/stat : 25551 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476446902800 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25552] ppid=25522 vsize=8413904 memory=7811326786038555221 CPUtime=0 cores=0-7 /proc/25545/task/25552/stat : 25552 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476445850256 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25553] ppid=25522 vsize=8413904 memory=7446004070387788694 CPUtime=0 cores=0-7 /proc/25545/task/25553/stat : 25553 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476444797200 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25554] ppid=25522 vsize=8413904 memory=1318269 CPUtime=0 cores=0-7 /proc/25545/task/25554/stat : 25554 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34581 33554432000 4194304 4196468 140728274869856 140476443744656 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25555] ppid=25522 vsize=8413904 memory=13904 CPUtime=0 cores=0-7 /proc/25545/task/25555/stat : 25555 (java) S 25522 25522 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236035846 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475739163376 140476645661314 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25556] ppid=25522 vsize=8413904 memory=23613 CPUtime=0 cores=0-7 /proc/25545/task/25556/stat : 25556 (java) S 25522 25522 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236035847 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475226908320 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25557] ppid=25522 vsize=8413904 memory=7649399358478431538 CPUtime=0 cores=0-7 /proc/25545/task/25557/stat : 25557 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035847 8615837696 34581 33554432000 4194304 4196468 140728274869856 140474958472432 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25558] ppid=25522 vsize=8413904 memory=7649399362773398834 CPUtime=0 cores=0-7 /proc/25545/task/25558/stat : 25558 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140474583964112 140476645668763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25559] ppid=25522 vsize=8413904 memory=7649399367068366130 CPUtime=0.21 cores=0-7 /proc/25545/task/25559/stat : 25559 (java) R 25522 25522 22617 0 -1 1077944384 823 0 0 0 21 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475738110192 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25561] ppid=25522 vsize=8413904 memory=7649399371363333426 CPUtime=0.16 cores=0-7 /proc/25545/task/25561/stat : 25561 (java) R 25522 25522 22617 0 -1 1077944384 524 0 0 0 16 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475737057648 140476645661314 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25562] ppid=25522 vsize=8413904 memory=7649399375658300722 CPUtime=0.13 cores=0-7 /proc/25545/task/25562/stat : 25562 (java) S 25522 25522 22617 0 -1 1077944384 749 0 0 0 13 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475736004592 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25563] ppid=25522 vsize=8413904 memory=7649399379953268018 CPUtime=0.24 cores=0-7 /proc/25545/task/25563/stat : 25563 (java) R 25522 25522 22617 0 -1 1077944384 638 0 0 0 24 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475734952048 140476645661314 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25564] ppid=25522 vsize=8413904 memory=7649399384248235314 CPUtime=0 cores=0-7 /proc/25545/task/25564/stat : 25564 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236035849 8615837696 34581 33554432000 4194304 4196468 140728274869856 140474086058976 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25565] ppid=25522 vsize=8413904 memory=7649399388543202610 CPUtime=0 cores=0-7 /proc/25545/task/25565/stat : 25565 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035850 8615837696 34581 33554432000 4194304 4196468 140728274869856 140475733900464 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 Current children cumulated CPU time: 19.96 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 139792 KiB [startup+7.60086 s] /proc/loadavg: 2.22 5.33 7.21 4/202 25565 /proc/meminfo: memFree=17679800/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1468 CPUtime=18.26 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 588 39265 0 0 0 0 1754 72 20 0 1 0 236035217 115843072 367 33554432000 4194304 5098028 140729303420960 140729303417704 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 367 311 221 0 87 0 [pid=25545] ppid=25522 vsize=8413904 memory=138412 CPUtime=1.71 cores=0-7 /proc/25545/stat : 25545 (java) S 25522 25522 22617 0 -1 1077944320 19266 0 0 0 158 13 0 0 20 0 24 0 236035843 8615837696 34603 33554432000 4194304 4196468 140728274869856 140728274852400 140476645650167 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 /proc/25545/statm: 2103476 34603 3165 1 0 2064875 0 [pid=25545/tid=25546] ppid=25522 vsize=8413904 memory=15196 CPUtime=0.91 cores=0-7 /proc/25545/task/25546/stat : 25546 (java) S 25522 25522 22617 0 -1 1077944384 15122 0 0 0 80 11 0 0 20 0 24 0 236035843 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476617490320 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25547] ppid=25522 vsize=8413904 memory=16348 CPUtime=0 cores=0-7 /proc/25545/task/25547/stat : 25547 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476649892880 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25548] ppid=25522 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/25545/task/25548/stat : 25548 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476450061456 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25549] ppid=25522 vsize=8413904 memory=2412 CPUtime=0 cores=0-7 /proc/25545/task/25549/stat : 25549 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476449008400 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25550] ppid=25522 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/25545/task/25550/stat : 25550 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476447955856 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25551] ppid=25522 vsize=8413904 memory=1564 CPUtime=0 cores=0-7 /proc/25545/task/25551/stat : 25551 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476446902800 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25552] ppid=25522 vsize=8413904 memory=2212 CPUtime=0 cores=0-7 /proc/25545/task/25552/stat : 25552 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476445850256 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25553] ppid=25522 vsize=8413904 memory=3984 CPUtime=0 cores=0-7 /proc/25545/task/25553/stat : 25553 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476444797200 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25554] ppid=25522 vsize=8413904 memory=1224 CPUtime=0 cores=0-7 /proc/25545/task/25554/stat : 25554 (java) S 25522 25522 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236035845 8615837696 34603 33554432000 4194304 4196468 140728274869856 140476443744656 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25555] ppid=25522 vsize=8413904 memory=1616 CPUtime=0 cores=0-7 /proc/25545/task/25555/stat : 25555 (java) S 25522 25522 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236035846 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475739163376 140476645661314 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25556] ppid=25522 vsize=8413904 memory=1832 CPUtime=0 cores=0-7 /proc/25545/task/25556/stat : 25556 (java) S 25522 25522 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236035847 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475226908320 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25557] ppid=25522 vsize=8413904 memory=8916 CPUtime=0 cores=0-7 /proc/25545/task/25557/stat : 25557 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035847 8615837696 34603 33554432000 4194304 4196468 140728274869856 140474958472432 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25558] ppid=25522 vsize=8413904 memory=15196 CPUtime=0 cores=0-7 /proc/25545/task/25558/stat : 25558 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140474583964112 140476645668763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25559] ppid=25522 vsize=8413904 memory=16348 CPUtime=0.21 cores=0-7 /proc/25545/task/25559/stat : 25559 (java) S 25522 25522 22617 0 -1 1077944384 823 0 0 0 21 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475738110192 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25561] ppid=25522 vsize=8413904 memory=1176 CPUtime=0.16 cores=0-7 /proc/25545/task/25561/stat : 25561 (java) S 25522 25522 22617 0 -1 1077944384 524 0 0 0 16 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475737057648 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25562] ppid=25522 vsize=8413904 memory=35448 CPUtime=0.13 cores=0-7 /proc/25545/task/25562/stat : 25562 (java) S 25522 25522 22617 0 -1 1077944384 751 0 0 0 13 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475736004592 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25563] ppid=25522 vsize=8413904 memory=4048 CPUtime=0.25 cores=0-7 /proc/25545/task/25563/stat : 25563 (java) S 25522 25522 22617 0 -1 1077944384 649 0 0 0 25 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475734952048 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25564] ppid=25522 vsize=8413904 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/25545/task/25564/stat : 25564 (java) S 25522 25522 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236035849 8615837696 34603 33554432000 4194304 4196468 140728274869856 140474086058976 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25565] ppid=25522 vsize=8413904 memory=257 CPUtime=0 cores=0-7 /proc/25545/task/25565/stat : 25565 (java) S 25522 25522 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236035850 8615837696 34603 33554432000 4194304 4196468 140728274869856 140475733900464 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 Current children cumulated CPU time: 19.97 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 139880 KiB [startup+7.80088 s] /proc/loadavg: 2.22 5.33 7.21 4/202 25565 /proc/meminfo: memFree=17679800/32770624 swapFree=67108688/67108860 [pid=25522] ppid=25519 vsize=113128 memory=1468 CPUtime=18.26 cores=0-7 /proc/25522/stat : 25522 (scop.sh) S 25519 25522 22617 0 -1 4202496 588 39265 0 0 0 0 1754 72 20 0 1 0 236035217 115843072 367 33554432000 4194304 5098028 140729303420960 140729303417704 140474418807420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14966784 140729303421986 140729303422211 140729303422211 140729303424973 0 /proc/25522/statm: 28282 367 311 221 0 87 0 [pid=25545] ppid=25522 vsize=8282828 memory=142912 CPUtime=2.41 cores=0-7 /proc/25545/stat : 25545 (java) S 25522 25522 22617 0 -1 1077944320 19310 37869 0 0 160 14 59 8 20 0 22 0 236035843 8481615872 35728 33554432000 4194304 4196468 140728274869856 140728274852400 140476645650167 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 /proc/25545/statm: 2070707 35728 3167 1 0 2032106 0 [pid=25545/tid=25546] ppid=25522 vsize=8282828 memory=5450909908396308010 CPUtime=1.59 cores=0-7 /proc/25545/task/25546/stat : 25546 (java) D 25522 25522 22617 0 -1 4202560 15135 37869 0 0 81 11 59 8 20 0 22 0 236035843 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476617491944 140476638335799 0 4 2 25189581 18446744072100277381 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25547] ppid=25522 vsize=8282828 memory=8691514255285633087 CPUtime=0.67 cores=0-7 /proc/25545/task/25547/stat : 25547 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476649892880 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25548] ppid=25522 vsize=8282828 memory=0 CPUtime=0.67 cores=0-7 /proc/25545/task/25548/stat : 25548 (java) S 25522 25522 22617 0 -1 1077944384 3 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476450061456 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25549] ppid=25522 vsize=8282828 memory=0 CPUtime=0.67 cores=0-7 /proc/25545/task/25549/stat : 25549 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476449008400 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25550] ppid=25522 vsize=8282828 memory=0 CPUtime=0.67 cores=0-7 /proc/25545/task/25550/stat : 25550 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476447955856 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25551] ppid=25522 vsize=8282828 memory=112696 CPUtime=0.67 cores=0-7 /proc/25545/task/25551/stat : 25551 (java) S 25522 25522 22617 0 -1 1077944384 2 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476446902800 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25552] ppid=25522 vsize=8282828 memory=6791534058613427641 CPUtime=0.67 cores=0-7 /proc/25545/task/25552/stat : 25552 (java) S 25522 25522 22617 0 -1 1077944384 2 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476445850256 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25553] ppid=25522 vsize=8282828 memory=4872558044660077418 CPUtime=0.67 cores=0-7 /proc/25545/task/25553/stat : 25553 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476444797200 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25554] ppid=25522 vsize=8282828 memory=4588 CPUtime=0.67 cores=0-7 /proc/25545/task/25554/stat : 25554 (java) S 25522 25522 22617 0 -1 1077944384 2 37869 0 0 0 0 59 8 20 0 22 0 236035845 8481615872 35728 33554432000 4194304 4196468 140728274869856 140476443744656 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25555] ppid=25522 vsize=8282828 memory=1388 CPUtime=0.67 cores=0-7 /proc/25545/task/25555/stat : 25555 (java) S 25522 25522 22617 0 -1 1077944384 5 37869 0 0 0 0 59 8 20 0 22 0 236035846 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475739163376 140476645661314 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25556] ppid=25522 vsize=8282828 memory=9664 CPUtime=0.67 cores=0-7 /proc/25545/task/25556/stat : 25556 (java) S 25522 25522 22617 0 -1 1077944384 13 37869 0 0 0 0 59 8 20 0 22 0 236035847 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475226908320 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25557] ppid=25522 vsize=8282828 memory=1136 CPUtime=0.67 cores=0-7 /proc/25545/task/25557/stat : 25557 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035847 8481615872 35728 33554432000 4194304 4196468 140728274869856 140474958472432 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25558] ppid=25522 vsize=8282828 memory=1224 CPUtime=0.67 cores=0-7 /proc/25545/task/25558/stat : 25558 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140474583964112 140476645668763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25559] ppid=25522 vsize=8282828 memory=1616 CPUtime=0.88 cores=0-7 /proc/25545/task/25559/stat : 25559 (java) S 25522 25522 22617 0 -1 1077944384 823 37869 0 0 21 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475738110192 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25561] ppid=25522 vsize=8282828 memory=1832 CPUtime=0.83 cores=0-7 /proc/25545/task/25561/stat : 25561 (java) S 25522 25522 22617 0 -1 1077944384 524 37869 0 0 16 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475737057648 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25562] ppid=25522 vsize=8282828 memory=0 CPUtime=0.8 cores=0-7 /proc/25545/task/25562/stat : 25562 (java) S 25522 25522 22617 0 -1 1077944384 751 37869 0 0 13 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475736004592 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25563] ppid=25522 vsize=8282828 memory=0 CPUtime=0.92 cores=0-7 /proc/25545/task/25563/stat : 25563 (java) S 25522 25522 22617 0 -1 1077944384 666 37869 0 0 25 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475734952048 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25564] ppid=25522 vsize=8282828 memory=0 CPUtime=0.67 cores=0-7 /proc/25545/task/25564/stat : 25564 (java) S 25522 25522 22617 0 -1 1077944384 3 37869 0 0 0 0 59 8 20 0 22 0 236035849 8481615872 35728 33554432000 4194304 4196468 140728274869856 140474086058976 140476645660373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 [pid=25545/tid=25565] ppid=25522 vsize=8282828 memory=0 CPUtime=0.67 cores=0-7 /proc/25545/task/25565/stat : 25565 (java) S 25522 25522 22617 0 -1 1077944384 1 37869 0 0 0 0 59 8 20 0 22 0 236035850 8481615872 35728 33554432000 4194304 4196468 140728274869856 140475733900464 140476645661314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24363008 140728274871473 140728274871597 140728274871597 140728274874319 0 Current children cumulated CPU time: 20.67 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 144380 KiB Child status: 0 Real time (s): 7.88815 CPU time (s): 20.7074 CPU user time (s): 19.7451 CPU system time (s): 0.962292 CPU usage (%): 262.512 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 2864012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.7451 system time used= 0.962292 maximum resident set size= 2867280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97069 page faults= 0 swaps= 0 block input operations= 0 block output operations= 19112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9891 involuntary context switches= 40 # summary of solver processes directly reported to runsolver: # pid: 25522 # total CPU time (s): 20.7074 # total CPU user time (s): 19.7451 # total CPU system time (s): 0.962292 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.082398 second user time and 0.120584 second system time The end
Begin job on node134 at 2018-08-13 20:25:20 IDJOB=4307301 IDBENCH=141187 IDSOLVER=2788 FILE ID=node134/4307301-1534184720 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-f08_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-4307301-1534184720/watcher-4307301-1534184720 -o /tmp/evaluation-result-4307301-1534184720/solver-4307301-1534184720 -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-4307301-1534184720.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2cf96eb4ef0a34305468f9a178fec6f7 RANDOM SEED=31656264 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: 17786852 kB MemAvailable: 31899956 kB Buffers: 227584 kB Cached: 14033880 kB SwapCached: 52 kB Active: 4500024 kB Inactive: 9817508 kB Active(anon): 4860 kB Inactive(anon): 103128 kB Active(file): 4495164 kB Inactive(file): 9714380 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8532 kB Writeback: 0 kB AnonPages: 62304 kB Mapped: 55988 kB Shmem: 49652 kB Slab: 361004 kB SReclaimable: 332020 kB SUnreclaim: 28984 kB KernelStack: 3248 kB PageTables: 5368 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:25:28