0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-24571-serial-file.bin HOME/instance-4305674-1534066199.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 11:29:59 CEST 2018
0.66/0.55 c PID: 24574
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.40/0.97 c (0,0) Parsing End
1.40/0.97 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.40/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.97 c (0,0) Constraint Name Generate Begin
1.40/0.98 c (0,0) Ctr:HOME/instance-4305674-1534066199.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.40/0.98 c (0,0) Constraint Name Generate End
1.40/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.98 c (0,0) CSP to CSPinCNF Begin
1.60/1.06 c (0,0) translated 6 (10%) constraints
1.60/1.06 c (0,0) translated 11 (20%) constraints
1.60/1.07 c (0,0) translated 16 (30%) constraints
1.60/1.07 c (0,0) translated 21 (40%) constraints
1.60/1.07 c (0,0) translated 26 (50%) constraints
1.60/1.08 c (0,0) translated 32 (60%) constraints
1.77/1.17 c (0,0) translated 37 (70%) constraints
1.97/1.23 c (0,0) translated 42 (80%) constraints
1.97/1.27 c (0,0) translated 47 (90%) constraints
2.25/1.32 c (0,0) translated 52 (100%) constraints
2.53/1.46 c (0,0) STATISTICS1:HOME/instance-4305674-1534066199.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.53/1.46 c (0,0) ==========================================
2.53/1.46 c (0,0) Both Encoding selects:
2.53/1.46 c (0,0) Order
2.53/1.46 c (0,0) ==========================================
2.53/1.47 c (0,0) translated 43 (10%) constraints
2.53/1.48 c (0,0) translated 85 (20%) constraints
2.53/1.48 c (0,0) translated 128 (30%) constraints
2.53/1.48 c (0,0) translated 170 (40%) constraints
2.53/1.49 c (0,0) translated 213 (50%) constraints
2.53/1.49 c (0,0) translated 255 (60%) constraints
2.53/1.49 c (0,0) translated 298 (70%) constraints
2.85/1.51 c (0,0) translated 340 (80%) constraints
2.85/1.51 c (0,0) translated 383 (90%) constraints
2.85/1.51 c (0,0) translated 425 (100%) constraints
2.85/1.51 c (0,0) CSP to CSPinCNF End
2.85/1.52 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.85/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.52 c (0,0) CSPinCNF Propagation Begin
2.85/1.58 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.85/1.58 c (1,1) CSPinCNF Propagation End
2.85/1.59 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.85/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.59 c (1,1) Simplify CSPinCNF Begin
3.19/1.65 c (1,1) Simplify CSPinCNF End
3.19/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.19/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.65 c (1,1) Calculate Precise Domain Begin
3.19/1.65 c (1,1) 0 values are removed by re-calculation
3.19/1.65 c (1,1) Calculate Precise Domain End
3.19/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.19/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.65 c (1,1) CSPinCNF to SatSolver Begin
3.53/1.71 c (1,1) 97 (10 %) CSP clauses are encoded (6455 SAT variables, 5854 SAT clauses)
3.53/1.72 c (1,1) 194 (20 %) CSP clauses are encoded (6455 SAT variables, 5951 SAT clauses)
3.53/1.72 c (1,1) 291 (30 %) CSP clauses are encoded (6455 SAT variables, 6048 SAT clauses)
3.86/1.85 c (1,1) 388 (40 %) CSP clauses are encoded (6455 SAT variables, 24313 SAT clauses)
4.18/1.93 c (1,1) 485 (50 %) CSP clauses are encoded (6455 SAT variables, 45110 SAT clauses)
4.18/1.97 c (1,1) 582 (60 %) CSP clauses are encoded (6455 SAT variables, 60101 SAT clauses)
4.50/2.03 c (1,1) 679 (70 %) CSP clauses are encoded (6455 SAT variables, 80074 SAT clauses)
4.50/2.09 c (1,1) 776 (80 %) CSP clauses are encoded (6455 SAT variables, 102531 SAT clauses)
4.68/2.14 c (1,1) 873 (90 %) CSP clauses are encoded (6455 SAT variables, 124013 SAT clauses)
4.68/2.18 c (1,1) 969 (100 %) CSP clauses are encoded (6455 SAT variables, 141024 SAT clauses)
4.68/2.18 c (1,1) Launch Command will be: minisat_release
4.68/2.18 c (1,1) CSPinCNF to SatSolver End
4.68/2.18 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.84/2.21 c (1,1) STATISTICS2:HOME/instance-4305674-1534066199.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.84/2.21 c (1,1) 6455 bool, 141255 clause
4.84/2.21 c (1,1) Export Begin
5.02/2.31 c (1,1) Export to HOME/scop-24571-serial-file.bin
5.02/2.31 c (1,1) Export End
5.02/2.31 c (1,1) Export File Size: 0.03 MB
5.02/2.31 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
5.02/2.31 c END-Prog: Sun Aug 12 11:30:01 CEST 2018
5.02/2.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24571-serial-file.bin
5.07/2.81 c (0,0) Read Serial File Begin
5.07/2.81 c (0,0) HOME/scop-24571-serial-file.bin
5.07/2.99 c (0,0) Read Serial File End
6.03/3.01
6.03/3.01 scop order+minisat_release (2018-07-31)
6.03/3.01 (Solving Process)
6.03/3.01
6.03/3.03 c BEGIN-Prog: Sun Aug 12 11:30:02 CEST 2018
6.03/3.03 c PID: 24589
6.03/3.03 c IP: 172.20.3.106
6.03/3.03 c HOST: node106.alineos.net
6.03/3.03 c (0,0) SatSolver.solve Begin
6.03/3.03 c (0,0) 0 bool, 0 clause
6.03/3.03 c (0,0) minisat_release HOME/instance-4305674-1534066199.xml-scop-24574.cnf
864.72/861.14 c (858,0) c This is COMiniSatPS.
864.72/861.14 c (858,0) c WARNING: for repeatability, setting FPU to use double precision
864.72/861.14 c (858,0) c ============================[ Problem Statistics ]=============================
864.72/861.14 c (858,0) c | |
864.72/861.14 c (858,0) c | Number of variables: 6455 |
864.72/861.14 c (858,0) c | Number of clauses: 141255 |
864.72/861.14 c (858,0) c | Parse time: 0.04 s |
864.72/861.14 c (858,0) c | Eliminated clauses: 0.01 Mb |
864.72/861.14 c (858,0) c Reduced to 5929 vars, 140576 cls (grow=0)
864.72/861.14 c (858,0) c No iterative elimination performed. (vars=5929, c/v ratio=23.7)
864.72/861.14 c (858,0) c | Simplification time: 0.26 s |
864.72/861.14 c (858,0) c | |
864.72/861.14 c (858,0) c ============================[ Search Statistics ]==============================
864.72/861.14 c (858,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
864.72/861.15 c (858,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
864.72/861.15 c (858,0) c ===============================================================================
864.72/861.15 c (858,0) c ===============================================================================
864.72/861.15 c (858,0) c restarts : 7114
864.72/861.15 c (858,0) c conflicts : 3990798 (4652 /sec)
864.72/861.15 c (858,0) c decisions : 6231934 (0.00 % random) (7264 /sec)
864.72/861.15 c (858,0) c propagations : 1635849237 (1906786 /sec)
864.72/861.15 c (858,0) c conflict literals : 137269787 (41.28 % deleted)
864.72/861.15 c (858,0) c CPU time : 857.909 s
864.72/861.15 c (858,0)
864.72/861.15 c (858,0) s SATISFIABLE
864.72/861.17 c (858,0) SatSolver.solve End
864.72/861.17 c (858,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
864.72/861.17 c (858,0) Show results Begin
864.86/861.23 s SATISFIABLE
864.86/861.24 v <instantiation>
864.86/861.24 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
864.86/861.24 v <values>36 71 0 88 158 71 76 11 0 36 88 114 11 114 0 79 79 64 64 64 34 34 118 118 145 145 150 122 122 160 151 0 34 0 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
864.86/861.24 v </instantiation>
864.86/861.24 c (858,0) Show results End
864.86/861.24 c (858,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
864.86/861.24 c (858,0) 858,858,STOP-AFTER(ALL)
864.86/861.24 c END-Prog: Sun Aug 12 11:44: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 (8422 MiB free)
memory of node 1: 16384 MiB (11648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305674-1534066199/watcher-4305674-1534066199 -o /tmp/evaluation-result-4305674-1534066199/solver-4305674-1534066199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305674-1534066199.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24571, runsolver pid=24568
Current StackSize limit: 8192 KiB
[startup+0.101205 s]*
/proc/loadavg: 2.00 2.01 2.05 4/222 24588
/proc/meminfo: memFree=20491432/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224182730 115843072 349 33554432000 4194304 5098028 140729431360400 140729431357656 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=15012476 memory=73072 CPUtime=0.11 cores=1,3,5,7
/proc/24574/stat : 24574 (java) S 24571 24571 23167 0 -1 1077944320 6449 0 0 0 9 2 0 0 20 0 15 0 224182730 15372775424 18268 33554432000 4194304 4196468 140722701903136 140722701885680 140429324480247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
/proc/24574/statm: 3753119 18268 2738 1 0 3715579 0
[pid=24574/tid=24575] ppid=24571 vsize=15012476 memory=-6292511387775451077 CPUtime=0.08 cores=1,3,5,7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 23167 0 -1 4202560 4562 0 0 0 7 1 0 0 20 0 15 0 224182731 15372775424 18268 33554432000 4194304 4196468 140722701903136 140429296276296 140429308560734 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24576] ppid=24571 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 18268 33554432000 4194304 4196468 140722701903136 140429328722320 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24577] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 18268 33554432000 4194304 4196468 140722701903136 140429127498000 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24578] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 18268 33554432000 4194304 4196468 140722701903136 140429126445712 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24579] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 18268 33554432000 4194304 4196468 140722701903136 140429125392912 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24580] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 18268 33554432000 4194304 4196468 140722701903136 140428294687344 140429324491394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24581] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 18268 33554432000 4194304 4196468 140722701903136 140427915158816 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24582] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182735 15372775424 18268 33554432000 4194304 4196468 140722701903136 140427646723696 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24583] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18268 33554432000 4194304 4196468 140722701903136 140427272215120 140429324498843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24584] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 23167 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18268 33554432000 4194304 4196468 140722701903136 140428293634160 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24585] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18268 33554432000 4194304 4196468 140722701903136 140428292581360 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24586] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24586/stat : 24586 (java) R 24571 24571 23167 0 -1 4202560 259 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18268 33554432000 4194304 4196468 140722701903136 140428291529072 140429303315109 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24587] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18399 33554432000 4194304 4196468 140722701903136 140426774309344 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24588] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 18399 33554432000 4194304 4196468 140722701903136 140428290476976 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74468 KiB
[startup+0.210522 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 24588
/proc/meminfo: memFree=20477364/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224182730 115843072 349 33554432000 4194304 5098028 140729431360400 140729431357656 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=15012476 memory=86652 CPUtime=0.25 cores=1,3,5,7
/proc/24574/stat : 24574 (java) S 24571 24571 23167 0 -1 1077944320 10001 0 0 0 22 3 0 0 20 0 15 0 224182730 15372775424 21663 33554432000 4194304 4196468 140722701903136 140722701885680 140429324480247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
/proc/24574/statm: 3753119 21663 2873 1 0 3715579 0
[pid=24574/tid=24575] ppid=24571 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 23167 0 -1 4202560 7915 0 0 0 17 2 0 0 20 0 15 0 224182731 15372775424 21663 33554432000 4194304 4196468 140722701903136 140429296283520 140429308523877 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24576] ppid=24571 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 21663 33554432000 4194304 4196468 140722701903136 140429328722320 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24577] ppid=24571 vsize=15012476 memory=140536170567656 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 21663 33554432000 4194304 4196468 140722701903136 140429127498000 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24578] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 21663 33554432000 4194304 4196468 140722701903136 140429126445712 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24579] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 21663 33554432000 4194304 4196468 140722701903136 140429125392912 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24580] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 21663 33554432000 4194304 4196468 140722701903136 140428294687344 140429324491394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24581] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 21663 33554432000 4194304 4196468 140722701903136 140427915158816 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24582] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182735 15372775424 21663 33554432000 4194304 4196468 140722701903136 140427646723696 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24583] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140427272215120 140429324498843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24584] ppid=24571 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 23167 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140428293634160 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24585] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 23167 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140428292581360 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24586] ppid=24571 vsize=15012476 memory=140536169375360 CPUtime=0.03 cores=1,3,5,7
/proc/24574/task/24586/stat : 24586 (java) R 24571 24571 23167 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140428291529072 140429308218368 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24587] ppid=24571 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140426774309344 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24588] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 21663 33554432000 4194304 4196468 140722701903136 140428290476976 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88048 KiB
[startup+0.310591 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 24588
/proc/meminfo: memFree=20474200/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224182730 115843072 349 33554432000 4194304 5098028 140729431360400 140729431357656 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=15012476 memory=90172 CPUtime=0.42 cores=1,3,5,7
/proc/24574/stat : 24574 (java) S 24571 24571 23167 0 -1 1077944320 10532 0 0 0 39 3 0 0 20 0 15 0 224182730 15372775424 22543 33554432000 4194304 4196468 140722701903136 140722701885680 140429324480247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
/proc/24574/statm: 3753119 22543 2975 1 0 3715579 0
[pid=24574/tid=24575] ppid=24571 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 23167 0 -1 4202560 8286 0 0 0 27 2 0 0 20 0 15 0 224182731 15372775424 22543 33554432000 4194304 4196468 140722701903136 140429296275696 140429310729270 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24576] ppid=24571 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 22543 33554432000 4194304 4196468 140722701903136 140429328722320 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24577] ppid=24571 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 22543 33554432000 4194304 4196468 140722701903136 140429127498000 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24578] ppid=24571 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 22543 33554432000 4194304 4196468 140722701903136 140429126445712 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24579] ppid=24571 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15372775424 22543 33554432000 4194304 4196468 140722701903136 140429125392912 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24580] ppid=24571 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 22543 33554432000 4194304 4196468 140722701903136 140428294687344 140429324491394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24581] ppid=24571 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224182734 15372775424 22543 33554432000 4194304 4196468 140722701903136 140427915158816 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24582] ppid=24571 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182735 15372775424 22543 33554432000 4194304 4196468 140722701903136 140427646723696 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24583] ppid=24571 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140427272215120 140429324498843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24584] ppid=24571 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24574/task/24584/stat : 24584 (java) S 24571 24571 23167 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140428293634160 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24585] ppid=24571 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24574/task/24585/stat : 24585 (java) S 24571 24571 23167 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140428292581360 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24586] ppid=24571 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24574/task/24586/stat : 24586 (java) S 24571 24571 23167 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140428291529072 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24587] ppid=24571 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140426774309344 140429324490453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24588] ppid=24571 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182737 15372775424 22543 33554432000 4194304 4196468 140722701903136 140428290476976 140429324491394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91568 KiB
[startup+0.701237 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 24588
/proc/meminfo: memFree=20450388/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224182730 115843072 349 33554432000 4194304 5098028 140729431360400 140729431357656 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 349 296 221 0 87 0
[pid=24574] ppid=24571 vsize=15020872 memory=129656 CPUtime=1.02 cores=1,3,5,7
/proc/24574/stat : 24574 (java) S 24571 24571 23167 0 -1 1077944320 17601 0 0 0 97 5 0 0 20 0 15 0 224182730 15381372928 32414 33554432000 4194304 4196468 140722701903136 140722701885680 140429324480247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
/proc/24574/statm: 3755218 32414 3164 1 0 3716603 0
[pid=24574/tid=24575] ppid=24571 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/24574/task/24575/stat : 24575 (java) R 24571 24571 23167 0 -1 4202560 14891 0 0 0 63 4 0 0 20 0 15 0 224182731 15381372928 32414 33554432000 4194304 4196468 140722701903136 140429296316624 140428804454740 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24576] ppid=24571 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24576/stat : 24576 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15381372928 32414 33554432000 4194304 4196468 140722701903136 140429328722320 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24577] ppid=24571 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24577/stat : 24577 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15381372928 32414 33554432000 4194304 4196468 140722701903136 140429127498000 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24578] ppid=24571 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24578/stat : 24578 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182732 15381372928 32414 33554432000 4194304 4196468 140722701903136 140429126445712 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24579] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24579/stat : 24579 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224182732 15381372928 32414 33554432000 4194304 4196468 140722701903136 140429125392912 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24580] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24580/stat : 24580 (java) S 24571 24571 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224182734 15381372928 32414 33554432000 4194304 4196468 140722701903136 140428294687344 140429324491394 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24581] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24581/stat : 24581 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224182734 15381372928 32414 33554432000 4194304 4196468 140722701903136 140427915158816 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24582] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24582/stat : 24582 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182735 15381372928 32414 33554432000 4194304 4196468 140722701903136 140427646723696 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24583] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24583/stat : 24583 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140427272215120 140429324498843 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24584] ppid=24571 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/24574/task/24584/stat : 24584 (java) R 24571 24571 23167 0 -1 4202560 801 0 0 0 10 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140428293624272 140429306002825 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24585] ppid=24571 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24574/task/24585/stat : 24585 (java) R 24571 24571 23167 0 -1 4202560 129 0 0 0 6 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140428292567904 140429302896403 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24586] ppid=24571 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/24574/task/24586/stat : 24586 (java) R 24571 24571 23167 0 -1 4202560 447 0 0 0 16 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140428291529072 140429308560734 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24587] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24587/stat : 24587 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140426774309344 140429324490453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
[pid=24574/tid=24588] ppid=24571 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24574/task/24588/stat : 24588 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224182737 15381372928 32414 33554432000 4194304 4196468 140722701903136 140428290476976 140429324491394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12918784 140722701911047 140722701911345 140722701911345 140722701914063 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131052 KiB
[startup+1.50075 s]
/proc/loadavg: 2.08 2.03 2.05 3/222 24588
/proc/meminfo: memFree=20421108/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224182730 115843072 349 33554432000 4194304 5098028 140729431360400 140729431357656 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/24589/task/24614/stat : 24614 (java) S 24571 24571 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708698965824 140709223157529 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24616] ppid=24571 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24616/stat : 24616 (java) S 24571 24571 23167 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706416930704 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24617] ppid=24571 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24617/stat : 24617 (java) S 24571 24571 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706551152144 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24618] ppid=24571 vsize=8068220 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24618/stat : 24618 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224183039 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706148506912 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
Current children cumulated CPU time: 862.81 s
Current children cumulated vsize: 8272208 KiB
Current children cumulated memory: 187012 KiB
[startup+860.001 s]*
/proc/loadavg: 2.00 2.03 2.05 3/228 24640
/proc/meminfo: memFree=20366404/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1472 CPUtime=5.07 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 592 24226 0 0 0 0 491 16 20 0 1 0 224182730 115843072 368 33554432000 4194304 5098028 140729431360400 140729431357144 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 368 311 221 0 87 0
[pid=24589] ppid=24571 vsize=8068220 memory=117092 CPUtime=1.67 cores=1,3,5,7
/proc/24589/stat : 24589 (java) S 24571 24571 23167 0 -1 1077944320 17581 0 0 0 135 32 0 0 20 0 19 0 224182963 8261857280 29273 33554432000 4194304 4196468 140733764802960 140733764785504 140709223132919 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
/proc/24589/statm: 2017055 29273 3136 1 0 1978454 0
[pid=24613] ppid=24589 vsize=90860 memory=68448 CPUtime=856.88 cores=1,3,5,7
/proc/24613/stat : 24613 (minisat_release) R 24589 24571 23167 0 -1 4202496 101607 0 0 0 85677 11 0 0 20 0 1 0 224183036 93040640 17112 33554432000 4194304 4308513 140735594525088 140735594521992 140716093982968 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 19730432 140735594529908 140735594530006 140735594530006 140735594532805 0
/proc/24613/statm: 22715 17112 341 28 0 18955 0
[pid=24589/tid=24590] ppid=24571 vsize=8068220 memory=140539919861270 CPUtime=0.75 cores=1,3,5,7
/proc/24589/task/24590/stat : 24590 (java) S 24571 24571 23167 0 -1 1077944384 14624 0 0 0 70 5 0 0 20 0 19 0 224182963 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709194973072 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24591] ppid=24571 vsize=8068220 memory=140539919861542 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24591/stat : 24591 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709227375120 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24592] ppid=24571 vsize=8068220 memory=140539919861889 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24592/stat : 24592 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709035936400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24593] ppid=24571 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24593/stat : 24593 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708707031312 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24594] ppid=24571 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24594/stat : 24594 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708705978768 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24595] ppid=24571 vsize=8068220 memory=13565994345960240 CPUtime=0.01 cores=1,3,5,7
/proc/24589/task/24595/stat : 24595 (java) S 24571 24571 23167 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 224182966 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708602129136 140709223144066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24596] ppid=24571 vsize=8068220 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24596/stat : 24596 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224182966 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708094666400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24597] ppid=24571 vsize=8068220 memory=804 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24597/stat : 24597 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182967 8261857280 29273 33554432000 4194304 4196468 140733764802960 140707826230512 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24598] ppid=24571 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24598/stat : 24598 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140707451722192 140709223151515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24599] ppid=24571 vsize=8068220 memory=912 CPUtime=0.1 cores=1,3,5,7
/proc/24589/task/24599/stat : 24599 (java) S 24571 24571 23167 0 -1 1077944384 540 0 0 0 10 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708601075952 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24600] ppid=24571 vsize=8068220 memory=1620 CPUtime=0.08 cores=1,3,5,7
/proc/24589/task/24600/stat : 24600 (java) S 24571 24571 23167 0 -1 1077944384 375 0 0 0 8 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708600023408 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24601] ppid=24571 vsize=8068220 memory=748 CPUtime=0.21 cores=1,3,5,7
/proc/24589/task/24601/stat : 24601 (java) S 24571 24571 23167 0 -1 1077944384 572 0 0 0 21 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708598970352 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24602] ppid=24571 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24602/stat : 24602 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706953816416 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24603] ppid=24571 vsize=8068220 memory=6580 CPUtime=0.47 cores=1,3,5,7
/proc/24589/task/24603/stat : 24603 (java) S 24571 24571 23167 0 -1 1077944384 59 0 0 0 22 25 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708597918768 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24614] ppid=24571 vsize=8068220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24614/stat : 24614 (java) S 24571 24571 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708698965824 140709223157529 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24616] ppid=24571 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24616/stat : 24616 (java) S 24571 24571 23167 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706416930704 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24617] ppid=24571 vsize=8068220 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24617/stat : 24617 (java) S 24571 24571 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706551152144 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24618] ppid=24571 vsize=8068220 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24618/stat : 24618 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224183039 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706148506912 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
Current children cumulated CPU time: 863.62 s
Current children cumulated vsize: 8272208 KiB
Current children cumulated memory: 187012 KiB
[startup+860.801 s]
/proc/loadavg: 2.00 2.03 2.05 3/228 24640
/proc/meminfo: memFree=20366404/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1472 CPUtime=5.07 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 592 24226 0 0 0 0 491 16 20 0 1 0 224182730 115843072 368 33554432000 4194304 5098028 140729431360400 140729431357144 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 368 311 221 0 87 0
[pid=24589] ppid=24571 vsize=8068220 memory=117092 CPUtime=1.67 cores=1,3,5,7
/proc/24589/stat : 24589 (java) S 24571 24571 23167 0 -1 1077944320 17581 0 0 0 135 32 0 0 20 0 19 0 224182963 8261857280 29273 33554432000 4194304 4196468 140733764802960 140733764785504 140709223132919 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
/proc/24589/statm: 2017055 29273 3136 1 0 1978454 0
[pid=24613] ppid=24589 vsize=90860 memory=68448 CPUtime=857.67 cores=1,3,5,7
/proc/24613/stat : 24613 (minisat_release) R 24589 24571 23167 0 -1 4202496 101658 0 0 0 85756 11 0 0 20 0 1 0 224183036 93040640 17112 33554432000 4194304 4308513 140735594525088 140735594521992 4276025 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 19730432 140735594529908 140735594530006 140735594530006 140735594532805 0
/proc/24613/statm: 22715 17112 341 28 0 18955 0
[pid=24589/tid=24590] ppid=24571 vsize=8068220 memory=68448 CPUtime=0.75 cores=1,3,5,7
/proc/24589/task/24590/stat : 24590 (java) S 24571 24571 23167 0 -1 1077944384 14624 0 0 0 70 5 0 0 20 0 19 0 224182963 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709194973072 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24591] ppid=24571 vsize=8068220 memory=-7824251494390453606 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24591/stat : 24591 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709227375120 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24592] ppid=24571 vsize=8068220 memory=68448 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24592/stat : 24592 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140709035936400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24593] ppid=24571 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24593/stat : 24593 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708707031312 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24594] ppid=24571 vsize=8068220 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24594/stat : 24594 (java) S 24571 24571 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224182964 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708705978768 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24595] ppid=24571 vsize=8068220 memory=1472 CPUtime=0.01 cores=1,3,5,7
/proc/24589/task/24595/stat : 24595 (java) S 24571 24571 23167 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 224182966 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708602129136 140709223144066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24596] ppid=24571 vsize=8068220 memory=117092 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24596/stat : 24596 (java) S 24571 24571 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224182966 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708094666400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24597] ppid=24571 vsize=8068220 memory=68448 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24597/stat : 24597 (java) S 24571 24571 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224182967 8261857280 29273 33554432000 4194304 4196468 140733764802960 140707826230512 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24598] ppid=24571 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24598/stat : 24598 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140707451722192 140709223151515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24599] ppid=24571 vsize=8068220 memory=75 CPUtime=0.1 cores=1,3,5,7
/proc/24589/task/24599/stat : 24599 (java) S 24571 24571 23167 0 -1 1077944384 540 0 0 0 10 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708601075952 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24600] ppid=24571 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24589/task/24600/stat : 24600 (java) S 24571 24571 23167 0 -1 1077944384 375 0 0 0 8 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708600023408 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24601] ppid=24571 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/24589/task/24601/stat : 24601 (java) S 24571 24571 23167 0 -1 1077944384 572 0 0 0 21 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708598970352 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24602] ppid=24571 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24602/stat : 24602 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706953816416 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24603] ppid=24571 vsize=8068220 memory=117092 CPUtime=0.47 cores=1,3,5,7
/proc/24589/task/24603/stat : 24603 (java) S 24571 24571 23167 0 -1 1077944384 59 0 0 0 22 25 0 0 20 0 19 0 224182969 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708597918768 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24614] ppid=24571 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24614/stat : 24614 (java) S 24571 24571 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140708698965824 140709223157529 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24616] ppid=24571 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24616/stat : 24616 (java) S 24571 24571 23167 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706416930704 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24617] ppid=24571 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24617/stat : 24617 (java) S 24571 24571 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224183036 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706551152144 140709223154845 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24618] ppid=24571 vsize=8068220 memory=68 CPUtime=0 cores=1,3,5,7
/proc/24589/task/24618/stat : 24618 (java) S 24571 24571 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224183039 8261857280 29273 33554432000 4194304 4196468 140733764802960 140706148506912 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
Current children cumulated CPU time: 864.41 s
Current children cumulated vsize: 8272208 KiB
Current children cumulated memory: 187012 KiB
[startup+861.201 s]
/proc/loadavg: 2.00 2.03 2.05 3/228 24640
/proc/meminfo: memFree=20366404/32770624 swapFree=67108688/67108860
[pid=24571] ppid=24568 vsize=113128 memory=1472 CPUtime=5.07 cores=1,3,5,7
/proc/24571/stat : 24571 (scop.sh) S 24568 24571 23167 0 -1 4202496 592 24226 0 0 0 0 491 16 20 0 1 0 224182730 115843072 368 33554432000 4194304 5098028 140729431360400 140729431357144 139815394046588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22790144 140729431364673 140729431364871 140729431364871 140729431367629 0
/proc/24571/statm: 28282 368 311 221 0 87 0
[pid=24589] ppid=24571 vsize=7937144 memory=122196 CPUtime=859.79 cores=1,3,5,7
/proc/24589/stat : 24589 (java) S 24571 24571 23167 0 -1 1077944320 17856 101691 0 0 145 32 85791 11 20 0 17 0 224182963 8127635456 30549 33554432000 4194304 4196468 140733764802960 140733764785504 140709223132919 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
/proc/24589/statm: 1984286 30549 3154 1 0 1945685 0
[pid=24589/tid=24590] ppid=24571 vsize=7937144 memory=-7824251494390453606 CPUtime=858.8 cores=1,3,5,7
/proc/24589/task/24590/stat : 24590 (java) R 24571 24571 23167 0 -1 4202560 14747 101691 0 0 73 5 85791 11 20 0 17 0 224182963 8127635456 30549 33554432000 4194304 4196468 140733764802960 140709194971008 140709223144854 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24591] ppid=24571 vsize=7937144 memory=4872558044660077418 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24591/stat : 24591 (java) S 24571 24571 23167 0 -1 1077944384 2 101691 0 0 0 0 85791 11 20 0 17 0 224182964 8127635456 30549 33554432000 4194304 4196468 140733764802960 140709227375120 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24592] ppid=24571 vsize=7937144 memory=1572 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24592/stat : 24592 (java) S 24571 24571 23167 0 -1 1077944384 1 101691 0 0 0 0 85791 11 20 0 17 0 224182964 8127635456 30549 33554432000 4194304 4196468 140733764802960 140709035936400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24593] ppid=24571 vsize=7937144 memory=924 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24593/stat : 24593 (java) S 24571 24571 23167 0 -1 1077944384 1 101691 0 0 0 0 85791 11 20 0 17 0 224182964 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708707031312 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24594] ppid=24571 vsize=7937144 memory=2192 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24594/stat : 24594 (java) S 24571 24571 23167 0 -1 1077944384 2 101691 0 0 0 0 85791 11 20 0 17 0 224182964 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708705978768 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24595] ppid=24571 vsize=7937144 memory=68448 CPUtime=858.03 cores=1,3,5,7
/proc/24589/task/24595/stat : 24595 (java) S 24571 24571 23167 0 -1 1077944384 7 101691 0 0 0 1 85791 11 20 0 17 0 224182966 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708602129136 140709223144066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24596] ppid=24571 vsize=7937144 memory=288230574492221466 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24596/stat : 24596 (java) S 24571 24571 23167 0 -1 1077944384 13 101691 0 0 0 0 85791 11 20 0 17 0 224182966 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708094666400 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24597] ppid=24571 vsize=7937144 memory=288230583166042426 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24597/stat : 24597 (java) S 24571 24571 23167 0 -1 1077944384 1 101691 0 0 0 0 85791 11 20 0 17 0 224182967 8127635456 30549 33554432000 4194304 4196468 140733764802960 140707826230512 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24598] ppid=24571 vsize=7937144 memory=13565994345960240 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24598/stat : 24598 (java) S 24571 24571 23167 0 -1 1077944384 3 101691 0 0 0 0 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140707451722192 140709223151515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24599] ppid=24571 vsize=7937144 memory=4452 CPUtime=858.13 cores=1,3,5,7
/proc/24589/task/24599/stat : 24599 (java) S 24571 24571 23167 0 -1 1077944384 552 101691 0 0 11 0 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708601075952 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24600] ppid=24571 vsize=7937144 memory=3732 CPUtime=858.11 cores=1,3,5,7
/proc/24589/task/24600/stat : 24600 (java) S 24571 24571 23167 0 -1 1077944384 395 101691 0 0 9 0 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708600023408 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24601] ppid=24571 vsize=7937144 memory=12668 CPUtime=858.25 cores=1,3,5,7
/proc/24589/task/24601/stat : 24601 (java) R 24571 24571 23167 0 -1 4202560 638 101691 0 0 23 0 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708598970352 140709215370046 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24602] ppid=24571 vsize=7937144 memory=1072 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24602/stat : 24602 (java) S 24571 24571 23167 0 -1 1077944384 3 101691 0 0 0 0 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140706953816416 140709223143125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24603] ppid=24571 vsize=7937144 memory=14888 CPUtime=858.49 cores=1,3,5,7
/proc/24589/task/24603/stat : 24603 (java) S 24571 24571 23167 0 -1 1077944384 59 101691 0 0 22 25 85791 11 20 0 17 0 224182969 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708597918768 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24614] ppid=24571 vsize=7937144 memory=3316 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24614/stat : 24614 (java) S 24571 24571 23167 0 -1 1077944384 28 101691 0 0 0 0 85791 11 20 0 17 0 224183036 8127635456 30549 33554432000 4194304 4196468 140733764802960 140708698965008 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
[pid=24589/tid=24618] ppid=24571 vsize=7937144 memory=1612 CPUtime=858.02 cores=1,3,5,7
/proc/24589/task/24618/stat : 24618 (java) S 24571 24571 23167 0 -1 1077944384 7 101691 0 0 0 0 85791 11 20 0 17 0 224183039 8127635456 30549 33554432000 4194304 4196468 140733764802960 140706148508720 140709223144066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140733764805813 140733764805937 140733764805937 140733764808655 0
Current children cumulated CPU time: 864.86 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 123668 KiB
Child status: 0
Real time (s): 861.26
CPU time (s): 864.998
CPU user time (s): 864.385
CPU system time (s): 0.613221
CPU usage (%): 100.434
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 536412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 864.385
system time used= 0.613221
maximum resident set size= 537648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24229
involuntary context switches= 264
# summary of solver processes directly reported to runsolver:
# pid: 24571
# total CPU time (s): 864.998
# total CPU user time (s): 864.385
# total CPU system time (s): 0.613221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08509 second user time and 9.37856 second system time
The end