Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | SAT | 4.78548 | 2.55975 |
Name | Langford/ LangfordBin-12_c18.xml |
MD5SUM | d44a6c2f310df02cbd65e302b0bb5238 |
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 | 1.4463 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 48 |
Number of constraints | 36 |
Number of domains | 2 |
Minimum domain size | 12 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":12,"count":24},{"size":24,"count":24}] |
Minimum variable degree | 2 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":24,"count":24}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":2,"count":12},{"arity":25,"count":24}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12 |
Distribution of constraint types | [{"type":"intension","count":12},{"type":"element","count":24}] |
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-5738-serial-file.bin HOME/instance-4307114-1534191424.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.55 c BEGIN-Prog: Mon Aug 13 22:17:05 CEST 2018 0.65/0.55 c PID: 5741 0.65/0.55 c IP: 172.20.3.103 0.65/0.55 c HOST: node103.alineos.net 0.65/0.56 c (0,0) Parsing Begin 1.18/0.86 c (0,0) Parsing End 1.18/0.86 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 24 1.36/1.00 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.36/1.00 c (0,0) Constraint Name Generate Begin 1.36/1.00 c (0,0) Ctr:HOME/instance-4307114-1534191424.xml,Add:Element:Eq:IntVar:Num 1.36/1.00 c (0,0) Constraint Name Generate End 1.36/1.00 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.36/1.00 c (0,0) CSP to CSPinCNF Begin 1.53/1.04 c (0,0) translated 4 (10%) constraints 1.53/1.09 c (0,0) translated 8 (20%) constraints 1.82/1.12 c (0,0) translated 11 (30%) constraints 1.82/1.16 c (0,0) translated 15 (40%) constraints 1.82/1.18 c (0,0) translated 18 (50%) constraints 2.07/1.20 c (0,0) translated 22 (60%) constraints 2.07/1.22 c (0,0) translated 26 (70%) constraints 2.07/1.22 c (0,0) translated 29 (80%) constraints 2.07/1.22 c (0,0) translated 33 (90%) constraints 2.07/1.22 c (0,0) translated 36 (100%) constraints 2.07/1.26 c (0,0) STATISTICS1:HOME/instance-4307114-1534191424.xml,Add:Element:Eq:IntVar:Num,48,588,22,22,3,2,22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2,22:50;21:50;20:50;19:50;18:50;17:50;16:50;15:50;14:50;13:50;12:626;11:50,3:576;1:12,2:24;1:1728, 2.07/1.26 c (0,0) ========================================== 2.07/1.26 c (0,0) Order 2.07/1.26 c (0,0) ========================================== 2.30/1.31 c (0,0) translated 59 (10%) constraints 2.30/1.33 c (0,0) translated 118 (20%) constraints 2.30/1.35 c (0,0) translated 177 (30%) constraints 2.30/1.37 c (0,0) translated 236 (40%) constraints 2.30/1.39 c (0,0) translated 294 (50%) constraints 2.59/1.40 c (0,0) translated 353 (60%) constraints 2.59/1.41 c (0,0) translated 412 (70%) constraints 2.59/1.42 c (0,0) translated 471 (80%) constraints 2.59/1.43 c (0,0) translated 530 (90%) constraints 2.59/1.44 c (0,0) translated 588 (100%) constraints 2.59/1.44 c (0,0) CSP to CSPinCNF End 2.59/1.45 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1752 ctr, max domain size 22 2.59/1.45 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.59/1.45 c (0,0) CSPinCNF Propagation Begin 2.59/1.49 c (0,0) 0 values, 228 unsatisfiable literals, and 276 valid clauses are removed 2.59/1.49 c (0,0) CSPinCNF Propagation End 2.59/1.50 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22 2.59/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.59/1.50 c (0,0) Simplify CSPinCNF Begin 2.94/1.50 c (0,0) Simplify CSPinCNF End 2.94/1.50 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22 2.94/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.94/1.50 c (0,0) Calculate Precise Domain Begin 2.94/1.51 c (0,0) 0 values are removed by re-calculation 2.94/1.51 c (0,0) Calculate Precise Domain End 2.94/1.51 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22 2.94/1.51 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.94/1.51 c (0,0) CSPinCNF to SatSolver Begin 2.94/1.55 c (1,1) 148 (10 %) CSP clauses are encoded (924 SAT variables, 735 SAT clauses) 2.94/1.56 c (1,1) 296 (20 %) CSP clauses are encoded (924 SAT variables, 883 SAT clauses) 2.94/1.57 c (1,1) 443 (30 %) CSP clauses are encoded (924 SAT variables, 1030 SAT clauses) 2.94/1.57 c (1,1) 591 (40 %) CSP clauses are encoded (924 SAT variables, 1178 SAT clauses) 2.94/1.58 c (1,1) 738 (50 %) CSP clauses are encoded (924 SAT variables, 1325 SAT clauses) 2.94/1.58 c (1,1) 886 (60 %) CSP clauses are encoded (924 SAT variables, 1473 SAT clauses) 2.94/1.58 c (1,1) 1034 (70 %) CSP clauses are encoded (924 SAT variables, 1621 SAT clauses) 2.94/1.59 c (1,1) 1181 (80 %) CSP clauses are encoded (924 SAT variables, 1768 SAT clauses) 2.94/1.59 c (1,1) 1329 (90 %) CSP clauses are encoded (924 SAT variables, 1916 SAT clauses) 3.27/1.60 c (1,1) 1476 (100 %) CSP clauses are encoded (924 SAT variables, 2402 SAT clauses) 3.27/1.60 c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 3.27/1.60 c (1,1) CSPinCNF to SatSolver End 3.27/1.60 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.27/1.62 c (1,1) STATISTICS2:HOME/instance-4307114-1534191424.xml,Add:Element:Eq:IntVar:Num,336,1476,22,22,3,2,22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2,22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:52;12:1104;11:44;2:1452,3:348;2:1104;1:24,2:24;1:3252, 3.27/1.63 c (1,1) 924 bool, 2412 clause 3.27/1.63 c (1,1) Export Begin 3.50/1.70 c (1,1) Export to HOME/scop-5738-serial-file.bin 3.50/1.70 c (1,1) Export End 3.50/1.70 c (1,1) Export File Size: 0.01 MB 3.50/1.70 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 3.50/1.70 c END-Prog: Mon Aug 13 22:17:06 CEST 2018 3.50/1.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-5738-serial-file.bin 4.13/2.21 c (0,0) Read Serial File Begin 4.13/2.21 c (0,0) HOME/scop-5738-serial-file.bin 4.27/2.36 c (0,0) Read Serial File End 4.27/2.37 4.27/2.37 scop order+glucose-syrup (2018-07-31) 4.27/2.37 (Solving Process) 4.27/2.37 4.27/2.40 c BEGIN-Prog: Mon Aug 13 22:17:06 CEST 2018 4.27/2.40 c PID: 5761 4.27/2.40 c IP: 172.20.3.103 4.41/2.40 c HOST: node103.alineos.net 4.41/2.40 c (0,0) SatSolver.solve Begin 4.41/2.40 c (0,0) 0 bool, 0 clause 4.41/2.40 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307114-1534191424.xml-scop-5741.cnf 4.41/2.43 c (0,0) c 4.41/2.43 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.41/2.43 c (0,0) c 4.41/2.43 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.41/2.43 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.41/2.43 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.41/2.43 c (0,0) c | | 4.41/2.43 c (0,0) c | Number of variables: 924 | 4.41/2.43 c (0,0) c | Number of clauses: 2412 | 4.41/2.43 c (0,0) c | Parse time: 0.00 s | 4.41/2.44 c (0,0) c | | 4.41/2.44 c (0,0) c | Eliminated clauses: 0.01 Mb | 4.41/2.44 c (0,0) c | Simplification time: 0.00 s | 4.41/2.44 c (0,0) c | | 4.41/2.44 c (0,0) c | Generating clones | 4.41/2.44 c (0,0) c | all clones generated. Memory = 27.93Mb. | 4.41/2.44 c (0,0) c ========================================================================================================| 4.41/2.44 c (0,0) c last restart ## conflicts : 104 27 4.41/2.44 c (0,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 4.41/2.44 c (0,0) c Total Memory so far : 603.96Mb 4.41/2.44 c (0,0) c 4.41/2.44 c (0,0) c real time : 0.00971007 s 4.41/2.44 c (0,0) c cpu time : 0.021126 s 4.41/2.44 c (0,0) c 4.41/2.44 c (0,0) c 4.41/2.44 c (0,0) c 4.41/2.44 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.41/2.44 c (0,0) c 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) c | Conflicts | 695 | 104 | 121 | 23 | 121 | 1 | 123 | 89 | 113 | 4.41/2.44 c (0,0) c | Decisions | 1326 | 223 | 207 | 83 | 207 | 39 | 207 | 163 | 197 | 4.41/2.44 c (0,0) c | Propagations | 62663 | 11431 | 10535 | 2303 | 10535 | 310 | 10583 | 7259 | 9707 | 4.41/2.44 c (0,0) c | Avg_Trail | | 437 | 408 | 372 | 408 | 145 | 410 | 418 | 410 | 4.41/2.44 c (0,0) c | Avg_DL | | 27 | 17 | 19 | 17 | 11 | 17 | 18 | 17 | 4.41/2.44 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) c | Exported | 21 | 1 | 4 | 0 | 4 | 0 | 4 | 4 | 4 | 4.41/2.44 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.41/2.44 c (0,0) c | Glues | | 1 | 4 | 0 | 4 | 0 | 4 | 4 | 4 | 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) c | Orig_Seen | 22 % | 614 | 698 | 366 | 698 | 6 | 706 | 598 | 681 | 4.41/2.44 c (0,0) c | Diff Orig seen| | X | 84 | - 248 | 84 | - 608 | 92 | - 16 | 67 | 4.41/2.44 c (0,0) c | Hamming | 23 % | X | 205 | 205 | 205 | 236 | 227 | 211 | 227 | 4.41/2.44 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.41/2.44 c (0,0) 4.41/2.44 c (0,0) s SATISFIABLE 4.41/2.47 c (0,0) SatSolver.solve End 4.41/2.47 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 4.41/2.47 c (0,0) Show results Begin 4.69/2.53 s SATISFIABLE 4.69/2.54 v <instantiation> 4.69/2.54 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23]</list> 4.69/2.54 v <values>2 11 7 2 10 6 9 3 12 8 7 3 6 11 4 10 9 5 8 4 1 12 1 5 22 20 3 0 11 7 19 14 23 17 12 5 10 2 18 9 16 6 15 4 13 1 21 8</values> 4.69/2.54 v </instantiation> 4.69/2.54 c (0,0) Show results End 4.69/2.54 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 4.69/2.54 c (0,0) 0,0,STOP-AFTER(ALL) 4.69/2.54 c END-Prog: Mon Aug 13 22:17:07 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 (10478 MiB free) memory of node 1: 16384 MiB (13013 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307114-1534191424/watcher-4307114-1534191424 -o /tmp/evaluation-result-4307114-1534191424/solver-4307114-1534191424 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1534191388-5599 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307114-1534191424.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=5738, runsolver pid=5735 [startup+0.100156 s]* /proc/loadavg: 1.37 1.09 1.07 3/200 5760 /proc/meminfo: memFree=23961596/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236705587 115843072 348 33554432000 4194304 5098028 140721894252576 140721894249832 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 348 296 221 0 87 0 [pid=5741] ppid=5738 vsize=27313900 memory=109336 CPUtime=0.1 cores=0-7 /proc/5741/stat : 5741 (java) S 5738 5738 5572 0 -1 1077944320 6783 0 0 0 8 2 0 0 20 0 20 0 236705587 27969433600 27334 33554432000 4194304 4196468 140729423878544 140729423861088 140144563625719 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 /proc/5741/statm: 6828475 27334 2718 1 0 6790935 0 [pid=5741/tid=5742] ppid=5738 vsize=27313900 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5741/task/5742/stat : 5742 (java) R 5738 5738 5572 0 -1 4202560 4892 0 0 0 7 2 0 0 20 0 20 0 236705588 27969433600 27334 33554432000 4194304 4196468 140729423878544 140144535460144 140144543902544 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5743] ppid=5738 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5741/task/5743/stat : 5743 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140144567867920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5744] ppid=5738 vsize=27313900 memory=139830719886976 CPUtime=0 cores=0-7 /proc/5741/task/5744/stat : 5744 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140144382024336 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5745] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5745/stat : 5745 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143984539920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5746] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5746/stat : 5746 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143983487376 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5747] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5747/stat : 5747 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143982435344 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5748] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5748/stat : 5748 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143981382800 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5749] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5749/stat : 5749 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143980329744 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5750] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5750/stat : 5750 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143979277200 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5751] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5751/stat : 5751 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143018031344 140144563636866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5752] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5752/stat : 5752 (java) S 5738 5738 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 27334 33554432000 4194304 4196468 140729423878544 140142232724640 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5753] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5753/stat : 5753 (java) S 5738 5738 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 27334 33554432000 4194304 4196468 140729423878544 140142098502384 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5754] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5754/stat : 5754 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140141723998160 140144563644315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5755] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5755/stat : 5755 (java) S 5738 5738 5572 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143016979184 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5756] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5756/stat : 5756 (java) S 5738 5738 5572 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143015926640 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5757] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5757/stat : 5757 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143014873584 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5758] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5758/stat : 5758 (java) S 5738 5738 5572 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143013821040 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5759] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5759/stat : 5759 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140141226093024 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5760] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5760/stat : 5760 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 27334 33554432000 4194304 4196468 140729423878544 140143012768432 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 110728 KiB [startup+0.210368 s]* /proc/loadavg: 1.37 1.09 1.07 2/200 5760 /proc/meminfo: memFree=23943068/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236705587 115843072 348 33554432000 4194304 5098028 140721894252576 140721894249832 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 348 296 221 0 87 0 [pid=5741] ppid=5738 vsize=27313900 memory=123712 CPUtime=0.25 cores=0-7 /proc/5741/stat : 5741 (java) S 5738 5738 5572 0 -1 1077944320 10648 0 0 0 21 4 0 0 20 0 20 0 236705587 27969433600 30928 33554432000 4194304 4196468 140729423878544 140729423861088 140144563625719 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 /proc/5741/statm: 6828475 30928 2869 1 0 6790935 0 [pid=5741/tid=5742] ppid=5738 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5741/task/5742/stat : 5742 (java) R 5738 5738 5572 0 -1 4202560 8539 0 0 0 17 2 0 0 20 0 20 0 236705588 27969433600 30928 33554432000 4194304 4196468 140729423878544 140144535441232 140144563647645 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5743] ppid=5738 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/5741/task/5743/stat : 5743 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140144567867920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5744] ppid=5738 vsize=27313900 memory=139830719892971 CPUtime=0 cores=0-7 /proc/5741/task/5744/stat : 5744 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140144382024336 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5745] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5745/stat : 5745 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143984539920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5746] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5746/stat : 5746 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143983487376 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5747] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5747/stat : 5747 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143982435344 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5748] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5748/stat : 5748 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143981382800 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5749] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5749/stat : 5749 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143980329744 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5750] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5750/stat : 5750 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143979277200 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5751] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5751/stat : 5751 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143018031344 140144563636866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5752] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5752/stat : 5752 (java) S 5738 5738 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 30928 33554432000 4194304 4196468 140729423878544 140142232724640 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5753] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5753/stat : 5753 (java) S 5738 5738 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 30928 33554432000 4194304 4196468 140729423878544 140142098502384 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5754] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5754/stat : 5754 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30928 33554432000 4194304 4196468 140729423878544 140141723998160 140144563644315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5755] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5755/stat : 5755 (java) S 5738 5738 5572 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143016979184 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5756] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5756/stat : 5756 (java) S 5738 5738 5572 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143015926640 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5757] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5757/stat : 5757 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143014873584 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5758] ppid=5738 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/5741/task/5758/stat : 5758 (java) S 5738 5738 5572 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 236705595 27969433600 30928 33554432000 4194304 4196468 140729423878544 140143013821040 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5759] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5759/stat : 5759 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30993 33554432000 4194304 4196468 140729423878544 140141226093024 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5760] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5760/stat : 5760 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 30993 33554432000 4194304 4196468 140729423878544 140143012768432 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 125104 KiB [startup+0.310331 s]* /proc/loadavg: 1.37 1.09 1.07 2/200 5760 /proc/meminfo: memFree=23940028/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236705587 115843072 348 33554432000 4194304 5098028 140721894252576 140721894249832 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 348 296 221 0 87 0 [pid=5741] ppid=5738 vsize=27313900 memory=127228 CPUtime=0.41 cores=0-7 /proc/5741/stat : 5741 (java) S 5738 5738 5572 0 -1 1077944320 11199 0 0 0 37 4 0 0 20 0 20 0 236705587 27969433600 31807 33554432000 4194304 4196468 140729423878544 140729423861088 140144563625719 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 /proc/5741/statm: 6828475 31807 2924 1 0 6790935 0 [pid=5741/tid=5742] ppid=5738 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5741/task/5742/stat : 5742 (java) R 5738 5738 5572 0 -1 4202560 8919 0 0 0 26 3 0 0 20 0 20 0 236705588 27969433600 31807 33554432000 4194304 4196468 140729423878544 140144535421168 140144547706206 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5743] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5743/stat : 5743 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140144567867920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5744] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5744/stat : 5744 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140144382024336 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5745] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5745/stat : 5745 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143984539920 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5746] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5746/stat : 5746 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143983487376 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5747] ppid=5738 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/5741/task/5747/stat : 5747 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143982435344 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5748] ppid=5738 vsize=27313900 memory=139830579262383 CPUtime=0 cores=0-7 /proc/5741/task/5748/stat : 5748 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143981382800 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5749] ppid=5738 vsize=27313900 memory=139830579264688 CPUtime=0 cores=0-7 /proc/5741/task/5749/stat : 5749 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143980329744 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5750] ppid=5738 vsize=27313900 memory=139830579266992 CPUtime=0 cores=0-7 /proc/5741/task/5750/stat : 5750 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143979277200 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5751] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5751/stat : 5751 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143018031344 140144563636866 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5752] ppid=5738 vsize=27313900 memory=279661158540944 CPUtime=0 cores=0-7 /proc/5741/task/5752/stat : 5752 (java) S 5738 5738 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 31807 33554432000 4194304 4196468 140729423878544 140142232724640 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5753] ppid=5738 vsize=27313900 memory=279661158547856 CPUtime=0 cores=0-7 /proc/5741/task/5753/stat : 5753 (java) S 5738 5738 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236705592 27969433600 31807 33554432000 4194304 4196468 140729423878544 140142098502384 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5754] ppid=5738 vsize=27313900 memory=279661158489136 CPUtime=0 cores=0-7 /proc/5741/task/5754/stat : 5754 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140141723998160 140144563644315 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5755] ppid=5738 vsize=27313900 memory=279661158561680 CPUtime=0.01 cores=0-7 /proc/5741/task/5755/stat : 5755 (java) S 5738 5738 5572 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143016979184 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5756] ppid=5738 vsize=27313900 memory=279661158568592 CPUtime=0 cores=0-7 /proc/5741/task/5756/stat : 5756 (java) S 5738 5738 5572 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143015926640 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5757] ppid=5738 vsize=27313900 memory=279661158566288 CPUtime=0.01 cores=0-7 /proc/5741/task/5757/stat : 5757 (java) S 5738 5738 5572 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143014873584 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5758] ppid=5738 vsize=27313900 memory=279661158582448 CPUtime=0.07 cores=0-7 /proc/5741/task/5758/stat : 5758 (java) S 5738 5738 5572 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143013821040 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5759] ppid=5738 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5759/stat : 5759 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140141226093024 140144563635925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5760] ppid=5738 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/5741/task/5760/stat : 5760 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27969433600 31807 33554432000 4194304 4196468 140729423878544 140143012768432 140144563636866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 128620 KiB [startup+0.70095 s] /proc/loadavg: 1.37 1.09 1.07 2/200 5760 /proc/meminfo: memFree=23915116/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236705587 115843072 348 33554432000 4194304 5098028 140721894252576 140721894249832 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 348 296 221 0 87 0 [pid=5741] ppid=5738 vsize=27322296 memory=167040 CPUtime=0.99 cores=0-7 /proc/5741/stat : 5741 (java) S 5738 5738 5572 0 -1 1077944320 18298 0 0 0 92 7 0 0 20 0 20 0 236705587 27978031104 41760 33554432000 4194304 4196468 140729423878544 140729423861088 140144563625719 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 /proc/5741/statm: 6830574 41760 3144 1 0 6791959 0 [pid=5741/tid=5742] ppid=5738 vsize=27322296 memory=279661158940336 CPUtime=0.67 cores=0-7 /proc/5741/task/5742/stat : 5742 (java) R 5738 5738 5572 0 -1 4202560 15557 0 0 0 62 5 0 0 20 0 20 0 236705588 27978031104 41760 33554432000 4194304 4196468 140729423878544 140144535452432 140144547669349 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5743] ppid=5738 vsize=27322296 memory=139830579471216 CPUtime=0 cores=0-7 /proc/5741/task/5743/stat : 5743 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27978031104 41760 33554432000 4194304 4196468 140729423878544 140144567867920 140144563635925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5744] ppid=5738 vsize=27322296 memory=0 CPUtime=0 cores=0-7 /proc/5741/task/5744/stat : 5744 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27978031104 41760 33554432000 4194304 4196468 140729423878544 140144382024336 140144563635925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5745] ppid=5738 vsize=27322296 memory=1520 CPUtime=0 cores=0-7 /proc/5741/task/5745/stat : 5745 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705590 27978031104 41760 33554432000 4194304 4196468 140729423878544 140143984539920 140144563635925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 ################ # More data... # ################ /proc/5741/task/5759/stat : 5759 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705595 27984392192 58777 33554432000 4194304 4196468 140729423878544 140141226093024 140144563635925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 [pid=5741/tid=5760] ppid=5738 vsize=27328508 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/5741/task/5760/stat : 5760 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705595 27984392192 58777 33554432000 4194304 4196468 140729423878544 140143012768432 140144563636866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9379840 140729423881193 140729423881517 140729423881517 140729423884239 0 Current children cumulated CPU time: 3.27 s Current children cumulated vsize: 27441636 KiB Current children cumulated memory: 236500 KiB [startup+2.00032 s]* /proc/loadavg: 1.37 1.09 1.07 2/200 5780 /proc/meminfo: memFree=24004076/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1468 CPUtime=3.52 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 588 23934 0 0 0 0 339 13 20 0 1 0 236705587 115843072 367 33554432000 4194304 5098028 140721894252576 140721894249320 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 367 311 221 0 87 0 [pid=5761] ppid=5738 vsize=7749964 memory=63084 CPUtime=0.39 cores=0-7 /proc/5761/stat : 5761 (java) S 5738 5738 5572 0 -1 1077944320 10924 0 0 0 36 3 0 0 20 0 20 0 236705759 7935963136 15771 33554432000 4194304 4196468 140732484722288 140732484704832 139892101611255 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 /proc/5761/statm: 1937491 15771 2995 1 0 1899951 0 [pid=5761/tid=5762] ppid=5738 vsize=7749964 memory=8112282956445269571 CPUtime=0.26 cores=0-7 /proc/5761/task/5762/stat : 5762 (java) R 5738 5738 5572 0 -1 4202560 8620 0 0 0 24 2 0 0 20 0 20 0 236705759 7935963136 15771 33554432000 4194304 4196468 140732484722288 139892073416512 139892083174784 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5763] ppid=5738 vsize=7749964 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5761/task/5763/stat : 5763 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139892105853968 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5764] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5764/stat : 5764 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891920010384 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5765] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5765/stat : 5765 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891918957328 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5766] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5766/stat : 5766 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891917904784 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5767] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5767/stat : 5767 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891583908368 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5768] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5768/stat : 5768 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891582855824 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5769] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5769/stat : 5769 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891581802768 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5770] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5770/stat : 5770 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705760 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891580750224 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5771] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5771/stat : 5771 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705762 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891530672880 139892101622402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5772] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5772/stat : 5772 (java) S 5738 5738 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236705762 7935963136 15771 33554432000 4194304 4196468 140732484722288 139890507376288 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5773] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5773/stat : 5773 (java) S 5738 5738 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236705762 7935963136 15771 33554432000 4194304 4196468 140732484722288 139890373154032 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5774] ppid=5738 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5774/stat : 5774 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139889998649808 139892101629851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5775] ppid=5738 vsize=7749964 memory=6944652177228980320 CPUtime=0.01 cores=0-7 /proc/5761/task/5775/stat : 5775 (java) S 5738 5738 5572 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891529619696 139892101622402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5776] ppid=5738 vsize=7749964 memory=6944652177228980320 CPUtime=0.01 cores=0-7 /proc/5761/task/5776/stat : 5776 (java) S 5738 5738 5572 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891528567152 139892101622402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5777] ppid=5738 vsize=7749964 memory=0 CPUtime=0.01 cores=0-7 /proc/5761/task/5777/stat : 5777 (java) S 5738 5738 5572 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891527514096 139892101622402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5778] ppid=5738 vsize=7749964 memory=279661158420832 CPUtime=0.07 cores=0-7 /proc/5761/task/5778/stat : 5778 (java) S 5738 5738 5572 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891526461552 139892101622402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5779] ppid=5738 vsize=7749964 memory=12922 CPUtime=0 cores=0-7 /proc/5761/task/5779/stat : 5779 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139889500744672 139892101621461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5780] ppid=5738 vsize=7749964 memory=26804 CPUtime=0 cores=0-7 /proc/5761/task/5780/stat : 5780 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705765 7935963136 15771 33554432000 4194304 4196468 140732484722288 139891525409968 139892101622402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 Current children cumulated CPU time: 3.91 s Current children cumulated vsize: 7863092 KiB Current children cumulated memory: 64552 KiB [startup+2.4009 s] /proc/loadavg: 1.37 1.09 1.07 2/200 5780 /proc/meminfo: memFree=24004076/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1468 CPUtime=3.52 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 588 23934 0 0 0 0 339 13 20 0 1 0 236705587 115843072 367 33554432000 4194304 5098028 140721894252576 140721894249320 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 367 311 221 0 87 0 [pid=5761] ppid=5738 vsize=7756256 memory=98992 CPUtime=0.89 cores=0-7 /proc/5761/stat : 5761 (java) S 5738 5738 5572 0 -1 1077944320 17575 0 0 0 83 6 0 0 20 0 20 0 236705759 7942406144 24748 33554432000 4194304 4196468 140732484722288 140732484704832 139892101611255 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 /proc/5761/statm: 1939064 24748 3060 1 0 1900463 0 [pid=5761/tid=5762] ppid=5738 vsize=7756256 memory=-7522837415797432224 CPUtime=0.65 cores=0-7 /proc/5761/task/5762/stat : 5762 (java) R 5738 5738 5572 0 -1 4202560 15115 0 0 0 61 4 0 0 20 0 20 0 236705759 7942406144 24748 33554432000 4194304 4196468 140732484722288 139892073441864 139892101623190 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5763] ppid=5738 vsize=7756256 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/5761/task/5763/stat : 5763 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139892105853968 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5764] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5764/stat : 5764 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891920010384 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5765] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5765/stat : 5765 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891918957328 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5766] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5766/stat : 5766 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891917904784 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5767] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5767/stat : 5767 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891583908368 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5768] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5768/stat : 5768 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891582855824 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5769] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5769/stat : 5769 (java) S 5738 5738 5572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891581802768 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5770] ppid=5738 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/5761/task/5770/stat : 5770 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705760 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891580750224 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5771] ppid=5738 vsize=7756256 memory=164471477644505 CPUtime=0 cores=0-7 /proc/5761/task/5771/stat : 5771 (java) S 5738 5738 5572 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236705762 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891530672880 139892101622402 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5772] ppid=5738 vsize=7756256 memory=164471477644506 CPUtime=0 cores=0-7 /proc/5761/task/5772/stat : 5772 (java) S 5738 5738 5572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236705762 7942406144 24748 33554432000 4194304 4196468 140732484722288 139890507376288 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5773] ppid=5738 vsize=7756256 memory=164471477644507 CPUtime=0 cores=0-7 /proc/5761/task/5773/stat : 5773 (java) S 5738 5738 5572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236705762 7942406144 24748 33554432000 4194304 4196468 140732484722288 139890373154032 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5774] ppid=5738 vsize=7756256 memory=164471477644508 CPUtime=0 cores=0-7 /proc/5761/task/5774/stat : 5774 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139889998649808 139892101629851 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5775] ppid=5738 vsize=7756256 memory=164471477644509 CPUtime=0.02 cores=0-7 /proc/5761/task/5775/stat : 5775 (java) S 5738 5738 5572 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891529619696 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5776] ppid=5738 vsize=7756256 memory=164471477644510 CPUtime=0.02 cores=0-7 /proc/5761/task/5776/stat : 5776 (java) S 5738 5738 5572 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891528567152 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5777] ppid=5738 vsize=7756256 memory=164471477644511 CPUtime=0.02 cores=0-7 /proc/5761/task/5777/stat : 5777 (java) S 5738 5738 5572 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891527514096 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5778] ppid=5738 vsize=7756256 memory=164471477644512 CPUtime=0.14 cores=0-7 /proc/5761/task/5778/stat : 5778 (java) R 5738 5738 5572 0 -1 4202560 439 0 0 0 14 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891526461552 139892101623190 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5779] ppid=5738 vsize=7756256 memory=164471477644513 CPUtime=0 cores=0-7 /proc/5761/task/5779/stat : 5779 (java) S 5738 5738 5572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139889500744672 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5780] ppid=5738 vsize=7756256 memory=164471477644514 CPUtime=0 cores=0-7 /proc/5761/task/5780/stat : 5780 (java) S 5738 5738 5572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236705765 7942406144 24748 33554432000 4194304 4196468 140732484722288 139891525409968 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 Current children cumulated CPU time: 4.41 s Current children cumulated vsize: 7869384 KiB Current children cumulated memory: 100460 KiB [startup+2.50094 s] /proc/loadavg: 1.37 1.09 1.07 2/200 5780 /proc/meminfo: memFree=24004076/32770624 swapFree=67058964/67108860 [pid=5738] ppid=5735 vsize=113128 memory=1468 CPUtime=3.52 cores=0-7 /proc/5738/stat : 5738 (scop.sh) S 5735 5738 5572 0 -1 4202496 588 23934 0 0 0 0 339 13 20 0 1 0 236705587 115843072 367 33554432000 4194304 5098028 140721894252576 140721894249320 139833073865340 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16646144 140721894253602 140721894253827 140721894253827 140721894256589 0 /proc/5738/statm: 28282 367 311 221 0 87 0 [pid=5761] ppid=5738 vsize=8217292 memory=115416 CPUtime=1.17 cores=0-7 /proc/5761/stat : 5761 (java) S 5738 5738 5572 0 -1 1077944320 18739 1596 0 0 108 7 2 0 20 0 22 0 236705759 8414507008 28854 33554432000 4194304 4196468 140732484722288 140732484704832 139892101611255 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 /proc/5761/statm: 2054323 28854 3105 1 0 2015722 0 [pid=5761/tid=5762] ppid=5738 vsize=8217292 memory=1468 CPUtime=0.77 cores=0-7 /proc/5761/task/5762/stat : 5762 (java) R 5738 5738 5572 0 -1 4202560 15701 1596 0 0 70 5 2 0 20 0 22 0 236705759 8414507008 28854 33554432000 4194304 4196468 140732484722288 139892073431808 139892081887136 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5763] ppid=5738 vsize=8217292 memory=4294967295 CPUtime=0.02 cores=0-7 /proc/5761/task/5763/stat : 5763 (java) S 5738 5738 5572 0 -1 1077944384 2 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139892105853968 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5764] ppid=5738 vsize=8217292 memory=0 CPUtime=0.02 cores=0-7 /proc/5761/task/5764/stat : 5764 (java) S 5738 5738 5572 0 -1 1077944384 2 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891920010384 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5765] ppid=5738 vsize=8217292 memory=1392 CPUtime=0.02 cores=0-7 /proc/5761/task/5765/stat : 5765 (java) S 5738 5738 5572 0 -1 1077944384 1 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891918957328 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5766] ppid=5738 vsize=8217292 memory=193584 CPUtime=0.02 cores=0-7 /proc/5761/task/5766/stat : 5766 (java) S 5738 5738 5572 0 -1 1077944384 2 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891917904784 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5767] ppid=5738 vsize=8217292 memory=164471477644515 CPUtime=0.02 cores=0-7 /proc/5761/task/5767/stat : 5767 (java) S 5738 5738 5572 0 -1 1077944384 1 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891583908368 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5768] ppid=5738 vsize=8217292 memory=164471477644516 CPUtime=0.02 cores=0-7 /proc/5761/task/5768/stat : 5768 (java) S 5738 5738 5572 0 -1 1077944384 1 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891582855824 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5769] ppid=5738 vsize=8217292 memory=164471477644517 CPUtime=0.02 cores=0-7 /proc/5761/task/5769/stat : 5769 (java) S 5738 5738 5572 0 -1 1077944384 2 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891581802768 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5770] ppid=5738 vsize=8217292 memory=8112282956445269571 CPUtime=0.02 cores=0-7 /proc/5761/task/5770/stat : 5770 (java) S 5738 5738 5572 0 -1 1077944384 3 1596 0 0 0 0 2 0 20 0 22 0 236705760 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891580750224 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5771] ppid=5738 vsize=8217292 memory=0 CPUtime=0.02 cores=0-7 /proc/5761/task/5771/stat : 5771 (java) S 5738 5738 5572 0 -1 1077944384 5 1596 0 0 0 0 2 0 20 0 22 0 236705762 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891530672880 139892101622402 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5772] ppid=5738 vsize=8217292 memory=0 CPUtime=0.02 cores=0-7 /proc/5761/task/5772/stat : 5772 (java) S 5738 5738 5572 0 -1 1077944384 13 1596 0 0 0 0 2 0 20 0 22 0 236705762 8414507008 28854 33554432000 4194304 4196468 140732484722288 139890507376288 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5773] ppid=5738 vsize=8217292 memory=302304323327754266 CPUtime=0.02 cores=0-7 /proc/5761/task/5773/stat : 5773 (java) S 5738 5738 5572 0 -1 1077944384 21 1596 0 0 0 0 2 0 20 0 22 0 236705762 8414507008 28854 33554432000 4194304 4196468 140732484722288 139890373154032 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5774] ppid=5738 vsize=8217292 memory=0 CPUtime=0.02 cores=0-7 /proc/5761/task/5774/stat : 5774 (java) S 5738 5738 5572 0 -1 1077944384 1 1596 0 0 0 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139889998649808 139892101629851 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5775] ppid=5738 vsize=8217292 memory=7307182081424909676 CPUtime=0.07 cores=0-7 /proc/5761/task/5775/stat : 5775 (java) S 5738 5738 5572 0 -1 1077944384 451 1596 0 0 5 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891529619696 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5776] ppid=5738 vsize=8217292 memory=0 CPUtime=0.08 cores=0-7 /proc/5761/task/5776/stat : 5776 (java) S 5738 5738 5572 0 -1 1077944384 428 1596 0 0 6 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891528567152 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5777] ppid=5738 vsize=8217292 memory=1 CPUtime=0.05 cores=0-7 /proc/5761/task/5777/stat : 5777 (java) S 5738 5738 5572 0 -1 1077944384 125 1596 0 0 3 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891527514096 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5778] ppid=5738 vsize=8217292 memory=0 CPUtime=0.21 cores=0-7 /proc/5761/task/5778/stat : 5778 (java) S 5738 5738 5572 0 -1 1077944384 551 1596 0 0 19 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891526461552 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5779] ppid=5738 vsize=8217292 memory=0 CPUtime=0.02 cores=0-7 /proc/5761/task/5779/stat : 5779 (java) S 5738 5738 5572 0 -1 1077944384 3 1596 0 0 0 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139889500744672 139892101621461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 [pid=5761/tid=5780] ppid=5738 vsize=8217292 memory=6944656575208382560 CPUtime=0.02 cores=0-7 /proc/5761/task/5780/stat : 5780 (java) S 5738 5738 5572 0 -1 1077944384 1 1596 0 0 0 0 2 0 20 0 22 0 236705765 8414507008 28854 33554432000 4194304 4196468 140732484722288 139891525409968 139892101622402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20439040 140732484727986 140732484728109 140732484728109 140732484730831 0 Current children cumulated CPU time: 4.69 s Current children cumulated vsize: 8330420 KiB Current children cumulated memory: 116884 KiB Child status: 0 Real time (s): 2.55975 CPU time (s): 4.78548 CPU user time (s): 4.56635 CPU system time (s): 0.219129 CPU usage (%): 186.951 Max. virtual memory (cumulated for all children) (KiB): 27441656 Max. memory (cumulated for all children) (KiB): 247064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.56635 system time used= 0.219129 maximum resident set size= 247924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45071 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7158 involuntary context switches= 8 # summary of solver processes directly reported to runsolver: # pid: 5738 # total CPU time (s): 4.78548 # total CPU user time (s): 4.56635 # total CPU system time (s): 0.219129 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046128 second user time and 0.066815 second system time The end
Begin job on node103 at 2018-08-13 22:17:04 IDJOB=4307114 IDBENCH=141338 IDSOLVER=2788 FILE ID=node103/4307114-1534191424 RUNJOBID= node103-1534191388-5599 PBS_JOBID= 21037993 Free space on /tmp= 34764 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Langford/LangfordBin-12_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-4307114-1534191424/watcher-4307114-1534191424 -o /tmp/evaluation-result-4307114-1534191424/solver-4307114-1534191424 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1534191388-5599 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307114-1534191424.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d44a6c2f310df02cbd65e302b0bb5238 RANDOM SEED=308007266 node103.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.48 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.48 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.48 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.48 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: 24056272 kB MemAvailable: 31945000 kB Buffers: 153508 kB Cached: 7918660 kB SwapCached: 5312 kB Active: 4362224 kB Inactive: 3721608 kB Active(anon): 3564 kB Inactive(anon): 59392 kB Active(file): 4358660 kB Inactive(file): 3662216 kB Unevictable: 7800 kB Mlocked: 7800 kB SwapTotal: 67108860 kB SwapFree: 67058964 kB Dirty: 8648 kB Writeback: 0 kB AnonPages: 14056 kB Mapped: 51688 kB Shmem: 48696 kB Slab: 324644 kB SReclaimable: 296312 kB SUnreclaim: 28332 kB KernelStack: 3216 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349368 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 34756 MiB End job on node103 at 2018-08-13 22:17:07