0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23753-serial-file.bin HOME/instance-4305442-1534091175.xml
0.66/0.52
0.66/0.52 scop order+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 18:26:16 CEST 2018
0.66/0.55 c PID: 23756
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.40/0.92 c (0,0) Parsing End
1.40/0.93 c (0,0) CSP: 92 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.40/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.93 c (0,0) Constraint Name Generate Begin
1.40/0.93 c (0,0) Ctr:HOME/instance-4305442-1534091175.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.40/0.93 c (0,0) Constraint Name Generate End
1.40/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.93 c (0,0) CSP to CSPinCNF Begin
2.60/1.43 c (0,0) translated 6 (10%) constraints
2.94/1.55 c (1,1) translated 12 (20%) constraints
3.22/1.64 c (1,1) translated 18 (30%) constraints
3.54/1.72 c (1,1) translated 24 (40%) constraints
3.85/1.84 c (1,1) translated 30 (50%) constraints
3.85/1.86 c (1,1) translated 36 (60%) constraints
4.62/2.04 c (1,1) translated 42 (70%) constraints
4.62/2.04 c (1,1) translated 48 (80%) constraints
4.62/2.06 c (1,1) translated 54 (90%) constraints
4.62/2.08 c (1,1) translated 60 (100%) constraints
4.95/2.17 c (1,1) STATISTICS1:HOME/instance-4305442-1534091175.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,1612,6291,32768,28,28,16,32768:64;8192:64;28:276;8:14;7:228;1:102,28:3336;7:4800;2:9712;1:560,28:2;8:100;7:28;6:28;5:28;4:1148;3:1884;2:2962;1:111,16:64;14:64;4:14;2:606;1:16304;0:28,
4.95/2.17 c (1,1) ==========================================
4.95/2.17 c (1,1) Order
4.95/2.17 c (1,1) ==========================================
5.27/2.20 c (1,1) translated 630 (10%) constraints
5.27/2.23 c (1,1) translated 1259 (20%) constraints
5.27/2.25 c (1,1) translated 1888 (30%) constraints
5.27/2.27 c (1,1) translated 2517 (40%) constraints
5.27/2.29 c (1,1) translated 3146 (50%) constraints
5.56/2.31 c (1,1) translated 3775 (60%) constraints
5.56/2.34 c (1,1) translated 4404 (70%) constraints
5.56/2.38 c (1,1) translated 5033 (80%) constraints
6.20/2.50 c (1,1) translated 5662 (90%) constraints
6.52/2.60 c (2,2) translated 6291 (100%) constraints
6.52/2.60 c (2,2) CSP to CSPinCNF End
6.52/2.61 c (2,2) CSP: 349 int (257 aux), 2060 bool (2060 aux), 7798 ctr, max domain size 26
6.52/2.61 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.52/2.61 c (2,2) CSPinCNF Propagation Begin
6.85/2.79 c (2,2) 705 values, 2236 unsatisfiable literals, and 1760 valid clauses are removed
6.85/2.79 c (2,2) CSPinCNF Propagation End
6.85/2.79 c (2,2) CSP: 841 int (749 aux), 1568 bool (1568 aux), 6038 ctr, max domain size 26
6.85/2.79 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.85/2.79 c (2,2) Simplify CSPinCNF Begin
7.16/2.85 c (2,2) Simplify CSPinCNF End
7.16/2.85 c (2,2) CSP: 841 int (749 aux), 2608 bool (2608 aux), 7078 ctr, max domain size 26
7.16/2.85 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.16/2.85 c (2,2) Calculate Precise Domain Begin
7.16/2.88 c (2,2) 4 values are removed by re-calculation
7.16/2.88 c (2,2) Calculate Precise Domain End
7.16/2.88 c (2,2) CSP: 841 int (749 aux), 2608 bool (2608 aux), 7078 ctr, max domain size 26
7.16/2.88 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.16/2.88 c (2,2) CSPinCNF to SatSolver Begin
7.48/2.95 c (2,2) 708 (10 %) CSP clauses are encoded (4052 SAT variables, 1830 SAT clauses)
7.48/2.96 c (2,2) 1416 (20 %) CSP clauses are encoded (4052 SAT variables, 2538 SAT clauses)
7.48/2.97 c (2,2) 2124 (30 %) CSP clauses are encoded (4052 SAT variables, 3246 SAT clauses)
7.48/2.98 c (2,2) 2832 (40 %) CSP clauses are encoded (4052 SAT variables, 3954 SAT clauses)
7.48/3.00 c (2,2) 3539 (50 %) CSP clauses are encoded (4052 SAT variables, 4811 SAT clauses)
7.82/3.09 c (2,2) 4247 (60 %) CSP clauses are encoded (4052 SAT variables, 15519 SAT clauses)
8.13/3.13 c (2,2) 4955 (70 %) CSP clauses are encoded (4052 SAT variables, 21249 SAT clauses)
8.13/3.15 c (2,2) 5663 (80 %) CSP clauses are encoded (4052 SAT variables, 22978 SAT clauses)
8.13/3.17 c (2,2) 6371 (90 %) CSP clauses are encoded (4052 SAT variables, 24510 SAT clauses)
8.41/3.21 c (2,2) 7078 (100 %) CSP clauses are encoded (4052 SAT variables, 27284 SAT clauses)
8.41/3.21 c (2,2) Launch Command will be: minisat_release
8.41/3.21 c (2,2) CSPinCNF to SatSolver End
8.41/3.21 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.41/3.27 c (2,2) STATISTICS2:HOME/instance-4305442-1534091175.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,3449,7078,64,26,7,7,64:2;32:80;26:552;20:1;16:154;15:15;10:2;9:81;8:48;7:132;6:265;4:136;1:96,26:3688;7:3608;6:1082;5:74;4:2;3:524;2:11006;1:656,7:48;6:48;5:24;4:998;3:1260;2:4176;1:524,7:64;6:256;5:64;4:12;3:124;2:1044;1:15828,
8.41/3.27 c (2,2) 4052 bool, 27290 clause
8.41/3.27 c (2,2) Export Begin
8.74/3.36 c (2,2) Export to HOME/scop-23753-serial-file.bin
8.74/3.36 c (2,2) Export End
8.74/3.36 c (2,2) Export File Size: 0.02 MB
8.74/3.36 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.74/3.36 c END-Prog: Sun Aug 12 18:26:18 CEST 2018
8.74/3.38 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23753-serial-file.bin
8.98/3.88 c (0,0) Read Serial File Begin
8.98/3.88 c (0,0) HOME/scop-23753-serial-file.bin
9.81/4.06 c (0,0) Read Serial File End
9.81/4.07
9.81/4.07 scop order+minisat_release (2018-07-31)
9.81/4.07 (Solving Process)
9.81/4.07
9.81/4.09 c BEGIN-Prog: Sun Aug 12 18:26:19 CEST 2018
9.81/4.09 c PID: 23771
9.81/4.09 c IP: 172.20.3.139
9.81/4.09 c HOST: node139.alineos.net
9.81/4.10 c (0,0) SatSolver.solve Begin
9.81/4.10 c (0,0) 0 bool, 0 clause
9.81/4.10 c (0,0) minisat_release HOME/instance-4305442-1534091175.xml-scop-23756.cnf
10.13/4.21 c (0,0) c This is COMiniSatPS.
10.13/4.21 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.13/4.21 c (0,0) c ============================[ Problem Statistics ]=============================
10.13/4.21 c (0,0) c | |
10.13/4.21 c (0,0) c | Number of variables: 4052 |
10.13/4.21 c (0,0) c | Number of clauses: 27290 |
10.13/4.21 c (0,0) c | Parse time: 0.01 s |
10.13/4.21 c (0,0) c | Eliminated clauses: 0.06 Mb |
10.13/4.21 c (0,0) c Reduced to 2140 vars, 23523 cls (grow=0)
10.13/4.21 c (0,0) c No iterative elimination performed. (vars=2140, c/v ratio=11.0)
10.13/4.21 c (0,0) c | Simplification time: 0.02 s |
10.13/4.21 c (0,0) c | |
10.13/4.21 c (0,0) c ============================[ Search Statistics ]==============================
10.13/4.21 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.13/4.21 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.13/4.21 c (0,0) c ===============================================================================
10.13/4.21 c (0,0) c ===============================================================================
10.13/4.21 c (0,0) c restarts : 8
10.13/4.21 c (0,0) c conflicts : 1275 (16288 /sec)
10.13/4.21 c (0,0) c decisions : 3027 (0.00 % random) (38669 /sec)
10.13/4.21 c (0,0) c propagations : 218132 (2786597 /sec)
10.13/4.21 c (0,0) c conflict literals : 20302 (12.77 % deleted)
10.13/4.21 c (0,0) c CPU time : 0.078279 s
10.13/4.21 c (0,0)
10.13/4.21 c (0,0) s SATISFIABLE
10.13/4.23 c (0,0) SatSolver.solve End
10.13/4.23 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.13/4.23 c (0,0) Show results Begin
10.13/4.29 s SATISFIABLE
10.37/4.30 v <instantiation>
10.37/4.30 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] hd[0] hd[1] hd[2] hd[3] ad[0] ad[1] ad[2] ad[3]</list>
10.37/4.30 v <values>0 0 5 3 1 4 3 2 1 4 0 3 2 1 4 3 1 1 2 0 0 6 5 0 2 0 1 2 1 2 7 6 4 7 5 3 7 6 4 7 5 6 5 4 2 5 6 6 7 7 6 3 7 5 3 4 0 1 26 20 9 24 19 13 12 23 3 21 15 11 22 18 7 10 16 5 6 27 25 2 17 4 8 14 2 0 3 1 6 5 7 4</values>
10.37/4.30 v </instantiation>
10.37/4.30 c (0,0) Show results End
10.37/4.30 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.37/4.30 c (0,0) 0,0,STOP-AFTER(ALL)
10.37/4.30 c END-Prog: Sun Aug 12 18:26:19 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 (5744 MiB free)
memory of node 1: 16384 MiB (6540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305442-1534091175/watcher-4305442-1534091175 -o /tmp/evaluation-result-4305442-1534091175/solver-4305442-1534091175 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305442-1534091175.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23753, runsolver pid=23750
[startup+0.100136 s]*
/proc/loadavg: 2.02 2.05 2.05 3/222 23770
/proc/meminfo: memFree=12519960/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
[pid=23756] ppid=23753 vsize=15012476 memory=73084 CPUtime=0.11 cores=0,2,4,6
/proc/23756/stat : 23756 (java) S 23753 23753 16770 0 -1 1077944320 6894 0 0 0 9 2 0 0 20 0 15 0 226680664 15372775424 18271 33554432000 4194304 4196468 140721512007888 140721511990432 139625811807991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
/proc/23756/statm: 3753119 18271 2769 1 0 3715579 0
[pid=23756/tid=23757] ppid=23753 vsize=15012476 memory=-6150928374978363329 CPUtime=0.08 cores=0,2,4,6
/proc/23756/task/23757/stat : 23757 (java) R 23753 23753 16770 0 -1 4202560 4967 0 0 0 7 1 0 0 20 0 15 0 226680665 15372775424 18271 33554432000 4194304 4196468 140721512007888 139625783613464 139625794994800 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23758] ppid=23753 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23758/stat : 23758 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 18271 33554432000 4194304 4196468 140721512007888 139625816050320 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23759] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23759/stat : 23759 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 18271 33554432000 4194304 4196468 140721512007888 139625630206480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23760] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23760/stat : 23760 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 18271 33554432000 4194304 4196468 140721512007888 139625271470480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23761] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23761/stat : 23761 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 18271 33554432000 4194304 4196468 140721512007888 139625270417680 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23762] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23762/stat : 23762 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624849427312 139625811819138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23763] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23763/stat : 23763 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624353621536 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23764] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23764/stat : 23764 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680669 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624085185904 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23765] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23765/stat : 23765 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139623710677328 139625811826587 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23766] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23766/stat : 23766 (java) S 23753 23753 16770 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624848374128 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23767] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23767/stat : 23767 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624847321328 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23768] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0.01 cores=0,2,4,6
/proc/23756/task/23768/stat : 23768 (java) R 23753 23753 16770 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624846264472 139625792134816 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23769] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23769/stat : 23769 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139623212771552 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23770] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23770/stat : 23770 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 18271 33554432000 4194304 4196468 140721512007888 139624845216944 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74476 KiB
[startup+0.210755 s]*
/proc/loadavg: 2.02 2.05 2.05 3/222 23770
/proc/meminfo: memFree=12505884/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
[pid=23756] ppid=23753 vsize=15012476 memory=86100 CPUtime=0.25 cores=0,2,4,6
/proc/23756/stat : 23756 (java) S 23753 23753 16770 0 -1 1077944320 10396 0 0 0 22 3 0 0 20 0 15 0 226680664 15372775424 21525 33554432000 4194304 4196468 140721512007888 140721511990432 139625811807991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
/proc/23756/statm: 3753119 21525 2874 1 0 3715579 0
[pid=23756/tid=23757] ppid=23753 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23756/task/23757/stat : 23757 (java) R 23753 23753 16770 0 -1 4202560 8286 0 0 0 18 2 0 0 20 0 15 0 226680665 15372775424 21525 33554432000 4194304 4196468 140721512007888 139625783625952 139625791389192 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23758] ppid=23753 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23758/stat : 23758 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 21525 33554432000 4194304 4196468 140721512007888 139625816050320 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23759] ppid=23753 vsize=15012476 memory=140337899464642 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23759/stat : 23759 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 21525 33554432000 4194304 4196468 140721512007888 139625630206480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23760] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23760/stat : 23760 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 21525 33554432000 4194304 4196468 140721512007888 139625271470480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23761] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23761/stat : 23761 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 21525 33554432000 4194304 4196468 140721512007888 139625270417680 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23762] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23762/stat : 23762 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624849427312 139625811819138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23763] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23763/stat : 23763 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624353621536 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23764] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23764/stat : 23764 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680669 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624085185904 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23765] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23765/stat : 23765 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139623710677328 139625811826587 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23766] ppid=23753 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23756/task/23766/stat : 23766 (java) S 23753 23753 16770 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624848374128 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23767] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23767/stat : 23767 (java) S 23753 23753 16770 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624847321328 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23768] ppid=23753 vsize=15012476 memory=140337898256000 CPUtime=0.03 cores=0,2,4,6
/proc/23756/task/23768/stat : 23768 (java) R 23753 23753 16770 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624846268528 139625811819926 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23769] ppid=23753 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23769/stat : 23769 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139623212771552 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23770] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23770/stat : 23770 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 21525 33554432000 4194304 4196468 140721512007888 139624845216944 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87492 KiB
[startup+0.310739 s]*
/proc/loadavg: 2.02 2.05 2.05 3/222 23770
/proc/meminfo: memFree=12502348/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
[pid=23756] ppid=23753 vsize=15012476 memory=89612 CPUtime=0.42 cores=0,2,4,6
/proc/23756/stat : 23756 (java) S 23753 23753 16770 0 -1 1077944320 10927 0 0 0 39 3 0 0 20 0 15 0 226680664 15372775424 22403 33554432000 4194304 4196468 140721512007888 140721511990432 139625811807991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
/proc/23756/statm: 3753119 22403 2977 1 0 3715579 0
[pid=23756/tid=23757] ppid=23753 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23756/task/23757/stat : 23757 (java) R 23753 23753 16770 0 -1 4202560 8656 0 0 0 27 2 0 0 20 0 15 0 226680665 15372775424 22403 33554432000 4194304 4196468 140721512007888 139625783603440 139625795888478 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23758] ppid=23753 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23758/stat : 23758 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 22403 33554432000 4194304 4196468 140721512007888 139625816050320 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23759] ppid=23753 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23759/stat : 23759 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 22403 33554432000 4194304 4196468 140721512007888 139625630206480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23760] ppid=23753 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23760/stat : 23760 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 22403 33554432000 4194304 4196468 140721512007888 139625271470480 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23761] ppid=23753 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23761/stat : 23761 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15372775424 22403 33554432000 4194304 4196468 140721512007888 139625270417680 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23762] ppid=23753 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23762/stat : 23762 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624849427312 139625811819138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23763] ppid=23753 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23763/stat : 23763 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226680668 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624353621536 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23764] ppid=23753 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23764/stat : 23764 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680669 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624085185904 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23765] ppid=23753 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23765/stat : 23765 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139623710677328 139625811826587 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23766] ppid=23753 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23756/task/23766/stat : 23766 (java) S 23753 23753 16770 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624848374128 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23767] ppid=23753 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23756/task/23767/stat : 23767 (java) S 23753 23753 16770 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624847321328 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23768] ppid=23753 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23756/task/23768/stat : 23768 (java) S 23753 23753 16770 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624846268528 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23769] ppid=23753 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23769/stat : 23769 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139623212771552 139625811818197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23770] ppid=23753 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23770/stat : 23770 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680671 15372775424 22403 33554432000 4194304 4196468 140721512007888 139624845216944 139625811819138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91004 KiB
[startup+0.701682 s]
/proc/loadavg: 2.02 2.05 2.05 3/222 23770
/proc/meminfo: memFree=12478288/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
[pid=23756] ppid=23753 vsize=15020872 memory=129580 CPUtime=1.01 cores=0,2,4,6
/proc/23756/stat : 23756 (java) S 23753 23753 16770 0 -1 1077944320 18109 0 0 0 96 5 0 0 20 0 15 0 226680664 15381372928 32395 33554432000 4194304 4196468 140721512007888 140721511990432 139625811807991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
/proc/23756/statm: 3755218 32395 3150 1 0 3716603 0
[pid=23756/tid=23757] ppid=23753 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/23756/task/23757/stat : 23757 (java) R 23753 23753 16770 0 -1 4202560 15395 0 0 0 63 4 0 0 20 0 15 0 226680665 15381372928 32395 33554432000 4194304 4196468 140721512007888 139625783638960 139625811829338 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23758] ppid=23753 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23758/stat : 23758 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680666 15381372928 32395 33554432000 4194304 4196468 140721512007888 139625816050320 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23759] ppid=23753 vsize=15020872 memory=61512 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23759/stat : 23759 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680666 15381372928 32395 33554432000 4194304 4196468 140721512007888 139625630206480 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23760] ppid=23753 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23760/stat : 23760 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15381372928 32395 33554432000 4194304 4196468 140721512007888 139625271470480 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23761] ppid=23753 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23761/stat : 23761 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15381372928 32395 33554432000 4194304 4196468 140721512007888 139625270417680 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23762] ppid=23753 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23762/stat : 23762 (java) S 23753 23753 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226680668 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624849427312 139625811819138 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23763] ppid=23753 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23763/stat : 23763 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226680668 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624353621536 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23764] ppid=23753 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23764/stat : 23764 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680669 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624085185904 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23765] ppid=23753 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23765/stat : 23765 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139623710677328 139625811826587 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23766] ppid=23753 vsize=15020872 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/23756/task/23766/stat : 23766 (java) R 23753 23753 16770 0 -1 4202560 752 0 0 0 10 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624848360672 139625796737461 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23767] ppid=23753 vsize=15020872 memory=10096 CPUtime=0.05 cores=0,2,4,6
/proc/23756/task/23767/stat : 23767 (java) R 23753 23753 16770 0 -1 4202560 171 0 0 0 5 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624847312656 139625793332813 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23768] ppid=23753 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/23756/task/23768/stat : 23768 (java) R 23753 23753 16770 0 -1 4202560 454 0 0 0 16 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624846268528 139625811819926 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23769] ppid=23753 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23769/stat : 23769 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139623212771552 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23770] ppid=23753 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23770/stat : 23770 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680671 15381372928 32395 33554432000 4194304 4196468 140721512007888 139624845216944 139625811819138 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130972 KiB
[startup+1.51127 s]
/proc/loadavg: 2.02 2.05 2.05 3/222 23770
/proc/meminfo: memFree=12449256/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226680664 115843072 348 33554432000 4194304 5098028 140727044378048 140727044375304 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 348 296 221 0 87 0
[pid=23756] ppid=23753 vsize=15027084 memory=532176 CPUtime=8.41 cores=0,2,4,6
/proc/23756/stat : 23756 (java) S 23753 23753 16770 0 -1 1077944320 28082 0 0 0 825 16 0 0 20 0 15 0 226680664 15387734016 133044 33554432000 4194304 4196468 140721512007888 140721511990432 139625811807991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
/proc/23756/statm: 3756771 133044 3208 1 0 3717627 0
[pid=23756/tid=23757] ppid=23753 vsize=15027084 memory=0 CPUtime=3.15 cores=0,2,4,6
/proc/23756/task/23757/stat : 23757 (java) R 23753 23753 16770 0 -1 4202560 17341 0 0 0 303 12 0 0 20 0 15 0 226680665 15387734016 133044 33554432000 4194304 4196468 140721512007888 139625783638376 139625312920487 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23758] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23758/stat : 23758 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680666 15387734016 133044 33554432000 4194304 4196468 140721512007888 139625816050320 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23759] ppid=23753 vsize=15027084 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23759/stat : 23759 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680666 15387734016 133044 33554432000 4194304 4196468 140721512007888 139625630206480 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23760] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23760/stat : 23760 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15387734016 133044 33554432000 4194304 4196468 140721512007888 139625271470480 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23761] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23761/stat : 23761 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226680666 15387734016 133044 33554432000 4194304 4196468 140721512007888 139625270417680 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23762] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23762/stat : 23762 (java) S 23753 23753 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226680668 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624849427312 139625811819138 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23763] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23763/stat : 23763 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226680668 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624353621536 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23764] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23764/stat : 23764 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680669 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624085185904 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23765] ppid=23753 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23765/stat : 23765 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139623710677328 139625811826587 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23766] ppid=23753 vsize=15027084 memory=0 CPUtime=2.01 cores=0,2,4,6
/proc/23756/task/23766/stat : 23766 (java) R 23753 23753 16770 0 -1 4202560 2614 0 0 0 201 0 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624848363840 139625795304779 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23767] ppid=23753 vsize=15027084 memory=0 CPUtime=2.03 cores=0,2,4,6
/proc/23756/task/23767/stat : 23767 (java) R 23753 23753 16770 0 -1 4202560 3078 0 0 0 202 1 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624847300080 139625796733040 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23768] ppid=23753 vsize=15027084 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/23756/task/23768/stat : 23768 (java) S 23753 23753 16770 0 -1 1077944384 3712 0 0 0 117 1 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624846268528 139625811819138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23769] ppid=23753 vsize=15027084 memory=3472468634015751712 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23769/stat : 23769 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139623212771552 139625811818197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
[pid=23756/tid=23770] ppid=23753 vsize=15027084 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/23756/task/23770/stat : 23770 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226680671 15387734016 133044 33554432000 4194304 4196468 140721512007888 139624845216944 139625811819138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10969088 140721512014854 140721512015153 140721512015153 140721512017871 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 533568 KiB
[startup+4.00021 s]*
/proc/loadavg: 2.18 2.08 2.06 4/222 23785
/proc/meminfo: memFree=12497436/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1468 CPUtime=8.98 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 590 29752 0 0 0 0 879 19 20 0 1 0 226680664 115843072 367 33554432000 4194304 5098028 140727044378048 140727044374792 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 367 311 221 0 87 0
[pid=23771] ppid=23753 vsize=7408432 memory=94400 CPUtime=0.83 cores=0,2,4,6
/proc/23771/stat : 23771 (java) S 23753 23753 16770 0 -1 1077944320 17368 0 0 0 79 4 0 0 20 0 15 0 226681003 7586234368 23600 33554432000 4194304 4196468 140730256868272 140730256850816 140699200646903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
/proc/23771/statm: 1852108 23600 3061 1 0 1814042 0
[pid=23771/tid=23772] ppid=23753 vsize=7408432 memory=-6457718129571876646 CPUtime=0.59 cores=0,2,4,6
/proc/23771/task/23772/stat : 23772 (java) R 23753 23753 16770 0 -1 4202560 14732 0 0 0 56 3 0 0 20 0 15 0 226681003 7586234368 23600 33554432000 4194304 4196468 140730256868272 140699172481264 140699200668829 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23773] ppid=23753 vsize=7408432 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23773/stat : 23773 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681005 7586234368 23600 33554432000 4194304 4196468 140730256868272 140699204889360 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23774] ppid=23753 vsize=7408432 memory=734280060684674736 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23774/stat : 23774 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681005 7586234368 23600 33554432000 4194304 4196468 140730256868272 140699036138384 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23775] ppid=23753 vsize=7408432 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23775/stat : 23775 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681005 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698685123600 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23776] ppid=23753 vsize=7408432 memory=7301190622977722927 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23776/stat : 23776 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681005 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698684071056 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23777] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23777/stat : 23777 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681006 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698647029744 140699200658050 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23778] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23778/stat : 23778 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226681007 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698028336032 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23779] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23779/stat : 23779 (java) S 23753 23753 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226681007 7586234368 23600 33554432000 4194304 4196468 140730256868272 140697894114288 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23780] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23780/stat : 23780 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681009 7586234368 23600 33554432000 4194304 4196468 140730256868272 140697519610064 140699200665499 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23781] ppid=23753 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23771/task/23781/stat : 23781 (java) S 23753 23753 16770 0 -1 1077944384 535 0 0 0 4 0 0 0 20 0 15 0 226681009 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698645977584 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23782] ppid=23753 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23771/task/23782/stat : 23782 (java) S 23753 23753 16770 0 -1 1077944384 166 0 0 0 4 0 0 0 20 0 15 0 226681009 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698644925040 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23783] ppid=23753 vsize=7408432 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/23771/task/23783/stat : 23783 (java) R 23753 23753 16770 0 -1 4202560 584 0 0 0 14 0 0 0 20 0 15 0 226681009 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698643872496 140699200668250 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23784] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23784/stat : 23784 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681009 7586234368 23600 33554432000 4194304 4196468 140730256868272 140697021705312 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23785] ppid=23753 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23785/stat : 23785 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681010 7586234368 23600 33554432000 4194304 4196468 140730256868272 140698642819376 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 95868 KiB
[startup+4.20167 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 23785
/proc/meminfo: memFree=12497436/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1468 CPUtime=8.98 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 590 29752 0 0 0 0 879 19 20 0 1 0 226680664 115843072 367 33554432000 4194304 5098028 140727044378048 140727044374792 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 367 311 221 0 87 0
[pid=23771] ppid=23753 vsize=8068220 memory=114240 CPUtime=1.15 cores=0,2,4,6
/proc/23771/stat : 23771 (java) S 23753 23753 16770 0 -1 1077944320 18844 0 0 0 110 5 0 0 20 0 19 0 226681003 8261857280 28560 33554432000 4194304 4196468 140730256868272 140730256850816 140699200646903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
/proc/23771/statm: 2017055 28560 3146 1 0 1978454 0
[pid=23771/tid=23772] ppid=23753 vsize=8068220 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/23771/task/23772/stat : 23772 (java) S 23753 23753 16770 0 -1 1077944384 15646 0 0 0 71 4 0 0 20 0 19 0 226681003 8261857280 28560 33554432000 4194304 4196468 140730256868272 140699172487056 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23773] ppid=23753 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23773/stat : 23773 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226681005 8261857280 28560 33554432000 4194304 4196468 140730256868272 140699204889360 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23774] ppid=23753 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23774/stat : 23774 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226681005 8261857280 28560 33554432000 4194304 4196468 140730256868272 140699036138384 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23775] ppid=23753 vsize=8068220 memory=288230591739212052 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23775/stat : 23775 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226681005 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698685123600 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23776] ppid=23753 vsize=8068220 memory=16101455274707249 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23776/stat : 23776 (java) S 23753 23753 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226681005 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698684071056 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23777] ppid=23753 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23777/stat : 23777 (java) S 23753 23753 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 226681006 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698647029744 140699200658050 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23778] ppid=23753 vsize=8068220 memory=4641048898434322538 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23778/stat : 23778 (java) S 23753 23753 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226681007 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698028336032 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23779] ppid=23753 vsize=8068220 memory=6154820267226784105 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23779/stat : 23779 (java) S 23753 23753 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226681007 8261857280 28560 33554432000 4194304 4196468 140730256868272 140697894114288 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23780] ppid=23753 vsize=8068220 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23780/stat : 23780 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226681009 8261857280 28560 33554432000 4194304 4196468 140730256868272 140697519610064 140699200665499 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23781] ppid=23753 vsize=8068220 memory=-5874771483550381248 CPUtime=0.08 cores=0,2,4,6
/proc/23771/task/23781/stat : 23781 (java) S 23753 23753 16770 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 19 0 226681009 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698645977584 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23782] ppid=23753 vsize=8068220 memory=-7395679465411340910 CPUtime=0.08 cores=0,2,4,6
/proc/23771/task/23782/stat : 23782 (java) S 23753 23753 16770 0 -1 1077944384 265 0 0 0 8 0 0 0 20 0 19 0 226681009 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698644925040 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23783] ppid=23753 vsize=8068220 memory=6944656592455360569 CPUtime=0.21 cores=0,2,4,6
/proc/23771/task/23783/stat : 23783 (java) S 23753 23753 16770 0 -1 1077944384 751 0 0 0 21 0 0 0 20 0 19 0 226681009 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698643872496 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23784] ppid=23753 vsize=8068220 memory=-7531822216215565666 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23784/stat : 23784 (java) S 23753 23753 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226681009 8261857280 28560 33554432000 4194304 4196468 140730256868272 140697021705312 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23785] ppid=23753 vsize=8068220 memory=6944656592452807325 CPUtime=0 cores=0,2,4,6
/proc/23771/task/23785/stat : 23785 (java) S 23753 23753 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226681010 8261857280 28560 33554432000 4194304 4196468 140730256868272 140698642819376 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
Current children cumulated CPU time: 10.13 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 115708 KiB
[startup+4.30067 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 23785
/proc/meminfo: memFree=12497436/32770624 swapFree=67108860/67108860
[pid=23753] ppid=23750 vsize=113128 memory=1468 CPUtime=8.98 cores=0,2,4,6
/proc/23753/stat : 23753 (scop.sh) S 23750 23753 16770 0 -1 4202496 590 29752 0 0 0 0 879 19 20 0 1 0 226680664 115843072 367 33554432000 4194304 5098028 140727044378048 140727044374792 139866153509500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140727044379712 140727044379911 140727044379911 140727044382669 0
/proc/23753/statm: 28282 367 311 221 0 87 0
[pid=23771] ppid=23753 vsize=7937144 memory=119924 CPUtime=1.39 cores=0,2,4,6
/proc/23771/stat : 23771 (java) S 23753 23753 16770 0 -1 1077944320 19284 1717 0 0 126 6 7 0 20 0 17 0 226681003 8127635456 29981 33554432000 4194304 4196468 140730256868272 140730256850816 140699200646903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
/proc/23771/statm: 1984286 29981 3158 1 0 1945685 0
[pid=23771/tid=23772] ppid=23753 vsize=7937144 memory=1468 CPUtime=0.89 cores=0,2,4,6
/proc/23771/task/23772/stat : 23772 (java) R 23753 23753 16770 0 -1 4202560 15901 1717 0 0 78 4 7 0 20 0 17 0 226681003 8127635456 29981 33554432000 4194304 4196468 140730256868272 140699172483856 140699200658838 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23773] ppid=23753 vsize=7937144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23773/stat : 23773 (java) S 23753 23753 16770 0 -1 1077944384 1 1717 0 0 0 0 7 0 20 0 17 0 226681005 8127635456 29981 33554432000 4194304 4196468 140730256868272 140699204889360 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23774] ppid=23753 vsize=7937144 memory=-3621219749712857441 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23774/stat : 23774 (java) S 23753 23753 16770 0 -1 1077944384 1 1717 0 0 0 0 7 0 20 0 17 0 226681005 8127635456 29981 33554432000 4194304 4196468 140730256868272 140699036138384 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23775] ppid=23753 vsize=7937144 memory=102104 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23775/stat : 23775 (java) S 23753 23753 16770 0 -1 1077944384 1 1717 0 0 0 0 7 0 20 0 17 0 226681005 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698685123600 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23776] ppid=23753 vsize=7937144 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23776/stat : 23776 (java) S 23753 23753 16770 0 -1 1077944384 2 1717 0 0 0 0 7 0 20 0 17 0 226681005 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698684071056 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23777] ppid=23753 vsize=7937144 memory=13567093857585738 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23777/stat : 23777 (java) S 23753 23753 16770 0 -1 1077944384 6 1717 0 0 0 0 7 0 20 0 17 0 226681006 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698647029744 140699200658050 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23778] ppid=23753 vsize=7937144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23778/stat : 23778 (java) S 23753 23753 16770 0 -1 1077944384 13 1717 0 0 0 0 7 0 20 0 17 0 226681007 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698028336032 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23779] ppid=23753 vsize=7937144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23779/stat : 23779 (java) S 23753 23753 16770 0 -1 1077944384 21 1717 0 0 0 0 7 0 20 0 17 0 226681007 8127635456 29981 33554432000 4194304 4196468 140730256868272 140697894114288 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23780] ppid=23753 vsize=7937144 memory=280675576375776 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23780/stat : 23780 (java) S 23753 23753 16770 0 -1 1077944384 3 1717 0 0 0 0 7 0 20 0 17 0 226681009 8127635456 29981 33554432000 4194304 4196468 140730256868272 140697519610064 140699200665499 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23781] ppid=23753 vsize=7937144 memory=140337788208624 CPUtime=0.16 cores=0,2,4,6
/proc/23771/task/23781/stat : 23781 (java) S 23753 23753 16770 0 -1 1077944384 764 1717 0 0 9 0 7 0 20 0 17 0 226681009 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698645977584 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23782] ppid=23753 vsize=7937144 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/23771/task/23782/stat : 23782 (java) R 23753 23753 16770 0 -1 1077944384 278 1717 0 0 9 0 7 0 20 0 17 0 226681009 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698644925040 140699200658050 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23783] ppid=23753 vsize=7937144 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/23771/task/23783/stat : 23783 (java) R 23753 23753 16770 0 -1 4202560 858 1717 0 0 25 0 7 0 20 0 17 0 226681009 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698643872496 140699184690533 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23784] ppid=23753 vsize=7937144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23784/stat : 23784 (java) S 23753 23753 16770 0 -1 1077944384 3 1717 0 0 0 0 7 0 20 0 17 0 226681009 8127635456 29981 33554432000 4194304 4196468 140730256868272 140697021705312 140699200657109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
[pid=23771/tid=23785] ppid=23753 vsize=7937144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23771/task/23785/stat : 23785 (java) S 23753 23753 16770 0 -1 1077944384 1 1717 0 0 0 0 7 0 20 0 17 0 226681010 8127635456 29981 33554432000 4194304 4196468 140730256868272 140698642819376 140699200658050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22364160 140730256872629 140730256872753 140730256872753 140730256875471 0
Current children cumulated CPU time: 10.37 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121392 KiB
Child status: 0
Real time (s): 4.34028
CPU time (s): 10.4201
CPU user time (s): 10.1508
CPU system time (s): 0.269318
CPU usage (%): 240.078
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 567516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1508
system time used= 0.269318
maximum resident set size= 572696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6012
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 23753
# total CPU time (s): 10.4201
# total CPU user time (s): 10.1508
# total CPU system time (s): 0.269318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050809 second user time and 0.090837 second system time
The end