Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | SAT | 8.14691 | 3.35956 |
Name | SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml |
MD5SUM | 323265c27f21e70af41ff0037033f3ab |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.99933 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 726 |
Number of domains | 1 |
Minimum domain size | 4 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":4,"count":64}] |
Minimum variable degree | 47 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":47,"count":48},{"degree":48,"count":16}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":4,"count":720},{"arity":16,"count":5},{"arity":64,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 720 |
Distribution of constraint types | [{"type":"intension","count":720},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-16198-serial-file.bin HOME/instance-4307184-1534191864.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 22:24:24 CEST 2018 0.65/0.56 c PID: 16201 0.65/0.56 c IP: 172.20.3.105 0.65/0.56 c HOST: node105.alineos.net 0.65/0.56 c (0,0) Parsing Begin 2.51/1.23 c (0,0) Parsing End 2.51/1.23 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 726 ctr, max domain size 4 2.51/1.23 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.51/1.23 c (0,0) Constraint Name Generate Begin 2.51/1.25 c (0,0) Ctr:HOME/instance-4307184-1534191864.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or 2.51/1.25 c (0,0) Constraint Name Generate End 2.51/1.25 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.51/1.25 c (0,0) CSP to CSPinCNF Begin 2.77/1.36 c (0,0) translated 73 (10%) constraints 2.77/1.39 c (0,0) translated 146 (20%) constraints 2.97/1.42 c (0,0) translated 218 (30%) constraints 2.97/1.45 c (0,0) translated 291 (40%) constraints 2.97/1.47 c (0,0) translated 363 (50%) constraints 2.97/1.48 c (0,0) translated 436 (60%) constraints 2.97/1.49 c (0,0) translated 509 (70%) constraints 3.22/1.51 c (0,0) translated 581 (80%) constraints 3.22/1.52 c (0,0) translated 654 (90%) constraints 3.50/1.69 c (1,1) translated 726 (100%) constraints 4.15/1.84 c (1,1) STATISTICS1:HOME/instance-4307184-1534191864.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,392,1444,32768,4,4,16,32768:32;4:1217;1:421,4:2849;2:984;1:955,4:792;3:274;2:328;1:50,16:32;2:1638;1:1528, 4.15/1.84 c (1,1) ========================================== 4.15/1.84 c (1,1) Order 4.15/1.84 c (1,1) ========================================== 4.15/1.86 c (1,1) translated 145 (10%) constraints 4.15/1.88 c (1,1) translated 289 (20%) constraints 4.15/1.89 c (1,1) translated 434 (30%) constraints 4.50/1.91 c (1,1) translated 578 (40%) constraints 4.50/1.94 c (1,1) translated 722 (50%) constraints 4.50/1.97 c (1,1) translated 867 (60%) constraints 4.50/1.99 c (1,1) translated 1011 (70%) constraints 4.98/2.02 c (1,1) translated 1156 (80%) constraints 4.98/2.03 c (1,1) translated 1300 (90%) constraints 4.98/2.04 c (1,1) translated 1444 (100%) constraints 4.98/2.05 c (1,1) CSP to CSPinCNF End 4.98/2.05 c (1,1) CSP: 112 int (48 aux), 584 bool (584 aux), 2084 ctr, max domain size 5 4.98/2.05 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.98/2.05 c (1,1) CSPinCNF Propagation Begin 5.41/2.12 c (1,1) 188 values, 858 unsatisfiable literals, and 738 valid clauses are removed 5.41/2.12 c (1,1) CSPinCNF Propagation End 5.41/2.12 c (1,1) CSP: 252 int (188 aux), 444 bool (444 aux), 1346 ctr, max domain size 5 5.41/2.12 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 5.41/2.12 c (1,1) Simplify CSPinCNF Begin 5.41/2.17 c (1,1) Simplify CSPinCNF End 5.41/2.17 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5 5.41/2.17 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 5.41/2.17 c (1,1) Calculate Precise Domain Begin 5.71/2.21 c (1,1) 0 values are removed by re-calculation 5.71/2.21 c (1,1) Calculate Precise Domain End 5.71/2.21 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5 5.71/2.21 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 5.71/2.21 c (1,1) CSPinCNF to SatSolver Begin 5.71/2.28 c (1,1) 217 (10 %) CSP clauses are encoded (1547 SAT variables, 852 SAT clauses) 6.03/2.30 c (1,1) 433 (20 %) CSP clauses are encoded (1547 SAT variables, 1572 SAT clauses) 6.03/2.32 c (1,1) 649 (30 %) CSP clauses are encoded (1547 SAT variables, 2283 SAT clauses) 6.03/2.33 c (1,1) 865 (40 %) CSP clauses are encoded (1547 SAT variables, 2928 SAT clauses) 6.03/2.34 c (1,1) 1081 (50 %) CSP clauses are encoded (1547 SAT variables, 3444 SAT clauses) 6.03/2.35 c (1,1) 1297 (60 %) CSP clauses are encoded (1547 SAT variables, 4612 SAT clauses) 6.03/2.37 c (1,1) 1513 (70 %) CSP clauses are encoded (1547 SAT variables, 5780 SAT clauses) 6.03/2.38 c (1,1) 1729 (80 %) CSP clauses are encoded (1547 SAT variables, 6948 SAT clauses) 6.03/2.38 c (1,1) 1945 (90 %) CSP clauses are encoded (1547 SAT variables, 7164 SAT clauses) 6.03/2.39 c (1,1) 2161 (100 %) CSP clauses are encoded (1547 SAT variables, 7712 SAT clauses) 6.03/2.39 c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 6.03/2.39 c (1,1) CSPinCNF to SatSolver End 6.03/2.39 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 6.38/2.42 c (1,1) STATISTICS2:HOME/instance-4307184-1534191864.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1511,2161,64,5,4,7,64:24;32:48;25:24;4:857;1:35,5:144;4:2325;2:3976;1:35,4:414;3:116;2:1521;1:110,7:24;6:48;3:24;2:892;1:4168, 6.38/2.42 c (1,1) 1547 bool, 7715 clause 6.38/2.42 c (1,1) Export Begin 6.79/2.50 c (1,1) Export to HOME/scop-16198-serial-file.bin 6.79/2.50 c (1,1) Export End 6.79/2.50 c (1,1) Export File Size: 0.01 MB 6.79/2.50 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 6.79/2.50 c END-Prog: Mon Aug 13 22:24:26 CEST 2018 6.79/2.52 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-16198-serial-file.bin 7.44/3.01 c (0,0) Read Serial File Begin 7.44/3.01 c (0,0) HOME/scop-16198-serial-file.bin 7.59/3.17 c (0,0) Read Serial File End 7.59/3.18 7.59/3.18 scop order+glucose-syrup (2018-07-31) 7.59/3.18 (Solving Process) 7.59/3.18 7.73/3.21 c BEGIN-Prog: Mon Aug 13 22:24:27 CEST 2018 7.73/3.21 c PID: 16221 7.73/3.21 c IP: 172.20.3.105 7.73/3.21 c HOST: node105.alineos.net 7.73/3.21 c (0,0) SatSolver.solve Begin 7.73/3.21 c (0,0) 0 bool, 0 clause 7.73/3.21 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307184-1534191864.xml-scop-16201.cnf 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.73/3.26 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.73/3.26 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.73/3.26 c (0,0) c | | 7.73/3.26 c (0,0) c | Number of variables: 1547 | 7.73/3.26 c (0,0) c | Number of clauses: 7715 | 7.73/3.26 c (0,0) c | Parse time: 0.00 s | 7.73/3.26 c (0,0) c | | 7.73/3.26 c (0,0) c | Eliminated clauses: 0.01 Mb | 7.73/3.26 c (0,0) c | Simplification time: 0.00 s | 7.73/3.26 c (0,0) c | | 7.73/3.26 c (0,0) c | Generating clones | 7.73/3.26 c (0,0) c | all clones generated. Memory = 30.77Mb. | 7.73/3.26 c (0,0) c ========================================================================================================| 7.73/3.26 c (0,0) c last restart ## conflicts : 14 69 7.73/3.26 c (0,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 7.73/3.26 c (0,0) c Total Memory so far : 606.80Mb 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c real time : 0.0217431 s 7.73/3.26 c (0,0) c cpu time : 0.024641 s 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 7.73/3.26 c (0,0) c 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) c | Conflicts | 792 | 103 | 142 | 129 | 12 | 18 | 142 | 124 | 122 | 7.73/3.26 c (0,0) c | Decisions | 3619 | 629 | 511 | 363 | 341 | 404 | 479 | 446 | 446 | 7.73/3.26 c (0,0) c | Propagations | 45769 | 8241 | 7950 | 6586 | 1867 | 1874 | 7217 | 6157 | 5877 | 7.73/3.26 c (0,0) c | Avg_Trail | | 681 | 714 | 770 | 359 | 732 | 677 | 736 | 737 | 7.73/3.26 c (0,0) c | Avg_DL | | 32 | 50 | 75 | 49 | 99 | 50 | 59 | 61 | 7.73/3.26 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) c | Exported | 29 | 6 | 3 | 5 | 0 | 0 | 4 | 6 | 5 | 7.73/3.26 c (0,0) c | Imported | 29 | 10 | 2 | 3 | 3 | 3 | 2 | 3 | 3 | 7.73/3.26 c (0,0) c | Good | 22 | 3 | 2 | 3 | 3 | 3 | 2 | 3 | 3 | 7.73/3.26 c (0,0) c | Purge | 7 | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) c | Unaries | | 10 | 2 | 2 | 8 | 4 | 3 | 4 | 4 | 7.73/3.26 c (0,0) c | Binaries | | 2 | 0 | 1 | 0 | 0 | 2 | 1 | 1 | 7.73/3.26 c (0,0) c | Glues | | 6 | 3 | 5 | 0 | 0 | 4 | 6 | 5 | 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) c | Orig_Seen | 6 % | 733 | 852 | 541 | 49 | 135 | 620 | 506 | 503 | 7.73/3.26 c (0,0) c | Diff Orig seen| | X | 119 | - 192 | - 684 | - 598 | - 113 | - 227 | - 230 | 7.73/3.26 c (0,0) c | Hamming | 21 % | X | 340 | 326 | 321 | 345 | 329 | 336 | 329 | 7.73/3.26 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.73/3.26 c (0,0) 7.73/3.26 c (0,0) s SATISFIABLE 7.73/3.28 c (0,0) SatSolver.solve End 7.73/3.28 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 7.73/3.28 c (0,0) Show results Begin 8.02/3.34 s SATISFIABLE 8.02/3.35 v <instantiation> 8.02/3.35 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15]</list> 8.02/3.35 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 3 2 0 1 0 1 3 2 2 3 1 0 1 0 2 3 3 2 1 0 0 1 2 3 1 0 3 2 2 3 0 1</values> 8.02/3.35 v </instantiation> 8.02/3.35 c (0,0) Show results End 8.02/3.35 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 8.02/3.35 c (0,0) 0,0,STOP-AFTER(ALL) 8.02/3.35 c END-Prog: Mon Aug 13 22:24:27 CEST 2018
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13111 MiB free) memory of node 1: 16384 MiB (13473 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307184-1534191864/watcher-4307184-1534191864 -o /tmp/evaluation-result-4307184-1534191864/solver-4307184-1534191864 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307184-1534191864.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=16198, runsolver pid=16195 [startup+0.100147 s]* /proc/loadavg: 1.23 1.06 1.06 3/202 16220 /proc/meminfo: memFree=27129056/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749547 115843072 349 33554432000 4194304 5098028 140722796400848 140722796398104 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 349 296 221 0 87 0 [pid=16201] ppid=16198 vsize=27313900 memory=106976 CPUtime=0.1 cores=0-7 /proc/16201/stat : 16201 (java) S 16198 16198 15668 0 -1 1077944320 6722 0 0 0 8 2 0 0 20 0 20 0 236749548 27969433600 26744 33554432000 4194304 4196468 140723510022832 140723510005376 140149885865719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 /proc/16201/statm: 6828475 26744 2740 1 0 6790935 0 [pid=16201/tid=16202] ppid=16198 vsize=27313900 memory=7825737110625622679 CPUtime=0.09 cores=0-7 /proc/16201/task/16202/stat : 16202 (java) R 16198 16198 15668 0 -1 4202560 4877 0 0 0 7 2 0 0 20 0 20 0 236749548 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149857692048 140149866142544 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16203] ppid=16198 vsize=27313900 memory=732369874266627045 CPUtime=0 cores=0-7 /proc/16201/task/16203/stat : 16203 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149890108432 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16204] ppid=16198 vsize=27313900 memory=139735929173632 CPUtime=0 cores=0-7 /proc/16201/task/16204/stat : 16204 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149704264848 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16205] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16205/stat : 16205 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149703211792 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16206] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16206/stat : 16206 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149702159248 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16207] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16207/stat : 16207 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149701106192 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16208] ppid=16198 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/16201/task/16208/stat : 16208 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149700053648 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16209] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16209/stat : 16209 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149699000592 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16210] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16210/stat : 16210 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 26809 33554432000 4194304 4196468 140723510022832 140149697948048 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16211] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16211/stat : 16211 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749552 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148406741744 140149885876866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16212] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16212/stat : 16212 (java) S 16198 16198 15668 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 26809 33554432000 4194304 4196468 140723510022832 140147467216544 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16213] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16213/stat : 16213 (java) S 16198 16198 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 26809 33554432000 4194304 4196468 140723510022832 140147332994288 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16214] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16214/stat : 16214 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140146958490064 140149885884315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16215] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16215/stat : 16215 (java) R 16198 16198 15668 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148405688560 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16216] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16216/stat : 16216 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148404636016 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16217] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16217/stat : 16217 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148403582960 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16218] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16218/stat : 16218 (java) R 16198 16198 15668 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148402530416 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16219] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16219/stat : 16219 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 26809 33554432000 4194304 4196468 140723510022832 140146460584928 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16220] ppid=16198 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/16201/task/16220/stat : 16220 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749556 27969433600 26809 33554432000 4194304 4196468 140723510022832 140148401478832 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 108372 KiB [startup+0.210399 s]* /proc/loadavg: 1.23 1.06 1.06 2/202 16220 /proc/meminfo: memFree=27112808/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749547 115843072 349 33554432000 4194304 5098028 140722796400848 140722796398104 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 349 296 221 0 87 0 [pid=16201] ppid=16198 vsize=27313900 memory=121888 CPUtime=0.24 cores=0-7 /proc/16201/stat : 16201 (java) S 16198 16198 15668 0 -1 1077944320 10575 0 0 0 20 4 0 0 20 0 20 0 236749548 27969433600 30407 33554432000 4194304 4196468 140723510022832 140723510005376 140149885865719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 /proc/16201/statm: 6828475 30407 2926 1 0 6790935 0 [pid=16201/tid=16202] ppid=16198 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7 /proc/16201/task/16202/stat : 16202 (java) R 16198 16198 15668 0 -1 4202560 8471 0 0 0 17 3 0 0 20 0 20 0 236749548 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149857674464 140149869946206 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16203] ppid=16198 vsize=27313900 memory=279471750625016 CPUtime=0 cores=0-7 /proc/16201/task/16203/stat : 16203 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149890108432 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16204] ppid=16198 vsize=27313900 memory=139735929173632 CPUtime=0 cores=0-7 /proc/16201/task/16204/stat : 16204 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149704264848 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16205] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16205/stat : 16205 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149703211792 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16206] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16206/stat : 16206 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149702159248 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16207] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16207/stat : 16207 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149701106192 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16208] ppid=16198 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/16201/task/16208/stat : 16208 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149700053648 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16209] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16209/stat : 16209 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149699000592 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16210] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16210/stat : 16210 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 30472 33554432000 4194304 4196468 140723510022832 140149697948048 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16211] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16211/stat : 16211 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749552 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148406741744 140149885876866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16212] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16212/stat : 16212 (java) S 16198 16198 15668 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 30472 33554432000 4194304 4196468 140723510022832 140147467216544 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16213] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16213/stat : 16213 (java) S 16198 16198 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 30472 33554432000 4194304 4196468 140723510022832 140147332994288 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16214] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16214/stat : 16214 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140146958490064 140149885884315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16215] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16215/stat : 16215 (java) S 16198 16198 15668 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148405688560 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16216] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16216/stat : 16216 (java) S 16198 16198 15668 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148404636016 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16217] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16217/stat : 16217 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148403582960 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16218] ppid=16198 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7 /proc/16201/task/16218/stat : 16218 (java) S 16198 16198 15668 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148402530416 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16219] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16219/stat : 16219 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 30472 33554432000 4194304 4196468 140723510022832 140146460584928 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16220] ppid=16198 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/16201/task/16220/stat : 16220 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749556 27969433600 30472 33554432000 4194304 4196468 140723510022832 140148401478832 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 123284 KiB [startup+0.31042 s]* /proc/loadavg: 1.23 1.06 1.06 2/202 16220 /proc/meminfo: memFree=27110324/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749547 115843072 349 33554432000 4194304 5098028 140722796400848 140722796398104 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 349 296 221 0 87 0 [pid=16201] ppid=16198 vsize=27313900 memory=125160 CPUtime=0.41 cores=0-7 /proc/16201/stat : 16201 (java) S 16198 16198 15668 0 -1 1077944320 11132 0 0 0 37 4 0 0 20 0 20 0 236749548 27969433600 31290 33554432000 4194304 4196468 140723510022832 140723510005376 140149885865719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 /proc/16201/statm: 6828475 31290 2958 1 0 6790935 0 [pid=16201/tid=16202] ppid=16198 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16201/task/16202/stat : 16202 (java) R 16198 16198 15668 0 -1 4202560 8845 0 0 0 26 3 0 0 20 0 20 0 236749548 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149857669768 140149885887645 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16203] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16203/stat : 16203 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149890108432 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16204] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16204/stat : 16204 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149704264848 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16205] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16205/stat : 16205 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149703211792 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16206] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16206/stat : 16206 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149702159248 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16207] ppid=16198 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/16201/task/16207/stat : 16207 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149701106192 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16208] ppid=16198 vsize=27313900 memory=139735821546415 CPUtime=0 cores=0-7 /proc/16201/task/16208/stat : 16208 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149700053648 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16209] ppid=16198 vsize=27313900 memory=139735821548720 CPUtime=0 cores=0-7 /proc/16201/task/16209/stat : 16209 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149699000592 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16210] ppid=16198 vsize=27313900 memory=139735821551024 CPUtime=0 cores=0-7 /proc/16201/task/16210/stat : 16210 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749551 27969433600 31290 33554432000 4194304 4196468 140723510022832 140149697948048 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16211] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16211/stat : 16211 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749552 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148406741744 140149885876866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16212] ppid=16198 vsize=27313900 memory=279471643109008 CPUtime=0 cores=0-7 /proc/16201/task/16212/stat : 16212 (java) S 16198 16198 15668 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 31290 33554432000 4194304 4196468 140723510022832 140147467216544 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16213] ppid=16198 vsize=27313900 memory=279471643115920 CPUtime=0 cores=0-7 /proc/16201/task/16213/stat : 16213 (java) S 16198 16198 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236749553 27969433600 31290 33554432000 4194304 4196468 140723510022832 140147332994288 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16214] ppid=16198 vsize=27313900 memory=279471643057200 CPUtime=0 cores=0-7 /proc/16201/task/16214/stat : 16214 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140146958490064 140149885884315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16215] ppid=16198 vsize=27313900 memory=279471643129744 CPUtime=0.01 cores=0-7 /proc/16201/task/16215/stat : 16215 (java) S 16198 16198 15668 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148405688560 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16216] ppid=16198 vsize=27313900 memory=279471643136656 CPUtime=0 cores=0-7 /proc/16201/task/16216/stat : 16216 (java) S 16198 16198 15668 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148404636016 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16217] ppid=16198 vsize=27313900 memory=279471643134352 CPUtime=0.01 cores=0-7 /proc/16201/task/16217/stat : 16217 (java) S 16198 16198 15668 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148403582960 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16218] ppid=16198 vsize=27313900 memory=279471643150512 CPUtime=0.07 cores=0-7 /proc/16201/task/16218/stat : 16218 (java) S 16198 16198 15668 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148402530416 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16219] ppid=16198 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16219/stat : 16219 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749555 27969433600 31290 33554432000 4194304 4196468 140723510022832 140146460584928 140149885875925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16220] ppid=16198 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/16201/task/16220/stat : 16220 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749556 27969433600 31290 33554432000 4194304 4196468 140723510022832 140148401478832 140149885876866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 126556 KiB [startup+0.700989 s] /proc/loadavg: 1.23 1.06 1.06 2/202 16220 /proc/meminfo: memFree=27086016/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236749547 115843072 349 33554432000 4194304 5098028 140722796400848 140722796398104 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 349 296 221 0 87 0 [pid=16201] ppid=16198 vsize=27320172 memory=163176 CPUtime=1 cores=0-7 /proc/16201/stat : 16201 (java) S 16198 16198 15668 0 -1 1077944320 18265 0 0 0 94 6 0 0 20 0 20 0 236749548 27975856128 40794 33554432000 4194304 4196468 140723510022832 140723510005376 140149885865719 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 /proc/16201/statm: 6830043 40794 3098 1 0 6791447 0 [pid=16201/tid=16202] ppid=16198 vsize=27320172 memory=279471643445376 CPUtime=0.67 cores=0-7 /proc/16201/task/16202/stat : 16202 (java) R 16198 16198 15668 0 -1 4202560 15422 0 0 0 62 5 0 0 20 0 20 0 236749548 27975856128 40794 33554432000 4194304 4196468 140723510022832 140149857689104 140149867777105 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16203] ppid=16198 vsize=27320172 memory=5072356377741 CPUtime=0 cores=0-7 /proc/16201/task/16203/stat : 16203 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27975856128 40794 33554432000 4194304 4196468 140723510022832 140149890108432 140149885875925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16204] ppid=16198 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16204/stat : 16204 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27975856128 40794 33554432000 4194304 4196468 140723510022832 140149704264848 140149885875925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 [pid=16201/tid=16205] ppid=16198 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/16201/task/16205/stat : 16205 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749551 27975856128 40794 33554432000 4194304 4196468 140723510022832 140149703211792 140149885875925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38916096 140723510031336 140723510031661 140723510031661 140723510034383 0 ################ # More data... # ################ /proc/loadavg: 1.21 1.06 1.06 2/202 16240 /proc/meminfo: memFree=27155248/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1472 CPUtime=6.83 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 589 28201 0 0 0 0 668 15 20 0 1 0 236749547 115843072 368 33554432000 4194304 5098028 140722796400848 140722796397592 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 368 311 221 0 87 0 [pid=16221] ppid=16198 vsize=7752068 memory=94568 CPUtime=0.76 cores=0-7 /proc/16221/stat : 16221 (java) S 16198 16198 15668 0 -1 1077944320 16913 0 0 0 71 5 0 0 20 0 20 0 236749800 7938117632 23642 33554432000 4194304 4196468 140729906173312 140729906155856 140173821632247 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 /proc/16221/statm: 1938017 23642 2991 1 0 1899951 0 [pid=16221/tid=16222] ppid=16198 vsize=7752068 memory=0 CPUtime=0.55 cores=0-7 /proc/16221/task/16222/stat : 16222 (java) R 16198 16198 15668 0 -1 4202560 14521 0 0 0 52 3 0 0 20 0 20 0 236749801 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173793409824 140173821646111 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16223] ppid=16198 vsize=7752068 memory=209302346301073 CPUtime=0 cores=0-7 /proc/16221/task/16223/stat : 16223 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173825874448 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16224] ppid=16198 vsize=7752068 memory=209302346301074 CPUtime=0 cores=0-7 /proc/16221/task/16224/stat : 16224 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173306919568 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16225] ppid=16198 vsize=7752068 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16225/stat : 16225 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173305866512 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16226] ppid=16198 vsize=7752068 memory=836 CPUtime=0 cores=0-7 /proc/16221/task/16226/stat : 16226 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173304813968 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16227] ppid=16198 vsize=7752068 memory=1084 CPUtime=0 cores=0-7 /proc/16221/task/16227/stat : 16227 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173303761936 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16228] ppid=16198 vsize=7752068 memory=1600 CPUtime=0 cores=0-7 /proc/16221/task/16228/stat : 16228 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173302709392 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16229] ppid=16198 vsize=7752068 memory=7952 CPUtime=0 cores=0-7 /proc/16221/task/16229/stat : 16229 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173301656336 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16230] ppid=16198 vsize=7752068 memory=4088 CPUtime=0 cores=0-7 /proc/16221/task/16230/stat : 16230 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173300603792 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16231] ppid=16198 vsize=7752068 memory=1784 CPUtime=0 cores=0-7 /proc/16221/task/16231/stat : 16231 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749804 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173116496112 140173821643394 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16232] ppid=16198 vsize=7752068 memory=3708 CPUtime=0 cores=0-7 /proc/16221/task/16232/stat : 16232 (java) S 16198 16198 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236749804 7938117632 23642 33554432000 4194304 4196468 140729906173312 140172230386848 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16233] ppid=16198 vsize=7752068 memory=64056 CPUtime=0 cores=0-7 /proc/16221/task/16233/stat : 16233 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749804 7938117632 23642 33554432000 4194304 4196468 140729906173312 140171961950960 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16234] ppid=16198 vsize=7752068 memory=2080 CPUtime=0 cores=0-7 /proc/16221/task/16234/stat : 16234 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140171587442640 140173821650843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16235] ppid=16198 vsize=7752068 memory=1036 CPUtime=0.02 cores=0-7 /proc/16221/task/16235/stat : 16235 (java) S 16198 16198 15668 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173115443952 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16236] ppid=16198 vsize=7752068 memory=1736 CPUtime=0.02 cores=0-7 /proc/16221/task/16236/stat : 16236 (java) S 16198 16198 15668 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173114391408 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16237] ppid=16198 vsize=7752068 memory=752 CPUtime=0.02 cores=0-7 /proc/16221/task/16237/stat : 16237 (java) S 16198 16198 15668 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173113338352 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16238] ppid=16198 vsize=7752068 memory=56 CPUtime=0.12 cores=0-7 /proc/16221/task/16238/stat : 16238 (java) R 16198 16198 15668 0 -1 4202560 410 0 0 0 12 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173112285808 140173821653594 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16239] ppid=16198 vsize=7752068 memory=-8813412931113164149 CPUtime=0 cores=0-7 /proc/16221/task/16239/stat : 16239 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140171089537504 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16240] ppid=16198 vsize=7752068 memory=8514726395715218844 CPUtime=0 cores=0-7 /proc/16221/task/16240/stat : 16240 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749807 7938117632 23642 33554432000 4194304 4196468 140729906173312 140173111233200 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 Current children cumulated CPU time: 7.59 s Current children cumulated vsize: 7865196 KiB Current children cumulated memory: 96040 KiB [startup+3.35951 s] # the end of solver process 16198 was just reported to runsolver # cumulated CPU time of all completed processes: user=7.88954 s, system=0.257369 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20229 s] /proc/loadavg: 1.21 1.06 1.06 2/202 16240 /proc/meminfo: memFree=27155248/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1472 CPUtime=6.83 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 589 28201 0 0 0 0 668 15 20 0 1 0 236749547 115843072 368 33554432000 4194304 5098028 140722796400848 140722796397592 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 368 311 221 0 87 0 [pid=16221] ppid=16198 vsize=7754116 memory=100480 CPUtime=0.9 cores=0-7 /proc/16221/stat : 16221 (java) S 16198 16198 15668 0 -1 1077944320 17458 0 0 0 85 5 0 0 20 0 20 0 236749800 7940214784 25120 33554432000 4194304 4196468 140729906173312 140729906155856 140173821632247 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 /proc/16221/statm: 1938529 25120 2997 1 0 1900463 0 [pid=16221/tid=16222] ppid=16198 vsize=7754116 memory=0 CPUtime=0.65 cores=0-7 /proc/16221/task/16222/stat : 16222 (java) R 16198 16198 15668 0 -1 4202560 14965 0 0 0 61 4 0 0 20 0 20 0 236749801 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173793468832 140173813869374 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16223] ppid=16198 vsize=7754116 memory=1060 CPUtime=0 cores=0-7 /proc/16221/task/16223/stat : 16223 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173825874448 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16224] ppid=16198 vsize=7754116 memory=5816 CPUtime=0 cores=0-7 /proc/16221/task/16224/stat : 16224 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173306919568 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16225] ppid=16198 vsize=7754116 memory=3304 CPUtime=0 cores=0-7 /proc/16221/task/16225/stat : 16225 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173305866512 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16226] ppid=16198 vsize=7754116 memory=1260 CPUtime=0 cores=0-7 /proc/16221/task/16226/stat : 16226 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173304813968 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16227] ppid=16198 vsize=7754116 memory=14872 CPUtime=0 cores=0-7 /proc/16221/task/16227/stat : 16227 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173303761936 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16228] ppid=16198 vsize=7754116 memory=3296 CPUtime=0 cores=0-7 /proc/16221/task/16228/stat : 16228 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173302709392 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16229] ppid=16198 vsize=7754116 memory=15292 CPUtime=0 cores=0-7 /proc/16221/task/16229/stat : 16229 (java) S 16198 16198 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173301656336 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16230] ppid=16198 vsize=7754116 memory=35572 CPUtime=0 cores=0-7 /proc/16221/task/16230/stat : 16230 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749802 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173300603792 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16231] ppid=16198 vsize=7754116 memory=496 CPUtime=0 cores=0-7 /proc/16221/task/16231/stat : 16231 (java) S 16198 16198 15668 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236749804 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173116496112 140173821643394 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16232] ppid=16198 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16232/stat : 16232 (java) S 16198 16198 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236749804 7940214784 25120 33554432000 4194304 4196468 140729906173312 140172230386848 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16233] ppid=16198 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16233/stat : 16233 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749804 7940214784 25120 33554432000 4194304 4196468 140729906173312 140171961950960 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16234] ppid=16198 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16234/stat : 16234 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140171587442640 140173821650843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16235] ppid=16198 vsize=7754116 memory=0 CPUtime=0.03 cores=0-7 /proc/16221/task/16235/stat : 16235 (java) S 16198 16198 15668 0 -1 1077944384 365 0 0 0 3 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173115443952 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16236] ppid=16198 vsize=7754116 memory=0 CPUtime=0.02 cores=0-7 /proc/16221/task/16236/stat : 16236 (java) S 16198 16198 15668 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173114391408 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16237] ppid=16198 vsize=7754116 memory=0 CPUtime=0.02 cores=0-7 /proc/16221/task/16237/stat : 16237 (java) S 16198 16198 15668 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173113338352 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16238] ppid=16198 vsize=7754116 memory=0 CPUtime=0.15 cores=0-7 /proc/16221/task/16238/stat : 16238 (java) S 16198 16198 15668 0 -1 1077944384 497 0 0 0 15 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173112285808 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16239] ppid=16198 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16239/stat : 16239 (java) S 16198 16198 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140171089537504 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16240] ppid=16198 vsize=7754116 memory=0 CPUtime=0 cores=0-7 /proc/16221/task/16240/stat : 16240 (java) S 16198 16198 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236749807 7940214784 25120 33554432000 4194304 4196468 140729906173312 140173111233200 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 Current children cumulated CPU time: 7.73 s Current children cumulated vsize: 7867244 KiB Current children cumulated memory: 101952 KiB [startup+3.30088 s] /proc/loadavg: 1.21 1.06 1.06 2/202 16240 /proc/meminfo: memFree=27155248/32770624 swapFree=67108804/67108860 [pid=16198] ppid=16195 vsize=113128 memory=1472 CPUtime=6.83 cores=0-7 /proc/16198/stat : 16198 (scop.sh) S 16195 16198 15668 0 -1 4202496 589 28201 0 0 0 0 668 15 20 0 1 0 236749547 115843072 368 33554432000 4194304 5098028 140722796400848 140722796397592 139821441340028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31424512 140722796405794 140722796406019 140722796406019 140722796408781 0 /proc/16198/statm: 28282 368 311 221 0 87 0 [pid=16221] ppid=16198 vsize=8282828 memory=119232 CPUtime=1.19 cores=0-7 /proc/16221/stat : 16221 (java) S 16198 16198 15668 0 -1 1077944320 18610 2582 0 0 109 7 2 1 20 0 22 0 236749800 8481615872 29808 33554432000 4194304 4196468 140729906173312 140729906155856 140173821632247 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 /proc/16221/statm: 2070707 29808 3118 1 0 2032106 0 [pid=16221/tid=16222] ppid=16198 vsize=8282828 memory=56 CPUtime=0.77 cores=0-7 /proc/16221/task/16222/stat : 16222 (java) R 16198 16198 15668 0 -1 4202560 15596 2582 0 0 70 4 2 1 20 0 22 0 236749801 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173793425200 140173805712734 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16223] ppid=16198 vsize=8282828 memory=-8813412931113164149 CPUtime=0.03 cores=0-7 /proc/16221/task/16223/stat : 16223 (java) S 16198 16198 15668 0 -1 1077944384 2 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173825874448 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16224] ppid=16198 vsize=8282828 memory=8514726395715218844 CPUtime=0.03 cores=0-7 /proc/16221/task/16224/stat : 16224 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173306919568 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16225] ppid=16198 vsize=8282828 memory=7 CPUtime=0.03 cores=0-7 /proc/16221/task/16225/stat : 16225 (java) S 16198 16198 15668 0 -1 1077944384 3 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173305866512 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16226] ppid=16198 vsize=8282828 memory=9 CPUtime=0.03 cores=0-7 /proc/16221/task/16226/stat : 16226 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173304813968 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16227] ppid=16198 vsize=8282828 memory=6 CPUtime=0.03 cores=0-7 /proc/16221/task/16227/stat : 16227 (java) S 16198 16198 15668 0 -1 1077944384 2 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173303761936 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16228] ppid=16198 vsize=8282828 memory=0 CPUtime=0.03 cores=0-7 /proc/16221/task/16228/stat : 16228 (java) S 16198 16198 15668 0 -1 1077944384 2 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173302709392 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16229] ppid=16198 vsize=8282828 memory=209302346301073 CPUtime=0.03 cores=0-7 /proc/16221/task/16229/stat : 16229 (java) S 16198 16198 15668 0 -1 1077944384 2 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173301656336 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16230] ppid=16198 vsize=8282828 memory=209302346301074 CPUtime=0.03 cores=0-7 /proc/16221/task/16230/stat : 16230 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749802 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173300603792 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16231] ppid=16198 vsize=8282828 memory=0 CPUtime=0.03 cores=0-7 /proc/16221/task/16231/stat : 16231 (java) S 16198 16198 15668 0 -1 1077944384 5 2582 0 0 0 0 2 1 20 0 22 0 236749804 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173116496112 140173821643394 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16232] ppid=16198 vsize=8282828 memory=3708 CPUtime=0.03 cores=0-7 /proc/16221/task/16232/stat : 16232 (java) S 16198 16198 15668 0 -1 1077944384 13 2582 0 0 0 0 2 1 20 0 22 0 236749804 8481615872 29808 33554432000 4194304 4196468 140729906173312 140172230386848 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16233] ppid=16198 vsize=8282828 memory=64056 CPUtime=0.03 cores=0-7 /proc/16221/task/16233/stat : 16233 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749804 8481615872 29808 33554432000 4194304 4196468 140729906173312 140171961950960 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16234] ppid=16198 vsize=8282828 memory=2080 CPUtime=0.03 cores=0-7 /proc/16221/task/16234/stat : 16234 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140171587442640 140173821650843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16235] ppid=16198 vsize=8282828 memory=1036 CPUtime=0.1 cores=0-7 /proc/16221/task/16235/stat : 16235 (java) S 16198 16198 15668 0 -1 1077944384 581 2582 0 0 7 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173115443952 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16236] ppid=16198 vsize=8282828 memory=1736 CPUtime=0.06 cores=0-7 /proc/16221/task/16236/stat : 16236 (java) S 16198 16198 15668 0 -1 1077944384 186 2582 0 0 3 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173114391408 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16237] ppid=16198 vsize=8282828 memory=752 CPUtime=0.08 cores=0-7 /proc/16221/task/16237/stat : 16237 (java) S 16198 16198 15668 0 -1 1077944384 198 2582 0 0 5 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173113338352 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16238] ppid=16198 vsize=8282828 memory=836 CPUtime=0.23 cores=0-7 /proc/16221/task/16238/stat : 16238 (java) S 16198 16198 15668 0 -1 1077944384 605 2582 0 0 20 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173112285808 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16239] ppid=16198 vsize=8282828 memory=1084 CPUtime=0.03 cores=0-7 /proc/16221/task/16239/stat : 16239 (java) S 16198 16198 15668 0 -1 1077944384 3 2582 0 0 0 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140171089537504 140173821642453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 [pid=16221/tid=16240] ppid=16198 vsize=8282828 memory=1600 CPUtime=0.03 cores=0-7 /proc/16221/task/16240/stat : 16240 (java) S 16198 16198 15668 0 -1 1077944384 1 2582 0 0 0 0 2 1 20 0 22 0 236749807 8481615872 29808 33554432000 4194304 4196468 140729906173312 140173111233200 140173821643394 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140729906181297 140729906181421 140729906181421 140729906184143 0 Current children cumulated CPU time: 8.02 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 120704 KiB Child status: 0 Real time (s): 3.35956 CPU time (s): 8.14691 CPU user time (s): 7.88954 CPU system time (s): 0.257369 CPU usage (%): 242.499 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 370044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.88954 system time used= 0.257369 maximum resident set size= 371788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50291 page faults= 0 swaps= 0 block input operations= 0 block output operations= 416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8923 involuntary context switches= 18 # summary of solver processes directly reported to runsolver: # pid: 16198 # total CPU time (s): 8.14691 # total CPU user time (s): 7.88954 # total CPU system time (s): 0.257369 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05354 second user time and 0.075162 second system time The end
Begin job on node105 at 2018-08-13 22:24:24 IDJOB=4307184 IDBENCH=141378 IDSOLVER=2788 FILE ID=node105/4307184-1534191864 RUNJOBID= node105-1534191843-15695 PBS_JOBID= 21037996 Free space on /tmp= 41072 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-4-cp_c18.xml COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307184-1534191864/watcher-4307184-1534191864 -o /tmp/evaluation-result-4307184-1534191864/solver-4307184-1534191864 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307184-1534191864.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 323265c27f21e70af41ff0037033f3ab RANDOM SEED=1020504779 node105.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.32 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.32 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.32 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.32 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: 27222928 kB MemAvailable: 31904336 kB Buffers: 181852 kB Cached: 4756420 kB SwapCached: 16 kB Active: 1991268 kB Inactive: 2999440 kB Active(anon): 4388 kB Inactive(anon): 100492 kB Active(file): 1986880 kB Inactive(file): 2898948 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 9048 kB Writeback: 0 kB AnonPages: 53604 kB Mapped: 52288 kB Shmem: 49748 kB Slab: 250368 kB SReclaimable: 222828 kB SUnreclaim: 27540 kB KernelStack: 3568 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 41064 MiB End job on node105 at 2018-08-13 22:24:27