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-18988-serial-file.bin HOME/instance-4305418-1534072647.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:17:28 CEST 2018
0.67/0.54 c PID: 18991
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.51/1.23 c (0,0) Parsing End
2.51/1.23 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 726 ctr, max domain size 4
2.51/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.51/1.23 c (0,0) Constraint Name Generate Begin
2.51/1.25 c (0,0) Ctr:HOME/instance-4305418-1534072647.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
2.51/1.25 c (0,0) Constraint Name Generate End
2.51/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.51/1.25 c (0,0) CSP to CSPinCNF Begin
2.76/1.36 c (0,0) translated 73 (10%) constraints
2.76/1.40 c (0,0) translated 146 (20%) constraints
3.00/1.43 c (0,0) translated 218 (30%) constraints
3.00/1.45 c (0,0) translated 291 (40%) constraints
3.00/1.47 c (0,0) translated 363 (50%) constraints
3.00/1.49 c (0,0) translated 436 (60%) constraints
3.25/1.50 c (0,0) translated 509 (70%) constraints
3.25/1.51 c (0,0) translated 581 (80%) constraints
3.25/1.52 c (1,0) translated 654 (90%) constraints
3.52/1.70 c (1,1) translated 726 (100%) constraints
4.11/1.85 c (1,1) STATISTICS1:HOME/instance-4305418-1534072647.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,392,1444,32768,4,4,16,32768:32;4:1217;1:421,4:2849;2:984;1:955,4:792;3:274;2:328;1:50,16:32;2:1638;1:1528,
4.11/1.85 c (1,1) ==========================================
4.11/1.85 c (1,1) Order
4.11/1.85 c (1,1) ==========================================
4.11/1.88 c (1,1) translated 145 (10%) constraints
4.11/1.90 c (1,1) translated 289 (20%) constraints
4.44/1.91 c (1,1) translated 434 (30%) constraints
4.44/1.93 c (1,1) translated 578 (40%) constraints
4.44/1.95 c (1,1) translated 722 (50%) constraints
4.44/1.99 c (1,1) translated 867 (60%) constraints
4.81/2.02 c (1,1) translated 1011 (70%) constraints
4.81/2.04 c (1,1) translated 1156 (80%) constraints
4.81/2.06 c (1,1) translated 1300 (90%) constraints
4.81/2.07 c (1,1) translated 1444 (100%) constraints
4.81/2.07 c (1,1) CSP to CSPinCNF End
4.81/2.08 c (1,1) CSP: 112 int (48 aux), 584 bool (584 aux), 2084 ctr, max domain size 5
4.81/2.08 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.81/2.08 c (1,1) CSPinCNF Propagation Begin
5.14/2.15 c (1,1) 188 values, 858 unsatisfiable literals, and 738 valid clauses are removed
5.14/2.15 c (1,1) CSPinCNF Propagation End
5.14/2.15 c (1,1) CSP: 252 int (188 aux), 444 bool (444 aux), 1346 ctr, max domain size 5
5.14/2.15 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.14/2.15 c (1,1) Simplify CSPinCNF Begin
5.43/2.21 c (1,1) Simplify CSPinCNF End
5.43/2.21 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.43/2.21 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.43/2.21 c (1,1) Calculate Precise Domain Begin
5.43/2.24 c (1,1) 0 values are removed by re-calculation
5.43/2.24 c (1,1) Calculate Precise Domain End
5.43/2.24 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.43/2.24 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.43/2.24 c (1,1) CSPinCNF to SatSolver Begin
5.74/2.32 c (1,1) 217 (10 %) CSP clauses are encoded (1547 SAT variables, 852 SAT clauses)
5.74/2.34 c (1,1) 433 (20 %) CSP clauses are encoded (1547 SAT variables, 1572 SAT clauses)
5.74/2.35 c (1,1) 649 (30 %) CSP clauses are encoded (1547 SAT variables, 2283 SAT clauses)
5.74/2.37 c (1,1) 865 (40 %) CSP clauses are encoded (1547 SAT variables, 2928 SAT clauses)
5.74/2.38 c (1,1) 1081 (50 %) CSP clauses are encoded (1547 SAT variables, 3444 SAT clauses)
5.74/2.39 c (1,1) 1297 (60 %) CSP clauses are encoded (1547 SAT variables, 4612 SAT clauses)
6.07/2.41 c (1,1) 1513 (70 %) CSP clauses are encoded (1547 SAT variables, 5780 SAT clauses)
6.07/2.42 c (1,1) 1729 (80 %) CSP clauses are encoded (1547 SAT variables, 6948 SAT clauses)
6.07/2.43 c (1,1) 1945 (90 %) CSP clauses are encoded (1547 SAT variables, 7164 SAT clauses)
6.07/2.43 c (1,1) 2161 (100 %) CSP clauses are encoded (1547 SAT variables, 7712 SAT clauses)
6.07/2.43 c (1,1) Launch Command will be: minisat_release
6.07/2.43 c (1,1) CSPinCNF to SatSolver End
6.07/2.43 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
6.07/2.46 c (1,1) STATISTICS2:HOME/instance-4305418-1534072647.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1511,2161,64,5,4,7,64:24;32:48;25:24;4:857;1:35,5:144;4:2325;2:3976;1:35,4:414;3:116;2:1521;1:110,7:24;6:48;3:24;2:892;1:4168,
6.07/2.46 c (1,1) 1547 bool, 7715 clause
6.07/2.46 c (1,1) Export Begin
6.39/2.55 c (2,2) Export to HOME/scop-18988-serial-file.bin
6.39/2.55 c (2,2) Export End
6.39/2.55 c (2,2) Export File Size: 0.01 MB
6.39/2.55 c (2,2) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.39/2.55 c END-Prog: Sun Aug 12 13:17:30 CEST 2018
6.39/2.57 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18988-serial-file.bin
7.12/3.06 c (0,0) Read Serial File Begin
7.12/3.06 c (0,0) HOME/scop-18988-serial-file.bin
7.40/3.22 c (0,0) Read Serial File End
7.40/3.23
7.40/3.23 scop order+minisat_release (2018-07-31)
7.40/3.23 (Solving Process)
7.40/3.23
7.40/3.25 c BEGIN-Prog: Sun Aug 12 13:17:31 CEST 2018
7.40/3.25 c PID: 19006
7.40/3.25 c IP: 172.20.3.107
7.40/3.25 c HOST: node107.alineos.net
7.40/3.25 c (0,0) SatSolver.solve Begin
7.40/3.25 c (0,0) 0 bool, 0 clause
7.40/3.25 c (0,0) minisat_release HOME/instance-4305418-1534072647.xml-scop-18991.cnf
7.40/3.29 c (0,0) c This is COMiniSatPS.
7.40/3.29 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.40/3.29 c (0,0) c ============================[ Problem Statistics ]=============================
7.40/3.29 c (0,0) c | |
7.40/3.29 c (0,0) c | Number of variables: 1547 |
7.40/3.29 c (0,0) c | Number of clauses: 7715 |
7.40/3.29 c (0,0) c | Parse time: 0.00 s |
7.40/3.29 c (0,0) c | Eliminated clauses: 0.01 Mb |
7.40/3.29 c (0,0) c Reduced to 1188 vars, 7188 cls (grow=0)
7.40/3.29 c (0,0) c No iterative elimination performed. (vars=1188, c/v ratio=6.1)
7.40/3.29 c (0,0) c | Simplification time: 0.01 s |
7.40/3.29 c (0,0) c | |
7.40/3.29 c (0,0) c ============================[ Search Statistics ]==============================
7.40/3.29 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.40/3.29 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.61/3.30 c (0,0) c ===============================================================================
7.61/3.30 c (0,0) c ===============================================================================
7.61/3.30 c (0,0) c restarts : 2
7.61/3.30 c (0,0) c conflicts : 337 (23280 /sec)
7.61/3.30 c (0,0) c decisions : 1136 (0.00 % random) (78475 /sec)
7.61/3.30 c (0,0) c propagations : 32781 (2264507 /sec)
7.61/3.30 c (0,0) c conflict literals : 5299 (10.16 % deleted)
7.61/3.30 c (0,0) c CPU time : 0.014476 s
7.61/3.30 c (0,0)
7.61/3.30 c (0,0) s SATISFIABLE
7.61/3.33 c (0,0) SatSolver.solve End
7.61/3.33 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.61/3.33 c (0,0) Show results Begin
7.61/3.39 s SATISFIABLE
7.79/3.40 v <instantiation>
7.79/3.40 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15]</list>
7.79/3.40 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 3 2 1 0 2 3 2 3 1 0 3 2 0 1 0 3 2 1 2 1 0 3 3 0 1 2 1 2 3 0</values>
7.79/3.40 v </instantiation>
7.79/3.40 c (0,0) Show results End
7.79/3.40 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.79/3.40 c (0,0) 0,0,STOP-AFTER(ALL)
7.79/3.40 c END-Prog: Sun Aug 12 13:17:31 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 (12863 MiB free)
memory of node 1: 16384 MiB (11182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305418-1534072647/watcher-4305418-1534072647 -o /tmp/evaluation-result-4305418-1534072647/solver-4305418-1534072647 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305418-1534072647.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18988, runsolver pid=18985
[startup+0.100126 s]*
/proc/loadavg: 2.17 2.11 2.09 3/222 19005
/proc/meminfo: memFree=24561672/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224827926 115843072 349 33554432000 4194304 5098028 140733209860736 140733209857992 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 349 296 221 0 87 0
[pid=18991] ppid=18988 vsize=15012476 memory=74096 CPUtime=0.11 cores=0,2,4,6
/proc/18991/stat : 18991 (java) S 18988 18988 16605 0 -1 1077944320 6128 0 0 0 9 2 0 0 20 0 15 0 224827926 15372775424 18524 33554432000 4194304 4196468 140735182570304 140735182552848 140648174075639 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
/proc/18991/statm: 3753119 18524 2771 1 0 3715579 0
[pid=18991/tid=18992] ppid=18988 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/18991/task/18992/stat : 18992 (java) R 18988 18988 16605 0 -1 4202560 4261 0 0 0 7 2 0 0 20 0 15 0 224827926 15372775424 18590 33554432000 4194304 4196468 140735182570304 140648145861760 140648154351388 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18993] ppid=18988 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18993/stat : 18993 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 18590 33554432000 4194304 4196468 140735182570304 140648178317584 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18994] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18994/stat : 18994 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 18590 33554432000 4194304 4196468 140735182570304 140647969401232 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18995] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18995/stat : 18995 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 18590 33554432000 4194304 4196468 140735182570304 140647968348688 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18996] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18996/stat : 18996 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 18590 33554432000 4194304 4196468 140735182570304 140647967296144 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18997] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18997/stat : 18997 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827929 15372775424 18590 33554432000 4194304 4196468 140735182570304 140647513287152 140648174086786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18998] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18998/stat : 18998 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 18590 33554432000 4194304 4196468 140735182570304 140646824273312 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18999] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18999/stat : 18999 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 18590 33554432000 4194304 4196468 140735182570304 140646555837936 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19000] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19000/stat : 19000 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 18590 33554432000 4194304 4196468 140735182570304 140646181329616 140648174094235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19001] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19001/stat : 19001 (java) S 18988 18988 16605 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 18656 33554432000 4194304 4196468 140735182570304 140647512233968 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19002] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19002/stat : 19002 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 18656 33554432000 4194304 4196468 140735182570304 140647511181424 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19003] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0.01 cores=0,2,4,6
/proc/18991/task/19003/stat : 19003 (java) S 18988 18988 16605 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 224827932 15372775424 18656 33554432000 4194304 4196468 140735182570304 140647510128880 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19004] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19004/stat : 19004 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 18656 33554432000 4194304 4196468 140735182570304 140645683423840 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19005] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19005/stat : 19005 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 18656 33554432000 4194304 4196468 140735182570304 140647509076784 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75492 KiB
[startup+0.21062 s]*
/proc/loadavg: 2.17 2.11 2.09 3/222 19005
/proc/meminfo: memFree=24547968/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224827926 115843072 349 33554432000 4194304 5098028 140733209860736 140733209857992 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 349 296 221 0 87 0
[pid=18991] ppid=18988 vsize=15012476 memory=86644 CPUtime=0.25 cores=0,2,4,6
/proc/18991/stat : 18991 (java) S 18988 18988 16605 0 -1 1077944320 9497 0 0 0 22 3 0 0 20 0 15 0 224827926 15372775424 21661 33554432000 4194304 4196468 140735182570304 140735182552848 140648174075639 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
/proc/18991/statm: 3753119 21661 2907 1 0 3715579 0
[pid=18991/tid=18992] ppid=18988 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/18991/task/18992/stat : 18992 (java) R 18988 18988 16605 0 -1 4202560 7406 0 0 0 17 3 0 0 20 0 15 0 224827926 15372775424 21661 33554432000 4194304 4196468 140735182570304 140648145884384 140648174087574 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18993] ppid=18988 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18993/stat : 18993 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 21661 33554432000 4194304 4196468 140735182570304 140648178317584 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18994] ppid=18988 vsize=15012476 memory=4122684157035431584 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18994/stat : 18994 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647969401232 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18995] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18995/stat : 18995 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647968348688 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18996] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18996/stat : 18996 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647967296144 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18997] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18997/stat : 18997 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827929 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647513287152 140648174086786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18998] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18998/stat : 18998 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 21661 33554432000 4194304 4196468 140735182570304 140646824273312 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18999] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18999/stat : 18999 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 21661 33554432000 4194304 4196468 140735182570304 140646555837936 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19000] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19000/stat : 19000 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 21661 33554432000 4194304 4196468 140735182570304 140646181329616 140648174094235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19001] ppid=18988 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18991/task/19001/stat : 19001 (java) R 18988 18988 16605 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 224827932 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647512233968 140648174086786 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19002] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19002/stat : 19002 (java) R 18988 18988 16605 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647511172928 140648157486511 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19003] ppid=18988 vsize=15012476 memory=139842729428608 CPUtime=0.03 cores=0,2,4,6
/proc/18991/task/19003/stat : 19003 (java) S 18988 18988 16605 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 224827932 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647510128880 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19004] ppid=18988 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19004/stat : 19004 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 21661 33554432000 4194304 4196468 140735182570304 140645683423840 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19005] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19005/stat : 19005 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 21661 33554432000 4194304 4196468 140735182570304 140647509076784 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88040 KiB
[startup+0.310654 s]*
/proc/loadavg: 2.17 2.11 2.09 3/222 19005
/proc/meminfo: memFree=24544664/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224827926 115843072 349 33554432000 4194304 5098028 140733209860736 140733209857992 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 349 296 221 0 87 0
[pid=18991] ppid=18988 vsize=15012476 memory=90440 CPUtime=0.43 cores=0,2,4,6
/proc/18991/stat : 18991 (java) S 18988 18988 16605 0 -1 1077944320 10045 0 0 0 39 4 0 0 20 0 15 0 224827926 15372775424 22610 33554432000 4194304 4196468 140735182570304 140735182552848 140648174075639 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
/proc/18991/statm: 3753119 22610 3026 1 0 3715579 0
[pid=18991/tid=18992] ppid=18988 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18991/task/18992/stat : 18992 (java) R 18988 18988 16605 0 -1 4202560 7786 0 0 0 26 3 0 0 20 0 15 0 224827926 15372775424 22610 33554432000 4194304 4196468 140735182570304 140648145870640 140648155639143 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18993] ppid=18988 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18993/stat : 18993 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 22610 33554432000 4194304 4196468 140735182570304 140648178317584 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18994] ppid=18988 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18994/stat : 18994 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647969401232 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18995] ppid=18988 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18995/stat : 18995 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647968348688 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18996] ppid=18988 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18996/stat : 18996 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827928 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647967296144 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18997] ppid=18988 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18997/stat : 18997 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827929 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647513287152 140648174086786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18998] ppid=18988 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18998/stat : 18998 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 22610 33554432000 4194304 4196468 140735182570304 140646824273312 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18999] ppid=18988 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18999/stat : 18999 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827930 15372775424 22610 33554432000 4194304 4196468 140735182570304 140646555837936 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19000] ppid=18988 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19000/stat : 19000 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827932 15372775424 22610 33554432000 4194304 4196468 140735182570304 140646181329616 140648174094235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19001] ppid=18988 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18991/task/19001/stat : 19001 (java) R 18988 18988 16605 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 224827932 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647512233968 140648166365088 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19002] ppid=18988 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18991/task/19002/stat : 19002 (java) S 18988 18988 16605 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 224827932 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647511181424 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19003] ppid=18988 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18991/task/19003/stat : 19003 (java) S 18988 18988 16605 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 224827932 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647510128880 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19004] ppid=18988 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19004/stat : 19004 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 22610 33554432000 4194304 4196468 140735182570304 140645683423840 140648174085845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19005] ppid=18988 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19005/stat : 19005 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827933 15372775424 22610 33554432000 4194304 4196468 140735182570304 140647509076784 140648174086786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91836 KiB
[startup+0.700864 s]
/proc/loadavg: 2.15 2.11 2.09 3/222 19005
/proc/meminfo: memFree=24520628/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224827926 115843072 349 33554432000 4194304 5098028 140733209860736 140733209857992 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 349 296 221 0 87 0
[pid=18991] ppid=18988 vsize=15020872 memory=129576 CPUtime=1.02 cores=0,2,4,6
/proc/18991/stat : 18991 (java) S 18988 18988 16605 0 -1 1077944320 17021 0 0 0 96 6 0 0 20 0 15 0 224827926 15381372928 32394 33554432000 4194304 4196468 140735182570304 140735182552848 140648174075639 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
/proc/18991/statm: 3755218 32394 3148 1 0 3716603 0
[pid=18991/tid=18992] ppid=18988 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/18991/task/18992/stat : 18992 (java) R 18988 18988 16605 0 -1 4202560 14310 0 0 0 62 5 0 0 20 0 15 0 224827926 15381372928 32394 33554432000 4194304 4196468 140735182570304 140648145909536 140648174097565 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18993] ppid=18988 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18993/stat : 18993 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15381372928 32394 33554432000 4194304 4196468 140735182570304 140648178317584 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18994] ppid=18988 vsize=15020872 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18994/stat : 18994 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647969401232 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18995] ppid=18988 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18995/stat : 18995 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647968348688 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18996] ppid=18988 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18996/stat : 18996 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827928 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647967296144 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18997] ppid=18988 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18997/stat : 18997 (java) S 18988 18988 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224827929 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647513287152 140648174086786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18998] ppid=18988 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18998/stat : 18998 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827930 15381372928 32394 33554432000 4194304 4196468 140735182570304 140646824273312 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18999] ppid=18988 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18999/stat : 18999 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827930 15381372928 32394 33554432000 4194304 4196468 140735182570304 140646555837936 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19000] ppid=18988 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19000/stat : 19000 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827932 15381372928 32394 33554432000 4194304 4196468 140735182570304 140646181329616 140648174094235 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19001] ppid=18988 vsize=15020872 memory=1120 CPUtime=0.06 cores=0,2,4,6
/proc/18991/task/19001/stat : 19001 (java) S 18988 18988 16605 0 -1 1077944384 423 0 0 0 6 0 0 0 20 0 15 0 224827932 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647512233968 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19002] ppid=18988 vsize=15020872 memory=6120 CPUtime=0.09 cores=0,2,4,6
/proc/18991/task/19002/stat : 19002 (java) S 18988 18988 16605 0 -1 1077944384 501 0 0 0 9 0 0 0 20 0 15 0 224827932 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647511181424 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19003] ppid=18988 vsize=15020872 memory=1724 CPUtime=0.17 cores=0,2,4,6
/proc/18991/task/19003/stat : 19003 (java) S 18988 18988 16605 0 -1 1077944384 453 0 0 0 17 0 0 0 20 0 15 0 224827932 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647510128880 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19004] ppid=18988 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19004/stat : 19004 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827933 15381372928 32394 33554432000 4194304 4196468 140735182570304 140645683423840 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19005] ppid=18988 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19005/stat : 19005 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827933 15381372928 32394 33554432000 4194304 4196468 140735182570304 140647509076784 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130972 KiB
[startup+1.50076 s]
/proc/loadavg: 2.15 2.11 2.09 6/222 19005
/proc/meminfo: memFree=24487128/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224827926 115843072 349 33554432000 4194304 5098028 140733209860736 140733209857992 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/18991/task/18993/stat : 18993 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15383470080 46533 33554432000 4194304 4196468 140735182570304 140648178317584 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18994] ppid=18988 vsize=15022920 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18994/stat : 18994 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647969401232 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18995] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18995/stat : 18995 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827928 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647968348688 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18996] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18996/stat : 18996 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827928 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647967296144 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18997] ppid=18988 vsize=15022920 memory=10881 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18997/stat : 18997 (java) S 18988 18988 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224827929 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647513287152 140648174086786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18998] ppid=18988 vsize=15022920 memory=20710 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18998/stat : 18998 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827930 15383470080 46533 33554432000 4194304 4196468 140735182570304 140646824273312 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=18999] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/18999/stat : 18999 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827930 15383470080 46533 33554432000 4194304 4196468 140735182570304 140646555837936 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19000] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19000/stat : 19000 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827932 15383470080 46533 33554432000 4194304 4196468 140735182570304 140646181329616 140648174094235 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19001] ppid=18988 vsize=15022920 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/18991/task/19001/stat : 19001 (java) R 18988 18988 16605 0 -1 4202560 1140 0 0 0 46 1 0 0 20 0 15 0 224827932 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647512233968 140648153464624 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19002] ppid=18988 vsize=15022920 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/18991/task/19002/stat : 19002 (java) S 18988 18988 16605 0 -1 1077944384 1224 0 0 0 57 0 0 0 20 0 15 0 224827932 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647511181424 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19003] ppid=18988 vsize=15022920 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/18991/task/19003/stat : 19003 (java) S 18988 18988 16605 0 -1 1077944384 2371 0 0 0 70 0 0 0 20 0 15 0 224827932 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647510128880 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19004] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19004/stat : 19004 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827933 15383470080 46533 33554432000 4194304 4196468 140735182570304 140645683423840 140648174085845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
[pid=18991/tid=19005] ppid=18988 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18991/task/19005/stat : 19005 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827933 15383470080 46533 33554432000 4194304 4196468 140735182570304 140647509076784 140648174086786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140735182578694 140735182578993 140735182578993 140735182581711 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 187528 KiB
[startup+3.11024 s]
/proc/loadavg: 2.15 2.11 2.09 3/222 19020
/proc/meminfo: memFree=24563572/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1472 CPUtime=6.54 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 591 25827 0 0 0 0 640 14 20 0 1 0 224827926 115843072 368 33554432000 4194304 5098028 140733209860736 140733209857480 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 368 311 221 0 87 0
[pid=19006] ppid=18988 vsize=7406384 memory=93632 CPUtime=0.71 cores=0,2,4,6
/proc/19006/stat : 19006 (java) S 18988 18988 16605 0 -1 1077944320 16025 0 0 0 65 6 0 0 20 0 15 0 224828183 7584137216 23408 33554432000 4194304 4196468 140736699315504 140736699298048 140391222816503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
/proc/19006/statm: 1851596 23408 3041 1 0 1813530 0
[pid=19006/tid=19007] ppid=18988 vsize=7406384 memory=1396 CPUtime=0.51 cores=0,2,4,6
/proc/19006/task/19007/stat : 19007 (java) D 18988 18988 16605 0 -1 1077944384 13661 0 0 0 47 4 0 0 20 0 15 0 224828183 7584137216 23408 33554432000 4194304 4196468 140736699315504 140391194628816 140391215495725 0 4 2 25189581 18446744072101785124 0 0 -1 4 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19008] ppid=18988 vsize=7406384 memory=138124 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19008/stat : 19008 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828184 7584137216 23408 33554432000 4194304 4196468 140736699315504 140391227058576 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19009] ppid=18988 vsize=7406416 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19009/stat : 19009 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828185 7584169984 23408 33554432000 4194304 4196468 140736699315504 140391027226896 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19010] ppid=18988 vsize=7406416 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19010/stat : 19010 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828185 7584169984 23408 33554432000 4194304 4196468 140736699315504 140391026174608 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19011] ppid=18988 vsize=7406384 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19011/stat : 19011 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828185 7584137216 23408 33554432000 4194304 4196468 140736699315504 140391025121808 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19012] ppid=18988 vsize=7406384 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19012/stat : 19012 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828186 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390467361392 140391222827650 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19013] ppid=18988 vsize=7406384 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19013/stat : 19013 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828186 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390065759520 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19014] ppid=18988 vsize=7406384 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19014/stat : 19014 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828187 7584137216 23408 33554432000 4194304 4196468 140736699315504 140389797324400 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19015] ppid=18988 vsize=7406384 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19015/stat : 19015 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140389422815824 140391222835099 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19016] ppid=18988 vsize=7406384 memory=1828 CPUtime=0.03 cores=0,2,4,6
/proc/19006/task/19016/stat : 19016 (java) S 18988 18988 16605 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390466308208 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19017] ppid=18988 vsize=7406384 memory=1120 CPUtime=0.02 cores=0,2,4,6
/proc/19006/task/19017/stat : 19017 (java) S 18988 18988 16605 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390465255408 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19018] ppid=18988 vsize=7406384 memory=6120 CPUtime=0.11 cores=0,2,4,6
/proc/19006/task/19018/stat : 19018 (java) S 18988 18988 16605 0 -1 1077944384 393 0 0 0 11 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390464203120 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19019] ppid=18988 vsize=7406384 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19019/stat : 19019 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140388924910048 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19020] ppid=18988 vsize=7406384 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19020/stat : 19020 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828189 7584137216 23408 33554432000 4194304 4196468 140736699315504 140390463151024 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 95104 KiB
[startup+3.41164 s]
# the end of solver process 18988 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.60137 s, system=0.238532 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20098 s]
/proc/loadavg: 2.15 2.11 2.09 3/222 19020
/proc/meminfo: memFree=24563572/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1472 CPUtime=6.54 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 591 25827 0 0 0 0 640 14 20 0 1 0 224827926 115843072 368 33554432000 4194304 5098028 140733209860736 140733209857480 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 368 311 221 0 87 0
[pid=19006] ppid=18988 vsize=7408432 memory=97412 CPUtime=0.86 cores=0,2,4,6
/proc/19006/stat : 19006 (java) S 18988 18988 16605 0 -1 1077944320 16529 0 0 0 80 6 0 0 20 0 15 0 224828183 7586234368 24353 33554432000 4194304 4196468 140736699315504 140736699298048 140391222816503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
/proc/19006/statm: 1852108 24353 3044 1 0 1814042 0
[pid=19006/tid=19007] ppid=18988 vsize=7408432 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/19006/task/19007/stat : 19007 (java) R 18988 18988 16605 0 -1 4202560 14074 0 0 0 56 4 0 0 20 0 15 0 224828183 7586234368 24353 33554432000 4194304 4196468 140736699315504 140391194652112 140391204381481 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19008] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19008/stat : 19008 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828184 7586234368 24353 33554432000 4194304 4196468 140736699315504 140391227058576 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19009] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19009/stat : 19009 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828185 7586234368 24353 33554432000 4194304 4196468 140736699315504 140391027226896 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19010] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19010/stat : 19010 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828185 7586234368 24353 33554432000 4194304 4196468 140736699315504 140391026174608 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19011] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19011/stat : 19011 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828185 7586234368 24353 33554432000 4194304 4196468 140736699315504 140391025121808 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19012] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19012/stat : 19012 (java) S 18988 18988 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828186 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390467361392 140391222827650 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19013] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19013/stat : 19013 (java) S 18988 18988 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828186 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390065759520 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19014] ppid=18988 vsize=7408432 memory=10660 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19014/stat : 19014 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828187 7586234368 24353 33554432000 4194304 4196468 140736699315504 140389797324400 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19015] ppid=18988 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19015/stat : 19015 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140389422815824 140391222835099 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19016] ppid=18988 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19006/task/19016/stat : 19016 (java) S 18988 18988 16605 0 -1 1077944384 494 0 0 0 4 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390466308208 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19017] ppid=18988 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19006/task/19017/stat : 19017 (java) S 18988 18988 16605 0 -1 1077944384 150 0 0 0 4 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390465255408 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19018] ppid=18988 vsize=7408432 memory=288230574492221466 CPUtime=0.14 cores=0,2,4,6
/proc/19006/task/19018/stat : 19018 (java) S 18988 18988 16605 0 -1 1077944384 477 0 0 0 14 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390464203120 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19019] ppid=18988 vsize=7408432 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19019/stat : 19019 (java) S 18988 18988 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140388924910048 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19020] ppid=18988 vsize=7408432 memory=13850759267617157 CPUtime=0 cores=0,2,4,6
/proc/19006/task/19020/stat : 19020 (java) S 18988 18988 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828189 7586234368 24353 33554432000 4194304 4196468 140736699315504 140390463151024 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 98884 KiB
[startup+3.40073 s]
/proc/loadavg: 2.15 2.11 2.09 3/222 19020
/proc/meminfo: memFree=24563572/32770624 swapFree=67108860/67108860
[pid=18988] ppid=18985 vsize=113128 memory=1472 CPUtime=6.54 cores=0,2,4,6
/proc/18988/stat : 18988 (scop.sh) S 18985 18988 16605 0 -1 4202496 591 25827 0 0 0 0 640 14 20 0 1 0 224827926 115843072 368 33554432000 4194304 5098028 140733209860736 140733209857480 140638033670780 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31064064 140733209863232 140733209863431 140733209863431 140733209866189 0
/proc/18988/statm: 28282 368 311 221 0 87 0
[pid=19006] ppid=18988 vsize=7871608 memory=118324 CPUtime=1.25 cores=0,2,4,6
/proc/19006/stat : 19006 (java) S 18988 18988 16605 0 -1 1077944320 18303 741 0 0 117 7 1 0 20 0 17 0 224828183 8060526592 29581 33554432000 4194304 4196468 140736699315504 140736699298048 140391222816503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
/proc/19006/statm: 1967902 29581 3151 1 0 1929301 0
[pid=19006/tid=19007] ppid=18988 vsize=7871608 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/19006/task/19007/stat : 19007 (java) R 18988 18988 16605 0 -1 4202560 15232 741 0 0 74 5 1 0 20 0 17 0 224828183 8060526592 29581 33554432000 4194304 4196468 140736699315504 140391194651752 140391202541536 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19008] ppid=18988 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19008/stat : 19008 (java) S 18988 18988 16605 0 -1 1077944384 2 741 0 0 0 0 1 0 20 0 17 0 224828184 8060526592 29581 33554432000 4194304 4196468 140736699315504 140391227058576 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19009] ppid=18988 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19009/stat : 19009 (java) S 18988 18988 16605 0 -1 1077944384 2 741 0 0 0 0 1 0 20 0 17 0 224828185 8060526592 29581 33554432000 4194304 4196468 140736699315504 140391027226896 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19010] ppid=18988 vsize=7871608 memory=55204 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19010/stat : 19010 (java) S 18988 18988 16605 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224828185 8060526592 29581 33554432000 4194304 4196468 140736699315504 140391026174608 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19011] ppid=18988 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19011/stat : 19011 (java) S 18988 18988 16605 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224828185 8060526592 29581 33554432000 4194304 4196468 140736699315504 140391025121808 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19012] ppid=18988 vsize=7871608 memory=8225999974932850661 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19012/stat : 19012 (java) S 18988 18988 16605 0 -1 1077944384 5 741 0 0 0 0 1 0 20 0 17 0 224828186 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390467361392 140391222827650 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19013] ppid=18988 vsize=7871608 memory=5787233549803348032 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19013/stat : 19013 (java) S 18988 18988 16605 0 -1 1077944384 13 741 0 0 0 0 1 0 20 0 17 0 224828186 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390065759520 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19014] ppid=18988 vsize=7871608 memory=4642197910265684584 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19014/stat : 19014 (java) S 18988 18988 16605 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224828187 8060526592 29581 33554432000 4194304 4196468 140736699315504 140389797324400 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19015] ppid=18988 vsize=7871608 memory=-7812193691855986592 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19015/stat : 19015 (java) S 18988 18988 16605 0 -1 1077944384 3 741 0 0 0 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140389422815824 140391222835099 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19016] ppid=18988 vsize=7871608 memory=7288 CPUtime=0.09 cores=0,2,4,6
/proc/19006/task/19016/stat : 19016 (java) R 18988 18988 16605 0 -1 1077944384 594 741 0 0 8 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390466308208 140391222827650 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19017] ppid=18988 vsize=7871608 memory=804 CPUtime=0.11 cores=0,2,4,6
/proc/19006/task/19017/stat : 19017 (java) S 18988 18988 16605 0 -1 1077944384 371 741 0 0 10 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390465255408 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19018] ppid=18988 vsize=7871608 memory=1800 CPUtime=0.23 cores=0,2,4,6
/proc/19006/task/19018/stat : 19018 (java) R 18988 18988 16605 0 -1 4202560 657 741 0 0 22 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390464203120 140391207155864 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19019] ppid=18988 vsize=7871608 memory=920 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19019/stat : 19019 (java) S 18988 18988 16605 0 -1 1077944384 3 741 0 0 0 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140388924910048 140391222826709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
[pid=19006/tid=19020] ppid=18988 vsize=7871608 memory=3852 CPUtime=0.01 cores=0,2,4,6
/proc/19006/task/19020/stat : 19020 (java) S 18988 18988 16605 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224828189 8060526592 29581 33554432000 4194304 4196468 140736699315504 140390463151024 140391222827650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21164032 140736699323573 140736699323697 140736699323697 140736699326415 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 119796 KiB
Child status: 0
Real time (s): 3.41168
CPU time (s): 7.83991
CPU user time (s): 7.60137
CPU system time (s): 0.238532
CPU usage (%): 229.796
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 330424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60137
system time used= 0.238532
maximum resident set size= 334964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5328
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 18988
# total CPU time (s): 7.83991
# total CPU user time (s): 7.60137
# total CPU system time (s): 0.238532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054705 second user time and 0.070795 second system time
The end