| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop both+glucose-syrup (2018-07-31) | UNSAT | 4.93037 | 2.58862 |
| Name | StripPacking/ StripPacking-1a_c18.xml |
| MD5SUM | 33ae3e79eb3d2d497b25d2e53ccdbc20 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2.74483 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of constraints | 37 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":34},{"size":15,"count":24}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":1,"count":12},{"degree":2,"count":24},{"degree":3,"count":24}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 48 |
| Distribution of constraint arities | [{"arity":2,"count":24},{"arity":3,"count":12},{"arity":48,"count":1}] |
| Number of extensional constraints | 12 |
| Number of intensional constraints | 24 |
| Distribution of constraint types | [{"type":"extension","count":12},{"type":"intension","count":24},{"type":"noOverlap","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-21812-serial-file.bin HOME/instance-4307432-1534179017.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:50:18 CEST 2018 0.65/0.56 c PID: 21815 0.65/0.56 c IP: 172.20.3.134 0.65/0.56 c HOST: node134.alineos.net 0.65/0.56 c (0,0) Parsing Begin 1.37/0.94 c (0,0) Parsing End 1.37/0.95 c (0,0) CSP: 48 int (0 aux), 12 bool (0 aux), 37 ctr, max domain size 15 1.37/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.37/0.95 c (0,0) Constraint Name Generate Begin 1.37/0.95 c (0,0) Ctr:HOME/instance-4307432-1534179017.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num 1.37/0.95 c (0,0) Constraint Name Generate End 1.37/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.37/0.95 c (0,0) CSP to CSPinCNF Begin 1.55/1.03 c (0,0) translated 4 (10%) constraints 1.55/1.03 c (0,0) translated 8 (20%) constraints 1.55/1.04 c (0,0) translated 12 (30%) constraints 1.55/1.04 c (0,0) translated 15 (40%) constraints 1.55/1.05 c (0,0) translated 19 (50%) constraints 1.55/1.05 c (0,0) translated 23 (60%) constraints 1.73/1.13 c (0,0) translated 26 (70%) constraints 1.73/1.18 c (0,0) translated 30 (80%) constraints 1.93/1.22 c (0,0) translated 34 (90%) constraints 1.93/1.25 c (0,0) translated 37 (100%) constraints 2.25/1.37 c (0,0) STATISTICS1:HOME/instance-4307432-1534179017.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,104,256,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22;1:2,14:184;13:184;11:92;10:46;9:46;2:638;1:24,4:66;3:55;2:110;1:25,3:264;2:24;1:374;0:12, 2.25/1.37 c (0,0) ========================================== 2.25/1.37 c (0,0) Both Encoding selects: 2.25/1.37 c (0,0) Order 2.25/1.37 c (0,0) ========================================== 2.25/1.38 c (0,0) translated 26 (10%) constraints 2.25/1.38 c (0,0) translated 52 (20%) constraints 2.25/1.38 c (0,0) translated 77 (30%) constraints 2.25/1.39 c (0,0) translated 103 (40%) constraints 2.25/1.39 c (0,0) translated 128 (50%) constraints 2.25/1.39 c (0,0) translated 154 (60%) constraints 2.25/1.40 c (0,0) translated 180 (70%) constraints 2.55/1.40 c (0,0) translated 205 (80%) constraints 2.55/1.40 c (0,0) translated 231 (90%) constraints 2.55/1.41 c (0,0) translated 256 (100%) constraints 2.55/1.41 c (0,0) CSP to CSPinCNF End 2.55/1.41 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 256 ctr, max domain size 14 2.55/1.41 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.55/1.41 c (0,0) CSPinCNF Propagation Begin 2.55/1.47 c (0,0) 0 values, 11 unsatisfiable literals, and 3 valid clauses are removed 2.55/1.47 c (0,0) CSPinCNF Propagation End 2.55/1.47 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 253 ctr, max domain size 14 2.55/1.47 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.55/1.47 c (0,0) Simplify CSPinCNF Begin 2.85/1.51 c (0,0) Simplify CSPinCNF End 2.85/1.51 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14 2.85/1.51 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.85/1.51 c (0,0) Calculate Precise Domain Begin 2.85/1.52 c (0,0) 0 values are removed by re-calculation 2.85/1.52 c (0,0) Calculate Precise Domain End 2.85/1.52 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14 2.85/1.52 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.85/1.52 c (0,0) CSPinCNF to SatSolver Begin 2.85/1.55 c (1,0) 52 (10 %) CSP clauses are encoded (616 SAT variables, 301 SAT clauses) 2.85/1.55 c (1,1) 104 (20 %) CSP clauses are encoded (616 SAT variables, 353 SAT clauses) 2.85/1.55 c (1,1) 156 (30 %) CSP clauses are encoded (616 SAT variables, 405 SAT clauses) 2.85/1.57 c (1,1) 207 (40 %) CSP clauses are encoded (616 SAT variables, 653 SAT clauses) 2.85/1.59 c (1,1) 259 (50 %) CSP clauses are encoded (616 SAT variables, 1254 SAT clauses) 2.85/1.60 c (1,1) 311 (60 %) CSP clauses are encoded (616 SAT variables, 1699 SAT clauses) 3.14/1.61 c (1,1) 362 (70 %) CSP clauses are encoded (616 SAT variables, 2324 SAT clauses) 3.14/1.62 c (1,1) 414 (80 %) CSP clauses are encoded (616 SAT variables, 3125 SAT clauses) 3.14/1.63 c (1,1) 466 (90 %) CSP clauses are encoded (616 SAT variables, 3720 SAT clauses) 3.14/1.64 c (1,1) 517 (100 %) CSP clauses are encoded (616 SAT variables, 4551 SAT clauses) 3.14/1.64 c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 3.14/1.64 c (1,1) CSPinCNF to SatSolver End 3.14/1.64 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.14/1.66 c (1,1) STATISTICS2:HOME/instance-4307432-1534179017.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,368,517,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22,14:184;13:184;11:90;10:46;9:46;2:1166;1:22,4:66;3:44;2:385;1:22,3:264;2:22;1:902, 3.14/1.66 c (1,1) 616 bool, 4575 clause 3.14/1.66 c (1,1) Export Begin 3.52/1.76 c (1,1) Export to HOME/scop-21812-serial-file.bin 3.52/1.76 c (1,1) Export End 3.52/1.76 c (1,1) Export File Size: 0.01 MB 3.52/1.76 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 3.52/1.76 c END-Prog: Mon Aug 13 18:50:19 CEST 2018 3.52/1.79 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21812-serial-file.bin 4.26/2.28 c (0,0) Read Serial File Begin 4.26/2.28 c (0,0) HOME/scop-21812-serial-file.bin 4.52/2.46 c (0,0) Read Serial File End 4.52/2.47 4.52/2.47 scop order+glucose-syrup (2018-07-31) 4.52/2.47 (Solving Process) 4.52/2.47 4.70/2.50 c BEGIN-Prog: Mon Aug 13 18:50:20 CEST 2018 4.70/2.50 c PID: 21835 4.70/2.50 c IP: 172.20.3.134 4.70/2.50 c HOST: node134.alineos.net 4.70/2.51 c (0,0) SatSolver.solve Begin 4.70/2.51 c (0,0) 0 bool, 0 clause 4.70/2.51 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307432-1534179017.xml-scop-21815.cnf 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.70/2.54 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.70/2.54 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.70/2.54 c (0,0) c | | 4.70/2.54 c (0,0) c | Number of variables: 616 | 4.70/2.54 c (0,0) c | Number of clauses: 4575 | 4.70/2.54 c (0,0) c | Parse time: 0.00 s | 4.70/2.54 c (0,0) c | | 4.70/2.54 c (0,0) c | Eliminated clauses: 0.00 Mb | 4.70/2.54 c (0,0) c | Simplification time: 0.00 s | 4.70/2.54 c (0,0) c | | 4.70/2.54 c (0,0) c | Generating clones | 4.70/2.54 c (0,0) c | all clones generated. Memory = 28.72Mb. | 4.70/2.54 c (0,0) c ========================================================================================================| 4.70/2.54 c (0,0) c Thread 3 is 100% pure glucose! First thread to finish! (UNSAT answer). 4.70/2.54 c (0,0) c Total Memory so far : 604.75Mb 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c real time : 0.0115621 s 4.70/2.54 c (0,0) c cpu time : 0.010507 s 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.70/2.54 c (0,0) c 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) c | Conflicts | 52 | 3 | 10 | 3 | 18 | 3 | 9 | 3 | 3 | 4.70/2.54 c (0,0) c | Decisions | 247 | 39 | 38 | 24 | 41 | 24 | 33 | 24 | 24 | 4.70/2.54 c (0,0) c | Propagations | 2358 | 360 | 324 | 230 | 368 | 230 | 386 | 230 | 230 | 4.70/2.54 c (0,0) c | Avg_Trail | | 223 | 106 | 135 | 79 | 135 | 114 | 135 | 135 | 4.70/2.54 c (0,0) c | Avg_DL | | 33 | 8 | 17 | 6 | 17 | 9 | 17 | 17 | 4.70/2.54 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.70/2.54 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) c | Exported | 11 | 1 | 3 | 0 | 5 | 0 | 2 | 0 | 0 | 4.70/2.54 c (0,0) c | Imported | 10 | 0 | 1 | 0 | 6 | 0 | 3 | 0 | 0 | 4.70/2.54 c (0,0) c | Good | 4 | 0 | 0 | 0 | 3 | 0 | 1 | 0 | 0 | 4.70/2.54 c (0,0) c | Purge | 6 | 0 | 1 | 0 | 3 | 0 | 2 | 0 | 0 | 4.70/2.54 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.70/2.54 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.70/2.54 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) c | Unaries | | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 0 | 4.70/2.54 c (0,0) c | Binaries | | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 4.70/2.54 c (0,0) c | Glues | | 1 | 3 | 0 | 5 | 0 | 2 | 0 | 0 | 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) c | Orig_Seen | 1 % | 35 | 90 | 19 | 107 | 19 | 88 | 19 | 19 | 4.70/2.54 c (0,0) c | Diff Orig seen| | - 72 | - 17 | - 88 | X | - 88 | - 19 | - 88 | - 88 | 4.70/2.54 c (0,0) c | Hamming | 6 % | 79 | 20 | 37 | X | 37 | 12 | 37 | 37 | 4.70/2.54 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.70/2.54 c (0,0) 4.70/2.54 c (0,0) s UNSATISFIABLE 4.70/2.57 c (0,0) SatSolver.solve End 4.70/2.57 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.70/2.57 c (0,0) Show results Begin 4.70/2.57 s UNSATISFIABLE 4.70/2.57 c (0,0) Show results End 4.70/2.57 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 4.70/2.58 c (0,0) 0,0,STOP-AFTER(ALL) 4.70/2.58 c END-Prog: Mon Aug 13 18:50:20 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10614 MiB free)
memory of node 1: 16384 MiB (6756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307432-1534179017/watcher-4307432-1534179017 -o /tmp/evaluation-result-4307432-1534179017/solver-4307432-1534179017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534173482-20308 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307432-1534179017.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
solver pid=21812, runsolver pid=21809
Current StackSize limit: 8192 KiB
[startup+0.104484 s]*
/proc/loadavg: 7.40 7.79 8.15 3/205 21834
/proc/meminfo: memFree=17691768/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235464936 115843072 349 33554432000 4194304 5098028 140736610541680 140736610538936 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 349 296 221 0 87 0
[pid=21815] ppid=21812 vsize=27313900 memory=109368 CPUtime=0.1 cores=0-7
/proc/21815/stat : 21815 (java) S 21812 21812 20281 0 -1 1077944320 6802 0 0 0 8 2 0 0 20 0 20 0 235464936 27969433600 27342 33554432000 4194304 4196468 140724742797840 140724742780384 140378532212471 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
/proc/21815/statm: 6828475 27342 2739 1 0 6790935 0
[pid=21815/tid=21816] ppid=21812 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21812 20281 0 -1 4202560 5033 0 0 0 7 2 0 0 20 0 20 0 235464936 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378503999848 140378532224406 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21817] ppid=21812 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21815/task/21817/stat : 21817 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378536454416 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21818] ppid=21812 vsize=27313900 memory=139932485932672 CPUtime=0 cores=0-7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378350610832 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21819] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378349558288 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21820] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21820/stat : 21820 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378348505744 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21821] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378347453200 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21822] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378346400656 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21823] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378345348112 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21824] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21824/stat : 21824 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 27474 33554432000 4194304 4196468 140724742797840 140378344295568 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21825] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464940 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377523419120 140378532223618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21826] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 27474 33554432000 4194304 4196468 140724742797840 140376509768608 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21827] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 27474 33554432000 4194304 4196468 140724742797840 140376241333232 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21828] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140375866824912 140378532231067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21829] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21812 20281 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377522366960 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21830] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377521314416 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21831] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377520261872 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21832] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21832/stat : 21832 (java) R 21812 21812 20281 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377519209328 140378510577121 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21833] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140375368919264 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21834] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 27474 33554432000 4194304 4196468 140724742797840 140377518156208 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110764 KiB
[startup+0.210757 s]*
/proc/loadavg: 7.40 7.79 8.15 2/205 21834
/proc/meminfo: memFree=17676156/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235464936 115843072 349 33554432000 4194304 5098028 140736610541680 140736610538936 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 349 296 221 0 87 0
[pid=21815] ppid=21812 vsize=27313900 memory=123472 CPUtime=0.24 cores=0-7
/proc/21815/stat : 21815 (java) S 21812 21812 20281 0 -1 1077944320 10509 0 0 0 21 3 0 0 20 0 20 0 235464936 27969433600 30868 33554432000 4194304 4196468 140724742797840 140724742780384 140378532212471 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
/proc/21815/statm: 6828475 30868 2917 1 0 6790935 0
[pid=21815/tid=21816] ppid=21812 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21812 20281 0 -1 4202560 8409 0 0 0 17 2 0 0 20 0 20 0 235464936 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378504021216 140378511803510 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21817] ppid=21812 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/21815/task/21817/stat : 21817 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378536454416 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21818] ppid=21812 vsize=27313900 memory=139932485953515 CPUtime=0 cores=0-7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378350610832 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21819] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378349558288 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21820] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21820/stat : 21820 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378348505744 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21821] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378347453200 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21822] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378346400656 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21823] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378345348112 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21824] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21824/stat : 21824 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 30868 33554432000 4194304 4196468 140724742797840 140378344295568 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21825] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464940 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377523419120 140378532223618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21826] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 30868 33554432000 4194304 4196468 140724742797840 140376509768608 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21827] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 30868 33554432000 4194304 4196468 140724742797840 140376241333232 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21828] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140375866824912 140378532231067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21829] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21812 20281 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377522366960 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21830] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21812 20281 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377521314416 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21831] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377520261872 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21832] ppid=21812 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/21815/task/21832/stat : 21832 (java) R 21812 21812 20281 0 -1 4202560 285 0 0 0 2 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377519209328 140378532233818 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21833] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140375368919264 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21834] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 30868 33554432000 4194304 4196468 140724742797840 140377518156208 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124868 KiB
[startup+0.310713 s]*
/proc/loadavg: 7.40 7.79 8.15 2/205 21834
/proc/meminfo: memFree=17672620/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235464936 115843072 349 33554432000 4194304 5098028 140736610541680 140736610538936 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 349 296 221 0 87 0
[pid=21815] ppid=21812 vsize=27313900 memory=127140 CPUtime=0.41 cores=0-7
/proc/21815/stat : 21815 (java) S 21812 21812 20281 0 -1 1077944320 11101 0 0 0 38 3 0 0 20 0 20 0 235464936 27969433600 31785 33554432000 4194304 4196468 140724742797840 140724742780384 140378532212471 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
/proc/21815/statm: 6828475 31785 2965 1 0 6790935 0
[pid=21815/tid=21816] ppid=21812 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21812 20281 0 -1 4202560 8828 0 0 0 26 3 0 0 20 0 20 0 235464936 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378504007920 140378512488258 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21817] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21817/stat : 21817 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378536454416 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21818] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378350610832 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21819] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378349558288 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21820] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21820/stat : 21820 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378348505744 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21821] ppid=21812 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/21815/task/21821/stat : 21821 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378347453200 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21822] ppid=21812 vsize=27313900 memory=139932383409071 CPUtime=0 cores=0-7
/proc/21815/task/21822/stat : 21822 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378346400656 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21823] ppid=21812 vsize=27313900 memory=139932383411376 CPUtime=0 cores=0-7
/proc/21815/task/21823/stat : 21823 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378345348112 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21824] ppid=21812 vsize=27313900 memory=139932383413680 CPUtime=0 cores=0-7
/proc/21815/task/21824/stat : 21824 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27969433600 31785 33554432000 4194304 4196468 140724742797840 140378344295568 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21825] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21825/stat : 21825 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464940 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377523419120 140378532223618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21826] ppid=21812 vsize=27313900 memory=279864766834320 CPUtime=0 cores=0-7
/proc/21815/task/21826/stat : 21826 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 31785 33554432000 4194304 4196468 140724742797840 140376509768608 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21827] ppid=21812 vsize=27313900 memory=279864766841232 CPUtime=0 cores=0-7
/proc/21815/task/21827/stat : 21827 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464941 27969433600 31785 33554432000 4194304 4196468 140724742797840 140376241333232 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21828] ppid=21812 vsize=27313900 memory=279864766782512 CPUtime=0 cores=0-7
/proc/21815/task/21828/stat : 21828 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140375866824912 140378532231067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21829] ppid=21812 vsize=27313900 memory=279864766855056 CPUtime=0 cores=0-7
/proc/21815/task/21829/stat : 21829 (java) S 21812 21812 20281 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377522366960 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21830] ppid=21812 vsize=27313900 memory=279864766861968 CPUtime=0.01 cores=0-7
/proc/21815/task/21830/stat : 21830 (java) S 21812 21812 20281 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377521314416 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21831] ppid=21812 vsize=27313900 memory=279864766859664 CPUtime=0.02 cores=0-7
/proc/21815/task/21831/stat : 21831 (java) S 21812 21812 20281 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377520261872 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21832] ppid=21812 vsize=27313900 memory=279864766875824 CPUtime=0.07 cores=0-7
/proc/21815/task/21832/stat : 21832 (java) S 21812 21812 20281 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377519209328 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21833] ppid=21812 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21833/stat : 21833 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140375368919264 140378532222677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21834] ppid=21812 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27969433600 31785 33554432000 4194304 4196468 140724742797840 140377518156208 140378532223618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128536 KiB
[startup+0.700981 s]
/proc/loadavg: 7.40 7.79 8.15 2/205 21834
/proc/meminfo: memFree=17648416/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 235464936 115843072 349 33554432000 4194304 5098028 140736610541680 140736610538936 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 349 296 221 0 87 0
[pid=21815] ppid=21812 vsize=27322296 memory=165472 CPUtime=0.99 cores=0-7
/proc/21815/stat : 21815 (java) S 21812 21812 20281 0 -1 1077944320 18339 0 0 0 93 6 0 0 20 0 20 0 235464936 27978031104 41368 33554432000 4194304 4196468 140724742797840 140724742780384 140378532212471 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
/proc/21815/statm: 6830574 41368 3156 1 0 6791959 0
[pid=21815/tid=21816] ppid=21812 vsize=27322296 memory=279864767233712 CPUtime=0.66 cores=0-7
/proc/21815/task/21816/stat : 21816 (java) R 21812 21812 20281 0 -1 4202560 15575 0 0 0 61 5 0 0 20 0 20 0 235464936 27978031104 41368 33554432000 4194304 4196468 140724742797840 140378504042224 140378516292958 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21817] ppid=21812 vsize=27322296 memory=139932383617904 CPUtime=0 cores=0-7
/proc/21815/task/21817/stat : 21817 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27978031104 41368 33554432000 4194304 4196468 140724742797840 140378536454416 140378532222677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21818] ppid=21812 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/21815/task/21818/stat : 21818 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235464939 27978031104 41368 33554432000 4194304 4196468 140724742797840 140378350610832 140378532222677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21819] ppid=21812 vsize=27322296 memory=1616 CPUtime=0 cores=0-7
/proc/21815/task/21819/stat : 21819 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464939 27978031104 41368 33554432000 4194304 4196468 140724742797840 140378349558288 140378532222677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
################
# More data... #
################
/proc/21815/task/21833/stat : 21833 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235464944 27984392192 54966 33554432000 4194304 4196468 140724742797840 140375368919264 140378532222677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
[pid=21815/tid=21834] ppid=21812 vsize=27328508 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/21815/task/21834/stat : 21834 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235464944 27984392192 54966 33554432000 4194304 4196468 140724742797840 140377518156208 140378532223618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28340224 140724742804457 140724742804781 140724742804781 140724742807503 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 27441636 KiB
Current children cumulated memory: 221260 KiB
[startup+2.00849 s]*
/proc/loadavg: 6.97 7.69 8.12 2/205 21854
/proc/meminfo: memFree=17741496/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1472 CPUtime=3.73 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 589 24892 0 0 0 0 360 13 20 0 1 0 235464936 115843072 368 33554432000 4194304 5098028 140736610541680 140736610538424 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 368 311 221 0 87 0
[pid=21835] ppid=21812 vsize=7749964 memory=58732 CPUtime=0.3 cores=0-7
/proc/21835/stat : 21835 (java) S 21812 21812 20281 0 -1 1077944320 9716 0 0 0 27 3 0 0 20 0 20 0 235465115 7935963136 14683 33554432000 4194304 4196468 140722986587632 140722986570176 140236517179127 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
/proc/21835/statm: 1937491 14683 2956 1 0 1899951 0
[pid=21835/tid=21836] ppid=21812 vsize=7749964 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/21835/task/21836/stat : 21836 (java) R 21812 21812 20281 0 -1 4202560 7529 0 0 0 18 2 0 0 20 0 20 0 235465116 7935963136 14683 33554432000 4194304 4196468 140722986587632 140236488984240 140236517201053 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21837] ppid=21812 vsize=7749964 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21835/task/21837/stat : 21837 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140236521421584 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21838] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21838/stat : 21838 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140236321590160 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21839] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21839/stat : 21839 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140236320537616 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21840] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21840/stat : 21840 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140236000586896 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21841] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21841/stat : 21841 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235999533328 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21842] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21842/stat : 21842 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235998480784 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21843] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21843/stat : 21843 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235997428240 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21844] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21844/stat : 21844 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235996375696 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21845] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21845/stat : 21845 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465119 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235878943216 140236517190274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21846] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21846/stat : 21846 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235465119 7935963136 14683 33554432000 4194304 4196468 140722986587632 140234977174944 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21847] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21847/stat : 21847 (java) S 21812 21812 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235465119 7935963136 14683 33554432000 4194304 4196468 140722986587632 140234842953200 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21848] ppid=21812 vsize=7749964 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21848/stat : 21848 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465121 7935963136 14683 33554432000 4194304 4196468 140722986587632 140234468448976 140236517197723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21849] ppid=21812 vsize=7749964 memory=4206706657114559635 CPUtime=0 cores=0-7
/proc/21835/task/21849/stat : 21849 (java) S 21812 21812 20281 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 235465121 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235877890032 140236517190274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21850] ppid=21812 vsize=7749964 memory=7521995004687799001 CPUtime=0.01 cores=0-7
/proc/21835/task/21850/stat : 21850 (java) S 21812 21812 20281 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 235465122 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235876837488 140236517190274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21851] ppid=21812 vsize=7749964 memory=-9174445032661854264 CPUtime=0 cores=0-7
/proc/21835/task/21851/stat : 21851 (java) S 21812 21812 20281 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 235465122 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235875784944 140236517190274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21852] ppid=21812 vsize=7749964 memory=279864766714208 CPUtime=0.06 cores=0-7
/proc/21835/task/21852/stat : 21852 (java) S 21812 21812 20281 0 -1 1077944384 288 0 0 0 6 0 0 0 20 0 20 0 235465122 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235874732400 140236517190274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21853] ppid=21812 vsize=7749964 memory=13904 CPUtime=0 cores=0-7
/proc/21835/task/21853/stat : 21853 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465122 7935963136 14683 33554432000 4194304 4196468 140722986587632 140233970543328 140236517189333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21854] ppid=21812 vsize=7749964 memory=23613 CPUtime=0 cores=0-7
/proc/21835/task/21854/stat : 21854 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465122 7935963136 14683 33554432000 4194304 4196468 140722986587632 140235873680304 140236517190274 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 7863092 KiB
Current children cumulated memory: 60204 KiB
[startup+2.40094 s]
/proc/loadavg: 6.97 7.69 8.12 2/205 21854
/proc/meminfo: memFree=17741496/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1472 CPUtime=3.73 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 589 24892 0 0 0 0 360 13 20 0 1 0 235464936 115843072 368 33554432000 4194304 5098028 140736610541680 140736610538424 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 368 311 221 0 87 0
[pid=21835] ppid=21812 vsize=7752068 memory=95048 CPUtime=0.79 cores=0-7
/proc/21835/stat : 21835 (java) S 21812 21812 20281 0 -1 1077944320 16542 0 0 0 73 6 0 0 20 0 20 0 235465115 7938117632 23762 33554432000 4194304 4196468 140722986587632 140722986570176 140236517179127 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
/proc/21835/statm: 1938017 23762 3052 1 0 1899951 0
[pid=21835/tid=21836] ppid=21812 vsize=7752068 memory=-7522837415797432224 CPUtime=0.58 cores=0-7
/proc/21835/task/21836/stat : 21836 (java) R 21812 21812 20281 0 -1 4202560 14173 0 0 0 54 4 0 0 20 0 20 0 235465116 7938117632 23762 33554432000 4194304 4196468 140722986587632 140236488956464 140236501259614 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21837] ppid=21812 vsize=7752068 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/21835/task/21837/stat : 21837 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140236521421584 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21838] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21838/stat : 21838 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140236321590160 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21839] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21839/stat : 21839 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140236320537616 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21840] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21840/stat : 21840 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140236000586896 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21841] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21841/stat : 21841 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235999533328 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21842] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21842/stat : 21842 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235998480784 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21843] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21843/stat : 21843 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235997428240 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21844] ppid=21812 vsize=7752068 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21835/task/21844/stat : 21844 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235996375696 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21845] ppid=21812 vsize=7752068 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/21835/task/21845/stat : 21845 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465119 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235878943216 140236517190274 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21846] ppid=21812 vsize=7752068 memory=15538518206188108 CPUtime=0 cores=0-7
/proc/21835/task/21846/stat : 21846 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235465119 7938117632 23762 33554432000 4194304 4196468 140722986587632 140234977174944 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21847] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21847/stat : 21847 (java) S 21812 21812 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235465119 7938117632 23762 33554432000 4194304 4196468 140722986587632 140234842953200 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21848] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21848/stat : 21848 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465121 7938117632 23762 33554432000 4194304 4196468 140722986587632 140234468448976 140236517197723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21849] ppid=21812 vsize=7752068 memory=6656426216303648864 CPUtime=0.01 cores=0-7
/proc/21835/task/21849/stat : 21849 (java) S 21812 21812 20281 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 235465121 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235877890032 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21850] ppid=21812 vsize=7752068 memory=0 CPUtime=0.03 cores=0-7
/proc/21835/task/21850/stat : 21850 (java) S 21812 21812 20281 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 20 0 235465122 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235876837488 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21851] ppid=21812 vsize=7752068 memory=0 CPUtime=0.02 cores=0-7
/proc/21835/task/21851/stat : 21851 (java) S 21812 21812 20281 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 235465122 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235875784944 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21852] ppid=21812 vsize=7752068 memory=0 CPUtime=0.12 cores=0-7
/proc/21835/task/21852/stat : 21852 (java) R 21812 21812 20281 0 -1 4202560 350 0 0 0 12 0 0 0 20 0 20 0 235465122 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235874732400 140236517200474 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21853] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21853/stat : 21853 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465122 7938117632 23762 33554432000 4194304 4196468 140722986587632 140233970543328 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21854] ppid=21812 vsize=7752068 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21854/stat : 21854 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465122 7938117632 23762 33554432000 4194304 4196468 140722986587632 140235873680304 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 7865196 KiB
Current children cumulated memory: 96520 KiB
[startup+2.50097 s]
/proc/loadavg: 6.97 7.69 8.12 2/205 21854
/proc/meminfo: memFree=17741496/32770624 swapFree=67108688/67108860
[pid=21812] ppid=21809 vsize=113128 memory=1472 CPUtime=3.73 cores=0-7
/proc/21812/stat : 21812 (scop.sh) S 21809 21812 20281 0 -1 4202496 589 24892 0 0 0 0 360 13 20 0 1 0 235464936 115843072 368 33554432000 4194304 5098028 140736610541680 140736610538424 140563291402876 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14819328 140736610550819 140736610551043 140736610551043 140736610553805 0
/proc/21812/statm: 28282 368 311 221 0 87 0
[pid=21835] ppid=21812 vsize=7756256 memory=100224 CPUtime=0.97 cores=0-7
/proc/21835/stat : 21835 (java) S 21812 21812 20281 0 -1 1077944320 17322 0 0 0 91 6 0 0 20 0 20 0 235465115 7942406144 25056 33554432000 4194304 4196468 140722986587632 140722986570176 140236517179127 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
/proc/21835/statm: 1939064 25056 3081 1 0 1900463 0
[pid=21835/tid=21836] ppid=21812 vsize=7756256 memory=1472 CPUtime=0.67 cores=0-7
/proc/21835/task/21836/stat : 21836 (java) R 21812 21812 20281 0 -1 4202560 14690 0 0 0 63 4 0 0 20 0 20 0 235465116 7942406144 25056 33554432000 4194304 4196468 140722986587632 140236489009736 140236501259614 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21837] ppid=21812 vsize=7756256 memory=4294967295 CPUtime=0 cores=0-7
/proc/21835/task/21837/stat : 21837 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140236521421584 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21838] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21838/stat : 21838 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140236321590160 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21839] ppid=21812 vsize=7756256 memory=1396 CPUtime=0 cores=0-7
/proc/21835/task/21839/stat : 21839 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140236320537616 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21840] ppid=21812 vsize=7756256 memory=189228 CPUtime=0 cores=0-7
/proc/21835/task/21840/stat : 21840 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140236000586896 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21841] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21841/stat : 21841 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235999533328 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21842] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21842/stat : 21842 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235998480784 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21843] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21843/stat : 21843 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235997428240 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21844] ppid=21812 vsize=7756256 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21835/task/21844/stat : 21844 (java) S 21812 21812 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235465117 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235996375696 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21845] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21845/stat : 21845 (java) S 21812 21812 20281 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 235465119 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235878943216 140236517190274 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21846] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21846/stat : 21846 (java) S 21812 21812 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235465119 7942406144 25056 33554432000 4194304 4196468 140722986587632 140234977174944 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21847] ppid=21812 vsize=7756256 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/21835/task/21847/stat : 21847 (java) S 21812 21812 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235465119 7942406144 25056 33554432000 4194304 4196468 140722986587632 140234842953200 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21848] ppid=21812 vsize=7756256 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21848/stat : 21848 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465121 7942406144 25056 33554432000 4194304 4196468 140722986587632 140234468448976 140236517197723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21849] ppid=21812 vsize=7756256 memory=7956008295785195879 CPUtime=0.04 cores=0-7
/proc/21835/task/21849/stat : 21849 (java) R 21812 21812 20281 0 -1 4202560 478 0 0 0 4 0 0 0 20 0 20 0 235465121 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235877890032 140236502287105 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21850] ppid=21812 vsize=7756256 memory=0 CPUtime=0.03 cores=0-7
/proc/21835/task/21850/stat : 21850 (java) S 21812 21812 20281 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 235465122 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235876837488 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21851] ppid=21812 vsize=7756256 memory=0 CPUtime=0.02 cores=0-7
/proc/21835/task/21851/stat : 21851 (java) S 21812 21812 20281 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 235465122 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235875784944 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21852] ppid=21812 vsize=7756256 memory=0 CPUtime=0.16 cores=0-7
/proc/21835/task/21852/stat : 21852 (java) S 21812 21812 20281 0 -1 1077944384 464 0 0 0 16 0 0 0 20 0 20 0 235465122 7942406144 25056 33554432000 4194304 4196468 140722986587632 140235874732400 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21853] ppid=21812 vsize=7756260 memory=0 CPUtime=0 cores=0-7
/proc/21835/task/21853/stat : 21853 (java) S 21812 21812 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235465122 7942410240 25075 33554432000 4194304 4196468 140722986587632 140233970543328 140236517189333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
[pid=21835/tid=21854] ppid=21812 vsize=7756260 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/21835/task/21854/stat : 21854 (java) S 21812 21812 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235465122 7942410240 25075 33554432000 4194304 4196468 140722986587632 140235873680304 140236517190274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36728832 140722986595505 140722986595629 140722986595629 140722986598351 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 7869384 KiB
Current children cumulated memory: 101696 KiB
Child status: 0
Real time (s): 2.58862
CPU time (s): 4.93037
CPU user time (s): 4.70373
CPU system time (s): 0.226636
CPU usage (%): 190.463
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 237128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70373
system time used= 0.226636
maximum resident set size= 241884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7710
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 21812
# total CPU time (s): 4.93037
# total CPU user time (s): 4.70373
# total CPU system time (s): 0.226636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042704 second user time and 0.074026 second system time
The end
Begin job on node134 at 2018-08-13 18:50:17 IDJOB=4307432 IDBENCH=141130 IDSOLVER=2789 FILE ID=node134/4307432-1534179017 RUNJOBID= node134-1534173482-20308 PBS_JOBID= 21037977 Free space on /tmp= 42776 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/StripPacking/StripPacking-1a_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-4307432-1534179017/watcher-4307432-1534179017 -o /tmp/evaluation-result-4307432-1534179017/solver-4307432-1534179017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534173482-20308 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307432-1534179017.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 33ae3e79eb3d2d497b25d2e53ccdbc20 RANDOM SEED=389651706 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 17788708 kB MemAvailable: 31898152 kB Buffers: 225336 kB Cached: 14032900 kB SwapCached: 52 kB Active: 4498276 kB Inactive: 9816700 kB Active(anon): 5560 kB Inactive(anon): 103128 kB Active(file): 4492716 kB Inactive(file): 9713572 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8600 kB Writeback: 0 kB AnonPages: 104320 kB Mapped: 56532 kB Shmem: 49652 kB Slab: 360148 kB SReclaimable: 331616 kB SUnreclaim: 28532 kB KernelStack: 3648 kB PageTables: 5796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 42768 MiB End job on node134 at 2018-08-13 18:50:20