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-2220-serial-file.bin HOME/instance-4305613-1534136610.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: Mon Aug 13 07:03:30 CEST 2018
0.66/0.55 c PID: 2223
0.66/0.55 c IP: 172.20.3.148
0.66/0.55 c HOST: node148.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.58/0.94 c (0,0) Parsing End
1.58/0.95 c (0,0) CSP: 85 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 25
1.58/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/0.95 c (0,0) Constraint Name Generate Begin
1.58/0.96 c (0,0) Ctr:HOME/instance-4305613-1534136610.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.58/0.96 c (0,0) Constraint Name Generate End
1.58/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/0.96 c (0,0) CSP to CSPinCNF Begin
3.86/1.77 c (1,1) translated 5 (10%) constraints
5.12/2.13 c (1,1) translated 10 (20%) constraints
5.70/2.36 c (1,1) translated 14 (30%) constraints
6.59/2.62 c (2,2) translated 19 (40%) constraints
7.21/2.81 c (2,2) translated 23 (50%) constraints
7.50/2.99 c (2,2) translated 28 (60%) constraints
7.50/2.99 c (2,2) translated 33 (70%) constraints
7.50/2.99 c (2,2) translated 37 (80%) constraints
7.50/2.99 c (2,2) translated 42 (90%) constraints
7.50/2.99 c (2,2) translated 46 (100%) constraints
8.44/3.30 c (2,2) STATISTICS1:HOME/instance-4305613-1534136610.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,3785,22072,25,25,26,2,25:300,25:1850;8:21040;2:38475;1:5280,26:25;25:2;5:250;4:8075;3:5000;2:8700;1:20,2:300;1:66065;0:25,
8.44/3.30 c (2,2) ==========================================
8.44/3.30 c (2,2) Both Encoding selects:
8.44/3.30 c (2,2) Order
8.44/3.30 c (2,2) ==========================================
9.11/3.40 c (2,2) translated 2208 (10%) constraints
9.11/3.45 c (2,2) translated 4415 (20%) constraints
9.42/3.50 c (2,2) translated 6622 (30%) constraints
9.42/3.54 c (3,2) translated 8829 (40%) constraints
9.42/3.58 c (3,3) translated 11036 (50%) constraints
9.71/3.62 c (3,3) translated 13244 (60%) constraints
9.71/3.66 c (3,3) translated 15451 (70%) constraints
10.03/3.71 c (3,3) translated 17658 (80%) constraints
10.03/3.74 c (3,3) translated 19865 (90%) constraints
10.03/3.79 c (3,3) translated 22072 (100%) constraints
10.03/3.79 c (3,3) CSP to CSPinCNF End
10.37/3.80 c (3,3) CSP: 85 int (0 aux), 3700 bool (3700 aux), 22092 ctr, max domain size 25
10.37/3.80 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.37/3.80 c (3,3) CSPinCNF Propagation Begin
11.62/4.22 c (3,3) 1529 values, 8631 unsatisfiable literals, and 8676 valid clauses are removed
11.62/4.22 c (3,3) CSPinCNF Propagation End
11.62/4.22 c (3,3) CSP: 1422 int (1337 aux), 2363 bool (2363 aux), 13416 ctr, max domain size 25
11.62/4.22 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.62/4.22 c (3,3) Simplify CSPinCNF Begin
11.62/4.29 c (3,3) Simplify CSPinCNF End
11.62/4.29 c (3,3) CSP: 1422 int (1337 aux), 2963 bool (2963 aux), 14016 ctr, max domain size 25
11.62/4.29 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.62/4.29 c (3,3) Calculate Precise Domain Begin
11.62/4.29 c (3,3) 0 values are removed by re-calculation
11.62/4.29 c (3,3) Calculate Precise Domain End
11.62/4.29 c (3,3) CSP: 1422 int (1337 aux), 2963 bool (2963 aux), 14016 ctr, max domain size 25
11.62/4.29 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.62/4.29 c (3,3) CSPinCNF to SatSolver Begin
12.21/4.45 c (3,3) 1402 (10 %) CSP clauses are encoded (3651 SAT variables, 9512 SAT clauses)
12.21/4.47 c (3,3) 2804 (20 %) CSP clauses are encoded (3651 SAT variables, 10914 SAT clauses)
12.21/4.48 c (3,3) 4205 (30 %) CSP clauses are encoded (3651 SAT variables, 12315 SAT clauses)
12.53/4.51 c (3,3) 5607 (40 %) CSP clauses are encoded (3651 SAT variables, 13717 SAT clauses)
12.53/4.51 c (3,3) 7008 (50 %) CSP clauses are encoded (3651 SAT variables, 15118 SAT clauses)
12.53/4.53 c (4,3) 8410 (60 %) CSP clauses are encoded (3651 SAT variables, 16520 SAT clauses)
12.53/4.54 c (4,3) 9812 (70 %) CSP clauses are encoded (3651 SAT variables, 17922 SAT clauses)
12.53/4.55 c (4,4) 11213 (80 %) CSP clauses are encoded (3651 SAT variables, 19323 SAT clauses)
12.53/4.57 c (4,4) 12615 (90 %) CSP clauses are encoded (3651 SAT variables, 20725 SAT clauses)
12.53/4.58 c (4,4) 14016 (100 %) CSP clauses are encoded (3651 SAT variables, 22126 SAT clauses)
12.53/4.58 c (4,4) Launch Command will be: minisat_release
12.53/4.58 c (4,4) CSPinCNF to SatSolver End
12.53/4.58 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.87/4.67 c (4,4) STATISTICS2:HOME/instance-4305613-1534136610.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,4385,14016,25,25,25,2,25:72;16:348;4:180,25:882;16:948;8:15194;4:220;2:23732,25:10;16:12;9:1;5:120;4:4274;3:3031;2:6568,2:600;1:39776,
12.87/4.67 c (4,4) 3651 bool, 22127 clause
12.87/4.67 c (4,4) Export Begin
13.17/4.77 c (4,4) Export to HOME/scop-2220-serial-file.bin
13.17/4.77 c (4,4) Export End
13.17/4.77 c (4,4) Export File Size: 0.02 MB
13.17/4.77 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.17/4.77 c END-Prog: Mon Aug 13 07:03:35 CEST 2018
13.44/5.10 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-2220-serial-file.bin
13.45/5.59 c (0,0) Read Serial File Begin
13.45/5.59 c (0,0) HOME/scop-2220-serial-file.bin
13.45/5.77 c (0,0) Read Serial File End
13.45/5.78
13.45/5.78 scop order+minisat_release (2018-07-31)
13.45/5.78 (Solving Process)
13.45/5.78
13.45/5.80 c BEGIN-Prog: Mon Aug 13 07:03:36 CEST 2018
13.45/5.80 c PID: 2286
13.45/5.80 c IP: 172.20.3.148
13.45/5.80 c HOST: node148.alineos.net
13.45/5.81 c (0,0) SatSolver.solve Begin
13.45/5.81 c (0,0) 0 bool, 0 clause
13.45/5.81 c (0,0) minisat_release HOME/instance-4305613-1534136610.xml-scop-2223.cnf
13.45/6.00 c (0,0) c This is COMiniSatPS.
13.45/6.00 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.45/6.00 c (0,0) c ============================[ Problem Statistics ]=============================
13.45/6.00 c (0,0) c | |
13.45/6.00 c (0,0) c | Number of variables: 3651 |
13.45/6.00 c (0,0) c | Number of clauses: 22127 |
13.45/6.00 c (0,0) c | Parse time: 0.01 s |
13.45/6.00 c (0,0) c | Eliminated clauses: 0.05 Mb |
13.45/6.00 c (0,0) c Reduced to 2096 vars, 16955 cls (grow=0)
13.45/6.00 c (0,0) c No iterative elimination performed. (vars=2096, c/v ratio=8.1)
13.45/6.00 c (0,0) c | Simplification time: 0.02 s |
13.45/6.00 c (0,0) c | |
13.45/6.00 c (0,0) c ============================[ Search Statistics ]==============================
13.45/6.00 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
13.45/6.00 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.45/6.00 c (0,0) c ===============================================================================
13.45/6.00 c (0,0) c ===============================================================================
13.45/6.00 c (0,0) c restarts : 22
13.45/6.00 c (0,0) c conflicts : 2958 (17548 /sec)
13.45/6.00 c (0,0) c decisions : 8272 (0.00 % random) (49071 /sec)
13.45/6.00 c (0,0) c propagations : 669507 (3971662 /sec)
13.45/6.00 c (0,0) c conflict literals : 91812 (23.40 % deleted)
13.45/6.00 c (0,0) c CPU time : 0.168571 s
13.45/6.00 c (0,0)
13.45/6.00 c (0,0) s SATISFIABLE
14.75/6.02 c (0,0) SatSolver.solve End
14.75/6.02 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.75/6.02 c (0,0) Show results Begin
14.75/6.07 s SATISFIABLE
14.75/6.08 v <instantiation>
14.75/6.08 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4]</list>
14.75/6.08 v <values>3 10 9 15 2 4 17 19 24 8 5 16 23 21 12 14 18 22 20 7 1 6 11 13 0 0 0 0 0 0 1 6 5 7 2 1 5 7 7 1 3 4 5 6 3 2 5 7 6 1 0 3 2 2 3 0 4 4 7 6 0 4 6 7 4 0 6 5 4 5 0 1 2 3 1 0 0 0 0 0 0 0 0 0 0</values>
14.75/6.08 v </instantiation>
14.75/6.08 c (0,0) Show results End
14.75/6.08 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
14.75/6.08 c (0,0) 0,0,STOP-AFTER(ALL)
14.75/6.08 c END-Prog: Mon Aug 13 07:03:36 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 (9544 MiB free)
memory of node 1: 16384 MiB (7033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305613-1534136610/watcher-4305613-1534136610 -o /tmp/evaluation-result-4305613-1534136610/solver-4305613-1534136610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534134102-1817 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305613-1534136610.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
solver pid=2220, runsolver pid=2217
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 2.02 2.02 2.05 3/200 2240
/proc/meminfo: memFree=16935840/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15012476 memory=72888 CPUtime=0.11 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 6893 0 0 0 9 2 0 0 20 0 15 0 231224119 15372775424 18222 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3753119 18222 2749 1 0 3715579 0
[pid=2223/tid=2224] ppid=2220 vsize=15012476 memory=-7390251449858225344 CPUtime=0.09 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) R 2220 2220 1786 0 -1 4202560 5049 0 0 0 7 2 0 0 20 0 15 0 231224120 15372775424 18353 33554432000 4194304 4196468 140736625845440 140351085181472 140351097427294 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15012476 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 18353 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2229] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2229/stat : 2229 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350150986224 140351113357954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 18353 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15372775424 18353 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 18353 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) S 2220 2220 1786 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350149933040 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350148880496 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0.01 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) R 2220 2220 1786 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 231224126 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350147827952 140351092293138 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 18353 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15372775424 18353 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74284 KiB
[startup+0.210564 s]*
/proc/loadavg: 2.02 2.02 2.05 2/198 2252
/proc/meminfo: memFree=16924660/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15012476 memory=86424 CPUtime=0.24 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 10458 0 0 0 21 3 0 0 20 0 15 0 231224119 15372775424 21606 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3753119 21606 2868 1 0 3715579 0
[pid=2223/tid=2224] ppid=2220 vsize=15012476 memory=8390339637985935414 CPUtime=0.19 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) R 2220 2220 1786 0 -1 4202560 8363 0 0 0 17 2 0 0 20 0 15 0 231224120 15372775424 21606 33554432000 4194304 4196468 140736625845440 140351085162480 140350616129920 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15012476 memory=288230596134830103 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 21606 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15012476 memory=14838815101593240 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2229] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2229/stat : 2229 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350150986224 140351113357954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 21606 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15372775424 21606 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 21606 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) S 2220 2220 1786 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350149933040 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) S 2220 2220 1786 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350148880496 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0.02 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) R 2220 2220 1786 0 -1 4202560 288 0 0 0 2 0 0 0 20 0 15 0 231224126 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350147827952 140351098714013 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 21606 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15012476 memory=140323678365312 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15372775424 21606 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87820 KiB
[startup+0.310497 s]*
/proc/loadavg: 2.02 2.02 2.05 3/199 2259
/proc/meminfo: memFree=16922676/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15012476 memory=90216 CPUtime=0.42 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 10993 0 0 0 39 3 0 0 20 0 15 0 231224119 15372775424 22554 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3753119 22554 3013 1 0 3715579 0
[pid=2223/tid=2224] ppid=2220 vsize=15012476 memory=8325818968683490714 CPUtime=0.3 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) R 2220 2220 1786 0 -1 4202560 8736 0 0 0 27 3 0 0 20 0 15 0 231224120 15372775424 22554 33554432000 4194304 4196468 140736625845440 140351085141808 140351094911290 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 22554 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2229] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2229/stat : 2229 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350150986224 140351113357954 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224123 15372775424 22554 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15372775424 22554 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 22554 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) S 2220 2220 1786 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 231224126 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350149933040 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) S 2220 2220 1786 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 231224126 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350148880496 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) S 2220 2220 1786 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 231224126 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350147827952 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15372775424 22554 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15372775424 22554 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91612 KiB
[startup+0.700794 s]
/proc/loadavg: 2.02 2.02 2.05 5/219 2285
/proc/meminfo: memFree=16818508/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15020872 memory=129504 CPUtime=1 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 18051 0 0 0 94 6 0 0 20 0 15 0 231224119 15381372928 32376 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3755218 32376 3147 1 0 3716603 0
[pid=2223/tid=2224] ppid=2220 vsize=15020872 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) R 2220 2220 1786 0 -1 4202560 15418 0 0 0 62 5 0 0 20 0 15 0 231224120 15381372928 32376 33554432000 4194304 4196468 140736625845440 140351085168208 140351113368733 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15381372928 32376 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15020872 memory=164 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15020872 memory=4351193298368549464 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2229] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2229/stat : 2229 (java) S 2220 2220 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231224123 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350150986224 140351113357954 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224123 15381372928 32376 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15381372928 32376 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15381372928 32376 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) R 2220 2220 1786 0 -1 4202560 696 0 0 0 8 0 0 0 20 0 15 0 231224126 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350149920880 140351113368154 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) S 2220 2220 1786 0 -1 1077944384 212 0 0 0 6 0 0 0 20 0 15 0 231224126 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350148880496 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15020872 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) R 2220 2220 1786 0 -1 4202560 392 0 0 0 16 0 0 0 20 0 15 0 231224126 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350147827952 140351106443548 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15020872 memory=62872 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15381372928 32376 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15020872 memory=2148 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15381372928 32376 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130900 KiB
[startup+1.50082 s]
/proc/loadavg: 2.02 2.02 2.05 4/219 2285
/proc/meminfo: memFree=16744264/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15385567232 164485 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15024968 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15385567232 164485 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15024968 memory=1616 CPUtime=2.13 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) R 2220 2220 1786 0 -1 4202560 1920 0 0 0 213 0 0 0 20 0 15 0 231224126 15385567232 164485 33554432000 4194304 4196468 140736625845440 140350149913232 140351093200380 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15024968 memory=756 CPUtime=2.05 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) R 2220 2220 1786 0 -1 4202560 2708 0 0 0 204 1 0 0 20 0 15 0 231224126 15385567232 164485 33554432000 4194304 4196468 140736625845440 140350148871152 140351098227069 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15024968 memory=9624 CPUtime=0.88 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) S 2220 2220 1786 0 -1 1077944384 2811 0 0 0 87 1 0 0 20 0 15 0 231224126 15385567232 164485 33554432000 4194304 4196468 140736625845440 140350147827952 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15024968 memory=280647122375248 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15385567232 164485 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15385567232 164485 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 659336 KiB
[startup+6.09573 s]
# the end of solver process 2220 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.5558 s, system=0.383618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20098 s]
/proc/loadavg: 2.18 2.06 2.06 6/219 2285
/proc/meminfo: memFree=15720056/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15024968 memory=689240 CPUtime=8.44 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 26388 0 0 0 825 19 0 0 20 0 15 0 231224119 15385567232 172310 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3756242 172310 3199 1 0 3717627 0
[pid=2223/tid=2224] ppid=2220 vsize=15024968 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) R 2220 2220 1786 0 -1 4202560 16999 0 0 0 302 14 0 0 20 0 15 0 231224120 15385567232 172310 33554432000 4194304 4196468 140736625845440 140351085182296 140350625503303 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15024968 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15385567232 172310 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15024968 memory=3467828020972500290 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231224121 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15024968 memory=280647122196016 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224121 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2229] ppid=2220 vsize=15024968 memory=9258 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2229/stat : 2229 (java) S 2220 2220 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231224123 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350150986224 140351113357954 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15024968 memory=1226235 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231224123 15385567232 172310 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224124 15385567232 172310 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15385567232 172310 33554432000 4194304 4196468 140736625845440 140349157497552 140351113365403 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15024968 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) R 2220 2220 1786 0 -1 4202560 2473 0 0 0 222 0 0 0 20 0 15 0 231224126 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350149918920 140351093032761 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15024968 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) R 2220 2220 1786 0 -1 4202560 2770 0 0 0 213 1 0 0 20 0 15 0 231224126 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350148871152 140351098268610 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15024968 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) S 2220 2220 1786 0 -1 1077944384 2811 0 0 0 87 1 0 0 20 0 15 0 231224126 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350147827952 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231224126 15385567232 172310 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2240] ppid=2220 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2240/stat : 2240 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231224127 15385567232 172310 33554432000 4194304 4196468 140736625845440 140350146775856 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 690636 KiB
[startup+4.80076 s]
/proc/loadavg: 2.18 2.06 2.06 8/219 2285
/proc/meminfo: memFree=15186936/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231224119 115843072 349 33554432000 4194304 5098028 140733741604960 140733741602216 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 349 296 221 0 87 0
[pid=2223] ppid=2220 vsize=15029152 memory=1180076 CPUtime=13.44 cores=0,2,4,6
/proc/2223/stat : 2223 (java) S 2220 2220 1786 0 -1 1077944320 31446 0 0 0 1316 28 0 0 20 0 13 0 231224119 15389851648 295019 33554432000 4194304 4196468 140736625845440 140736625827984 140351113346807 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
/proc/2223/statm: 3757288 295019 3228 1 0 3718139 0
[pid=2223/tid=2224] ppid=2220 vsize=15029152 memory=8112282956445269571 CPUtime=4.72 cores=0,2,4,6
/proc/2223/task/2224/stat : 2224 (java) D 2220 2220 1786 0 -1 4202560 18108 0 0 0 450 22 0 0 20 0 13 0 231224120 15389851648 295019 33554432000 4194304 4196468 140736625845440 140351085190456 140351106032439 0 0 2 25189581 18446744072099941509 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2225] ppid=2220 vsize=15029152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2225/stat : 2225 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 231224121 15389851648 295019 33554432000 4194304 4196468 140736625845440 140351117588752 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2226] ppid=2220 vsize=15029152 memory=280647122079168 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2226/stat : 2226 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 231224121 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350573586832 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2227] ppid=2220 vsize=15029152 memory=2320398154462478949 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2227/stat : 2227 (java) S 2220 2220 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 231224121 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350572534288 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2228] ppid=2220 vsize=15029152 memory=7380948338409497427 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2228/stat : 2228 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 231224121 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350571481744 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2230] ppid=2220 vsize=15029152 memory=5939804150021317989 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2230/stat : 2230 (java) S 2220 2220 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 231224123 15389851648 295019 33554432000 4194304 4196468 140736625845440 140349800441248 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2231] ppid=2220 vsize=15029152 memory=7079770014140616784 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2231/stat : 2231 (java) S 2220 2220 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 231224124 15389851648 295019 33554432000 4194304 4196468 140736625845440 140349532005872 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2235] ppid=2220 vsize=15029152 memory=7019467088040505906 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2235/stat : 2235 (java) S 2220 2220 1786 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 13 0 231224126 15389851648 295019 33554432000 4194304 4196468 140736625845440 140349157494320 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2236] ppid=2220 vsize=15029152 memory=0 CPUtime=3.72 cores=0,2,4,6
/proc/2223/task/2236/stat : 2236 (java) S 2220 2220 1786 0 -1 1077944384 3417 0 0 0 371 1 0 0 20 0 13 0 231224126 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350149918112 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2237] ppid=2220 vsize=15029152 memory=3467824627897411793 CPUtime=3.56 cores=0,2,4,6
/proc/2223/task/2237/stat : 2237 (java) S 2220 2220 1786 0 -1 1077944384 3463 0 0 0 355 1 0 0 20 0 13 0 231224126 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350148864688 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2238] ppid=2220 vsize=15029152 memory=29284 CPUtime=1.39 cores=0,2,4,6
/proc/2223/task/2238/stat : 2238 (java) S 2220 2220 1786 0 -1 1077944384 5102 0 0 0 137 2 0 0 20 0 13 0 231224126 15389851648 295019 33554432000 4194304 4196468 140736625845440 140350147827952 140351113357954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
[pid=2223/tid=2239] ppid=2220 vsize=15029152 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2223/task/2239/stat : 2239 (java) S 2220 2220 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 231224126 15389851648 295019 33554432000 4194304 4196468 140736625845440 140348659591776 140351113357013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32481280 140736625853448 140736625853745 140736625853745 140736625856463 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 1181472 KiB
[startup+5.60027 s]
/proc/loadavg: 2.18 2.06 2.06 4/217 2285
/proc/meminfo: memFree=14633892/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1472 CPUtime=13.45 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 589 31772 0 0 0 0 1316 29 20 0 1 0 231224119 115843072 368 33554432000 4194304 5098028 140733741604960 140733741601704 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 13.45 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+6.00026 s]*
/proc/loadavg: 2.18 2.06 2.06 4/224 2306
/proc/meminfo: memFree=15343652/32770624 swapFree=67108404/67108860
[pid=2220] ppid=2217 vsize=113128 memory=1472 CPUtime=13.45 cores=0,2,4,6
/proc/2220/stat : 2220 (scop.sh) S 2217 2220 1786 0 -1 4202496 589 31772 0 0 0 0 1316 29 20 0 1 0 231224119 115843072 368 33554432000 4194304 5098028 140733741604960 140733741601704 140246911668860 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19087360 140733741610049 140733741610247 140733741610247 140733741613005 0
/proc/2220/statm: 28282 368 311 221 0 87 0
[pid=2286] ppid=2220 vsize=8068220 memory=120952 CPUtime=1.3 cores=0,2,4,6
/proc/2286/stat : 2286 (java) S 2220 2220 1786 0 -1 1077944320 17454 1565 0 0 108 6 16 0 20 0 18 0 231224630 8261857280 30238 33554432000 4194304 4196468 140731251548240 140731251530784 140342475869943 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
/proc/2286/statm: 2017055 30238 3150 1 0 1978454 0
[pid=2286/tid=2287] ppid=2220 vsize=8068220 memory=7163923262848655680 CPUtime=0.91 cores=0,2,4,6
/proc/2286/task/2287/stat : 2287 (java) S 2220 2220 1786 0 -1 1077944384 14536 1565 0 0 70 5 16 0 20 0 18 0 231224630 8261857280 30238 33554432000 4194304 4196468 140731251548240 140342447710096 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2288] ppid=2220 vsize=8068220 memory=-9181546050914066336 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2288/stat : 2288 (java) S 2220 2220 1786 0 -1 1077944384 1 1565 0 0 0 0 16 0 20 0 18 0 231224631 8261857280 30238 33554432000 4194304 4196468 140731251548240 140342480112016 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2289] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2289/stat : 2289 (java) S 2220 2220 1786 0 -1 1077944384 1 1565 0 0 0 0 16 0 20 0 18 0 231224631 8261857280 30238 33554432000 4194304 4196468 140731251548240 140342285875472 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2290] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2290/stat : 2290 (java) S 2220 2220 1786 0 -1 1077944384 1 1565 0 0 0 0 16 0 20 0 18 0 231224631 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341959887504 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2291] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2291/stat : 2291 (java) S 2220 2220 1786 0 -1 1077944384 2 1565 0 0 0 0 16 0 20 0 18 0 231224631 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341958834704 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2292] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2292/stat : 2292 (java) S 2220 2220 1786 0 -1 1077944384 5 1565 0 0 0 0 16 0 20 0 18 0 231224633 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341519530608 140342475881090 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2293] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2293/stat : 2293 (java) S 2220 2220 1786 0 -1 1077944384 13 1565 0 0 0 0 16 0 20 0 18 0 231224633 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341411833120 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2294] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2294/stat : 2294 (java) S 2220 2220 1786 0 -1 1077944384 1 1565 0 0 0 0 16 0 20 0 18 0 231224634 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341143398000 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2295] ppid=2220 vsize=8068220 memory=6944656592455350634 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2295/stat : 2295 (java) S 2220 2220 1786 0 -1 1077944384 3 1565 0 0 0 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140340768889424 140342475888539 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2296] ppid=2220 vsize=8068220 memory=6944656592455360608 CPUtime=0.23 cores=0,2,4,6
/proc/2286/task/2296/stat : 2296 (java) R 2220 2220 1786 0 -1 4202560 585 1565 0 0 7 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341518477424 140342459256554 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2297] ppid=2220 vsize=8068220 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/2286/task/2297/stat : 2297 (java) S 2220 2220 1786 0 -1 1077944384 377 1565 0 0 9 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341517424624 140342475881090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2298] ppid=2220 vsize=8068220 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/2286/task/2298/stat : 2298 (java) R 2220 2220 1786 0 -1 1077944384 560 1565 0 0 20 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341516372336 140342475881090 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2299] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2299/stat : 2299 (java) S 2220 2220 1786 0 -1 1077944384 3 1565 0 0 0 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140340270983648 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2300] ppid=2220 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2300/stat : 2300 (java) S 2220 2220 1786 0 -1 1077944384 1 1565 0 0 0 0 16 0 20 0 18 0 231224636 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341515320240 140342475881090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2302] ppid=2220 vsize=8068220 memory=14644 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2302/stat : 2302 (java) S 2220 2220 1786 0 -1 1077944384 28 1565 0 0 0 0 16 0 20 0 18 0 231224703 8261857280 30238 33554432000 4194304 4196468 140731251548240 140341507510928 140342475881090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2304] ppid=2220 vsize=8068220 memory=1720 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2304/stat : 2304 (java) R 2220 2220 1786 0 -1 4202560 32 1565 0 0 0 0 16 0 20 0 18 0 231224703 8261857280 30238 33554432000 4194304 4196468 140731251548240 140339734097936 140342459950430 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
[pid=2286/tid=2306] ppid=2220 vsize=8068220 memory=508 CPUtime=0.16 cores=0,2,4,6
/proc/2286/task/2306/stat : 2306 (java) S 2220 2220 1786 0 -1 1077944384 3 1565 0 0 0 0 16 0 20 0 18 0 231224705 8261857280 30238 33554432000 4194304 4196468 140731251548240 140339465673392 140342475880149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140731251553462 140731251553585 140731251553585 140731251556303 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 122424 KiB
Child status: 0
Real time (s): 6.09581
CPU time (s): 14.9394
CPU user time (s): 14.5558
CPU system time (s): 0.383618
CPU usage (%): 245.077
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1181472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5558
system time used= 0.383618
maximum resident set size= 1180300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5782
involuntary context switches= 145
# summary of solver processes directly reported to runsolver:
# pid: 2220
# total CPU time (s): 14.9394
# total CPU user time (s): 14.5558
# total CPU system time (s): 0.383618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081742 second user time and 0.089271 second system time
The end