Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-31) | SAT | 4.69984 | 2.55231 |
Name | GracefulGraph/ GracefulGraph-K04-P02_c18.xml |
MD5SUM | df122225b0586fd0ab127ca5658303c8 |
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 | 2.12551 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 44 |
Number of constraints | 18 |
Number of domains | 2 |
Minimum domain size | 16 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":16,"count":16},{"size":17,"count":8}] |
Minimum variable degree | 0 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":0,"count":20},{"degree":2,"count":16},{"degree":5,"count":8}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":8,"count":1},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 16 |
Distribution of constraint types | [{"type":"intension","count":16},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-21508-serial-file.bin HOME/instance-4307395-1534179320.xml 0.65/0.53 0.65/0.53 scop both+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 18:55:20 CEST 2018 0.65/0.56 c PID: 21511 0.65/0.56 c IP: 172.20.3.132 0.65/0.56 c HOST: node132.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.17/0.84 c (0,0) Parsing End 1.17/0.85 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 17 1.17/0.85 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 17 MiB used (max 0 MiB) 1.17/0.85 c (0,0) Constraint Name Generate Begin 1.17/0.85 c (0,0) Ctr:HOME/instance-4307395-1534179320.xml,AllDifferent:Dist:Eq:IntVar 1.17/0.85 c (0,0) Constraint Name Generate End 1.17/0.85 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.17/0.85 c (0,0) CSP to CSPinCNF Begin 1.35/0.95 c (0,0) translated 2 (10%) constraints 1.35/0.96 c (0,0) translated 4 (20%) constraints 1.35/0.97 c (0,0) translated 6 (30%) constraints 1.35/0.98 c (0,0) translated 8 (40%) constraints 1.35/0.98 c (0,0) translated 9 (50%) constraints 1.35/0.99 c (0,0) translated 11 (60%) constraints 1.35/1.00 c (0,0) translated 13 (70%) constraints 1.35/1.01 c (0,0) translated 15 (80%) constraints 1.55/1.01 c (0,0) translated 17 (90%) constraints 1.55/1.04 c (0,0) translated 18 (100%) constraints 1.79/1.15 c (0,0) STATISTICS1:HOME/instance-4307395-1534179320.xml,AllDifferent:Dist:Eq:IntVar,24,200,272,17,16,3,272:64;17:28;16:120,17:200;16:336,16:2;8:2;2:164;1:32,3:64;2:148;1:48, 1.79/1.15 c (0,0) ========================================== 1.79/1.15 c (0,0) Both Encoding selects: 1.79/1.15 c (0,0) Order 1.79/1.15 c (0,0) ========================================== 1.79/1.16 c (0,0) translated 20 (10%) constraints 1.79/1.17 c (0,0) translated 40 (20%) constraints 1.79/1.17 c (0,0) translated 60 (30%) constraints 1.79/1.18 c (0,0) translated 80 (40%) constraints 1.79/1.19 c (0,0) translated 100 (50%) constraints 1.79/1.19 c (0,0) translated 120 (60%) constraints 2.01/1.20 c (0,0) translated 140 (70%) constraints 2.01/1.20 c (0,0) translated 160 (80%) constraints 2.01/1.21 c (0,0) translated 180 (90%) constraints 2.01/1.22 c (0,0) translated 200 (100%) constraints 2.01/1.22 c (0,0) CSP to CSPinCNF End 2.01/1.22 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 17 2.01/1.22 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.01/1.22 c (0,0) CSPinCNF Propagation Begin 2.01/1.25 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.01/1.25 c (0,0) CSPinCNF Propagation End 2.01/1.25 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 17 2.01/1.25 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.01/1.25 c (0,0) Simplify CSPinCNF Begin 2.27/1.31 c (0,0) Simplify CSPinCNF End 2.27/1.31 c (0,0) CSP: 24 int (0 aux), 328 bool (328 aux), 528 ctr, max domain size 17 2.27/1.31 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.27/1.31 c (0,0) Calculate Precise Domain Begin 2.27/1.31 c (0,0) 0 values are removed by re-calculation 2.27/1.31 c (0,0) Calculate Precise Domain End 2.27/1.31 c (0,0) CSP: 24 int (0 aux), 328 bool (328 aux), 528 ctr, max domain size 17 2.27/1.31 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.27/1.31 c (0,0) CSPinCNF to SatSolver Begin 2.53/1.44 c (0,0) 53 (10 %) CSP clauses are encoded (696 SAT variables, 6034 SAT clauses) 2.53/1.47 c (0,0) 106 (20 %) CSP clauses are encoded (696 SAT variables, 9345 SAT clauses) 2.53/1.47 c (0,0) 159 (30 %) CSP clauses are encoded (696 SAT variables, 9974 SAT clauses) 2.53/1.48 c (0,0) 212 (40 %) CSP clauses are encoded (696 SAT variables, 10541 SAT clauses) 2.53/1.48 c (0,0) 264 (50 %) CSP clauses are encoded (696 SAT variables, 11103 SAT clauses) 2.53/1.49 c (0,0) 317 (60 %) CSP clauses are encoded (696 SAT variables, 11696 SAT clauses) 2.53/1.49 c (0,0) 370 (70 %) CSP clauses are encoded (696 SAT variables, 12274 SAT clauses) 2.53/1.49 c (0,0) 423 (80 %) CSP clauses are encoded (696 SAT variables, 12852 SAT clauses) 2.96/1.50 c (0,0) 476 (90 %) CSP clauses are encoded (696 SAT variables, 13445 SAT clauses) 2.96/1.50 c (0,0) 528 (100 %) CSP clauses are encoded (696 SAT variables, 14007 SAT clauses) 2.96/1.50 c (0,0) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 2.96/1.50 c (0,0) CSPinCNF to SatSolver End 2.96/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.96/1.52 c (0,0) STATISTICS2:HOME/instance-4307395-1534179320.xml,AllDifferent:Dist:Eq:IntVar,352,528,272,17,16,3,272:64;17:56;16:240,17:256;16:576;2:656,16:2;8:2;2:492;1:32,3:64;2:296;1:704, 2.96/1.52 c (0,0) 696 bool, 14008 clause 2.96/1.52 c (0,0) Export Begin 2.96/1.60 c (1,1) Export to HOME/scop-21508-serial-file.bin 2.96/1.60 c (1,1) Export End 3.34/1.60 c (1,1) Export File Size: 0.01 MB 3.34/1.60 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS) 3.34/1.60 c END-Prog: Mon Aug 13 18:55:21 CEST 2018 0.00/1.70 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21508-serial-file.bin 3.98/2.20 c (0,0) Read Serial File Begin 3.98/2.20 c (0,0) HOME/scop-21508-serial-file.bin 4.13/2.35 c (0,0) Read Serial File End 4.13/2.36 4.13/2.36 scop order+glucose-syrup (2018-07-31) 4.13/2.36 (Solving Process) 4.13/2.36 4.13/2.39 c BEGIN-Prog: Mon Aug 13 18:55:22 CEST 2018 4.13/2.39 c PID: 21531 4.13/2.39 c IP: 172.20.3.132 4.13/2.39 c HOST: node132.alineos.net 4.13/2.39 c (0,0) SatSolver.solve Begin 4.13/2.39 c (0,0) 0 bool, 0 clause 4.13/2.39 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307395-1534179320.xml-scop-21511.cnf 4.28/2.45 c (0,0) c 4.28/2.45 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.28/2.46 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.28/2.46 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.28/2.46 c (0,0) c | | 4.28/2.46 c (0,0) c | Number of variables: 696 | 4.28/2.46 c (0,0) c | Number of clauses: 14008 | 4.28/2.46 c (0,0) c | Parse time: 0.00 s | 4.28/2.46 c (0,0) c | | 4.28/2.46 c (0,0) c | Eliminated clauses: 0.00 Mb | 4.28/2.46 c (0,0) c | Simplification time: 0.01 s | 4.28/2.46 c (0,0) c | | 4.28/2.46 c (0,0) c | Generating clones | 4.28/2.46 c (0,0) c | all clones generated. Memory = 32.43Mb. | 4.28/2.46 c (0,0) c ========================================================================================================| 4.28/2.46 c (0,0) c last restart ## conflicts : 61 15 4.28/2.46 c (0,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 4.28/2.46 c (0,0) c Total Memory so far : 608.46Mb 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c real time : 0.035131 s 4.28/2.46 c (0,0) c cpu time : 0.08337 s 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.28/2.46 c (0,0) c 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) c | Conflicts | 2318 | 378 | 344 | 345 | 1 | 351 | 347 | 257 | 295 | 4.28/2.46 c (0,0) c | Decisions | 3538 | 476 | 536 | 536 | 26 | 544 | 537 | 404 | 479 | 4.28/2.46 c (0,0) c | Propagations | 241411 | 37300 | 36494 | 36575 | 555 | 37397 | 36871 | 25794 | 30425 | 4.28/2.46 c (0,0) c | Avg_Trail | | 450 | 413 | 413 | 360 | 413 | 413 | 415 | 409 | 4.28/2.46 c (0,0) c | Avg_DL | | 18 | 16 | 16 | 18 | 16 | 16 | 16 | 16 | 4.28/2.46 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) c | Exported | 42 | 2 | 7 | 7 | 0 | 8 | 7 | 5 | 6 | 4.28/2.46 c (0,0) c | Imported | 147 | 0 | 28 | 28 | 0 | 28 | 28 | 0 | 35 | 4.28/2.46 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Purge | 147 | 0 | 28 | 28 | 0 | 28 | 28 | 0 | 35 | 4.28/2.46 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.28/2.46 c (0,0) c | Glues | | 2 | 7 | 7 | 0 | 8 | 7 | 5 | 6 | 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) c | Orig_Seen | 15 % | 2514 | 2568 | 2579 | 11 | 2641 | 2592 | 2045 | 2227 | 4.28/2.46 c (0,0) c | Diff Orig seen| | - 127 | - 73 | - 62 | - 2630 | X | - 49 | - 596 | - 414 | 4.28/2.46 c (0,0) c | Hamming | 27 % | 208 | 193 | 100 | 213 | X | 181 | 208 | 224 | 4.28/2.46 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.28/2.46 c (0,0) 4.28/2.46 c (0,0) s SATISFIABLE 4.28/2.46 c (0,0) SatSolver.solve End 4.28/2.47 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 4.28/2.47 c (0,0) Show results Begin 4.60/2.52 s SATISFIABLE 4.60/2.53 v <instantiation> 4.60/2.53 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3]</list> 4.60/2.53 v <values>10 13 1 3 16 0 15 11 3 9 7 12 10 2 16 1 5 15 11 4 6 13 14 8</values> 4.60/2.53 v </instantiation> 4.60/2.53 c (0,0) Show results End 4.60/2.53 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 4.60/2.53 c (0,0) 0,0,STOP-AFTER(ALL) 4.60/2.53 c END-Prog: Mon Aug 13 18:55:22 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 (6926 MiB free) memory of node 1: 16384 MiB (10422 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307395-1534179320/watcher-4307395-1534179320 -o /tmp/evaluation-result-4307395-1534179320/solver-4307395-1534179320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534168708-18653 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307395-1534179320.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=21508, runsolver pid=21505 [startup+0.109261 s]* /proc/loadavg: 6.33 7.65 8.02 2/204 21530 /proc/meminfo: memFree=17669192/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235495127 115843072 349 33554432000 4194304 5098028 140725688007248 140725688004504 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 349 296 221 0 87 0 [pid=21511] ppid=21508 vsize=27313900 memory=107992 CPUtime=0.12 cores=0-7 /proc/21511/stat : 21511 (java) S 21508 21508 18626 0 -1 1077944320 6417 0 0 0 9 3 0 0 20 0 20 0 235495127 27969433600 26932 33554432000 4194304 4196468 140724905384512 140724905367056 140098770603767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 /proc/21511/statm: 6828475 26932 2764 1 0 6790935 0 [pid=21511/tid=21512] ppid=21508 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21511/task/21512/stat : 21512 (java) R 21508 21508 18626 0 -1 4202560 4576 0 0 0 7 2 0 0 20 0 20 0 235495128 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098742399816 140098750879581 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21513] ppid=21508 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21511/task/21513/stat : 21513 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098774845712 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21514] ppid=21508 vsize=27313900 memory=139876713625216 CPUtime=0 cores=0-7 /proc/21511/task/21514/stat : 21514 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098558241168 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21515] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21515/stat : 21515 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098557188624 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21516] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21516/stat : 21516 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098556136080 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21517] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21517/stat : 21517 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27064 33554432000 4194304 4196468 140724905384512 140098555083536 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21518] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21518/stat : 21518 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27130 33554432000 4194304 4196468 140724905384512 140098554030992 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21519] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21519/stat : 21519 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27130 33554432000 4194304 4196468 140724905384512 140098552978448 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21520] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21520/stat : 21520 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 27130 33554432000 4194304 4196468 140724905384512 140098551925904 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21521] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21521/stat : 21521 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 27130 33554432000 4194304 4196468 140724905384512 140097405450224 140098770614914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21522] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21522/stat : 21522 (java) S 21508 21508 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 27130 33554432000 4194304 4196468 140724905384512 140096397370272 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21523] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21523/stat : 21523 (java) S 21508 21508 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 27130 33554432000 4194304 4196468 140724905384512 140096263148528 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21524] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21524/stat : 21524 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27130 33554432000 4194304 4196468 140724905384512 140095888644304 140098770622363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21525] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21525/stat : 21525 (java) S 21508 21508 18626 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27130 33554432000 4194304 4196468 140724905384512 140097290758640 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21526] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21526/stat : 21526 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27130 33554432000 4194304 4196468 140724905384512 140097289706096 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21527] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21527/stat : 21527 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27130 33554432000 4194304 4196468 140724905384512 140097288653552 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21528] ppid=21508 vsize=27313900 memory=0 CPUtime=0.01 cores=0-7 /proc/21511/task/21528/stat : 21528 (java) S 21508 21508 18626 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 20 0 235495135 27969433600 27130 33554432000 4194304 4196468 140724905384512 140097287601008 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21529] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21529/stat : 21529 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27196 33554432000 4194304 4196468 140724905384512 140095390738656 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21530] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21530/stat : 21530 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 27196 33554432000 4194304 4196468 140724905384512 140097286547888 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109388 KiB [startup+0.210811 s]* /proc/loadavg: 6.33 7.65 8.02 2/204 21530 /proc/meminfo: memFree=17655488/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235495127 115843072 349 33554432000 4194304 5098028 140725688007248 140725688004504 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 349 296 221 0 87 0 [pid=21511] ppid=21508 vsize=27313900 memory=121036 CPUtime=0.25 cores=0-7 /proc/21511/stat : 21511 (java) S 21508 21508 18626 0 -1 1077944320 9956 0 0 0 21 4 0 0 20 0 20 0 235495127 27969433600 30259 33554432000 4194304 4196468 140724905384512 140724905367056 140098770603767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 /proc/21511/statm: 6828475 30259 2899 1 0 6790935 0 [pid=21511/tid=21512] ppid=21508 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21511/task/21512/stat : 21512 (java) R 21508 21508 18626 0 -1 4202560 7836 0 0 0 16 3 0 0 20 0 20 0 235495128 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098742419824 140098754684254 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21513] ppid=21508 vsize=27313900 memory=339 CPUtime=0 cores=0-7 /proc/21511/task/21513/stat : 21513 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098774845712 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21514] ppid=21508 vsize=27313900 memory=139876713644449 CPUtime=0 cores=0-7 /proc/21511/task/21514/stat : 21514 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098558241168 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21515] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21515/stat : 21515 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098557188624 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21516] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21516/stat : 21516 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098556136080 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21517] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21517/stat : 21517 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098555083536 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21518] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21518/stat : 21518 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098554030992 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21519] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21519/stat : 21519 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098552978448 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21520] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21520/stat : 21520 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 30259 33554432000 4194304 4196468 140724905384512 140098551925904 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21521] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21521/stat : 21521 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097405450224 140098770614914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21522] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21522/stat : 21522 (java) S 21508 21508 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 30259 33554432000 4194304 4196468 140724905384512 140096397370272 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21523] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21523/stat : 21523 (java) S 21508 21508 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 30259 33554432000 4194304 4196468 140724905384512 140096263148528 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21524] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21524/stat : 21524 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140095888644304 140098770622363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21525] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21525/stat : 21525 (java) S 21508 21508 18626 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097290758640 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21526] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21526/stat : 21526 (java) S 21508 21508 18626 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097289706096 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21527] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21527/stat : 21527 (java) S 21508 21508 18626 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097288653552 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21528] ppid=21508 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/21511/task/21528/stat : 21528 (java) S 21508 21508 18626 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097287601008 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21529] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21529/stat : 21529 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140095390738656 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21530] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21530/stat : 21530 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 30259 33554432000 4194304 4196468 140724905384512 140097286547888 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 122432 KiB [startup+0.31075 s]* /proc/loadavg: 6.33 7.65 8.02 2/204 21530 /proc/meminfo: memFree=17651084/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235495127 115843072 349 33554432000 4194304 5098028 140725688007248 140725688004504 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 349 296 221 0 87 0 [pid=21511] ppid=21508 vsize=27313900 memory=125244 CPUtime=0.41 cores=0-7 /proc/21511/stat : 21511 (java) S 21508 21508 18626 0 -1 1077944320 10613 0 0 0 37 4 0 0 20 0 20 0 235495127 27969433600 31311 33554432000 4194304 4196468 140724905384512 140724905367056 140098770603767 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 /proc/21511/statm: 6828475 31311 2986 1 0 6790935 0 [pid=21511/tid=21512] ppid=21508 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21511/task/21512/stat : 21512 (java) R 21508 21508 18626 0 -1 4202560 8286 0 0 0 25 4 0 0 20 0 20 0 235495128 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098742399216 140098752167363 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21513] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21513/stat : 21513 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098774845712 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21514] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21514/stat : 21514 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098558241168 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21515] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21515/stat : 21515 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098557188624 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21516] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21516/stat : 21516 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098556136080 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21517] ppid=21508 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/21511/task/21517/stat : 21517 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098555083536 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21518] ppid=21508 vsize=27313900 memory=139876615943087 CPUtime=0 cores=0-7 /proc/21511/task/21518/stat : 21518 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098554030992 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21519] ppid=21508 vsize=27313900 memory=139876615945392 CPUtime=0 cores=0-7 /proc/21511/task/21519/stat : 21519 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098552978448 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21520] ppid=21508 vsize=27313900 memory=139876615947696 CPUtime=0 cores=0-7 /proc/21511/task/21520/stat : 21520 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27969433600 31311 33554432000 4194304 4196468 140724905384512 140098551925904 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21521] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21521/stat : 21521 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097405450224 140098770614914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21522] ppid=21508 vsize=27313900 memory=279753231902352 CPUtime=0 cores=0-7 /proc/21511/task/21522/stat : 21522 (java) S 21508 21508 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 31311 33554432000 4194304 4196468 140724905384512 140096397370272 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21523] ppid=21508 vsize=27313900 memory=279753231909264 CPUtime=0 cores=0-7 /proc/21511/task/21523/stat : 21523 (java) S 21508 21508 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235495132 27969433600 31311 33554432000 4194304 4196468 140724905384512 140096263148528 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21524] ppid=21508 vsize=27313900 memory=279753231850544 CPUtime=0 cores=0-7 /proc/21511/task/21524/stat : 21524 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140095888644304 140098770622363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21525] ppid=21508 vsize=27313900 memory=279753231923088 CPUtime=0 cores=0-7 /proc/21511/task/21525/stat : 21525 (java) S 21508 21508 18626 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097290758640 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21526] ppid=21508 vsize=27313900 memory=279753231930000 CPUtime=0.02 cores=0-7 /proc/21511/task/21526/stat : 21526 (java) S 21508 21508 18626 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097289706096 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21527] ppid=21508 vsize=27313900 memory=279753231927696 CPUtime=0.01 cores=0-7 /proc/21511/task/21527/stat : 21527 (java) S 21508 21508 18626 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097288653552 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21528] ppid=21508 vsize=27313900 memory=279753231943856 CPUtime=0.07 cores=0-7 /proc/21511/task/21528/stat : 21528 (java) S 21508 21508 18626 0 -1 1077944384 353 0 0 0 7 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097287601008 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21529] ppid=21508 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21529/stat : 21529 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140095390738656 140098770613973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21530] ppid=21508 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/21511/task/21530/stat : 21530 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27969433600 31311 33554432000 4194304 4196468 140724905384512 140097286547888 140098770614914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 126640 KiB [startup+0.700973 s] /proc/loadavg: 6.33 7.65 8.02 2/204 21530 /proc/meminfo: memFree=17626936/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235495127 115843072 349 33554432000 4194304 5098028 140725688007248 140725688004504 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 349 296 221 0 87 0 [pid=21511] ppid=21508 vsize=27322296 memory=163048 CPUtime=0.98 cores=0-7 /proc/21511/stat : 21511 (java) S 21508 21508 18626 0 -1 1077944320 17838 0 0 0 92 6 0 0 20 0 20 0 235495127 27978031104 40762 33554432000 4194304 4196468 140724905384512 140724905367056 140098770603767 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 /proc/21511/statm: 6830574 40762 3132 1 0 6791959 0 [pid=21511/tid=21512] ppid=21508 vsize=27322296 memory=279753232301744 CPUtime=0.67 cores=0-7 /proc/21511/task/21512/stat : 21512 (java) R 21508 21508 18626 0 -1 4202560 15049 0 0 0 62 5 0 0 20 0 20 0 235495128 27978031104 40762 33554432000 4194304 4196468 140724905384512 140098742432704 140098227760863 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21513] ppid=21508 vsize=27322296 memory=139876616151920 CPUtime=0 cores=0-7 /proc/21511/task/21513/stat : 21513 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495130 27978031104 40762 33554432000 4194304 4196468 140724905384512 140098774845712 140098770613973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21514] ppid=21508 vsize=27322296 memory=0 CPUtime=0 cores=0-7 /proc/21511/task/21514/stat : 21514 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495130 27978031104 40762 33554432000 4194304 4196468 140724905384512 140098558241168 140098770613973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21515] ppid=21508 vsize=27322296 memory=10784 CPUtime=0 cores=0-7 /proc/21511/task/21515/stat : 21515 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495130 27978031104 40762 33554432000 4194304 4196468 140724905384512 140098557188624 140098770613973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 ################ # More data... # ################ /proc/21511/task/21529/stat : 21529 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495135 27984412672 61204 33554432000 4194304 4196468 140724905384512 140095390738656 140098770613973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 [pid=21511/tid=21530] ppid=21508 vsize=27328528 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/21511/task/21530/stat : 21530 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495135 27984412672 61204 33554432000 4194304 4196468 140724905384512 140097286547888 140098770614914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34975744 140724905386985 140724905387309 140724905387309 140724905390031 0 Current children cumulated CPU time: 3.34 s Current children cumulated vsize: 27441656 KiB Current children cumulated memory: 246212 KiB [startup+2.00028 s]* /proc/loadavg: 6.33 7.65 8.02 2/204 21550 /proc/meminfo: memFree=17711196/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1472 CPUtime=3.36 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 590 23770 0 0 0 0 324 12 20 0 1 0 235495127 115843072 368 33554432000 4194304 5098028 140725688007248 140725688003992 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 368 311 221 0 87 0 [pid=21531] ppid=21508 vsize=7749964 memory=65584 CPUtime=0.4 cores=0-7 /proc/21531/stat : 21531 (java) S 21508 21508 18626 0 -1 1077944320 10989 0 0 0 37 3 0 0 20 0 20 0 235495298 7935963136 16396 33554432000 4194304 4196468 140730339548736 140730339531280 140300860178167 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 /proc/21531/statm: 1937491 16396 2905 1 0 1899951 0 [pid=21531/tid=21532] ppid=21508 vsize=7749964 memory=6791534058613427641 CPUtime=0.27 cores=0-7 /proc/21531/task/21532/stat : 21532 (java) R 21508 21508 18626 0 -1 4202560 8723 0 0 0 25 2 0 0 20 0 20 0 235495298 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300831969920 140300844258654 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21533] ppid=21508 vsize=7749964 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21531/task/21533/stat : 21533 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300864420624 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21534] ppid=21508 vsize=7749964 memory=-7522837415797432224 CPUtime=0 cores=0-7 /proc/21531/task/21534/stat : 21534 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300678577040 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21535] ppid=21508 vsize=7749964 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/21531/task/21535/stat : 21535 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300343999504 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21536] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21536/stat : 21536 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300342946960 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21537] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21537/stat : 21537 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300341893392 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21538] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21538/stat : 21538 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300340840848 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21539] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21539/stat : 21539 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300339788304 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21540] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21540/stat : 21540 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300338735760 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21541] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21541/stat : 21541 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495301 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300155058672 140300860189314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21542] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21542/stat : 21542 (java) S 21508 21508 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235495301 7935963136 16396 33554432000 4194304 4196468 140730339548736 140299133248928 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21543] ppid=21508 vsize=7749964 memory=2241 CPUtime=0 cores=0-7 /proc/21531/task/21543/stat : 21543 (java) S 21508 21508 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235495302 7935963136 16396 33554432000 4194304 4196468 140730339548736 140298999027184 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21544] ppid=21508 vsize=7749964 memory=2244 CPUtime=0 cores=0-7 /proc/21531/task/21544/stat : 21544 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140298624522960 140300860196763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21545] ppid=21508 vsize=7749964 memory=0 CPUtime=0.01 cores=0-7 /proc/21531/task/21545/stat : 21545 (java) S 21508 21508 18626 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300154005488 140300860189314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21546] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21546/stat : 21546 (java) S 21508 21508 18626 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300152952944 140300860189314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21547] ppid=21508 vsize=7749964 memory=0 CPUtime=0.02 cores=0-7 /proc/21531/task/21547/stat : 21547 (java) S 21508 21508 18626 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300151900400 140300860189314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21548] ppid=21508 vsize=7749964 memory=0 CPUtime=0.07 cores=0-7 /proc/21531/task/21548/stat : 21548 (java) S 21508 21508 18626 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300150847856 140300860189314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21549] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21549/stat : 21549 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495304 7935963136 16396 33554432000 4194304 4196468 140730339548736 140298126617312 140300860188373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21550] ppid=21508 vsize=7749964 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21550/stat : 21550 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495305 7935963136 16396 33554432000 4194304 4196468 140730339548736 140300149795760 140300860189314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 Current children cumulated CPU time: 3.76 s Current children cumulated vsize: 7863092 KiB Current children cumulated memory: 67056 KiB [startup+2.40093 s] /proc/loadavg: 6.33 7.65 8.02 2/204 21550 /proc/meminfo: memFree=17711196/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1472 CPUtime=3.36 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 590 23770 0 0 0 0 324 12 20 0 1 0 235495127 115843072 368 33554432000 4194304 5098028 140725688007248 140725688003992 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 368 311 221 0 87 0 [pid=21531] ppid=21508 vsize=7756256 memory=101252 CPUtime=0.92 cores=0-7 /proc/21531/stat : 21531 (java) S 21508 21508 18626 0 -1 1077944320 17632 0 0 0 87 5 0 0 20 0 20 0 235495298 7942406144 25313 33554432000 4194304 4196468 140730339548736 140730339531280 140300860178167 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 /proc/21531/statm: 1939064 25313 3062 1 0 1900463 0 [pid=21531/tid=21532] ppid=21508 vsize=7756256 memory=4 CPUtime=0.66 cores=0-7 /proc/21531/task/21532/stat : 21532 (java) R 21508 21508 18626 0 -1 4202560 15153 0 0 0 61 5 0 0 20 0 20 0 235495298 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300832015376 140300844258654 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21533] ppid=21508 vsize=7756256 memory=31 CPUtime=0 cores=0-7 /proc/21531/task/21533/stat : 21533 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300864420624 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21534] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21534/stat : 21534 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300678577040 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21535] ppid=21508 vsize=7756256 memory=24404 CPUtime=0 cores=0-7 /proc/21531/task/21535/stat : 21535 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300343999504 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21536] ppid=21508 vsize=7756256 memory=3323 CPUtime=0 cores=0-7 /proc/21531/task/21536/stat : 21536 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300342946960 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21537] ppid=21508 vsize=7756256 memory=24739 CPUtime=0 cores=0-7 /proc/21531/task/21537/stat : 21537 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300341893392 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21538] ppid=21508 vsize=7756256 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21531/task/21538/stat : 21538 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300340840848 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21539] ppid=21508 vsize=7756256 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/21531/task/21539/stat : 21539 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300339788304 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21540] ppid=21508 vsize=7756256 memory=14133333755955770 CPUtime=0 cores=0-7 /proc/21531/task/21540/stat : 21540 (java) S 21508 21508 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235495299 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300338735760 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21541] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21541/stat : 21541 (java) S 21508 21508 18626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 235495301 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300155058672 140300860189314 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21542] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21542/stat : 21542 (java) S 21508 21508 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235495301 7942406144 25313 33554432000 4194304 4196468 140730339548736 140299133248928 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21543] ppid=21508 vsize=7756256 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/21531/task/21543/stat : 21543 (java) S 21508 21508 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235495302 7942406144 25313 33554432000 4194304 4196468 140730339548736 140298999027184 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21544] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21544/stat : 21544 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140298624522960 140300860196763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21545] ppid=21508 vsize=7756256 memory=0 CPUtime=0.03 cores=0-7 /proc/21531/task/21545/stat : 21545 (java) S 21508 21508 18626 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300154005488 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21546] ppid=21508 vsize=7756256 memory=0 CPUtime=0.01 cores=0-7 /proc/21531/task/21546/stat : 21546 (java) R 21508 21508 18626 0 -1 4202560 151 0 0 0 1 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300152952944 140300860199514 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21547] ppid=21508 vsize=7756256 memory=0 CPUtime=0.04 cores=0-7 /proc/21531/task/21547/stat : 21547 (java) R 21508 21508 18626 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300151900496 140300860199514 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21548] ppid=21508 vsize=7756256 memory=0 CPUtime=0.15 cores=0-7 /proc/21531/task/21548/stat : 21548 (java) R 21508 21508 18626 0 -1 4202560 441 0 0 0 15 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300150847856 140300860199514 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21549] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21549/stat : 21549 (java) S 21508 21508 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235495304 7942406144 25313 33554432000 4194304 4196468 140730339548736 140298126617312 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21550] ppid=21508 vsize=7756256 memory=0 CPUtime=0 cores=0-7 /proc/21531/task/21550/stat : 21550 (java) S 21508 21508 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235495305 7942406144 25313 33554432000 4194304 4196468 140730339548736 140300149795760 140300860189314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 Current children cumulated CPU time: 4.28 s Current children cumulated vsize: 7869384 KiB Current children cumulated memory: 102724 KiB [startup+2.50086 s] /proc/loadavg: 6.33 7.65 8.02 2/204 21550 /proc/meminfo: memFree=17711196/32770624 swapFree=67108860/67108860 [pid=21508] ppid=21505 vsize=113128 memory=1472 CPUtime=3.36 cores=0-7 /proc/21508/stat : 21508 (scop.sh) S 21505 21508 18626 0 -1 4202496 590 23770 0 0 0 0 324 12 20 0 1 0 235495127 115843072 368 33554432000 4194304 5098028 140725688007248 140725688003992 140234730373756 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22814720 140725688013859 140725688014083 140725688014083 140725688016845 0 /proc/21508/statm: 28282 368 311 221 0 87 0 [pid=21531] ppid=21508 vsize=8282828 memory=120048 CPUtime=1.24 cores=0-7 /proc/21531/stat : 21531 (java) S 21508 21508 18626 0 -1 1077944320 18751 2793 0 0 108 7 8 1 20 0 22 0 235495298 8481615872 30012 33554432000 4194304 4196468 140730339548736 140730339531280 140300860178167 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 /proc/21531/statm: 2070707 30012 3156 1 0 2032106 0 [pid=21531/tid=21532] ppid=21508 vsize=8282828 memory=0 CPUtime=0.84 cores=0-7 /proc/21531/task/21532/stat : 21532 (java) R 21508 21508 18626 0 -1 4202560 15702 2793 0 0 70 5 8 1 20 0 22 0 235495298 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300832013248 140300860190102 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21533] ppid=21508 vsize=8282828 memory=1396 CPUtime=0.09 cores=0-7 /proc/21531/task/21533/stat : 21533 (java) S 21508 21508 18626 0 -1 1077944384 1 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300864420624 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21534] ppid=21508 vsize=8282828 memory=189512 CPUtime=0.09 cores=0-7 /proc/21531/task/21534/stat : 21534 (java) S 21508 21508 18626 0 -1 1077944384 2 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300678577040 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21535] ppid=21508 vsize=8282828 memory=301741373374332954 CPUtime=0.09 cores=0-7 /proc/21531/task/21535/stat : 21535 (java) S 21508 21508 18626 0 -1 1077944384 3 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300343999504 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21536] ppid=21508 vsize=8282828 memory=0 CPUtime=0.09 cores=0-7 /proc/21531/task/21536/stat : 21536 (java) S 21508 21508 18626 0 -1 1077944384 2 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300342946960 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21537] ppid=21508 vsize=8282828 memory=8027777817776646503 CPUtime=0.09 cores=0-7 /proc/21531/task/21537/stat : 21537 (java) S 21508 21508 18626 0 -1 1077944384 2 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300341893392 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21538] ppid=21508 vsize=8282828 memory=1 CPUtime=0.09 cores=0-7 /proc/21531/task/21538/stat : 21538 (java) S 21508 21508 18626 0 -1 1077944384 2 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300340840848 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21539] ppid=21508 vsize=8282828 memory=6522 CPUtime=0.09 cores=0-7 /proc/21531/task/21539/stat : 21539 (java) S 21508 21508 18626 0 -1 1077944384 1 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300339788304 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21540] ppid=21508 vsize=8282828 memory=69176 CPUtime=0.09 cores=0-7 /proc/21531/task/21540/stat : 21540 (java) S 21508 21508 18626 0 -1 1077944384 2 2793 0 0 0 0 8 1 20 0 22 0 235495299 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300338735760 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21541] ppid=21508 vsize=8282828 memory=288230596050944315 CPUtime=0.09 cores=0-7 /proc/21531/task/21541/stat : 21541 (java) S 21508 21508 18626 0 -1 1077944384 5 2793 0 0 0 0 8 1 20 0 22 0 235495301 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300155058672 140300860189314 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21542] ppid=21508 vsize=8282828 memory=14133333755955770 CPUtime=0.09 cores=0-7 /proc/21531/task/21542/stat : 21542 (java) S 21508 21508 18626 0 -1 1077944384 13 2793 0 0 0 0 8 1 20 0 22 0 235495301 8481615872 30012 33554432000 4194304 4196468 140730339548736 140299133248928 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21543] ppid=21508 vsize=8282828 memory=0 CPUtime=0.09 cores=0-7 /proc/21531/task/21543/stat : 21543 (java) S 21508 21508 18626 0 -1 1077944384 21 2793 0 0 0 0 8 1 20 0 22 0 235495302 8481615872 30012 33554432000 4194304 4196468 140730339548736 140298999027184 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21544] ppid=21508 vsize=8282828 memory=0 CPUtime=0.09 cores=0-7 /proc/21531/task/21544/stat : 21544 (java) S 21508 21508 18626 0 -1 1077944384 1 2793 0 0 0 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140298624522960 140300860196763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21545] ppid=21508 vsize=8282828 memory=1 CPUtime=0.14 cores=0-7 /proc/21531/task/21545/stat : 21545 (java) S 21508 21508 18626 0 -1 1077944384 510 2793 0 0 5 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300154005488 140300860189314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21546] ppid=21508 vsize=8282828 memory=0 CPUtime=0.13 cores=0-7 /proc/21531/task/21546/stat : 21546 (java) S 21508 21508 18626 0 -1 1077944384 364 2793 0 0 4 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300152952944 140300860189314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21547] ppid=21508 vsize=8282828 memory=0 CPUtime=0.15 cores=0-7 /proc/21531/task/21547/stat : 21547 (java) R 21508 21508 18626 0 -1 1077944384 166 2793 0 0 6 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300151900400 140300860189314 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21548] ppid=21508 vsize=8282828 memory=0 CPUtime=0.28 cores=0-7 /proc/21531/task/21548/stat : 21548 (java) R 21508 21508 18626 0 -1 4202560 541 2793 0 0 19 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300150847856 140300839892972 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21549] ppid=21508 vsize=8282828 memory=0 CPUtime=0.09 cores=0-7 /proc/21531/task/21549/stat : 21549 (java) S 21508 21508 18626 0 -1 1077944384 3 2793 0 0 0 0 8 1 20 0 22 0 235495304 8481615872 30012 33554432000 4194304 4196468 140730339548736 140298126617312 140300860188373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 [pid=21531/tid=21550] ppid=21508 vsize=8282828 memory=0 CPUtime=0.09 cores=0-7 /proc/21531/task/21550/stat : 21550 (java) S 21508 21508 18626 0 -1 1077944384 1 2793 0 0 0 0 8 1 20 0 22 0 235495305 8481615872 30012 33554432000 4194304 4196468 140730339548736 140300149795760 140300860189314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13664256 140730339550385 140730339550509 140730339550509 140730339553231 0 Current children cumulated CPU time: 4.6 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 121520 KiB Child status: 0 Real time (s): 2.55231 CPU time (s): 4.69984 CPU user time (s): 4.48109 CPU system time (s): 0.218747 CPU usage (%): 184.141 Max. virtual memory (cumulated for all children) (KiB): 27441656 Max. memory (cumulated for all children) (KiB): 246212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.48109 system time used= 0.218747 maximum resident set size= 247644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46094 page faults= 0 swaps= 0 block input operations= 0 block output operations= 632 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6865 involuntary context switches= 19 # summary of solver processes directly reported to runsolver: # pid: 21508 # total CPU time (s): 4.69984 # total CPU user time (s): 4.48109 # total CPU system time (s): 0.218747 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047949 second user time and 0.067754 second system time The end
Begin job on node132 at 2018-08-13 18:55:20 IDJOB=4307395 IDBENCH=141165 IDSOLVER=2789 FILE ID=node132/4307395-1534179320 RUNJOBID= node132-1534168708-18653 PBS_JOBID= 21037974 Free space on /tmp= 38332 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K04-P02_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307395-1534179320/watcher-4307395-1534179320 -o /tmp/evaluation-result-4307395-1534179320/solver-4307395-1534179320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534168708-18653 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307395-1534179320.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= df122225b0586fd0ab127ca5658303c8 RANDOM SEED=1652291985 node132.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.65 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.65 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.65 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.65 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: 17765656 kB MemAvailable: 31899628 kB Buffers: 260880 kB Cached: 13985156 kB SwapCached: 0 kB Active: 7026592 kB Inactive: 7274784 kB Active(anon): 5012 kB Inactive(anon): 102816 kB Active(file): 7021580 kB Inactive(file): 7171968 kB Unevictable: 6984 kB Mlocked: 6984 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8460 kB Writeback: 4 kB AnonPages: 61160 kB Mapped: 55308 kB Shmem: 49824 kB Slab: 397240 kB SReclaimable: 368884 kB SUnreclaim: 28356 kB KernelStack: 3312 kB PageTables: 5028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 38324 MiB End job on node132 at 2018-08-13 18:55:22