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-18890-serial-file.bin HOME/instance-4305422-1534072640.xml
0.67/0.52
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:17:21 CEST 2018
0.67/0.54 c PID: 18893
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
3.78/1.62 c (1,1) Parsing End
3.78/1.63 c (1,1) CSP: 125 int (0 aux), 0 bool (0 aux), 3007 ctr, max domain size 5
3.78/1.63 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.78/1.63 c (1,1) Constraint Name Generate Begin
3.78/1.65 c (1,1) Ctr:HOME/instance-4305422-1534072640.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.78/1.65 c (1,1) Constraint Name Generate End
3.78/1.65 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.78/1.65 c (1,1) CSP to CSPinCNF Begin
4.40/1.84 c (1,1) translated 301 (10%) constraints
4.40/1.90 c (1,1) translated 602 (20%) constraints
4.68/1.93 c (1,1) translated 903 (30%) constraints
4.68/1.96 c (1,1) translated 1203 (40%) constraints
4.68/1.98 c (1,1) translated 1504 (50%) constraints
4.68/2.01 c (1,1) translated 1805 (60%) constraints
4.94/2.02 c (1,1) translated 2105 (70%) constraints
4.94/2.04 c (1,1) translated 2406 (80%) constraints
4.94/2.06 c (1,1) translated 2707 (90%) constraints
5.98/2.39 c (1,1) translated 3007 (100%) constraints
7.19/2.70 c (2,2) STATISTICS1:HOME/instance-4305422-1534072640.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,914,4684,16777216,5,4,25,16777216:50;5:5115;1:1297,5:11279;2:2367;1:2820,4:3164;3:653;2:789;1:78,25:50;2:6412;1:3667,
7.19/2.70 c (2,2) ==========================================
7.19/2.70 c (2,2) Order
7.19/2.71 c (2,2) ==========================================
7.19/2.76 c (2,2) translated 469 (10%) constraints
7.50/2.80 c (2,2) translated 937 (20%) constraints
7.50/2.84 c (2,2) translated 1406 (30%) constraints
7.50/2.87 c (2,2) translated 1874 (40%) constraints
7.81/2.90 c (2,2) translated 2342 (50%) constraints
7.81/2.94 c (2,2) translated 2811 (60%) constraints
8.16/3.01 c (2,2) translated 3279 (70%) constraints
8.16/3.06 c (2,2) translated 3748 (80%) constraints
8.46/3.12 c (2,2) translated 4216 (90%) constraints
8.46/3.15 c (2,2) translated 4684 (100%) constraints
8.46/3.15 c (2,2) CSP to CSPinCNF End
8.46/3.15 c (2,2) CSP: 200 int (75 aux), 1414 bool (1414 aux), 6134 ctr, max domain size 6
8.46/3.15 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.46/3.15 c (2,2) CSPinCNF Propagation Begin
8.76/3.27 c (2,2) 345 values, 2218 unsatisfiable literals, and 1843 valid clauses are removed
8.76/3.27 c (2,2) CSPinCNF Propagation End
8.76/3.27 c (2,2) CSP: 470 int (345 aux), 1144 bool (1144 aux), 4291 ctr, max domain size 6
8.76/3.27 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.76/3.27 c (2,2) Simplify CSPinCNF Begin
9.39/3.42 c (2,2) Simplify CSPinCNF End
9.39/3.42 c (2,2) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.39/3.42 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.39/3.42 c (2,2) Calculate Precise Domain Begin
9.39/3.46 c (2,2) 0 values are removed by re-calculation
9.39/3.46 c (2,2) Calculate Precise Domain End
9.39/3.47 c (2,2) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.39/3.47 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.39/3.47 c (2,2) CSPinCNF to SatSolver Begin
9.83/3.63 c (3,3) 690 (10 %) CSP clauses are encoded (4447 SAT variables, 3101 SAT clauses)
9.83/3.68 c (3,3) 1379 (20 %) CSP clauses are encoded (4447 SAT variables, 5942 SAT clauses)
10.16/3.71 c (3,3) 2069 (30 %) CSP clauses are encoded (4447 SAT variables, 8632 SAT clauses)
10.16/3.74 c (3,3) 2758 (40 %) CSP clauses are encoded (4447 SAT variables, 11037 SAT clauses)
10.16/3.77 c (3,3) 3447 (50 %) CSP clauses are encoded (4447 SAT variables, 13470 SAT clauses)
10.16/3.78 c (3,3) 4137 (60 %) CSP clauses are encoded (4447 SAT variables, 14276 SAT clauses)
10.46/3.88 c (3,3) 4826 (70 %) CSP clauses are encoded (4447 SAT variables, 22820 SAT clauses)
11.10/4.08 c (3,3) 5516 (80 %) CSP clauses are encoded (4447 SAT variables, 39220 SAT clauses)
11.39/4.17 c (3,3) 6205 (90 %) CSP clauses are encoded (4447 SAT variables, 47764 SAT clauses)
11.39/4.19 c (3,3) 6894 (100 %) CSP clauses are encoded (4447 SAT variables, 49539 SAT clauses)
11.39/4.19 c (3,3) Launch Command will be: minisat_release
11.39/4.19 c (3,3) CSPinCNF to SatSolver End
11.39/4.19 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.69/4.24 c (3,3) STATISTICS2:HOME/instance-4305422-1534072640.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,4217,6894,512,6,4,10,512:40;256:80;36:40;5:2715;1:59,6:240;5:7089;2:14274;1:59,4:1936;3:331;2:4444;1:183,10:40;9:80;3:40;2:2774;1:14874,
11.69/4.24 c (3,3) 4447 bool, 49543 clause
11.69/4.24 c (3,3) Export Begin
11.99/4.34 c (3,3) Export to HOME/scop-18890-serial-file.bin
11.99/4.34 c (3,3) Export End
11.99/4.34 c (3,3) Export File Size: 0.02 MB
11.99/4.34 c (3,3) 1,1,2,2,2,2,3,STOP-AFTER(DIMACS)
11.99/4.34 c END-Prog: Sun Aug 12 13:17:25 CEST 2018
11.99/4.35 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18890-serial-file.bin
12.11/4.84 c (0,0) Read Serial File Begin
12.11/4.84 c (0,0) HOME/scop-18890-serial-file.bin
12.11/5.01 c (0,0) Read Serial File End
13.00/5.02
13.00/5.02 scop order+minisat_release (2018-07-31)
13.00/5.02 (Solving Process)
13.00/5.02
13.00/5.04 c BEGIN-Prog: Sun Aug 12 13:17:26 CEST 2018
13.00/5.04 c PID: 18908
13.00/5.04 c IP: 172.20.3.107
13.00/5.04 c HOST: node107.alineos.net
13.00/5.05 c (0,0) SatSolver.solve Begin
13.00/5.05 c (0,0) 0 bool, 0 clause
13.00/5.05 c (0,0) minisat_release HOME/instance-4305422-1534072640.xml-scop-18893.cnf
13.23/5.33 c (0,0) c This is COMiniSatPS.
13.23/5.33 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.23/5.33 c (0,0) c ============================[ Problem Statistics ]=============================
13.23/5.33 c (0,0) c | |
13.23/5.33 c (0,0) c | Number of variables: 4447 |
13.23/5.33 c (0,0) c | Number of clauses: 49543 |
13.23/5.33 c (0,0) c | Parse time: 0.02 s |
13.23/5.33 c (0,0) c | Eliminated clauses: 0.02 Mb |
13.23/5.33 c (0,0) c Reduced to 3545 vars, 48041 cls (grow=0)
13.23/5.33 c (0,0) c No iterative elimination performed. (vars=3545, c/v ratio=13.6)
13.23/5.33 c (0,0) c | Simplification time: 0.09 s |
13.23/5.33 c (0,0) c | |
13.23/5.33 c (0,0) c ============================[ Search Statistics ]==============================
13.23/5.33 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
13.23/5.33 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.23/5.33 c (0,0) c ===============================================================================
13.23/5.33 c (0,0) c ===============================================================================
13.23/5.33 c (0,0) c restarts : 22
13.23/5.33 c (0,0) c conflicts : 4147 (15711 /sec)
13.23/5.33 c (0,0) c decisions : 8385 (0.00 % random) (31767 /sec)
13.23/5.33 c (0,0) c propagations : 594264 (2251392 /sec)
13.23/5.33 c (0,0) c conflict literals : 116027 (5.05 % deleted)
13.23/5.33 c (0,0) c CPU time : 0.263954 s
13.23/5.33 c (0,0)
13.23/5.34 c (0,0) s SATISFIABLE
13.23/5.36 c (0,0) SatSolver.solve End
13.23/5.36 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.23/5.36 c (0,0) Show results Begin
13.61/5.42 s SATISFIABLE
13.61/5.43 v <instantiation>
13.61/5.43 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[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] 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[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] 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[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] 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] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24]</list>
13.61/5.43 v <values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 1 3 4 2 0 0 2 1 4 3 3 4 0 1 2 2 1 3 0 4 4 0 2 3 1 4 3 2 1 0 2 0 1 3 4 1 4 3 0 2 3 2 0 4 1 0 1 4 2 3 4 3 2 1 0 3 2 0 4 1 2 0 1 3 4 0 1 4 2 3 1 4 3 0 2</values>
13.61/5.43 v </instantiation>
13.61/5.43 c (0,0) Show results End
13.61/5.43 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
13.61/5.43 c (0,0) 0,0,STOP-AFTER(ALL)
13.61/5.43 c END-Prog: Sun Aug 12 13:17:26 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 (12864 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-4305422-1534072640/watcher-4305422-1534072640 -o /tmp/evaluation-result-4305422-1534072640/solver-4305422-1534072640 -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-4305422-1534072640.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18890, runsolver pid=18887
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 18907
/proc/meminfo: memFree=24561960/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
[pid=18893] ppid=18890 vsize=15012476 memory=73980 CPUtime=0.11 cores=0,2,4,6
/proc/18893/stat : 18893 (java) S 18890 18890 16605 0 -1 1077944320 6663 0 0 0 9 2 0 0 20 0 15 0 224827234 15372775424 18495 33554432000 4194304 4196468 140728483742768 140728483725312 140186645147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
/proc/18893/statm: 3753119 18495 2743 1 0 3715579 0
[pid=18893/tid=18894] ppid=18890 vsize=15012476 memory=-6148396199699595205 CPUtime=0.09 cores=0,2,4,6
/proc/18893/task/18894/stat : 18894 (java) R 18890 18890 16605 0 -1 4202560 4756 0 0 0 7 2 0 0 20 0 15 0 224827234 15372775424 18495 33554432000 4194304 4196468 140728483742768 140186616959368 140186625423078 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18895] ppid=18890 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18895/stat : 18895 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 18495 33554432000 4194304 4196468 140728483742768 140186649389584 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18896] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18896/stat : 18896 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 18495 33554432000 4194304 4196468 140728483742768 140186463546000 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18897] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18897/stat : 18897 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 18495 33554432000 4194304 4196468 140728483742768 140186462492944 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18898] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18898/stat : 18898 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 18495 33554432000 4194304 4196468 140728483742768 140186461440400 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18899] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18899/stat : 18899 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 18495 33554432000 4194304 4196468 140728483742768 140185682746096 140186645158530 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18900] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 18495 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 18495 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 18495 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) S 18890 18890 16605 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 18495 33554432000 4194304 4196468 140728483742768 140185681692912 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 18495 33554432000 4194304 4196468 140728483742768 140185680640368 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0.01 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) S 18890 18890 16605 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 224827241 15372775424 18495 33554432000 4194304 4196468 140728483742768 140185679587312 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 18495 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 18561 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75372 KiB
[startup+0.210697 s]*
/proc/loadavg: 2.01 2.08 2.08 4/222 18907
/proc/meminfo: memFree=24548256/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
[pid=18893] ppid=18890 vsize=15012476 memory=87592 CPUtime=0.25 cores=0,2,4,6
/proc/18893/stat : 18893 (java) S 18890 18890 16605 0 -1 1077944320 10269 0 0 0 22 3 0 0 20 0 15 0 224827234 15372775424 21898 33554432000 4194304 4196468 140728483742768 140728483725312 140186645147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
/proc/18893/statm: 3753119 21898 2867 1 0 3715579 0
[pid=18893/tid=18894] ppid=18890 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/18893/task/18894/stat : 18894 (java) R 18890 18890 16605 0 -1 4202560 8180 0 0 0 17 2 0 0 20 0 15 0 224827234 15372775424 21898 33554432000 4194304 4196468 140728483742768 140186616972752 140186645159318 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18895] ppid=18890 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18895/stat : 18895 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 21898 33554432000 4194304 4196468 140728483742768 140186649389584 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18896] ppid=18890 vsize=15012476 memory=4122684970002433696 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18896/stat : 18896 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 21898 33554432000 4194304 4196468 140728483742768 140186463546000 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18897] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18897/stat : 18897 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 21898 33554432000 4194304 4196468 140728483742768 140186462492944 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18898] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18898/stat : 18898 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 21898 33554432000 4194304 4196468 140728483742768 140186461440400 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18899] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18899/stat : 18899 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185682746096 140186645158530 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18900] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 21898 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) S 18890 18890 16605 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185681692912 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) S 18890 18890 16605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185680640368 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15012476 memory=140655696430720 CPUtime=0.03 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) R 18890 18890 16605 0 -1 4202560 280 0 0 0 3 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185679587312 140186629227870 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 21898 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88984 KiB
[startup+0.310599 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 18907
/proc/meminfo: memFree=24543744/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
[pid=18893] ppid=18890 vsize=15012476 memory=91744 CPUtime=0.43 cores=0,2,4,6
/proc/18893/stat : 18893 (java) S 18890 18890 16605 0 -1 1077944320 10890 0 0 0 39 4 0 0 20 0 15 0 224827234 15372775424 22936 33554432000 4194304 4196468 140728483742768 140728483725312 140186645147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
/proc/18893/statm: 3753119 22936 3009 1 0 3715579 0
[pid=18893/tid=18894] ppid=18890 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18893/task/18894/stat : 18894 (java) S 18890 18890 16605 0 -1 1077944384 8619 0 0 0 27 2 0 0 20 0 15 0 224827234 15372775424 22936 33554432000 4194304 4196468 140728483742768 140186616974224 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18895] ppid=18890 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18895/stat : 18895 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 22936 33554432000 4194304 4196468 140728483742768 140186649389584 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18896] ppid=18890 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18896/stat : 18896 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 22936 33554432000 4194304 4196468 140728483742768 140186463546000 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18897] ppid=18890 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18897/stat : 18897 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 22936 33554432000 4194304 4196468 140728483742768 140186462492944 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18898] ppid=18890 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18898/stat : 18898 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15372775424 22936 33554432000 4194304 4196468 140728483742768 140186461440400 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18899] ppid=18890 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18899/stat : 18899 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185682746096 140186645158530 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18900] ppid=18890 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15372775424 22936 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) R 18890 18890 16605 0 -1 4202560 548 0 0 0 2 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185681692912 140186622742128 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) R 18890 18890 16605 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185680640368 140186645158530 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) S 18890 18890 16605 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185679587312 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15372775424 22936 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93136 KiB
[startup+0.711138 s]
/proc/loadavg: 2.01 2.08 2.08 3/222 18907
/proc/meminfo: memFree=24519480/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
[pid=18893] ppid=18890 vsize=15018748 memory=134032 CPUtime=1.09 cores=0,2,4,6
/proc/18893/stat : 18893 (java) S 18890 18890 16605 0 -1 1077944320 18168 0 0 0 104 5 0 0 20 0 15 0 224827234 15379197952 33508 33554432000 4194304 4196468 140728483742768 140728483725312 140186645147383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
/proc/18893/statm: 3754687 33508 3128 1 0 3716091 0
[pid=18893/tid=18894] ppid=18890 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/18893/task/18894/stat : 18894 (java) R 18890 18890 16605 0 -1 4202560 15150 0 0 0 64 4 0 0 20 0 15 0 224827234 15379197952 33508 33554432000 4194304 4196468 140728483742768 140186616983168 140186645169309 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18895] ppid=18890 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18895/stat : 18895 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827236 15379197952 33574 33554432000 4194304 4196468 140728483742768 140186649389584 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18896] ppid=18890 vsize=15018748 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18896/stat : 18896 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15379197952 33574 33554432000 4194304 4196468 140728483742768 140186463546000 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18897] ppid=18890 vsize=15018748 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18897/stat : 18897 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827236 15379197952 33574 33554432000 4194304 4196468 140728483742768 140186462492944 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18898] ppid=18890 vsize=15018748 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18898/stat : 18898 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15379197952 33574 33554432000 4194304 4196468 140728483742768 140186461440400 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18899] ppid=18890 vsize=15018748 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18899/stat : 18899 (java) S 18890 18890 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224827238 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185682746096 140186645158530 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18900] ppid=18890 vsize=15018748 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15379197952 33574 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15018748 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15018748 memory=1120 CPUtime=0.1 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) R 18890 18890 16605 0 -1 4202560 863 0 0 0 10 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185681673928 140186625847680 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15018748 memory=6120 CPUtime=0.11 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) R 18890 18890 16605 0 -1 4202560 329 0 0 0 11 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185680633560 140186628633250 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15018748 memory=1724 CPUtime=0.18 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) S 18890 18890 16605 0 -1 1077944384 515 0 0 0 18 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185679587312 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15018748 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15018748 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15379197952 33574 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 135424 KiB
[startup+1.50118 s]
/proc/loadavg: 2.01 2.08 2.08 3/222 18907
/proc/meminfo: memFree=24459108/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15385567232 132431 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15024968 memory=10881 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15385567232 132431 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15024968 memory=20710 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15024968 memory=0 CPUtime=2.11 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) R 18890 18890 16605 0 -1 4202560 2657 0 0 0 210 1 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140185681682768 140186625340257 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15024968 memory=0 CPUtime=2.11 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) R 18890 18890 16605 0 -1 4202560 1956 0 0 0 211 0 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140185680626552 140186629824450 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15024968 memory=1392 CPUtime=1.14 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) S 18890 18890 16605 0 -1 1077944384 3635 0 0 0 113 1 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140185679587312 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15024968 memory=425496 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15024968 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 132431 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 531116 KiB
[startup+5.4442 s]
# the end of solver process 18890 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.3975 s, system=0.315146 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20096 s]
/proc/loadavg: 2.17 2.11 2.09 5/222 18907
/proc/meminfo: memFree=24130588/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224827234 115843072 348 33554432000 4194304 5098028 140730364727168 140730364724424 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 348 296 221 0 87 0
[pid=18893] ppid=18890 vsize=15024968 memory=545920 CPUtime=8.76 cores=0,2,4,6
/proc/18893/stat : 18893 (java) S 18890 18890 16605 0 -1 1077944320 26811 0 0 0 861 15 0 0 20 0 15 0 224827234 15385567232 136480 33554432000 4194304 4196468 140728483742768 140728483725312 140186645147383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
/proc/18893/statm: 3756242 136480 3203 1 0 3717627 0
[pid=18893/tid=18894] ppid=18890 vsize=15024968 memory=2072 CPUtime=3.15 cores=0,2,4,6
/proc/18893/task/18894/stat : 18894 (java) R 18890 18890 16605 0 -1 4202560 16798 0 0 0 305 10 0 0 20 0 15 0 224827234 15385567232 136480 33554432000 4194304 4196468 140728483742768 140186616983072 140186152869666 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18895] ppid=18890 vsize=15024968 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18895/stat : 18895 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827236 15385567232 136480 33554432000 4194304 4196468 140728483742768 140186649389584 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18896] ppid=18890 vsize=15024968 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18896/stat : 18896 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15385567232 136480 33554432000 4194304 4196468 140728483742768 140186463546000 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18897] ppid=18890 vsize=15024968 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18897/stat : 18897 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827236 15385567232 136480 33554432000 4194304 4196468 140728483742768 140186462492944 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18898] ppid=18890 vsize=15024968 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18898/stat : 18898 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224827236 15385567232 136480 33554432000 4194304 4196468 140728483742768 140186461440400 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18899] ppid=18890 vsize=15024968 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18899/stat : 18899 (java) S 18890 18890 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224827238 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185682746096 140186645158530 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18900] ppid=18890 vsize=15024968 memory=6120 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18900/stat : 18900 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224827238 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185182398112 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18901] ppid=18890 vsize=15024968 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18901/stat : 18901 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827238 15385567232 136480 33554432000 4194304 4196468 140728483742768 140184913962224 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18902] ppid=18890 vsize=15024968 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18902/stat : 18902 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140184539453904 140186645165979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18903] ppid=18890 vsize=15024968 memory=0 CPUtime=2.2 cores=0,2,4,6
/proc/18893/task/18903/stat : 18903 (java) R 18890 18890 16605 0 -1 4202560 2657 0 0 0 219 1 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185681680592 140186630073969 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18904] ppid=18890 vsize=15024968 memory=0 CPUtime=2.2 cores=0,2,4,6
/proc/18893/task/18904/stat : 18904 (java) R 18890 18890 16605 0 -1 4202560 2359 0 0 0 220 0 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185680626480 140186628633395 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18905] ppid=18890 vsize=15024968 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/18893/task/18905/stat : 18905 (java) S 18890 18890 16605 0 -1 1077944384 3660 0 0 0 115 1 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185679587312 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18906] ppid=18890 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18906/stat : 18906 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140184041548128 140186645157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
[pid=18893/tid=18907] ppid=18890 vsize=15024968 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18893/task/18907/stat : 18907 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224827241 15385567232 136480 33554432000 4194304 4196468 140728483742768 140185678535728 140186645158530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140728483750918 140728483751217 140728483751217 140728483753935 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 547312 KiB
[startup+4.80036 s]
/proc/loadavg: 2.17 2.11 2.09 5/222 18907
/proc/meminfo: memFree=23886844/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1468 CPUtime=12.11 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 589 31462 0 0 0 0 1188 23 20 0 1 0 224827234 115843072 367 33554432000 4194304 5098028 140730364727168 140730364723912 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 12.11 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
[startup+5.20083 s]
/proc/loadavg: 2.17 2.11 2.09 3/222 18922
/proc/meminfo: memFree=24536780/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1468 CPUtime=12.11 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 589 31462 0 0 0 0 1188 23 20 0 1 0 224827234 115843072 367 33554432000 4194304 5098028 140730364727168 140730364723912 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 367 311 221 0 87 0
[pid=18908] ppid=18890 vsize=8068220 memory=118368 CPUtime=1.12 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18890 18890 16605 0 -1 1077944320 17348 0 0 0 106 6 0 0 20 0 19 0 224827669 8261857280 29592 33554432000 4194304 4196468 140733405007728 140733404990272 139985803882231 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
/proc/18908/statm: 2017055 29592 3142 1 0 1978454 0
[pid=18908/tid=18909] ppid=18890 vsize=8068220 memory=8329294824090543255 CPUtime=0.74 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18890 18890 16605 0 -1 1077944384 14465 0 0 0 69 5 0 0 20 0 19 0 224827670 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985775722384 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18910] ppid=18890 vsize=8068220 memory=-7384994774051102368 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18910/stat : 18910 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224827671 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985808124560 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18911] ppid=18890 vsize=8068220 memory=-9001733975035373671 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18911/stat : 18911 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224827671 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985608292880 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18912] ppid=18890 vsize=8068220 memory=7684433386921362234 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18912/stat : 18912 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224827671 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985607240080 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18913] ppid=18890 vsize=8068220 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18913/stat : 18913 (java) S 18890 18890 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224827671 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985606187280 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18914] ppid=18890 vsize=8068220 memory=-7684191407570971757 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18890 18890 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224827672 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985183247216 139985803893378 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18915] ppid=18890 vsize=8068220 memory=7896318971486248851 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18890 18890 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224827673 8261857280 29592 33554432000 4194304 4196468 140733405007728 139984661112352 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18916] ppid=18890 vsize=8068220 memory=-3767417750459092824 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224827673 8261857280 29592 33554432000 4194304 4196468 140733405007728 139984392676720 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18917] ppid=18890 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224827675 8261857280 29592 33554432000 4194304 4196468 140733405007728 139984018168144 139985803900827 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18918] ppid=18890 vsize=8068220 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18890 18890 16605 0 -1 1077944384 643 0 0 0 8 0 0 0 20 0 19 0 224827675 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985182194032 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18919] ppid=18890 vsize=8068220 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18890 18890 16605 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 19 0 224827675 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985181141232 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18920] ppid=18890 vsize=8068220 memory=281311097773872 CPUtime=0.19 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18890 18890 16605 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 19 0 224827675 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985180088432 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18921] ppid=18890 vsize=8068220 memory=301741382014599460 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18890 18890 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224827675 8261857280 29592 33554432000 4194304 4196468 140733405007728 139983520262368 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18922] ppid=18890 vsize=8068220 memory=20699 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18890 18890 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224827676 8261857280 29592 33554432000 4194304 4196468 140733405007728 139985179036848 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
Current children cumulated CPU time: 13.23 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119836 KiB
[startup+5.40073 s]
/proc/loadavg: 2.17 2.11 2.09 3/222 18922
/proc/meminfo: memFree=24536780/32770624 swapFree=67108860/67108860
[pid=18890] ppid=18887 vsize=113128 memory=1468 CPUtime=12.11 cores=0,2,4,6
/proc/18890/stat : 18890 (scop.sh) S 18887 18890 16605 0 -1 4202496 589 31462 0 0 0 0 1188 23 20 0 1 0 224827234 115843072 367 33554432000 4194304 5098028 140730364727168 140730364723912 140302557028988 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40693760 140730364728384 140730364728583 140730364728583 140730364731341 0
/proc/18890/statm: 28282 367 311 221 0 87 0
[pid=18908] ppid=18890 vsize=7937144 memory=117916 CPUtime=1.5 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18890 18890 16605 0 -1 1077944320 17705 2664 0 0 118 6 26 0 20 0 17 0 224827669 8127635456 29479 33554432000 4194304 4196468 140733405007728 140733404990272 139985803882231 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
/proc/18908/statm: 1984286 29479 3154 1 0 1945685 0
[pid=18908/tid=18909] ppid=18890 vsize=7937144 memory=6944656592455097440 CPUtime=1.04 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18890 18890 16605 0 -1 4202560 14646 2664 0 0 73 5 26 0 20 0 17 0 224827670 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985775719344 139985796599383 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18910] ppid=18890 vsize=7937144 memory=6944656592455097440 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18910/stat : 18910 (java) S 18890 18890 16605 0 -1 1077944384 1 2664 0 0 0 0 26 0 20 0 17 0 224827671 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985808124560 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18911] ppid=18890 vsize=7937144 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18911/stat : 18911 (java) S 18890 18890 16605 0 -1 1077944384 2 2664 0 0 0 0 26 0 20 0 17 0 224827671 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985608292880 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18912] ppid=18890 vsize=7937144 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18912/stat : 18912 (java) S 18890 18890 16605 0 -1 1077944384 1 2664 0 0 0 0 26 0 20 0 17 0 224827671 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985607240080 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18913] ppid=18890 vsize=7937144 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18913/stat : 18913 (java) S 18890 18890 16605 0 -1 1077944384 2 2664 0 0 0 0 26 0 20 0 17 0 224827671 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985606187280 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18914] ppid=18890 vsize=7937144 memory=3841 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18890 18890 16605 0 -1 1077944384 5 2664 0 0 0 0 26 0 20 0 17 0 224827672 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985183247216 139985803893378 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18915] ppid=18890 vsize=7937144 memory=31356350842106267 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18890 18890 16605 0 -1 1077944384 13 2664 0 0 0 0 26 0 20 0 17 0 224827673 8127635456 29479 33554432000 4194304 4196468 140733405007728 139984661112352 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18916] ppid=18890 vsize=7937144 memory=288291090749213054 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18890 18890 16605 0 -1 1077944384 1 2664 0 0 0 0 26 0 20 0 17 0 224827673 8127635456 29479 33554432000 4194304 4196468 140733405007728 139984392676720 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18917] ppid=18890 vsize=7937144 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18890 18890 16605 0 -1 1077944384 3 2664 0 0 0 0 26 0 20 0 17 0 224827675 8127635456 29479 33554432000 4194304 4196468 140733405007728 139984018168144 139985803900827 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18918] ppid=18890 vsize=7937144 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18890 18890 16605 0 -1 1077944384 645 2664 0 0 9 0 26 0 20 0 17 0 224827675 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985182194032 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18919] ppid=18890 vsize=7937144 memory=3473470991304446040 CPUtime=0.35 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) R 18890 18890 16605 0 -1 4202560 326 2664 0 0 9 0 26 0 20 0 17 0 224827675 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985181141232 139985803893378 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18920] ppid=18890 vsize=7937144 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) R 18890 18890 16605 0 -1 4202560 607 2664 0 0 22 0 26 0 20 0 17 0 224827675 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985180088432 139985803903578 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18921] ppid=18890 vsize=7937144 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18890 18890 16605 0 -1 1077944384 3 2664 0 0 0 0 26 0 20 0 17 0 224827675 8127635456 29479 33554432000 4194304 4196468 140733405007728 139983520262368 139985803892437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
[pid=18908/tid=18922] ppid=18890 vsize=7937144 memory=281311096951216 CPUtime=0.26 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18890 18890 16605 0 -1 1077944384 1 2664 0 0 0 0 26 0 20 0 17 0 224827676 8127635456 29479 33554432000 4194304 4196468 140733405007728 139985179036848 139985803893378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23244800 140733405013173 140733405013297 140733405013297 140733405016015 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 119384 KiB
Child status: 0
Real time (s): 5.44425
CPU time (s): 13.7127
CPU user time (s): 13.3975
CPU system time (s): 0.315146
CPU usage (%): 251.874
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 848476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.3975
system time used= 0.315146
maximum resident set size= 847344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5974
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 18890
# total CPU time (s): 13.7127
# total CPU user time (s): 13.3975
# total CPU system time (s): 0.315146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051036 second user time and 0.106498 second system time
The end