Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-31) | UNSAT | 19.4303 | 7.58406 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f09_c18.xml |
MD5SUM | 6a895ef6ade7f33e321559e9e4e8dbd9 |
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 | 17.6917 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 35 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":19,"count":4},{"size":22,"count":10},{"size":28,"count":336},{"size":35,"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 -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-23703-serial-file.bin HOME/instance-4307534-1534184592.xml 0.65/0.54 0.65/0.54 scop both+glucose-syrup (2018-07-31) 0.65/0.54 (Encoding Process) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Mon Aug 13 20:23:12 CEST 2018 0.65/0.56 c PID: 23706 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.82/1.95 c (1,1) Parsing End 5.82/1.96 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 35 5.82/1.96 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.82/1.96 c (1,1) Constraint Name Generate Begin 5.82/1.99 c (1,1) Ctr:HOME/instance-4307534-1534184592.xml,Dist:Eq:IntVar:Le:Num 5.82/1.99 c (1,1) Constraint Name Generate End 5.82/1.99 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.82/1.99 c (1,1) CSP to CSPinCNF Begin 6.90/2.26 c (1,1) translated 411 (10%) constraints 7.26/2.33 c (1,1) translated 821 (20%) constraints 7.26/2.37 c (1,1) translated 1231 (30%) constraints 7.64/2.42 c (1,1) translated 1642 (40%) constraints 7.64/2.46 c (1,1) translated 2052 (50%) constraints 8.04/2.50 c (1,1) translated 2462 (60%) constraints 8.04/2.54 c (1,1) translated 2873 (70%) constraints 8.04/2.57 c (2,2) translated 3283 (80%) constraints 8.45/2.60 c (2,2) translated 3693 (90%) constraints 8.83/2.73 c (2,2) translated 4103 (100%) constraints 9.25/2.84 c (2,2) STATISTICS1:HOME/instance-4307534-1534184592.xml,Dist:Eq:IntVar:Le:Num,680,4783,35,35,2,2,35:3314;28:5144;22:344;19:24;6:60,35:9348;28:7956;22:364;19:40;6:64,2:4103;1:680,2:8886, 9.25/2.84 c (2,2) ========================================== 9.25/2.84 c (2,2) Both Encoding selects: 9.25/2.84 c (2,2) Order 9.25/2.84 c (2,2) ========================================== 9.25/2.87 c (2,2) translated 479 (10%) constraints 9.25/2.88 c (2,2) translated 957 (20%) constraints 9.62/2.90 c (2,2) translated 1435 (30%) constraints 9.62/2.91 c (2,2) translated 1914 (40%) constraints 9.62/2.93 c (2,2) translated 2392 (50%) constraints 9.62/2.94 c (2,2) translated 2870 (60%) constraints 9.62/2.95 c (2,2) translated 3349 (70%) constraints 9.62/2.96 c (2,2) translated 3827 (80%) constraints 9.62/2.97 c (2,2) translated 4305 (90%) constraints 9.62/2.98 c (2,2) translated 4783 (100%) constraints 9.62/2.99 c (2,2) CSP to CSPinCNF End 9.62/2.99 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 35 9.62/2.99 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 9.62/2.99 c (2,2) CSPinCNF Propagation Begin 11.93/4.24 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 11.93/4.24 c (3,3) CSPinCNF Propagation End 11.93/4.24 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 35 11.93/4.24 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 11.93/4.24 c (3,3) Simplify CSPinCNF Begin 12.42/4.49 c (3,3) Simplify CSPinCNF End 12.42/4.49 c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 35 12.42/4.49 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.42/4.49 c (3,3) Calculate Precise Domain Begin 12.42/4.50 c (3,3) 0 values are removed by re-calculation 12.42/4.50 c (3,3) Calculate Precise Domain End 12.75/4.50 c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 35 12.75/4.50 c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB) 12.75/4.50 c (3,3) CSPinCNF to SatSolver Begin 13.64/4.79 c (4,4) 1299 (10 %) CSP clauses are encoded (28722 SAT variables, 45898 SAT clauses) 14.02/4.89 c (4,4) 2598 (20 %) CSP clauses are encoded (28722 SAT variables, 71580 SAT clauses) 14.50/5.11 c (4,4) 3897 (30 %) CSP clauses are encoded (28722 SAT variables, 95143 SAT clauses) 14.67/5.21 c (4,4) 5196 (40 %) CSP clauses are encoded (28722 SAT variables, 120775 SAT clauses) 14.87/5.30 c (4,4) 6495 (50 %) CSP clauses are encoded (28722 SAT variables, 147053 SAT clauses) 14.87/5.39 c (4,4) 7794 (60 %) CSP clauses are encoded (28722 SAT variables, 173396 SAT clauses) 15.09/5.48 c (4,4) 9093 (70 %) CSP clauses are encoded (28722 SAT variables, 199363 SAT clauses) 15.26/5.55 c (5,4) 10392 (80 %) CSP clauses are encoded (28722 SAT variables, 225277 SAT clauses) 15.40/5.62 c (5,4) 11691 (90 %) CSP clauses are encoded (28722 SAT variables, 249985 SAT clauses) 15.40/5.68 c (5,4) 12989 (100 %) CSP clauses are encoded (28722 SAT variables, 271834 SAT clauses) 15.40/5.68 c (5,4) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 15.40/5.68 c (5,4) CSPinCNF to SatSolver End 15.40/5.68 c (5,4) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 37 MiB used (max 0 MiB) 15.64/5.78 c (5,5) STATISTICS2:HOME/instance-4307534-1534184592.xml,Dist:Eq:IntVar:Le:Num,8886,12989,35,35,2,2,35:3314;28:5144;22:344;19:24;6:60,35:9348;28:7956;22:364;19:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412, 15.64/5.78 c (5,5) 28722 bool, 271846 clause 15.64/5.78 c (5,5) Export Begin 16.88/6.11 c (5,5) Export to HOME/scop-23703-serial-file.bin 16.88/6.11 c (5,5) Export End 16.88/6.11 c (5,5) Export File Size: 3.92 MB 16.88/6.11 c (5,5) 1,1,2,3,3,3,5,STOP-AFTER(DIMACS) 16.88/6.11 c END-Prog: Mon Aug 13 20:23:18 CEST 2018 16.88/6.15 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23703-serial-file.bin 16.93/6.64 c (0,0) Read Serial File Begin 16.93/6.64 c (0,0) HOME/scop-23703-serial-file.bin 16.93/6.97 c (0,0) Read Serial File End 16.93/6.98 16.93/6.98 scop order+glucose-syrup (2018-07-31) 16.93/6.98 (Solving Process) 16.93/6.98 18.49/7.01 c BEGIN-Prog: Mon Aug 13 20:23:19 CEST 2018 18.49/7.01 c PID: 23726 18.49/7.01 c IP: 172.20.3.134 18.49/7.01 c HOST: node134.alineos.net 18.49/7.01 c (0,0) SatSolver.solve Begin 18.49/7.01 c (0,0) 0 bool, 0 clause 18.49/7.01 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307534-1534184592.xml-scop-23706.cnf 18.69/7.55 c (1,0) c 18.69/7.55 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 18.69/7.55 c (1,0) c 18.69/7.55 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 18.69/7.55 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 18.69/7.55 c (1,0) c ========================================[ Problem Statistics ]=========================================== 18.69/7.55 c (1,0) c | | 18.69/7.55 c (1,0) c | Number of variables: 28722 | 18.69/7.55 c (1,0) c | Number of clauses: 271846 | 18.69/7.55 c (1,0) c | Parse time: 0.10 s | 18.69/7.55 c (1,0) c | | 18.69/7.56 c (1,0) c | Eliminated clauses: 0.08 Mb | 18.69/7.56 c (1,0) c | Simplification time: 0.26 s | 18.69/7.56 c (1,0) c | | 18.69/7.56 c (1,0) c | Generating clones | 18.69/7.56 c (1,0) c | all clones generated. Memory = 197.90Mb. | 18.69/7.56 c (1,0) c ========================================================================================================| 18.69/7.56 c (1,0) c Thread 0 is 100% pure glucose! First thread to finish! (UNSAT answer). 18.69/7.56 c (1,0) c Total Memory so far : 774.06Mb 18.69/7.56 c (1,0) c 18.69/7.56 c (1,0) c real time : 0.516416 s 18.69/7.56 c (1,0) c cpu time : 0.608543 s 18.69/7.56 c (1,0) c 18.69/7.56 c (1,0) c 18.69/7.56 c (1,0) c 18.69/7.56 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 18.69/7.56 c (1,0) c 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) c | Conflicts | 1484 | 173 | 199 | 171 | 201 | 171 | 199 | 171 | 199 | 18.69/7.56 c (1,0) c | Decisions | 6836 | 699 | 946 | 782 | 953 | 782 | 946 | 782 | 946 | 18.69/7.56 c (1,0) c | Propagations | 313019 | 34038 | 42452 | 36348 | 42581 | 36348 | 42452 | 36348 | 42452 | 18.69/7.56 c (1,0) c | Avg_Trail | | 4245 | 3340 | 3181 | 3369 | 3181 | 3340 | 3181 | 3340 | 18.69/7.56 c (1,0) c | Avg_DL | | 170 | 125 | 118 | 126 | 118 | 125 | 118 | 125 | 18.69/7.56 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) c | Exported | 101 | 26 | 12 | 9 | 12 | 9 | 12 | 9 | 12 | 18.69/7.56 c (1,0) c | Imported | 75 | 75 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Good | 8 | 8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Purge | 67 | 67 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) c | Unaries | | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18.69/7.56 c (1,0) c | Binaries | | 13 | 2 | 0 | 2 | 0 | 2 | 0 | 2 | 18.69/7.56 c (1,0) c | Glues | | 26 | 12 | 9 | 12 | 9 | 12 | 9 | 12 | 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) c | Orig_Seen | 0 % | 1582 | 1665 | 1331 | 1695 | 1331 | 1665 | 1331 | 1665 | 18.69/7.56 c (1,0) c | Diff Orig seen| | X | 83 | - 251 | 113 | - 251 | 83 | - 251 | 83 | 18.69/7.56 c (1,0) c | Hamming | 11 % | X | 3583 | 3158 | 3632 | 3158 | 3583 | 3158 | 3583 | 18.69/7.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.69/7.56 c (1,0) 18.69/7.56 c (1,0) s UNSATISFIABLE 18.69/7.56 c (1,0) SatSolver.solve End 18.69/7.56 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 18.69/7.57 c (1,0) Show results Begin 18.69/7.57 s UNSATISFIABLE 18.69/7.57 c (1,0) Show results End 18.69/7.57 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 18.69/7.57 c (1,0) 1,1,STOP-AFTER(ALL) 18.69/7.57 c END-Prog: Mon Aug 13 20:23:19 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 (6746 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307534-1534184592/watcher-4307534-1534184592 -o /tmp/evaluation-result-4307534-1534184592/solver-4307534-1534184592 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307534-1534184592.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 Starting watchdog thread Starting watchdog thread Linux 3.10.0-514.16.1.el7.x86_64 solver pid=23703, runsolver pid=23700 Current StackSize limit: 8192 KiB [startup+0.109535 s]* /proc/loadavg: 4.25 7.17 8.00 2/204 23725 /proc/meminfo: memFree=17689516/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236022389 115843072 349 33554432000 4194304 5098028 140736054174992 140736054172248 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 349 296 221 0 87 0 [pid=23706] ppid=23703 vsize=27313900 memory=108572 CPUtime=0.12 cores=0-7 /proc/23706/stat : 23706 (java) S 23703 23703 22617 0 -1 1077944320 6653 0 0 0 9 3 0 0 20 0 20 0 236022390 27969433600 27143 33554432000 4194304 4196468 140731277194704 140731277177248 140315686014711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 /proc/23706/statm: 6828475 27143 2739 1 0 6790935 0 [pid=23706/tid=23707] ppid=23703 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23706/task/23707/stat : 23707 (java) R 23703 23703 22617 0 -1 4202560 4755 0 0 0 7 2 0 0 20 0 20 0 236022390 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315657817656 140315670095198 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23708] ppid=23703 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23706/task/23708/stat : 23708 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315690257296 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23709] ppid=23703 vsize=27313900 memory=140087668958848 CPUtime=0 cores=0-7 /proc/23706/task/23709/stat : 23709 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315108211472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23710] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23710/stat : 23710 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315107159184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23711] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23711/stat : 23711 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315106106384 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23712] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23712/stat : 23712 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315105053072 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23713] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23713/stat : 23713 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315104000272 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23714] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23714/stat : 23714 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315102947984 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23715] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23715/stat : 23715 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 27274 33554432000 4194304 4196468 140731277194704 140315101895184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23716] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23716/stat : 23716 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314945784432 140315686025858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23717] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23717/stat : 23717 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 27274 33554432000 4194304 4196468 140731277194704 140313427436832 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23718] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23718/stat : 23718 (java) S 23703 23703 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236022395 27969433600 27274 33554432000 4194304 4196468 140731277194704 140313293215344 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23719] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23719/stat : 23719 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140312918710864 140315686033307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23720] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23720/stat : 23720 (java) S 23703 23703 22617 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314944731248 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23721] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23721/stat : 23721 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314943678448 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23722] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23722/stat : 23722 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314942626160 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23723] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23723/stat : 23723 (java) R 23703 23703 22617 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314941573360 140315678251838 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23724] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23724/stat : 23724 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 27274 33554432000 4194304 4196468 140731277194704 140312420805472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23725] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23725/stat : 23725 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022398 27969433600 27274 33554432000 4194304 4196468 140731277194704 140314940521264 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109968 KiB [startup+0.210349 s]* /proc/loadavg: 4.25 7.17 8.00 2/204 23725 /proc/meminfo: memFree=17676556/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236022389 115843072 349 33554432000 4194304 5098028 140736054174992 140736054172248 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 349 296 221 0 87 0 [pid=23706] ppid=23703 vsize=27313900 memory=121884 CPUtime=0.24 cores=0-7 /proc/23706/stat : 23706 (java) S 23703 23703 22617 0 -1 1077944320 10186 0 0 0 20 4 0 0 20 0 20 0 236022390 27969433600 30471 33554432000 4194304 4196468 140731277194704 140731277177248 140315686014711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 /proc/23706/statm: 6828475 30471 2897 1 0 6790935 0 [pid=23706/tid=23707] ppid=23703 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23706/task/23707/stat : 23707 (java) R 23703 23703 22617 0 -1 4202560 8074 0 0 0 16 3 0 0 20 0 20 0 236022390 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315657818152 140315671740414 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23708] ppid=23703 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/23706/task/23708/stat : 23708 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315690257296 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23709] ppid=23703 vsize=27313900 memory=140087668981661 CPUtime=0 cores=0-7 /proc/23706/task/23709/stat : 23709 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315108211472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23710] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23710/stat : 23710 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315107159184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23711] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23711/stat : 23711 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315106106384 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23712] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23712/stat : 23712 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315105053072 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23713] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23713/stat : 23713 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315104000272 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23714] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23714/stat : 23714 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315102947984 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23715] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23715/stat : 23715 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 30471 33554432000 4194304 4196468 140731277194704 140315101895184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23716] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23716/stat : 23716 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314945784432 140315686025858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23717] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23717/stat : 23717 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 30471 33554432000 4194304 4196468 140731277194704 140313427436832 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23718] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23718/stat : 23718 (java) S 23703 23703 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236022395 27969433600 30471 33554432000 4194304 4196468 140731277194704 140313293215344 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23719] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23719/stat : 23719 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140312918710864 140315686033307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23720] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23720/stat : 23720 (java) S 23703 23703 22617 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314944731248 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23721] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23721/stat : 23721 (java) S 23703 23703 22617 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314943678448 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23722] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23722/stat : 23722 (java) S 23703 23703 22617 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314942626160 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23723] ppid=23703 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/23706/task/23723/stat : 23723 (java) S 23703 23703 22617 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314941573360 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23724] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23724/stat : 23724 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 30471 33554432000 4194304 4196468 140731277194704 140312420805472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23725] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23725/stat : 23725 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022398 27969433600 30471 33554432000 4194304 4196468 140731277194704 140314940521264 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 123280 KiB [startup+0.309944 s]* /proc/loadavg: 4.25 7.17 8.00 2/204 23725 /proc/meminfo: memFree=17673516/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236022389 115843072 349 33554432000 4194304 5098028 140736054174992 140736054172248 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 349 296 221 0 87 0 [pid=23706] ppid=23703 vsize=27313900 memory=125672 CPUtime=0.41 cores=0-7 /proc/23706/stat : 23706 (java) S 23703 23703 22617 0 -1 1077944320 10739 0 0 0 37 4 0 0 20 0 20 0 236022390 27969433600 31418 33554432000 4194304 4196468 140731277194704 140731277177248 140315686014711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 /proc/23706/statm: 6828475 31418 2964 1 0 6790935 0 [pid=23706/tid=23707] ppid=23703 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23706/task/23707/stat : 23707 (java) R 23703 23703 22617 0 -1 4202560 8458 0 0 0 26 3 0 0 20 0 20 0 236022390 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315657810160 140315666290033 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23708] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23708/stat : 23708 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315690257296 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23709] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23709/stat : 23709 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315108211472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23710] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23710/stat : 23710 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315107159184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23711] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23711/stat : 23711 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315106106384 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23712] ppid=23703 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/23706/task/23712/stat : 23712 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315105053072 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23713] ppid=23703 vsize=27313900 memory=140087539102639 CPUtime=0 cores=0-7 /proc/23706/task/23713/stat : 23713 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315104000272 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23714] ppid=23703 vsize=27313900 memory=140087539104944 CPUtime=0 cores=0-7 /proc/23706/task/23714/stat : 23714 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315102947984 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23715] ppid=23703 vsize=27313900 memory=140087539107248 CPUtime=0 cores=0-7 /proc/23706/task/23715/stat : 23715 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27969433600 31418 33554432000 4194304 4196468 140731277194704 140315101895184 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23716] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23716/stat : 23716 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314945784432 140315686025858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23717] ppid=23703 vsize=27313900 memory=280175078221456 CPUtime=0 cores=0-7 /proc/23706/task/23717/stat : 23717 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236022394 27969433600 31418 33554432000 4194304 4196468 140731277194704 140313427436832 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23718] ppid=23703 vsize=27313900 memory=280175078228368 CPUtime=0 cores=0-7 /proc/23706/task/23718/stat : 23718 (java) S 23703 23703 22617 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236022395 27969433600 31418 33554432000 4194304 4196468 140731277194704 140313293215344 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23719] ppid=23703 vsize=27313900 memory=280175078169648 CPUtime=0 cores=0-7 /proc/23706/task/23719/stat : 23719 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140312918710864 140315686033307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23720] ppid=23703 vsize=27313900 memory=280175078242192 CPUtime=0.01 cores=0-7 /proc/23706/task/23720/stat : 23720 (java) S 23703 23703 22617 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314944731248 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23721] ppid=23703 vsize=27313900 memory=280175078249104 CPUtime=0.01 cores=0-7 /proc/23706/task/23721/stat : 23721 (java) S 23703 23703 22617 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314943678448 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23722] ppid=23703 vsize=27313900 memory=280175078246800 CPUtime=0 cores=0-7 /proc/23706/task/23722/stat : 23722 (java) S 23703 23703 22617 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314942626160 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23723] ppid=23703 vsize=27313900 memory=280175078262960 CPUtime=0.07 cores=0-7 /proc/23706/task/23723/stat : 23723 (java) S 23703 23703 22617 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314941573360 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23724] ppid=23703 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23724/stat : 23724 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236022397 27969433600 31418 33554432000 4194304 4196468 140731277194704 140312420805472 140315686024917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23725] ppid=23703 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/23706/task/23725/stat : 23725 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022398 27969433600 31418 33554432000 4194304 4196468 140731277194704 140314940521264 140315686025858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 127068 KiB [startup+0.700951 s] /proc/loadavg: 4.25 7.17 8.00 2/204 23725 /proc/meminfo: memFree=17649828/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236022389 115843072 349 33554432000 4194304 5098028 140736054174992 140736054172248 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 349 296 221 0 87 0 [pid=23706] ppid=23703 vsize=27320172 memory=164720 CPUtime=0.98 cores=0-7 /proc/23706/stat : 23706 (java) S 23703 23703 22617 0 -1 1077944320 17657 0 0 0 92 6 0 0 20 0 20 0 236022390 27975856128 41180 33554432000 4194304 4196468 140731277194704 140731277177248 140315686014711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 /proc/23706/statm: 6830043 41180 3127 1 0 6791447 0 [pid=23706/tid=23707] ppid=23703 vsize=27320172 memory=280175078620848 CPUtime=0.66 cores=0-7 /proc/23706/task/23707/stat : 23707 (java) R 23703 23703 22617 0 -1 4202560 14832 0 0 0 62 4 0 0 20 0 20 0 236022390 27975856128 41180 33554432000 4194304 4196468 140731277194704 140315657853408 140315686026646 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23708] ppid=23703 vsize=27320172 memory=140087539311472 CPUtime=0 cores=0-7 /proc/23706/task/23708/stat : 23708 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236022392 27975856128 41180 33554432000 4194304 4196468 140731277194704 140315690257296 140315686024917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23709] ppid=23703 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/23706/task/23709/stat : 23709 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236022392 27975856128 41180 33554432000 4194304 4196468 140731277194704 140315108211472 140315686024917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13389824 140731277202409 140731277202733 140731277202733 140731277205455 0 [pid=23706/tid=23710] ppid=23703 vsize=27320172 memory=1616 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=23703] ppid=23700 vsize=113128 memory=1472 CPUtime=16.93 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 590 36762 0 0 0 0 1627 66 20 0 1 0 236022389 115843072 368 33554432000 4194304 5098028 140736054174992 140736054171736 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 16.93 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+7.20099 s] /proc/loadavg: 4.23 7.12 7.98 3/204 23745 /proc/meminfo: memFree=17671496/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1472 CPUtime=16.93 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 590 36762 0 0 0 0 1627 66 20 0 1 0 236022389 115843072 368 33554432000 4194304 5098028 140736054174992 140736054171736 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 368 311 221 0 87 0 [pid=23726] ppid=23703 vsize=8413904 memory=139028 CPUtime=1.76 cores=0-7 /proc/23726/stat : 23726 (java) S 23703 23703 22617 0 -1 1077944320 18898 0 0 0 164 12 0 0 20 0 24 0 236023004 8615837696 34757 33554432000 4194304 4196468 140721761646592 140721761629136 139838640094967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 /proc/23726/statm: 2103476 34757 3158 1 0 2064875 0 [pid=23726/tid=23727] ppid=23703 vsize=8413904 memory=241888263190836 CPUtime=0.91 cores=0-7 /proc/23726/task/23727/stat : 23727 (java) S 23703 23703 22617 0 -1 1077944384 14623 0 0 0 81 10 0 0 20 0 24 0 236023005 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838611935120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23728] ppid=23703 vsize=8413904 memory=241888263190837 CPUtime=0 cores=0-7 /proc/23726/task/23728/stat : 23728 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838644337040 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23729] ppid=23703 vsize=8413904 memory=280175079248848 CPUtime=0 cores=0-7 /proc/23726/task/23729/stat : 23729 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838444505360 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23730] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23730/stat : 23730 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838443453072 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23731] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23731/stat : 23731 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838442400272 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23732] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23732/stat : 23732 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838441347984 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23733] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23733/stat : 23733 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838440295184 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23734] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23734/stat : 23734 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838439242896 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23735] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23735/stat : 23735 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838438190096 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23736] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23736/stat : 23736 (java) S 23703 23703 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837465163888 139838640106114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23737] ppid=23703 vsize=8413904 memory=2412 CPUtime=0 cores=0-7 /proc/23726/task/23737/stat : 23737 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837290046240 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23738] ppid=23703 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/23726/task/23738/stat : 23738 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837021611120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23739] ppid=23703 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/23726/task/23739/stat : 23739 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836647102544 139838640113563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23740] ppid=23703 vsize=8413904 memory=0 CPUtime=0.16 cores=0-7 /proc/23726/task/23740/stat : 23740 (java) S 23703 23703 22617 0 -1 1077944384 723 0 0 0 16 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837464111728 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23741] ppid=23703 vsize=8413904 memory=3184238007615376160 CPUtime=0.23 cores=0-7 /proc/23726/task/23741/stat : 23741 (java) S 23703 23703 22617 0 -1 1077944384 606 0 0 0 23 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837463058928 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23742] ppid=23703 vsize=8413904 memory=6656426216303648864 CPUtime=0.17 cores=0-7 /proc/23726/task/23742/stat : 23742 (java) S 23703 23703 22617 0 -1 1077944384 925 0 0 0 17 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837462006640 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23743] ppid=23703 vsize=8413904 memory=288288895920243274 CPUtime=0.24 cores=0-7 /proc/23726/task/23743/stat : 23743 (java) S 23703 23703 22617 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837460953840 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23744] ppid=23703 vsize=8413904 memory=6935649255777194064 CPUtime=0 cores=0-7 /proc/23726/task/23744/stat : 23744 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836149197152 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23745] ppid=23703 vsize=8413904 memory=280175078015216 CPUtime=0 cores=0-7 /proc/23726/task/23745/stat : 23745 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837459900720 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 Current children cumulated CPU time: 18.69 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 140500 KiB [startup+7.40098 s] /proc/loadavg: 4.23 7.12 7.98 3/204 23745 /proc/meminfo: memFree=17671496/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1472 CPUtime=16.93 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 590 36762 0 0 0 0 1627 66 20 0 1 0 236022389 115843072 368 33554432000 4194304 5098028 140736054174992 140736054171736 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 368 311 221 0 87 0 [pid=23726] ppid=23703 vsize=8413904 memory=139028 CPUtime=1.76 cores=0-7 /proc/23726/stat : 23726 (java) S 23703 23703 22617 0 -1 1077944320 18898 0 0 0 164 12 0 0 20 0 24 0 236023004 8615837696 34757 33554432000 4194304 4196468 140721761646592 140721761629136 139838640094967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 /proc/23726/statm: 2103476 34757 3158 1 0 2064875 0 [pid=23726/tid=23727] ppid=23703 vsize=8413904 memory=508 CPUtime=0.91 cores=0-7 /proc/23726/task/23727/stat : 23727 (java) S 23703 23703 22617 0 -1 1077944384 14623 0 0 0 81 10 0 0 20 0 24 0 236023005 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838611935120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23728] ppid=23703 vsize=8413904 memory=1728 CPUtime=0 cores=0-7 /proc/23726/task/23728/stat : 23728 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838644337040 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23729] ppid=23703 vsize=8413904 memory=928 CPUtime=0 cores=0-7 /proc/23726/task/23729/stat : 23729 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838444505360 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23730] ppid=23703 vsize=8413904 memory=1313426 CPUtime=0 cores=0-7 /proc/23726/task/23730/stat : 23730 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838443453072 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23731] ppid=23703 vsize=8413904 memory=13904 CPUtime=0 cores=0-7 /proc/23726/task/23731/stat : 23731 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838442400272 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23732] ppid=23703 vsize=8413904 memory=23613 CPUtime=0 cores=0-7 /proc/23726/task/23732/stat : 23732 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838441347984 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23733] ppid=23703 vsize=8413904 memory=7649399362739974962 CPUtime=0 cores=0-7 /proc/23726/task/23733/stat : 23733 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838440295184 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23734] ppid=23703 vsize=8413904 memory=7649399367034942258 CPUtime=0 cores=0-7 /proc/23726/task/23734/stat : 23734 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838439242896 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23735] ppid=23703 vsize=8413904 memory=7649399371329909554 CPUtime=0 cores=0-7 /proc/23726/task/23735/stat : 23735 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838438190096 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23736] ppid=23703 vsize=8413904 memory=7649399375624876850 CPUtime=0 cores=0-7 /proc/23726/task/23736/stat : 23736 (java) S 23703 23703 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837465163888 139838640106114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23737] ppid=23703 vsize=8413904 memory=7649399379919844146 CPUtime=0 cores=0-7 /proc/23726/task/23737/stat : 23737 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837290046240 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23738] ppid=23703 vsize=8413904 memory=7649399384214811442 CPUtime=0 cores=0-7 /proc/23726/task/23738/stat : 23738 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837021611120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23739] ppid=23703 vsize=8413904 memory=7649399388509778738 CPUtime=0 cores=0-7 /proc/23726/task/23739/stat : 23739 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836647102544 139838640113563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23740] ppid=23703 vsize=8413904 memory=7649399392804746034 CPUtime=0.16 cores=0-7 /proc/23726/task/23740/stat : 23740 (java) S 23703 23703 22617 0 -1 1077944384 723 0 0 0 16 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837464111728 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23741] ppid=23703 vsize=8413904 memory=0 CPUtime=0.23 cores=0-7 /proc/23726/task/23741/stat : 23741 (java) S 23703 23703 22617 0 -1 1077944384 606 0 0 0 23 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837463058928 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23742] ppid=23703 vsize=8413904 memory=257 CPUtime=0.17 cores=0-7 /proc/23726/task/23742/stat : 23742 (java) S 23703 23703 22617 0 -1 1077944384 925 0 0 0 17 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837462006640 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23743] ppid=23703 vsize=8413904 memory=14976667764829865 CPUtime=0.24 cores=0-7 /proc/23726/task/23743/stat : 23743 (java) S 23703 23703 22617 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837460953840 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23744] ppid=23703 vsize=8413904 memory=1396 CPUtime=0 cores=0-7 /proc/23726/task/23744/stat : 23744 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836149197152 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23745] ppid=23703 vsize=8413904 memory=447428 CPUtime=0 cores=0-7 /proc/23726/task/23745/stat : 23745 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837459900720 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 Current children cumulated CPU time: 18.69 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 140500 KiB [startup+7.50102 s] /proc/loadavg: 4.23 7.12 7.98 3/204 23745 /proc/meminfo: memFree=17671496/32770624 swapFree=67108688/67108860 [pid=23703] ppid=23700 vsize=113128 memory=1472 CPUtime=16.93 cores=0-7 /proc/23703/stat : 23703 (scop.sh) S 23700 23703 22617 0 -1 4202496 590 36762 0 0 0 0 1627 66 20 0 1 0 236022389 115843072 368 33554432000 4194304 5098028 140736054174992 140736054171736 139719448187516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39198720 140736054178851 140736054179075 140736054179075 140736054181837 0 /proc/23703/statm: 28282 368 311 221 0 87 0 [pid=23726] ppid=23703 vsize=8413904 memory=139028 CPUtime=1.76 cores=0-7 /proc/23726/stat : 23726 (java) S 23703 23703 22617 0 -1 1077944320 18898 0 0 0 164 12 0 0 20 0 24 0 236023004 8615837696 34757 33554432000 4194304 4196468 140721761646592 140721761629136 139838640094967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 /proc/23726/statm: 2103476 34757 3158 1 0 2064875 0 [pid=23726/tid=23727] ppid=23703 vsize=8413904 memory=2797576 CPUtime=0.91 cores=0-7 /proc/23726/task/23727/stat : 23727 (java) S 23703 23703 22617 0 -1 1077944384 14623 0 0 0 81 10 0 0 20 0 24 0 236023005 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838611935120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23728] ppid=23703 vsize=8413904 memory=139028 CPUtime=0 cores=0-7 /proc/23726/task/23728/stat : 23728 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838644337040 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23729] ppid=23703 vsize=8413904 memory=3824 CPUtime=0 cores=0-7 /proc/23726/task/23729/stat : 23729 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838444505360 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23730] ppid=23703 vsize=8413904 memory=64100 CPUtime=0 cores=0-7 /proc/23726/task/23730/stat : 23730 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838443453072 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23731] ppid=23703 vsize=8413904 memory=2316 CPUtime=0 cores=0-7 /proc/23726/task/23731/stat : 23731 (java) S 23703 23703 22617 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838442400272 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23732] ppid=23703 vsize=8413904 memory=1224 CPUtime=0 cores=0-7 /proc/23726/task/23732/stat : 23732 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838441347984 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23733] ppid=23703 vsize=8413904 memory=1792 CPUtime=0 cores=0-7 /proc/23726/task/23733/stat : 23733 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838440295184 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23734] ppid=23703 vsize=8413904 memory=876 CPUtime=0 cores=0-7 /proc/23726/task/23734/stat : 23734 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838439242896 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23735] ppid=23703 vsize=8413904 memory=5344 CPUtime=0 cores=0-7 /proc/23726/task/23735/stat : 23735 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023006 8615837696 34757 33554432000 4194304 4196468 140721761646592 139838438190096 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23736] ppid=23703 vsize=8413904 memory=756 CPUtime=0 cores=0-7 /proc/23726/task/23736/stat : 23736 (java) S 23703 23703 22617 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837465163888 139838640106114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23737] ppid=23703 vsize=8413904 memory=4588 CPUtime=0 cores=0-7 /proc/23726/task/23737/stat : 23737 (java) S 23703 23703 22617 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837290046240 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23738] ppid=23703 vsize=8413904 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/23726/task/23738/stat : 23738 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023008 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837021611120 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23739] ppid=23703 vsize=8413904 memory=-3535470213243961690 CPUtime=0 cores=0-7 /proc/23726/task/23739/stat : 23739 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836647102544 139838640113563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23740] ppid=23703 vsize=8413904 memory=6944656592455360604 CPUtime=0.16 cores=0-7 /proc/23726/task/23740/stat : 23740 (java) S 23703 23703 22617 0 -1 1077944384 723 0 0 0 16 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837464111728 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23741] ppid=23703 vsize=8413904 memory=7739269192034640722 CPUtime=0.23 cores=0-7 /proc/23726/task/23741/stat : 23741 (java) S 23703 23703 22617 0 -1 1077944384 606 0 0 0 23 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837463058928 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23742] ppid=23703 vsize=8413904 memory=7589556308526869908 CPUtime=0.17 cores=0-7 /proc/23726/task/23742/stat : 23742 (java) S 23703 23703 22617 0 -1 1077944384 925 0 0 0 17 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837462006640 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23743] ppid=23703 vsize=8413904 memory=1388 CPUtime=0.24 cores=0-7 /proc/23726/task/23743/stat : 23743 (java) S 23703 23703 22617 0 -1 1077944384 623 0 0 0 24 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837460953840 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23744] ppid=23703 vsize=8413904 memory=9664 CPUtime=0 cores=0-7 /proc/23726/task/23744/stat : 23744 (java) S 23703 23703 22617 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139836149197152 139838640105173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 [pid=23726/tid=23745] ppid=23703 vsize=8413904 memory=1136 CPUtime=0 cores=0-7 /proc/23726/task/23745/stat : 23745 (java) S 23703 23703 22617 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236023011 8615837696 34757 33554432000 4194304 4196468 140721761646592 139837459900720 139838640106114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8146944 140721761649841 140721761649965 140721761649965 140721761652687 0 Current children cumulated CPU time: 18.69 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 140500 KiB Child status: 0 Real time (s): 7.58406 CPU time (s): 19.4303 CPU user time (s): 18.5429 CPU system time (s): 0.887362 CPU usage (%): 256.199 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 2801020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5429 system time used= 0.887362 maximum resident set size= 2802368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94035 page faults= 0 swaps= 0 block input operations= 0 block output operations= 18608 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9685 involuntary context switches= 24 # summary of solver processes directly reported to runsolver: # pid: 23703 # total CPU time (s): 19.4303 # total CPU user time (s): 18.5429 # total CPU system time (s): 0.887362 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.085081 second user time and 0.112496 second system time The end
Begin job on node134 at 2018-08-13 20:23:12 IDJOB=4307534 IDBENCH=141179 IDSOLVER=2789 FILE ID=node134/4307534-1534184592 RUNJOBID= node134-1534182009-22644 PBS_JOBID= 21037981 Free space on /tmp= 42776 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f09_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307534-1534184592/watcher-4307534-1534184592 -o /tmp/evaluation-result-4307534-1534184592/solver-4307534-1534184592 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534182009-22644 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307534-1534184592.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6a895ef6ade7f33e321559e9e4e8dbd9 RANDOM SEED=1513305524 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: 17787832 kB MemAvailable: 31900248 kB Buffers: 227396 kB Cached: 14033936 kB SwapCached: 52 kB Active: 4499156 kB Inactive: 9817240 kB Active(anon): 4244 kB Inactive(anon): 103128 kB Active(file): 4494912 kB Inactive(file): 9714112 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8376 kB Writeback: 8 kB AnonPages: 62024 kB Mapped: 55852 kB Shmem: 49652 kB Slab: 360596 kB SReclaimable: 331852 kB SUnreclaim: 28744 kB KernelStack: 3264 kB PageTables: 4632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348800 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:23:19