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-15246-serial-file.bin HOME/instance-4305618-1534135502.xml
0.54/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.81/0.64 (Encoding Process)
0.81/0.64
0.81/0.64 c BEGIN-Prog: Mon Aug 13 06:45:03 CEST 2018
0.81/0.64 c PID: 15249
0.81/0.64 c IP: 172.20.3.132
0.81/0.64 c HOST: node132.alineos.net
0.81/0.64 c (0,0) Parsing Begin
1.68/0.99 c (0,0) Parsing End
1.68/1.00 c (0,0) CSP: 134 int (0 aux), 0 bool (0 aux), 69 ctr, max domain size 40
1.68/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.00 c (0,0) Constraint Name Generate Begin
1.68/1.01 c (0,0) Ctr:HOME/instance-4305618-1534135502.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.68/1.01 c (0,0) Constraint Name Generate End
1.68/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.68/1.01 c (0,0) CSP to CSPinCNF Begin
5.66/2.27 c (1,1) translated 7 (10%) constraints
7.74/2.90 c (2,2) translated 14 (20%) constraints
9.15/3.46 c (2,2) translated 21 (30%) constraints
10.45/3.96 c (3,3) translated 28 (40%) constraints
11.59/4.46 c (3,3) translated 35 (50%) constraints
12.37/4.93 c (4,4) translated 42 (60%) constraints
12.37/4.93 c (4,4) translated 49 (70%) constraints
12.37/4.93 c (4,4) translated 56 (80%) constraints
12.37/4.93 c (4,4) translated 63 (90%) constraints
12.37/4.93 c (4,4) translated 69 (100%) constraints
13.10/5.24 c (4,4) STATISTICS1:HOME/instance-4305618-1534135502.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,9054,55090,40,40,41,2,40:780,40:4760;9:55902;2:95920;1:11086,41:40;40:2;5:720;4:20800;3:12160;2:21340;1:28,2:780;1:166136;0:40,
13.10/5.24 c (4,4) ==========================================
13.10/5.24 c (4,4) Both Encoding selects:
13.10/5.24 c (4,4) Order
13.10/5.24 c (4,4) ==========================================
13.65/5.46 c (4,4) translated 5509 (10%) constraints
13.95/5.59 c (5,5) translated 11018 (20%) constraints
14.28/5.69 c (5,5) translated 16527 (30%) constraints
14.45/5.77 c (5,5) translated 22036 (40%) constraints
14.54/5.86 c (5,5) translated 27545 (50%) constraints
14.65/5.94 c (5,5) translated 33054 (60%) constraints
14.75/6.03 c (5,5) translated 38563 (70%) constraints
14.85/6.12 c (5,5) translated 44072 (80%) constraints
14.95/6.20 c (5,5) translated 49581 (90%) constraints
14.95/6.29 c (5,5) translated 55090 (100%) constraints
14.95/6.29 c (5,5) CSP to CSPinCNF End
15.07/6.30 c (5,5) CSP: 134 int (0 aux), 8920 bool (8920 aux), 55118 ctr, max domain size 40
15.07/6.30 c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.07/6.30 c (5,5) CSPinCNF Propagation Begin
17.15/7.38 c (6,6) 3798 values, 20822 unsatisfiable literals, and 21583 valid clauses are removed
17.15/7.38 c (6,6) CSPinCNF Propagation End
17.15/7.39 c (6,6) CSP: 3468 int (3334 aux), 5586 bool (5586 aux), 33535 ctr, max domain size 40
17.15/7.39 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.15/7.39 c (6,6) Simplify CSPinCNF Begin
17.69/7.52 c (7,6) Simplify CSPinCNF End
17.69/7.53 c (7,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.69/7.53 c (7,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.69/7.53 c (7,6) Calculate Precise Domain Begin
17.69/7.53 c (7,6) 0 values are removed by re-calculation
17.69/7.53 c (7,6) Calculate Precise Domain End
17.69/7.53 c (7,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.69/7.53 c (7,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.69/7.53 c (7,6) CSPinCNF to SatSolver Begin
18.63/7.85 c (7,7) 3510 (10 %) CSP clauses are encoded (8770 SAT variables, 38747 SAT clauses)
18.63/7.88 c (7,7) 7019 (20 %) CSP clauses are encoded (8770 SAT variables, 42256 SAT clauses)
18.94/7.91 c (7,7) 10529 (30 %) CSP clauses are encoded (8770 SAT variables, 45766 SAT clauses)
18.94/7.93 c (7,7) 14038 (40 %) CSP clauses are encoded (8770 SAT variables, 49275 SAT clauses)
18.94/7.96 c (7,7) 17548 (50 %) CSP clauses are encoded (8770 SAT variables, 52785 SAT clauses)
18.94/7.98 c (7,7) 21057 (60 %) CSP clauses are encoded (8770 SAT variables, 56294 SAT clauses)
18.94/8.00 c (7,7) 24567 (70 %) CSP clauses are encoded (8770 SAT variables, 59804 SAT clauses)
19.17/8.02 c (7,7) 28076 (80 %) CSP clauses are encoded (8770 SAT variables, 63313 SAT clauses)
19.17/8.04 c (7,7) 31586 (90 %) CSP clauses are encoded (8770 SAT variables, 66823 SAT clauses)
19.17/8.06 c (7,7) 35095 (100 %) CSP clauses are encoded (8770 SAT variables, 70332 SAT clauses)
19.17/8.06 c (7,7) Launch Command will be: minisat_release
19.17/8.06 c (7,7) CSPinCNF to SatSolver End
19.17/8.06 c (7,7) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.64/8.26 c (7,7) STATISTICS2:HOME/instance-4305618-1534135502.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,10614,35095,40,40,40,2,40:240;24:1020;4:300,40:2528;24:2500;9:39252;4:340;2:59167,40:17;24:20;16:1;5:318;4:11190;3:7603;2:15946,2:1560;1:100667,
19.64/8.27 c (7,7) 8770 bool, 70333 clause
19.64/8.27 c (7,7) Export Begin
19.91/8.36 c (7,7) Export to HOME/scop-15246-serial-file.bin
19.91/8.36 c (7,7) Export End
19.91/8.36 c (7,7) Export File Size: 0.03 MB
19.91/8.36 c (7,7) 0,0,5,6,7,7,7,STOP-AFTER(DIMACS)
19.91/8.36 c END-Prog: Mon Aug 13 06:45:11 CEST 2018
19.91/8.38 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15246-serial-file.bin
20.08/8.87 c (0,0) Read Serial File Begin
20.08/8.87 c (0,0) HOME/scop-15246-serial-file.bin
20.93/9.05 c (0,0) Read Serial File End
20.93/9.07
20.93/9.07 scop order+minisat_release (2018-07-31)
20.93/9.07 (Solving Process)
20.93/9.07
20.93/9.09 c BEGIN-Prog: Mon Aug 13 06:45:11 CEST 2018
20.93/9.09 c PID: 15264
20.93/9.09 c IP: 172.20.3.132
20.93/9.09 c HOST: node132.alineos.net
20.93/9.09 c (0,0) SatSolver.solve Begin
20.93/9.09 c (0,0) 0 bool, 0 clause
20.93/9.09 c (0,0) minisat_release HOME/instance-4305618-1534135502.xml-scop-15249.cnf
27.52/15.40 c (6,0) c This is COMiniSatPS.
27.52/15.40 c (6,0) c WARNING: for repeatability, setting FPU to use double precision
27.52/15.40 c (6,0) c ============================[ Problem Statistics ]=============================
27.52/15.40 c (6,0) c | |
27.52/15.40 c (6,0) c | Number of variables: 8770 |
27.52/15.40 c (6,0) c | Number of clauses: 70333 |
27.52/15.40 c (6,0) c | Parse time: 0.02 s |
27.52/15.40 c (6,0) c | Eliminated clauses: 0.12 Mb |
27.52/15.40 c (6,0) c Reduced to 5618 vars, 60222 cls (grow=0)
27.52/15.40 c (6,0) c No iterative elimination performed. (vars=5618, c/v ratio=10.7)
27.52/15.40 c (6,0) c | Simplification time: 0.07 s |
27.52/15.40 c (6,0) c | |
27.52/15.40 c (6,0) c ============================[ Search Statistics ]==============================
27.52/15.40 c (6,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
27.52/15.40 c (6,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
27.52/15.40 c (6,0) c ===============================================================================
27.52/15.40 c (6,0) c ===============================================================================
27.52/15.40 c (6,0) c restarts : 203
27.52/15.40 c (6,0) c conflicts : 51753 (8248 /sec)
27.52/15.40 c (6,0) c decisions : 105470 (0.00 % random) (16810 /sec)
27.52/15.40 c (6,0) c propagations : 17062112 (2719320 /sec)
27.52/15.40 c (6,0) c conflict literals : 2355140 (37.10 % deleted)
27.52/15.40 c (6,0) c CPU time : 6.2744 s
27.52/15.40 c (6,0)
27.52/15.40 c (6,0) s SATISFIABLE
27.52/15.43 c (6,0) SatSolver.solve End
27.52/15.43 c (6,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.52/15.43 c (6,0) Show results Begin
27.52/15.49 s SATISFIABLE
27.74/15.50 v <instantiation>
27.74/15.50 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] id[4][0] id[4][1] id[4][2] id[4][3] id[5][0] id[5][1] id[5][2] id[5][3] id[6][0] id[6][1] id[6][2] id[6][3] id[7][0] id[7][1] id[7][2] id[7][3] id[8][0] id[8][1] id[8][2] id[8][3] id[9][0] id[9][1] id[9][2] id[9][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] top[4][0] top[4][1] top[4][2] top[4][3] top[5][0] top[5][1] top[5][2] top[5][3] top[6][0] top[6][1] top[6][2] top[6][3] top[7][0] top[7][1] top[7][2] top[7][3] top[8][0] top[8][1] top[8][2] top[8][3] top[9][0] top[9][1] top[9][2] top[9][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] left[4][0] left[4][1] left[4][2] left[4][3] left[5][0] left[5][1] left[5][2] left[5][3] left[6][0] left[6][1] left[6][2] left[6][3] left[7][0] left[7][1] left[7][2] left[7][3] left[8][0] left[8][1] left[8][2] left[8][3] left[9][0] left[9][1] left[9][2] left[9][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
27.74/15.50 v <values>2 10 21 1 17 39 37 6 4 25 30 8 12 26 32 11 14 36 33 13 15 31 34 20 5 24 35 7 18 27 28 23 16 29 38 9 3 19 22 0 0 0 0 0 2 7 7 2 1 6 6 1 2 4 4 1 2 5 8 1 2 8 5 2 1 4 8 3 3 7 6 1 2 5 7 3 3 4 7 1 0 3 1 3 0 8 8 5 0 4 7 6 0 4 8 8 0 6 6 5 0 7 6 5 0 4 5 5 0 4 4 8 0 7 5 6 0 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
27.74/15.50 v </instantiation>
27.74/15.50 c (6,0) Show results End
27.74/15.50 c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
27.74/15.51 c (6,0) 6,6,STOP-AFTER(ALL)
27.74/15.51 c END-Prog: Mon Aug 13 06:45:18 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 (6621 MiB free)
memory of node 1: 16384 MiB (10450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305618-1534135502/watcher-4305618-1534135502 -o /tmp/evaluation-result-4305618-1534135502/solver-4305618-1534135502 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14337 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305618-1534135502.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15246, runsolver pid=15243
Current StackSize limit: 8192 KiB
[startup+0.100582 s]*
/proc/loadavg: 2.10 2.06 2.02 3/227 15263
/proc/meminfo: memFree=17419720/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231113406 115843072 348 33554432000 4194304 5098028 140730949951392 140730949948648 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 348 296 221 0 87 0
[pid=15249] ppid=15246 vsize=15012476 memory=73548 CPUtime=0.11 cores=1,3,5,7
/proc/15249/stat : 15249 (java) S 15246 15246 14305 0 -1 1077944320 6500 0 0 0 9 2 0 0 20 0 15 0 231113407 15372775424 18387 33554432000 4194304 4196468 140731411644160 140731411626704 140309129416439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
/proc/15249/statm: 3753119 18387 2767 1 0 3715579 0
[pid=15249/tid=15250] ppid=15246 vsize=15012476 memory=-6222985969016291263 CPUtime=0.08 cores=1,3,5,7
/proc/15249/task/15250/stat : 15250 (java) R 15246 15246 14305 0 -1 4202560 4573 0 0 0 7 1 0 0 20 0 15 0 231113407 15372775424 18387 33554432000 4194304 4196468 140731411644160 140309101219384 140309110979943 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15251] ppid=15246 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15251/stat : 15251 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 18387 33554432000 4194304 4196468 140731411644160 140309133659152 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15252] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15252/stat : 15252 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 18387 33554432000 4194304 4196468 140731411644160 140308932435088 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15253] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15253/stat : 15253 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 18387 33554432000 4194304 4196468 140731411644160 140308589304592 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15254] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15254/stat : 15254 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 18387 33554432000 4194304 4196468 140731411644160 140308588252048 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15255] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15255/stat : 15255 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307898394864 140309129427586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15256] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15256/stat : 15256 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307790292128 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15257] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15257/stat : 15257 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113411 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307521856240 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15258] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15258/stat : 15258 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307147347920 140309129435035 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15259] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15259/stat : 15259 (java) S 15246 15246 14305 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307897342704 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15260] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15260/stat : 15260 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307896290160 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15261] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0.01 cores=1,3,5,7
/proc/15249/task/15261/stat : 15261 (java) S 15246 15246 14305 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307895237104 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15262] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15262/stat : 15262 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140306649443168 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15263] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15263/stat : 15263 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 18387 33554432000 4194304 4196468 140731411644160 140307894184496 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74940 KiB
[startup+0.210974 s]*
/proc/loadavg: 2.10 2.06 2.02 4/227 15263
/proc/meminfo: memFree=17406388/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231113406 115843072 348 33554432000 4194304 5098028 140730949951392 140730949948648 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 348 296 221 0 87 0
[pid=15249] ppid=15246 vsize=15012476 memory=86556 CPUtime=0.25 cores=1,3,5,7
/proc/15249/stat : 15249 (java) S 15246 15246 14305 0 -1 1077944320 10006 0 0 0 22 3 0 0 20 0 15 0 231113407 15372775424 21639 33554432000 4194304 4196468 140731411644160 140731411626704 140309129416439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
/proc/15249/statm: 3753119 21639 2901 1 0 3715579 0
[pid=15249/tid=15250] ppid=15246 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/15249/task/15250/stat : 15250 (java) R 15246 15246 14305 0 -1 4202560 7895 0 0 0 17 3 0 0 20 0 15 0 231113407 15372775424 21639 33554432000 4194304 4196468 140731411644160 140309101205208 140309129428374 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15251] ppid=15246 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15251/stat : 15251 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 21639 33554432000 4194304 4196468 140731411644160 140309133659152 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15252] ppid=15246 vsize=15012476 memory=140627885400973 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15252/stat : 15252 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 21639 33554432000 4194304 4196468 140731411644160 140308932435088 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15253] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15253/stat : 15253 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 21639 33554432000 4194304 4196468 140731411644160 140308589304592 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15254] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15254/stat : 15254 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 21639 33554432000 4194304 4196468 140731411644160 140308588252048 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15255] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15255/stat : 15255 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307898394864 140309129427586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15256] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15256/stat : 15256 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307790292128 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15257] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15257/stat : 15257 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113411 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307521856240 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15258] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15258/stat : 15258 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307147347920 140309129435035 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15259] ppid=15246 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15249/task/15259/stat : 15259 (java) S 15246 15246 14305 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307897342704 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15260] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15260/stat : 15260 (java) S 15246 15246 14305 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307896290160 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15261] ppid=15246 vsize=15012476 memory=140627884119680 CPUtime=0.03 cores=1,3,5,7
/proc/15249/task/15261/stat : 15261 (java) R 15246 15246 14305 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307895237104 140309129437786 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15262] ppid=15246 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15262/stat : 15262 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140306649443168 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15263] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15263/stat : 15263 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 21639 33554432000 4194304 4196468 140731411644160 140307894184496 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87948 KiB
[startup+0.311052 s]*
/proc/loadavg: 2.10 2.06 2.02 3/227 15263
/proc/meminfo: memFree=17402380/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231113406 115843072 348 33554432000 4194304 5098028 140730949951392 140730949948648 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 348 296 221 0 87 0
[pid=15249] ppid=15246 vsize=15012476 memory=90348 CPUtime=0.42 cores=1,3,5,7
/proc/15249/stat : 15249 (java) S 15246 15246 14305 0 -1 1077944320 10522 0 0 0 38 4 0 0 20 0 15 0 231113407 15372775424 22587 33554432000 4194304 4196468 140731411644160 140731411626704 140309129416439 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
/proc/15249/statm: 3753119 22587 3021 1 0 3715579 0
[pid=15249/tid=15250] ppid=15246 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15249/task/15250/stat : 15250 (java) R 15246 15246 14305 0 -1 4202560 8269 0 0 0 26 3 0 0 20 0 15 0 231113407 15372775424 22587 33554432000 4194304 4196468 140731411644160 140309101211440 140309129438365 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15251] ppid=15246 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15251/stat : 15251 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 22587 33554432000 4194304 4196468 140731411644160 140309133659152 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15252] ppid=15246 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15252/stat : 15252 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 22587 33554432000 4194304 4196468 140731411644160 140308932435088 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15253] ppid=15246 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15253/stat : 15253 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 22587 33554432000 4194304 4196468 140731411644160 140308589304592 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15254] ppid=15246 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15254/stat : 15254 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15372775424 22587 33554432000 4194304 4196468 140731411644160 140308588252048 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15255] ppid=15246 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15255/stat : 15255 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307898394864 140309129427586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15256] ppid=15246 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15256/stat : 15256 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231113410 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307790292128 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15257] ppid=15246 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15257/stat : 15257 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113411 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307521856240 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15258] ppid=15246 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15258/stat : 15258 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307147347920 140309129435035 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15259] ppid=15246 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15249/task/15259/stat : 15259 (java) R 15246 15246 14305 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307897342704 140309129427586 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15260] ppid=15246 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15249/task/15260/stat : 15260 (java) R 15246 15246 14305 0 -1 4202560 265 0 0 0 3 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307896290160 140309110191551 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15261] ppid=15246 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15249/task/15261/stat : 15261 (java) R 15246 15246 14305 0 -1 4202560 323 0 0 0 7 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307895237104 140309121653566 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15262] ppid=15246 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15262/stat : 15262 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140306649443168 140309129426645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15263] ppid=15246 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15263/stat : 15263 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113413 15372775424 22587 33554432000 4194304 4196468 140731411644160 140307894184496 140309129427586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91740 KiB
[startup+0.701543 s]
/proc/loadavg: 2.10 2.06 2.02 3/227 15263
/proc/meminfo: memFree=17378320/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231113406 115843072 348 33554432000 4194304 5098028 140730949951392 140730949948648 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 348 296 221 0 87 0
[pid=15249] ppid=15246 vsize=15020872 memory=129564 CPUtime=1.01 cores=1,3,5,7
/proc/15249/stat : 15249 (java) S 15246 15246 14305 0 -1 1077944320 17584 0 0 0 94 7 0 0 20 0 15 0 231113407 15381372928 32391 33554432000 4194304 4196468 140731411644160 140731411626704 140309129416439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
/proc/15249/statm: 3755218 32391 3151 1 0 3716603 0
[pid=15249/tid=15250] ppid=15246 vsize=15020872 memory=62792 CPUtime=0.66 cores=1,3,5,7
/proc/15249/task/15250/stat : 15250 (java) R 15246 15246 14305 0 -1 4202560 14864 0 0 0 61 5 0 0 20 0 15 0 231113407 15381372928 32391 33554432000 4194304 4196468 140731411644160 140309101252240 140309129428374 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15251] ppid=15246 vsize=15020872 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15251/stat : 15251 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15381372928 32391 33554432000 4194304 4196468 140731411644160 140309133659152 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15252] ppid=15246 vsize=15020872 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15252/stat : 15252 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15381372928 32391 33554432000 4194304 4196468 140731411644160 140308932435088 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15253] ppid=15246 vsize=15020872 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15253/stat : 15253 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113409 15381372928 32391 33554432000 4194304 4196468 140731411644160 140308589304592 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15254] ppid=15246 vsize=15020872 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15254/stat : 15254 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231113409 15381372928 32391 33554432000 4194304 4196468 140731411644160 140308588252048 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15255] ppid=15246 vsize=15020872 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15255/stat : 15255 (java) S 15246 15246 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231113410 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307898394864 140309129427586 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15256] ppid=15246 vsize=15020872 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15256/stat : 15256 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231113410 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307790292128 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15257] ppid=15246 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15257/stat : 15257 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113411 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307521856240 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15258] ppid=15246 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15258/stat : 15258 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307147347920 140309129435035 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15259] ppid=15246 vsize=15020872 memory=7304 CPUtime=0.08 cores=1,3,5,7
/proc/15249/task/15259/stat : 15259 (java) R 15246 15246 14305 0 -1 4202560 597 0 0 0 8 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307897328672 140309110960592 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15260] ppid=15246 vsize=15020872 memory=5400 CPUtime=0.07 cores=1,3,5,7
/proc/15249/task/15260/stat : 15260 (java) R 15246 15246 14305 0 -1 4202560 330 0 0 0 7 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307896271176 140309108662415 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15261] ppid=15246 vsize=15020872 memory=1108 CPUtime=0.16 cores=1,3,5,7
/proc/15249/task/15261/stat : 15261 (java) R 15246 15246 14305 0 -1 4202560 459 0 0 0 16 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307895237104 140309113496926 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15262] ppid=15246 vsize=15020872 memory=10784 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15262/stat : 15262 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140306649443168 140309129426645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
[pid=15249/tid=15263] ppid=15246 vsize=15020872 memory=872 CPUtime=0 cores=1,3,5,7
/proc/15249/task/15263/stat : 15263 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231113413 15381372928 32391 33554432000 4194304 4196468 140731411644160 140307894184496 140309129427586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17477632 140731411645447 140731411645745 140731411645745 140731411648463 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130956 KiB
[startup+1.50159 s]
/proc/loadavg: 2.10 2.06 2.02 6/227 15263
/proc/meminfo: memFree=17332940/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231113406 115843072 348 33554432000 4194304 5098028 140730949951392 140730949948648 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/15264/task/15280/stat : 15280 (java) S 15246 15246 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049662846144 140050429882137 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15282] ppid=15246 vsize=8068220 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15282/stat : 15282 (java) S 15246 15246 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047743429904 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15283] ppid=15246 vsize=8068220 memory=-9110635228796802480 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15283/stat : 15283 (java) S 15246 15246 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231114319 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047877652624 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15284] ppid=15246 vsize=8068220 memory=-2247047206103833169 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15284/stat : 15284 (java) S 15246 15246 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231114321 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047475007136 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
Current children cumulated CPU time: 26.52 s
Current children cumulated vsize: 8221716 KiB
Current children cumulated memory: 140488 KiB
[startup+15.2009 s]
/proc/loadavg: 2.30 2.11 2.04 3/232 15284
/proc/meminfo: memFree=17352628/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1468 CPUtime=20.08 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 589 40643 0 0 0 0 1949 59 20 0 1 0 231113406 115843072 367 33554432000 4194304 5098028 140730949951392 140730949948136 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 367 311 221 0 87 0
[pid=15264] ppid=15246 vsize=8068220 memory=115008 CPUtime=1.16 cores=1,3,5,7
/proc/15264/stat : 15264 (java) S 15246 15246 14305 0 -1 1077944320 17520 0 0 0 110 6 0 0 20 0 19 0 231114245 8261857280 28752 33554432000 4194304 4196468 140724002133984 140724002116528 140050429857527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
/proc/15264/statm: 2017055 28752 3147 1 0 1978454 0
[pid=15279] ppid=15264 vsize=40368 memory=24164 CPUtime=6.08 cores=1,3,5,7
/proc/15279/stat : 15279 (minisat_release) R 15264 15246 14305 0 -1 4202496 11209 0 0 0 607 1 0 0 20 0 1 0 231114318 41336832 6041 33554432000 4194304 4308513 140726788153456 140726788150360 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31297536 140726788154484 140726788154582 140726788154582 140726788157381 0
/proc/15279/statm: 10092 6041 340 28 0 6332 0
[pid=15264/tid=15265] ppid=15246 vsize=8068220 memory=4132 CPUtime=0.75 cores=1,3,5,7
/proc/15264/task/15265/stat : 15265 (java) S 15246 15246 14305 0 -1 1077944384 14549 0 0 0 71 4 0 0 20 0 19 0 231114245 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050401697680 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15266] ppid=15246 vsize=8068220 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15266/stat : 15266 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050434100368 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15267] ppid=15246 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15267/stat : 15267 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050234268688 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15268] ppid=15246 vsize=8068220 memory=84 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15268/stat : 15268 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050233215888 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15269] ppid=15246 vsize=8068220 memory=322 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15269/stat : 15269 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050232163088 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15270] ppid=15246 vsize=8068220 memory=2252 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15270/stat : 15270 (java) S 15246 15246 14305 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 231114248 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049674865008 140050429868674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15271] ppid=15246 vsize=8068220 memory=8663 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15271/stat : 15271 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231114248 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049286947872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15272] ppid=15246 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15272/stat : 15272 (java) S 15246 15246 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231114249 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049152725872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15273] ppid=15246 vsize=8068220 memory=316659568698720571 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15273/stat : 15273 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140048778221392 140050429876123 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15274] ppid=15246 vsize=8068220 memory=14133333755955770 CPUtime=0.09 cores=1,3,5,7
/proc/15264/task/15274/stat : 15274 (java) S 15246 15246 14305 0 -1 1077944384 520 0 0 0 9 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049673812848 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15275] ppid=15246 vsize=8068220 memory=-2672971631320983069 CPUtime=0.08 cores=1,3,5,7
/proc/15264/task/15275/stat : 15275 (java) S 15246 15246 14305 0 -1 1077944384 443 0 0 0 8 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049672760048 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15276] ppid=15246 vsize=8068220 memory=8546823402028195750 CPUtime=0.21 cores=1,3,5,7
/proc/15264/task/15276/stat : 15276 (java) S 15246 15246 14305 0 -1 1077944384 577 0 0 0 21 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049671707248 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15277] ppid=15246 vsize=8068220 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15277/stat : 15277 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140048280316640 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15278] ppid=15246 vsize=8068220 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15278/stat : 15278 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049670654640 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15280] ppid=15246 vsize=8068220 memory=-2331055268852096867 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15280/stat : 15280 (java) S 15246 15246 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049662846144 140050429882137 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15282] ppid=15246 vsize=8068220 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15282/stat : 15282 (java) S 15246 15246 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047743429904 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15283] ppid=15246 vsize=8068220 memory=-7824251494390781801 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15283/stat : 15283 (java) S 15246 15246 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231114319 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047877652624 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15284] ppid=15246 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15284/stat : 15284 (java) S 15246 15246 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231114321 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047475007136 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 8221716 KiB
Current children cumulated memory: 140640 KiB
[startup+15.4009 s]
/proc/loadavg: 2.30 2.11 2.04 3/232 15284
/proc/meminfo: memFree=17352628/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1468 CPUtime=20.08 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 589 40643 0 0 0 0 1949 59 20 0 1 0 231113406 115843072 367 33554432000 4194304 5098028 140730949951392 140730949948136 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 367 311 221 0 87 0
[pid=15264] ppid=15246 vsize=8068220 memory=115008 CPUtime=1.16 cores=1,3,5,7
/proc/15264/stat : 15264 (java) S 15246 15246 14305 0 -1 1077944320 17520 0 0 0 110 6 0 0 20 0 19 0 231114245 8261857280 28752 33554432000 4194304 4196468 140724002133984 140724002116528 140050429857527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
/proc/15264/statm: 2017055 28752 3147 1 0 1978454 0
[pid=15279] ppid=15264 vsize=40368 memory=24164 CPUtime=6.28 cores=1,3,5,7
/proc/15279/stat : 15279 (minisat_release) R 15264 15246 14305 0 -1 4202496 11213 0 0 0 627 1 0 0 20 0 1 0 231114318 41336832 6041 33554432000 4194304 4308513 140726788153456 140726788150360 4250620 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31297536 140726788154484 140726788154582 140726788154582 140726788157381 0
/proc/15279/statm: 10092 6041 340 28 0 6332 0
[pid=15264/tid=15265] ppid=15246 vsize=8068220 memory=2336 CPUtime=0.75 cores=1,3,5,7
/proc/15264/task/15265/stat : 15265 (java) S 15246 15246 14305 0 -1 1077944384 14549 0 0 0 71 4 0 0 20 0 19 0 231114245 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050401697680 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15266] ppid=15246 vsize=8068220 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15266/stat : 15266 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050434100368 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15267] ppid=15246 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15267/stat : 15267 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050234268688 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15268] ppid=15246 vsize=8068220 memory=2188 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15268/stat : 15268 (java) S 15246 15246 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050233215888 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15269] ppid=15246 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15269/stat : 15269 (java) S 15246 15246 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231114247 8261857280 28752 33554432000 4194304 4196468 140724002133984 140050232163088 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15270] ppid=15246 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15270/stat : 15270 (java) S 15246 15246 14305 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 231114248 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049674865008 140050429868674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15271] ppid=15246 vsize=8068220 memory=3472464525947079568 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15271/stat : 15271 (java) S 15246 15246 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231114248 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049286947872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15272] ppid=15246 vsize=8068220 memory=-7595718147998060693 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15272/stat : 15272 (java) S 15246 15246 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231114249 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049152725872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15273] ppid=15246 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15273/stat : 15273 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140048778221392 140050429876123 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15274] ppid=15246 vsize=8068220 memory=288230596050944315 CPUtime=0.09 cores=1,3,5,7
/proc/15264/task/15274/stat : 15274 (java) S 15246 15246 14305 0 -1 1077944384 520 0 0 0 9 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049673812848 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15275] ppid=15246 vsize=8068220 memory=14133333755955770 CPUtime=0.08 cores=1,3,5,7
/proc/15264/task/15275/stat : 15275 (java) S 15246 15246 14305 0 -1 1077944384 443 0 0 0 8 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049672760048 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15276] ppid=15246 vsize=8068220 memory=3848 CPUtime=0.21 cores=1,3,5,7
/proc/15264/task/15276/stat : 15276 (java) S 15246 15246 14305 0 -1 1077944384 577 0 0 0 21 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049671707248 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15277] ppid=15246 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15277/stat : 15277 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140048280316640 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15278] ppid=15246 vsize=8068220 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15278/stat : 15278 (java) S 15246 15246 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231114251 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049670654640 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15280] ppid=15246 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15280/stat : 15280 (java) S 15246 15246 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140049662846144 140050429882137 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15282] ppid=15246 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15282/stat : 15282 (java) S 15246 15246 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231114318 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047743429904 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15283] ppid=15246 vsize=8068220 memory=2319811306421002208 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15283/stat : 15283 (java) S 15246 15246 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231114319 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047877652624 140050429879453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15284] ppid=15246 vsize=8068220 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/15264/task/15284/stat : 15284 (java) S 15246 15246 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231114321 8261857280 28752 33554432000 4194304 4196468 140724002133984 140047475007136 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
Current children cumulated CPU time: 27.52 s
Current children cumulated vsize: 8221716 KiB
Current children cumulated memory: 140640 KiB
[startup+15.5055 s]
/proc/loadavg: 2.30 2.11 2.04 3/232 15284
/proc/meminfo: memFree=17352628/32770624 swapFree=67108860/67108860
[pid=15246] ppid=15243 vsize=113128 memory=1468 CPUtime=20.08 cores=1,3,5,7
/proc/15246/stat : 15246 (scop.sh) S 15243 15246 14305 0 -1 4202496 589 40643 0 0 0 0 1949 59 20 0 1 0 231113406 115843072 367 33554432000 4194304 5098028 140730949951392 140730949948136 140099361337980 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31588352 140730949952577 140730949952775 140730949952775 140730949955533 0
/proc/15246/statm: 28282 367 311 221 0 87 0
[pid=15264] ppid=15246 vsize=7937144 memory=124248 CPUtime=7.66 cores=1,3,5,7
/proc/15264/stat : 15264 (java) S 15246 15246 14305 0 -1 1077944320 18364 11262 0 0 132 6 627 1 20 0 17 0 231114245 8127635456 31062 33554432000 4194304 4196468 140724002133984 140724002116528 140050429857527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
/proc/15264/statm: 1984286 31062 3168 1 0 1945685 0
[pid=15264/tid=15265] ppid=15246 vsize=7937144 memory=1468 CPUtime=7.1 cores=1,3,5,7
/proc/15264/task/15265/stat : 15265 (java) R 15246 15246 14305 0 -1 4202560 14767 11262 0 0 78 4 627 1 20 0 17 0 231114245 8127635456 31062 33554432000 4194304 4196468 140724002133984 140050401695784 140050411421031 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15266] ppid=15246 vsize=7937144 memory=1468 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15266/stat : 15266 (java) S 15246 15246 14305 0 -1 1077944384 1 11262 0 0 0 0 627 1 20 0 17 0 231114247 8127635456 31062 33554432000 4194304 4196468 140724002133984 140050434100368 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15267] ppid=15246 vsize=7937144 memory=2444 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15267/stat : 15267 (java) S 15246 15246 14305 0 -1 1077944384 1 11262 0 0 0 0 627 1 20 0 17 0 231114247 8127635456 31062 33554432000 4194304 4196468 140724002133984 140050234268688 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15268] ppid=15246 vsize=7937144 memory=1832 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15268/stat : 15268 (java) S 15246 15246 14305 0 -1 1077944384 1 11262 0 0 0 0 627 1 20 0 17 0 231114247 8127635456 31062 33554432000 4194304 4196468 140724002133984 140050233215888 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15269] ppid=15246 vsize=7937144 memory=1920 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15269/stat : 15269 (java) S 15246 15246 14305 0 -1 1077944384 2 11262 0 0 0 0 627 1 20 0 17 0 231114247 8127635456 31062 33554432000 4194304 4196468 140724002133984 140050232163088 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15270] ppid=15246 vsize=7937144 memory=4132 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15270/stat : 15270 (java) S 15246 15246 14305 0 -1 1077944384 7 11262 0 0 0 0 627 1 20 0 17 0 231114248 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049674865008 140050429868674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15271] ppid=15246 vsize=7937144 memory=62792 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15271/stat : 15271 (java) S 15246 15246 14305 0 -1 1077944384 13 11262 0 0 0 0 627 1 20 0 17 0 231114248 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049286947872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15272] ppid=15246 vsize=7937144 memory=1236 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15272/stat : 15272 (java) S 15246 15246 14305 0 -1 1077944384 21 11262 0 0 0 0 627 1 20 0 17 0 231114249 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049152725872 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15273] ppid=15246 vsize=7937144 memory=2444 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15273/stat : 15273 (java) S 15246 15246 14305 0 -1 1077944384 3 11262 0 0 0 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140048778221392 140050429876123 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15274] ppid=15246 vsize=7937144 memory=115008 CPUtime=6.4 cores=1,3,5,7
/proc/15264/task/15274/stat : 15274 (java) S 15246 15246 14305 0 -1 1077944384 679 11262 0 0 12 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049673812848 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15275] ppid=15246 vsize=7937144 memory=1468 CPUtime=6.4 cores=1,3,5,7
/proc/15264/task/15275/stat : 15275 (java) R 15246 15246 14305 0 -1 4202560 638 11262 0 0 12 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049672745056 140050429878874 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15276] ppid=15246 vsize=7937144 memory=115008 CPUtime=6.54 cores=1,3,5,7
/proc/15264/task/15276/stat : 15276 (java) S 15246 15246 14305 0 -1 1077944384 777 11262 0 0 26 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049671707248 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15277] ppid=15246 vsize=7937144 memory=19760 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15277/stat : 15277 (java) S 15246 15246 14305 0 -1 1077944384 3 11262 0 0 0 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140048280316640 140050429867733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15278] ppid=15246 vsize=7937144 memory=1468 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15278/stat : 15278 (java) S 15246 15246 14305 0 -1 1077944384 3 11262 0 0 0 0 627 1 20 0 17 0 231114251 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049670654640 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15280] ppid=15246 vsize=7937144 memory=10784 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15280/stat : 15280 (java) S 15246 15246 14305 0 -1 1077944384 35 11262 0 0 0 0 627 1 20 0 17 0 231114318 8127635456 31062 33554432000 4194304 4196468 140724002133984 140049662845328 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
[pid=15264/tid=15284] ppid=15246 vsize=7937144 memory=14888 CPUtime=6.28 cores=1,3,5,7
/proc/15264/task/15284/stat : 15284 (java) S 15246 15246 14305 0 -1 1077944384 11 11262 0 0 0 0 627 1 20 0 17 0 231114321 8127635456 31062 33554432000 4194304 4196468 140724002133984 140047475008944 140050429868674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25612288 140724002137269 140724002137393 140724002137393 140724002140111 0
Current children cumulated CPU time: 27.74 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 125716 KiB
Child status: 0
Real time (s): 15.528
CPU time (s): 27.7963
CPU user time (s): 27.1061
CPU system time (s): 0.690164
CPU usage (%): 179.007
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2832488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.1061
system time used= 0.690164
maximum resident set size= 2836672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6763
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 15246
# total CPU time (s): 27.7963
# total CPU user time (s): 27.1061
# total CPU system time (s): 0.690164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.120838 second user time and 0.217306 second system time
The end