0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-4853-serial-file.bin HOME/instance-4305382-1534133300.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 06:08:21 CEST 2018
0.66/0.55 c PID: 4856
0.66/0.55 c IP: 172.20.3.137
0.66/0.55 c HOST: node137.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.05/1.01 c (0,0) Parsing End
2.05/1.01 c (0,0) CSP: 134 int (0 aux), 0 bool (0 aux), 69 ctr, max domain size 40
2.05/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.02 c (0,0) Constraint Name Generate Begin
2.05/1.02 c (0,0) Ctr:HOME/instance-4305382-1534133300.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.05/1.02 c (0,0) Constraint Name Generate End
2.05/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.02 c (0,0) CSP to CSPinCNF Begin
5.96/2.30 c (1,1) translated 7 (10%) constraints
7.78/2.97 c (2,2) translated 14 (20%) constraints
9.48/3.51 c (2,2) translated 21 (30%) constraints
10.77/4.02 c (3,3) translated 28 (40%) constraints
11.85/4.51 c (3,3) translated 35 (50%) constraints
12.44/4.98 c (4,4) translated 42 (60%) constraints
12.44/4.98 c (4,4) translated 49 (70%) constraints
12.44/4.98 c (4,4) translated 56 (80%) constraints
12.44/4.98 c (4,4) translated 63 (90%) constraints
12.44/4.98 c (4,4) translated 69 (100%) constraints
13.12/5.29 c (4,4) STATISTICS1:HOME/instance-4305382-1534133300.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.12/5.29 c (4,4) ==========================================
13.12/5.29 c (4,4) Order
13.12/5.29 c (4,4) ==========================================
13.85/5.51 c (4,4) translated 5509 (10%) constraints
14.16/5.64 c (5,5) translated 11018 (20%) constraints
14.38/5.73 c (5,5) translated 16527 (30%) constraints
14.50/5.81 c (5,5) translated 22036 (40%) constraints
14.50/5.89 c (5,5) translated 27545 (50%) constraints
14.60/5.98 c (5,5) translated 33054 (60%) constraints
14.72/6.06 c (5,5) translated 38563 (70%) constraints
14.81/6.14 c (5,5) translated 44072 (80%) constraints
14.91/6.23 c (5,5) translated 49581 (90%) constraints
15.00/6.31 c (5,5) translated 55090 (100%) constraints
15.00/6.31 c (5,5) CSP to CSPinCNF End
15.00/6.32 c (5,5) CSP: 134 int (0 aux), 8920 bool (8920 aux), 55118 ctr, max domain size 40
15.00/6.32 c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.00/6.32 c (5,5) CSPinCNF Propagation Begin
17.25/7.40 c (6,6) 3798 values, 20822 unsatisfiable literals, and 21583 valid clauses are removed
17.25/7.40 c (6,6) CSPinCNF Propagation End
17.25/7.41 c (6,6) CSP: 3468 int (3334 aux), 5586 bool (5586 aux), 33535 ctr, max domain size 40
17.25/7.41 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.25/7.41 c (6,6) Simplify CSPinCNF Begin
17.57/7.55 c (7,7) Simplify CSPinCNF End
17.57/7.55 c (7,7) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.57/7.55 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.57/7.55 c (7,7) Calculate Precise Domain Begin
17.57/7.55 c (7,7) 0 values are removed by re-calculation
17.57/7.55 c (7,7) Calculate Precise Domain End
17.57/7.56 c (7,7) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.57/7.56 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.57/7.56 c (7,7) CSPinCNF to SatSolver Begin
18.87/7.92 c (7,7) 3510 (10 %) CSP clauses are encoded (8770 SAT variables, 38747 SAT clauses)
18.87/7.96 c (7,7) 7019 (20 %) CSP clauses are encoded (8770 SAT variables, 42256 SAT clauses)
18.87/7.99 c (7,7) 10529 (30 %) CSP clauses are encoded (8770 SAT variables, 45766 SAT clauses)
19.20/8.02 c (7,7) 14038 (40 %) CSP clauses are encoded (8770 SAT variables, 49275 SAT clauses)
19.20/8.05 c (7,7) 17548 (50 %) CSP clauses are encoded (8770 SAT variables, 52785 SAT clauses)
19.20/8.07 c (7,7) 21057 (60 %) CSP clauses are encoded (8770 SAT variables, 56294 SAT clauses)
19.20/8.09 c (7,7) 24567 (70 %) CSP clauses are encoded (8770 SAT variables, 59804 SAT clauses)
19.41/8.11 c (7,7) 28076 (80 %) CSP clauses are encoded (8770 SAT variables, 63313 SAT clauses)
19.41/8.13 c (7,7) 31586 (90 %) CSP clauses are encoded (8770 SAT variables, 66823 SAT clauses)
19.41/8.16 c (7,7) 35095 (100 %) CSP clauses are encoded (8770 SAT variables, 70332 SAT clauses)
19.41/8.16 c (7,7) Launch Command will be: minisat_release
19.41/8.16 c (7,7) CSPinCNF to SatSolver End
19.41/8.16 c (7,7) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.88/8.36 c (7,7) STATISTICS2:HOME/instance-4305382-1534133300.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.88/8.36 c (7,7) 8770 bool, 70333 clause
19.88/8.36 c (7,7) Export Begin
20.11/8.45 c (7,7) Export to HOME/scop-4853-serial-file.bin
20.11/8.45 c (7,7) Export End
20.11/8.46 c (7,7) Export File Size: 0.03 MB
20.11/8.46 c (7,7) 0,0,5,6,7,7,7,STOP-AFTER(DIMACS)
20.11/8.46 c END-Prog: Mon Aug 13 06:08:29 CEST 2018
20.11/8.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4853-serial-file.bin
20.25/8.96 c (0,0) Read Serial File Begin
20.25/8.96 c (0,0) HOME/scop-4853-serial-file.bin
21.12/9.14 c (0,0) Read Serial File End
21.12/9.15
21.12/9.15 scop order+minisat_release (2018-07-31)
21.12/9.15 (Solving Process)
21.12/9.15
21.12/9.18 c BEGIN-Prog: Mon Aug 13 06:08:29 CEST 2018
21.12/9.18 c PID: 4871
21.12/9.18 c IP: 172.20.3.137
21.12/9.18 c HOST: node137.alineos.net
21.12/9.18 c (0,0) SatSolver.solve Begin
21.12/9.18 c (0,0) 0 bool, 0 clause
21.12/9.18 c (0,0) minisat_release HOME/instance-4305382-1534133300.xml-scop-4856.cnf
27.59/15.40 c (6,0) c This is COMiniSatPS.
27.59/15.40 c (6,0) c WARNING: for repeatability, setting FPU to use double precision
27.59/15.40 c (6,0) c ============================[ Problem Statistics ]=============================
27.59/15.40 c (6,0) c | |
27.59/15.40 c (6,0) c | Number of variables: 8770 |
27.59/15.40 c (6,0) c | Number of clauses: 70333 |
27.59/15.40 c (6,0) c | Parse time: 0.02 s |
27.59/15.40 c (6,0) c | Eliminated clauses: 0.12 Mb |
27.59/15.40 c (6,0) c Reduced to 5618 vars, 60222 cls (grow=0)
27.59/15.40 c (6,0) c No iterative elimination performed. (vars=5618, c/v ratio=10.7)
27.59/15.40 c (6,0) c | Simplification time: 0.06 s |
27.59/15.40 c (6,0) c | |
27.59/15.40 c (6,0) c ============================[ Search Statistics ]==============================
27.59/15.40 c (6,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
27.59/15.40 c (6,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
27.59/15.40 c (6,0) c ===============================================================================
27.59/15.40 c (6,0) c ===============================================================================
27.59/15.40 c (6,0) c restarts : 203
27.59/15.40 c (6,0) c conflicts : 51753 (8378 /sec)
27.59/15.40 c (6,0) c decisions : 105470 (0.00 % random) (17074 /sec)
27.59/15.40 c (6,0) c propagations : 17062112 (2762124 /sec)
27.59/15.40 c (6,0) c conflict literals : 2355140 (37.10 % deleted)
27.59/15.40 c (6,0) c CPU time : 6.17717 s
27.59/15.40 c (6,0)
27.59/15.40 c (6,0) s SATISFIABLE
27.59/15.42 c (6,0) SatSolver.solve End
27.59/15.42 c (6,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.59/15.42 c (6,0) Show results Begin
27.59/15.48 s SATISFIABLE
27.59/15.50 v <instantiation>
27.59/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.59/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.59/15.50 v </instantiation>
27.59/15.50 c (6,0) Show results End
27.59/15.50 c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
27.59/15.50 c (6,0) 6,6,STOP-AFTER(ALL)
27.59/15.50 c END-Prog: Mon Aug 13 06:08: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 (11795 MiB free)
memory of node 1: 16384 MiB (11096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305382-1534133300/watcher-4305382-1534133300 -o /tmp/evaluation-result-4305382-1534133300/solver-4305382-1534133300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3992 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305382-1534133300.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
Current StackSize limit: 8192 KiB
solver pid=4853, runsolver pid=4850
[startup+0.100078 s]*
/proc/loadavg: 2.00 2.02 1.95 3/222 4870
/proc/meminfo: memFree=23381472/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230893196 115843072 348 33554432000 4194304 5098028 140726507154944 140726507152200 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 348 296 221 0 87 0
[pid=4856] ppid=4853 vsize=15012476 memory=71608 CPUtime=0.1 cores=1,3,5,7
/proc/4856/stat : 4856 (java) S 4853 4853 3960 0 -1 1077944320 7002 0 0 0 9 1 0 0 20 0 15 0 230893197 15372775424 17902 33554432000 4194304 4196468 140729408717296 140729408699840 140359630417655 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
/proc/4856/statm: 3753119 17902 2740 1 0 3715579 0
[pid=4856/tid=4857] ppid=4853 vsize=15012476 memory=-2843878399917540510 CPUtime=0.08 cores=1,3,5,7
/proc/4856/task/4857/stat : 4857 (java) R 4853 4853 3960 0 -1 4202560 5116 0 0 0 7 1 0 0 20 0 15 0 230893197 15372775424 17902 33554432000 4194304 4196468 140729408717296 140359602229640 140359613604464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4858] ppid=4853 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4858/stat : 4858 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 17902 33554432000 4194304 4196468 140729408717296 140359634660496 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4859] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4859/stat : 4859 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 17902 33554432000 4194304 4196468 140729408717296 140359465909264 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4860] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4860/stat : 4860 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 17902 33554432000 4194304 4196468 140729408717296 140359089806224 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4861] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4861/stat : 4861 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 17902 33554432000 4194304 4196468 140729408717296 140359088753424 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4862] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4862/stat : 4862 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893200 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358667975024 140359630428802 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4863] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4863/stat : 4863 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358189048864 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4864] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4864/stat : 4864 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 17902 33554432000 4194304 4196468 140729408717296 140357920613232 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4865] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4865/stat : 4865 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 17902 33554432000 4194304 4196468 140729408717296 140357546104656 140359630436251 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4866] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4866/stat : 4866 (java) S 4853 4853 3960 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358666922864 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4867] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4867/stat : 4867 (java) S 4853 4853 3960 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358665870064 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4868] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0.01 cores=1,3,5,7
/proc/4856/task/4868/stat : 4868 (java) R 4853 4853 3960 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 230893203 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358664813208 140359623514412 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4869] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4869/stat : 4869 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 17902 33554432000 4194304 4196468 140729408717296 140357048199904 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4870] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4870/stat : 4870 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893204 15372775424 17902 33554432000 4194304 4196468 140729408717296 140358663764656 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73000 KiB
[startup+0.210806 s]*
/proc/loadavg: 2.00 2.02 1.95 4/222 4870
/proc/meminfo: memFree=23283072/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230893196 115843072 348 33554432000 4194304 5098028 140726507154944 140726507152200 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 348 296 221 0 87 0
[pid=4856] ppid=4853 vsize=15012476 memory=84960 CPUtime=0.25 cores=1,3,5,7
/proc/4856/stat : 4856 (java) S 4853 4853 3960 0 -1 1077944320 10603 0 0 0 22 3 0 0 20 0 15 0 230893197 15372775424 21240 33554432000 4194304 4196468 140729408717296 140729408699840 140359630417655 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
/proc/4856/statm: 3753119 21240 2876 1 0 3715579 0
[pid=4856/tid=4857] ppid=4853 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/4856/task/4857/stat : 4857 (java) R 4853 4853 3960 0 -1 4202560 8450 0 0 0 17 2 0 0 20 0 15 0 230893197 15372775424 21240 33554432000 4194304 4196468 140729408717296 140359602242464 140359614498142 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4858] ppid=4853 vsize=15012476 memory=404 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4858/stat : 4858 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 21240 33554432000 4194304 4196468 140729408717296 140359634660496 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4859] ppid=4853 vsize=15012476 memory=140479307666254 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4859/stat : 4859 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 21240 33554432000 4194304 4196468 140729408717296 140359465909264 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4860] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4860/stat : 4860 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 21240 33554432000 4194304 4196468 140729408717296 140359089806224 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4861] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4861/stat : 4861 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 21240 33554432000 4194304 4196468 140729408717296 140359088753424 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4862] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4862/stat : 4862 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893200 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358667975024 140359630428802 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4863] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4863/stat : 4863 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358189048864 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4864] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4864/stat : 4864 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 21240 33554432000 4194304 4196468 140729408717296 140357920613232 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4865] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4865/stat : 4865 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 21240 33554432000 4194304 4196468 140729408717296 140357546104656 140359630436251 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4866] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4866/stat : 4866 (java) S 4853 4853 3960 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358666922864 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4867] ppid=4853 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4856/task/4867/stat : 4867 (java) S 4853 4853 3960 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 15 0 230893203 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358665870064 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4868] ppid=4853 vsize=15012476 memory=140479307650688 CPUtime=0.03 cores=1,3,5,7
/proc/4856/task/4868/stat : 4868 (java) S 4853 4853 3960 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 230893203 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358664817264 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4869] ppid=4853 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4869/stat : 4869 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 21240 33554432000 4194304 4196468 140729408717296 140357048199904 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4870] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4870/stat : 4870 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893204 15372775424 21240 33554432000 4194304 4196468 140729408717296 140358663764656 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86352 KiB
[startup+0.31076 s]*
/proc/loadavg: 2.00 2.02 1.95 3/222 4870
/proc/meminfo: memFree=23384356/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230893196 115843072 348 33554432000 4194304 5098028 140726507154944 140726507152200 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 348 296 221 0 87 0
[pid=4856] ppid=4853 vsize=15012476 memory=88780 CPUtime=0.42 cores=1,3,5,7
/proc/4856/stat : 4856 (java) S 4853 4853 3960 0 -1 1077944320 11216 0 0 0 39 3 0 0 20 0 15 0 230893197 15372775424 22195 33554432000 4194304 4196468 140729408717296 140729408699840 140359630417655 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
/proc/4856/statm: 3753119 22195 2970 1 0 3715579 0
[pid=4856/tid=4857] ppid=4853 vsize=15012476 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/4856/task/4857/stat : 4857 (java) R 4853 4853 3960 0 -1 4202560 8827 0 0 0 27 3 0 0 20 0 15 0 230893197 15372775424 22195 33554432000 4194304 4196468 140729408717296 140359602212656 140359612366801 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4858] ppid=4853 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4858/stat : 4858 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 22195 33554432000 4194304 4196468 140729408717296 140359634660496 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4859] ppid=4853 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4859/stat : 4859 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 22195 33554432000 4194304 4196468 140729408717296 140359465909264 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4860] ppid=4853 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4860/stat : 4860 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 22195 33554432000 4194304 4196468 140729408717296 140359089806224 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4861] ppid=4853 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4861/stat : 4861 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15372775424 22195 33554432000 4194304 4196468 140729408717296 140359088753424 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4862] ppid=4853 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4862/stat : 4862 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893200 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358667975024 140359630428802 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4863] ppid=4853 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4863/stat : 4863 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358189048864 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4864] ppid=4853 vsize=15012476 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4864/stat : 4864 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893201 15372775424 22195 33554432000 4194304 4196468 140729408717296 140357920613232 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4865] ppid=4853 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4865/stat : 4865 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 22195 33554432000 4194304 4196468 140729408717296 140357546104656 140359630436251 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4866] ppid=4853 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4856/task/4866/stat : 4866 (java) S 4853 4853 3960 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 230893203 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358666922864 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4867] ppid=4853 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4856/task/4867/stat : 4867 (java) S 4853 4853 3960 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 230893203 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358665870064 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4868] ppid=4853 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4856/task/4868/stat : 4868 (java) S 4853 4853 3960 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 15 0 230893203 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358664817264 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4869] ppid=4853 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4869/stat : 4869 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15372775424 22195 33554432000 4194304 4196468 140729408717296 140357048199904 140359630427861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4870] ppid=4853 vsize=15012476 memory=4123387635432634159 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4870/stat : 4870 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893204 15372775424 22195 33554432000 4194304 4196468 140729408717296 140358663764656 140359630428802 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90172 KiB
[startup+0.700821 s]
/proc/loadavg: 2.00 2.02 1.95 3/222 4870
/proc/meminfo: memFree=23360172/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230893196 115843072 348 33554432000 4194304 5098028 140726507154944 140726507152200 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 348 296 221 0 87 0
[pid=4856] ppid=4853 vsize=15020872 memory=130852 CPUtime=0.99 cores=1,3,5,7
/proc/4856/stat : 4856 (java) S 4853 4853 3960 0 -1 1077944320 18332 0 0 0 93 6 0 0 20 0 15 0 230893197 15381372928 32713 33554432000 4194304 4196468 140729408717296 140729408699840 140359630417655 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
/proc/4856/statm: 3755218 32713 3168 1 0 3716603 0
[pid=4856/tid=4857] ppid=4853 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/4856/task/4857/stat : 4857 (java) R 4853 4853 3960 0 -1 4202560 15403 0 0 0 62 5 0 0 20 0 15 0 230893197 15381372928 32713 33554432000 4194304 4196468 140729408717296 140359602238032 140359630439581 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4858] ppid=4853 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4858/stat : 4858 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15381372928 32713 33554432000 4194304 4196468 140729408717296 140359634660496 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4859] ppid=4853 vsize=15020872 memory=11742 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4859/stat : 4859 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15381372928 32713 33554432000 4194304 4196468 140729408717296 140359465909264 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4860] ppid=4853 vsize=15020872 memory=26079 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4860/stat : 4860 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230893199 15381372928 32713 33554432000 4194304 4196468 140729408717296 140359089806224 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4861] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4861/stat : 4861 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893199 15381372928 32713 33554432000 4194304 4196468 140729408717296 140359088753424 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4862] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4862/stat : 4862 (java) S 4853 4853 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230893200 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358667975024 140359630428802 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4863] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4863/stat : 4863 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230893201 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358189048864 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4864] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4864/stat : 4864 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893201 15381372928 32713 33554432000 4194304 4196468 140729408717296 140357920613232 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4865] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4865/stat : 4865 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15381372928 32713 33554432000 4194304 4196468 140729408717296 140357546104656 140359630436251 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4866] ppid=4853 vsize=15020872 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4856/task/4866/stat : 4866 (java) R 4853 4853 3960 0 -1 4202560 172 0 0 0 5 0 0 0 20 0 15 0 230893203 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358666910416 140359612002498 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4867] ppid=4853 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4856/task/4867/stat : 4867 (java) R 4853 4853 3960 0 -1 1077944384 793 0 0 0 10 0 0 0 20 0 15 0 230893203 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358665870064 140359630428802 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4868] ppid=4853 vsize=15020872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4856/task/4868/stat : 4868 (java) R 4853 4853 3960 0 -1 4202560 631 0 0 0 15 0 0 0 20 0 15 0 230893203 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358664817264 140359614498142 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4869] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4869/stat : 4869 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230893203 15381372928 32713 33554432000 4194304 4196468 140729408717296 140357048199904 140359630427861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
[pid=4856/tid=4870] ppid=4853 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4856/task/4870/stat : 4870 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230893204 15381372928 32713 33554432000 4194304 4196468 140729408717296 140358663764656 140359630428802 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35876864 140729408726023 140729408726321 140729408726321 140729408729039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 132244 KiB
[startup+1.50155 s]
/proc/loadavg: 2.00 2.02 1.95 5/222 4870
/proc/meminfo: memFree=23315204/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230893196 115843072 348 33554432000 4194304 5098028 140726507154944 140726507152200 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/4871/task/4885/stat : 4885 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894051 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609230678832 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4887] ppid=4853 vsize=8068220 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4887/stat : 4887 (java) S 4853 4853 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609310836288 140609982103321 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4889] ppid=4853 vsize=8068220 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4889/stat : 4889 (java) S 4853 4853 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607162921104 140609982100637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4890] ppid=4853 vsize=8068220 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4890/stat : 4890 (java) S 4853 4853 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607297142032 140609982100637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4891] ppid=4853 vsize=8068220 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4891/stat : 4891 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894119 8261857280 29270 33554432000 4194304 4196468 140729653154240 140606894496800 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 8221720 KiB
Current children cumulated memory: 139680 KiB
[startup+15.2009 s]
/proc/loadavg: 2.21 2.07 1.97 3/227 4891
/proc/meminfo: memFree=23315592/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1468 CPUtime=20.25 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 590 38162 0 0 0 0 1969 56 20 0 1 0 230893196 115843072 367 33554432000 4194304 5098028 140726507154944 140726507151688 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 367 311 221 0 87 0
[pid=4871] ppid=4853 vsize=8068220 memory=117080 CPUtime=1.15 cores=1,3,5,7
/proc/4871/stat : 4871 (java) S 4853 4853 3960 0 -1 1077944320 18012 0 0 0 110 5 0 0 20 0 19 0 230894044 8261857280 29270 33554432000 4194304 4196468 140729653154240 140729653136784 140609982078711 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
/proc/4871/statm: 2017055 29270 3154 1 0 1978454 0
[pid=4886] ppid=4871 vsize=40372 memory=24036 CPUtime=5.98 cores=1,3,5,7
/proc/4886/stat : 4886 (minisat_release) R 4871 4853 3960 0 -1 4202496 10534 0 0 0 597 1 0 0 20 0 1 0 230894117 41340928 6009 33554432000 4194304 4308513 140734552896640 140734552893544 4276135 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 27955200 140734552900725 140734552900822 140734552900822 140734552903621 0
/proc/4886/statm: 10093 6009 341 28 0 6333 0
[pid=4871/tid=4872] ppid=4853 vsize=8068220 memory=2144 CPUtime=0.74 cores=1,3,5,7
/proc/4871/task/4872/stat : 4872 (java) S 4853 4853 3960 0 -1 1077944384 15057 0 0 0 71 3 0 0 20 0 19 0 230894045 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609953918864 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4873] ppid=4853 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4873/stat : 4873 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609986320656 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4874] ppid=4853 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4874/stat : 4874 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609786489232 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4875] ppid=4853 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4875/stat : 4875 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609785436688 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4876] ppid=4853 vsize=8068220 memory=6792 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4876/stat : 4876 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609784384144 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4877] ppid=4853 vsize=8068220 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4877/stat : 4877 (java) S 4853 4853 3960 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230894047 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609234889200 140609982089858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4878] ppid=4853 vsize=8068220 memory=752 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4878/stat : 4878 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230894048 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608840656288 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4879] ppid=4853 vsize=8068220 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4879/stat : 4879 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894048 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608572220912 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4880] ppid=4853 vsize=8068220 memory=280958372748128 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4880/stat : 4880 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608197712592 140609982097307 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4881] ppid=4853 vsize=8068220 memory=7091875727759730786 CPUtime=0.1 cores=1,3,5,7
/proc/4871/task/4881/stat : 4881 (java) S 4853 4853 3960 0 -1 1077944384 707 0 0 0 10 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609233836016 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4882] ppid=4853 vsize=8068220 memory=7444819964895188565 CPUtime=0.07 cores=1,3,5,7
/proc/4871/task/4882/stat : 4882 (java) S 4853 4853 3960 0 -1 1077944384 247 0 0 0 7 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609232783472 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4883] ppid=4853 vsize=8068220 memory=2025 CPUtime=0.21 cores=1,3,5,7
/proc/4871/task/4883/stat : 4883 (java) S 4853 4853 3960 0 -1 1077944384 588 0 0 0 21 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609231730928 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4884] ppid=4853 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4884/stat : 4884 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894051 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607699806816 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4885] ppid=4853 vsize=8068220 memory=117080 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4885/stat : 4885 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894051 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609230678832 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4887] ppid=4853 vsize=8068220 memory=24036 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4887/stat : 4887 (java) S 4853 4853 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609310836288 140609982103321 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4889] ppid=4853 vsize=8068220 memory=33124 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4889/stat : 4889 (java) S 4853 4853 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607162921104 140609982100637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4890] ppid=4853 vsize=8068220 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4890/stat : 4890 (java) S 4853 4853 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607297142032 140609982100637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4891] ppid=4853 vsize=8068220 memory=13756 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4891/stat : 4891 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894119 8261857280 29270 33554432000 4194304 4196468 140729653154240 140606894496800 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
Current children cumulated CPU time: 27.38 s
Current children cumulated vsize: 8221720 KiB
Current children cumulated memory: 142584 KiB
[startup+15.4009 s]
/proc/loadavg: 2.21 2.07 1.97 3/227 4891
/proc/meminfo: memFree=23315592/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1468 CPUtime=20.25 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 590 38162 0 0 0 0 1969 56 20 0 1 0 230893196 115843072 367 33554432000 4194304 5098028 140726507154944 140726507151688 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 367 311 221 0 87 0
[pid=4871] ppid=4853 vsize=8068220 memory=117080 CPUtime=1.16 cores=1,3,5,7
/proc/4871/stat : 4871 (java) S 4853 4853 3960 0 -1 1077944320 18012 0 0 0 111 5 0 0 20 0 19 0 230894044 8261857280 29270 33554432000 4194304 4196468 140729653154240 140729653136784 140609982078711 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
/proc/4871/statm: 2017055 29270 3154 1 0 1978454 0
[pid=4886] ppid=4871 vsize=40372 memory=24172 CPUtime=6.18 cores=1,3,5,7
/proc/4886/stat : 4886 (minisat_release) R 4871 4853 3960 0 -1 4202496 10578 0 0 0 617 1 0 0 20 0 1 0 230894117 41340928 6043 33554432000 4194304 4308513 140734552896640 140734552893544 139882283719776 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 27955200 140734552900725 140734552900822 140734552900822 140734552903621 0
/proc/4886/statm: 10093 6043 341 28 0 6333 0
[pid=4871/tid=4872] ppid=4853 vsize=8068220 memory=1172 CPUtime=0.74 cores=1,3,5,7
/proc/4871/task/4872/stat : 4872 (java) S 4853 4853 3960 0 -1 1077944384 15057 0 0 0 71 3 0 0 20 0 19 0 230894045 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609953918864 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4873] ppid=4853 vsize=8068220 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4873/stat : 4873 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609986320656 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4874] ppid=4853 vsize=8068220 memory=6416 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4874/stat : 4874 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609786489232 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4875] ppid=4853 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4875/stat : 4875 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609785436688 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4876] ppid=4853 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4876/stat : 4876 (java) S 4853 4853 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230894046 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609784384144 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4877] ppid=4853 vsize=8068220 memory=6792 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4877/stat : 4877 (java) S 4853 4853 3960 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230894047 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609234889200 140609982089858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4878] ppid=4853 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4878/stat : 4878 (java) S 4853 4853 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230894048 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608840656288 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4879] ppid=4853 vsize=8068220 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4879/stat : 4879 (java) S 4853 4853 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230894048 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608572220912 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4880] ppid=4853 vsize=8068220 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4880/stat : 4880 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140608197712592 140609982097307 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4881] ppid=4853 vsize=8068220 memory=280958373304192 CPUtime=0.1 cores=1,3,5,7
/proc/4871/task/4881/stat : 4881 (java) S 4853 4853 3960 0 -1 1077944384 707 0 0 0 10 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609233836016 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4882] ppid=4853 vsize=8068220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4871/task/4882/stat : 4882 (java) S 4853 4853 3960 0 -1 1077944384 247 0 0 0 7 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609232783472 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4883] ppid=4853 vsize=8068220 memory=7813593664657895433 CPUtime=0.21 cores=1,3,5,7
/proc/4871/task/4883/stat : 4883 (java) R 4853 4853 3960 0 -1 4202560 589 0 0 0 21 0 0 0 20 0 19 0 230894050 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609231730928 140609962002847 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4884] ppid=4853 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4884/stat : 4884 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894051 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607699806816 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4885] ppid=4853 vsize=8068220 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4885/stat : 4885 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894051 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609230678832 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4887] ppid=4853 vsize=8068220 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4887/stat : 4887 (java) S 4853 4853 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140609310836288 140609982103321 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4889] ppid=4853 vsize=8068220 memory=15064 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4889/stat : 4889 (java) R 4853 4853 3960 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607162921104 140729653385154 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4890] ppid=4853 vsize=8068220 memory=34624 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4890/stat : 4890 (java) S 4853 4853 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230894117 8261857280 29270 33554432000 4194304 4196468 140729653154240 140607297142032 140609982100637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4891] ppid=4853 vsize=8068220 memory=13756 CPUtime=0 cores=1,3,5,7
/proc/4871/task/4891/stat : 4891 (java) S 4853 4853 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230894119 8261857280 29270 33554432000 4194304 4196468 140729653154240 140606894496800 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 8221720 KiB
Current children cumulated memory: 142720 KiB
[startup+15.5044 s]
/proc/loadavg: 2.21 2.07 1.97 3/227 4891
/proc/meminfo: memFree=23315592/32770624 swapFree=67108372/67108860
[pid=4853] ppid=4850 vsize=113128 memory=1468 CPUtime=20.25 cores=1,3,5,7
/proc/4853/stat : 4853 (scop.sh) S 4850 4853 3960 0 -1 4202496 590 38162 0 0 0 0 1969 56 20 0 1 0 230893196 115843072 367 33554432000 4194304 5098028 140726507154944 140726507151688 140248281076348 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23486464 140726507156544 140726507156743 140726507156743 140726507159501 0
/proc/4853/statm: 28282 367 311 221 0 87 0
[pid=4871] ppid=4853 vsize=7937144 memory=128720 CPUtime=7.57 cores=1,3,5,7
/proc/4871/stat : 4871 (java) S 4853 4853 3960 0 -1 1077944320 18880 10586 0 0 134 5 617 1 20 0 17 0 230894044 8127635456 32180 33554432000 4194304 4196468 140729653154240 140729653136784 140609982078711 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
/proc/4871/statm: 1984286 32180 3171 1 0 1945685 0
[pid=4871/tid=4872] ppid=4853 vsize=7937144 memory=7307178826241568617 CPUtime=7 cores=1,3,5,7
/proc/4871/task/4872/stat : 4872 (java) R 4853 4853 3960 0 -1 4202560 15280 10586 0 0 79 3 617 1 20 0 17 0 230894045 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609953916720 140609974764343 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4873] ppid=4853 vsize=7937144 memory=24036 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4873/stat : 4873 (java) S 4853 4853 3960 0 -1 1077944384 2 10586 0 0 0 0 617 1 20 0 17 0 230894046 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609986320656 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4874] ppid=4853 vsize=7937144 memory=4420 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4874/stat : 4874 (java) S 4853 4853 3960 0 -1 1077944384 1 10586 0 0 0 0 617 1 20 0 17 0 230894046 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609786489232 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4875] ppid=4853 vsize=7937144 memory=62780 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4875/stat : 4875 (java) S 4853 4853 3960 0 -1 1077944384 1 10586 0 0 0 0 617 1 20 0 17 0 230894046 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609785436688 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4876] ppid=4853 vsize=7937144 memory=1100 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4876/stat : 4876 (java) S 4853 4853 3960 0 -1 1077944384 2 10586 0 0 0 0 617 1 20 0 17 0 230894046 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609784384144 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4877] ppid=4853 vsize=7937144 memory=24036 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4877/stat : 4877 (java) S 4853 4853 3960 0 -1 1077944384 7 10586 0 0 0 0 617 1 20 0 17 0 230894047 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609234889200 140609982089858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4878] ppid=4853 vsize=7937144 memory=-7173504570860347296 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4878/stat : 4878 (java) S 4853 4853 3960 0 -1 1077944384 13 10586 0 0 0 0 617 1 20 0 17 0 230894048 8127635456 32180 33554432000 4194304 4196468 140729653154240 140608840656288 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4879] ppid=4853 vsize=7937144 memory=24036 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4879/stat : 4879 (java) S 4853 4853 3960 0 -1 1077944384 1 10586 0 0 0 0 617 1 20 0 17 0 230894048 8127635456 32180 33554432000 4194304 4196468 140729653154240 140608572220912 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4880] ppid=4853 vsize=7937144 memory=6416 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4880/stat : 4880 (java) S 4853 4853 3960 0 -1 1077944384 3 10586 0 0 0 0 617 1 20 0 17 0 230894050 8127635456 32180 33554432000 4194304 4196468 140729653154240 140608197712592 140609982097307 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4881] ppid=4853 vsize=7937144 memory=0 CPUtime=6.32 cores=1,3,5,7
/proc/4871/task/4881/stat : 4881 (java) S 4853 4853 3960 0 -1 1077944384 829 10586 0 0 14 0 617 1 20 0 17 0 230894050 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609233836016 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4882] ppid=4853 vsize=7937144 memory=0 CPUtime=6.28 cores=1,3,5,7
/proc/4871/task/4882/stat : 4882 (java) S 4853 4853 3960 0 -1 1077944384 505 10586 0 0 10 0 617 1 20 0 17 0 230894050 8127635456 32180 33554432000 4194304 4196468 140729653154240 140609232783472 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4883] ppid=4853 vsize=7937144 memory=0 CPUtime=6.44 cores=1,3,5,7
/proc/4871/task/4883/stat : 4883 (java) R 4853 4853 3960 0 -1 4202560 791 10586 0 0 26 0 617 1 20 0 17 0 230894050 8127635456 32181 33554432000 4194304 4196468 140729653154240 140609231730928 140609982100058 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4884] ppid=4853 vsize=7806056 memory=164 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4884/stat : 4884 (java) S 4853 4853 3960 0 -1 1077944384 3 10586 0 0 0 0 617 1 20 0 17 0 230894051 7993401344 32176 33554432000 4194304 4196468 140729653154240 140607699806816 140609982088917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4887] ppid=4853 vsize=7806068 memory=6944656575208382560 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4887/stat : 4887 (java) S 4853 4853 3960 0 -1 1077944384 35 10586 0 0 0 0 617 1 20 0 16 0 230894117 7993413632 32176 33554432000 4194304 4196468 140729653154240 140609310835472 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
[pid=4871/tid=4891] ppid=4853 vsize=7806068 memory=117080 CPUtime=6.18 cores=1,3,5,7
/proc/4871/task/4891/stat : 4891 (java) S 4853 4853 3960 0 -1 1077944384 8 10586 0 0 0 0 617 1 20 0 16 0 230894119 7993413632 32176 33554432000 4194304 4196468 140729653154240 140606894498608 140609982089858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36458496 140729653159094 140729653159217 140729653159217 140729653161935 0
Current children cumulated CPU time: 27.82 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 130188 KiB
Child status: 0
Real time (s): 15.5115
CPU time (s): 27.873
CPU user time (s): 27.2221
CPU system time (s): 0.650812
CPU usage (%): 179.692
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2834304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2221
system time used= 0.650812
maximum resident set size= 2837916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68254
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= 6799
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 4853
# total CPU time (s): 27.873
# total CPU user time (s): 27.2221
# total CPU system time (s): 0.650812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.142266 second user time and 0.189688 second system time
The end