0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22149-serial-file.bin HOME/instance-4305578-1534072632.xml
0.54/0.51
0.54/0.52 scop both+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:17:13 CEST 2018
0.66/0.54 c PID: 22152
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.19/0.83 c (0,0) Parsing End
1.19/0.83 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 12
1.19/0.83 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.19/0.83 c (0,0) Constraint Name Generate Begin
1.19/0.84 c (0,0) Ctr:HOME/instance-4305578-1534072632.xml,Add:Element:Eq:IntVar:Num
1.19/0.84 c (0,0) Constraint Name Generate End
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.84 c (0,0) CSP to CSPinCNF Begin
1.35/0.96 c (0,0) translated 2 (10%) constraints
1.35/0.99 c (0,0) translated 4 (20%) constraints
1.55/1.01 c (0,0) translated 6 (30%) constraints
1.55/1.02 c (0,0) translated 8 (40%) constraints
1.55/1.03 c (0,0) translated 9 (50%) constraints
1.55/1.04 c (0,0) translated 11 (60%) constraints
1.55/1.06 c (0,0) translated 13 (70%) constraints
1.55/1.06 c (0,0) translated 15 (80%) constraints
1.55/1.06 c (0,0) translated 17 (90%) constraints
1.55/1.07 c (0,0) translated 18 (100%) constraints
1.55/1.10 c (0,0) STATISTICS1:HOME/instance-4305578-1534072632.xml,Add:Element:Eq:IntVar:Num,24,150,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:26;9:26;8:26;7:26;6:170;5:26,3:144;1:6,2:12;1:432,
1.55/1.10 c (0,0) ==========================================
1.55/1.10 c (0,0) Both Encoding selects:
1.55/1.10 c (0,0) Order
1.55/1.10 c (0,0) ==========================================
1.82/1.13 c (0,0) translated 15 (10%) constraints
1.82/1.15 c (0,0) translated 30 (20%) constraints
1.82/1.16 c (0,0) translated 45 (30%) constraints
1.82/1.17 c (0,0) translated 60 (40%) constraints
1.82/1.18 c (0,0) translated 75 (50%) constraints
1.82/1.19 c (0,0) translated 90 (60%) constraints
1.82/1.20 c (0,0) translated 105 (70%) constraints
2.05/1.20 c (0,0) translated 120 (80%) constraints
2.05/1.21 c (0,0) translated 135 (90%) constraints
2.05/1.21 c (0,0) translated 150 (100%) constraints
2.05/1.22 c (0,0) CSP to CSPinCNF End
2.05/1.22 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 444 ctr, max domain size 10
2.05/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.05/1.22 c (0,0) CSPinCNF Propagation Begin
2.05/1.26 c (0,0) 0 values, 78 unsatisfiable literals, and 102 valid clauses are removed
2.05/1.26 c (0,0) CSPinCNF Propagation End
2.05/1.26 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.26 c (0,0) Simplify CSPinCNF Begin
2.05/1.26 c (0,0) Simplify CSPinCNF End
2.05/1.26 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.26 c (0,0) Calculate Precise Domain Begin
2.05/1.26 c (0,0) 0 values are removed by re-calculation
2.05/1.26 c (0,0) Calculate Precise Domain End
2.05/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.27 c (0,0) CSPinCNF to SatSolver Begin
2.05/1.29 c (0,0) 35 (10 %) CSP clauses are encoded (210 SAT variables, 148 SAT clauses)
2.27/1.30 c (0,0) 69 (20 %) CSP clauses are encoded (210 SAT variables, 182 SAT clauses)
2.27/1.30 c (0,0) 103 (30 %) CSP clauses are encoded (210 SAT variables, 216 SAT clauses)
2.27/1.31 c (0,0) 137 (40 %) CSP clauses are encoded (210 SAT variables, 250 SAT clauses)
2.27/1.31 c (0,0) 171 (50 %) CSP clauses are encoded (210 SAT variables, 284 SAT clauses)
2.27/1.31 c (0,0) 206 (60 %) CSP clauses are encoded (210 SAT variables, 319 SAT clauses)
2.27/1.31 c (0,0) 240 (70 %) CSP clauses are encoded (210 SAT variables, 353 SAT clauses)
2.27/1.32 c (0,0) 274 (80 %) CSP clauses are encoded (210 SAT variables, 387 SAT clauses)
2.27/1.32 c (0,0) 308 (90 %) CSP clauses are encoded (210 SAT variables, 421 SAT clauses)
2.27/1.33 c (0,0) 342 (100 %) CSP clauses are encoded (210 SAT variables, 518 SAT clauses)
2.27/1.33 c (0,0) Launch Command will be: minisat_release
2.27/1.33 c (0,0) CSPinCNF to SatSolver End
2.27/1.33 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.27/1.35 c (0,0) STATISTICS2:HOME/instance-4305578-1534072632.xml,Add:Element:Eq:IntVar:Num,96,342,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:40;9:36;8:32;7:28;6:264;5:20;2:330,3:66;2:264;1:12,2:12;1:726,
2.27/1.35 c (0,0) 210 bool, 522 clause
2.27/1.35 c (0,0) Export Begin
2.50/1.42 c (0,0) Export to HOME/scop-22149-serial-file.bin
2.50/1.42 c (0,0) Export End
2.50/1.42 c (0,0) Export File Size: 0.01 MB
2.50/1.42 c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.50/1.42 c END-Prog: Sun Aug 12 13:17:13 CEST 2018
2.50/1.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22149-serial-file.bin
2.54/1.92 c (0,0) Read Serial File Begin
2.54/1.92 c (0,0) HOME/scop-22149-serial-file.bin
3.31/2.07 c (0,0) Read Serial File End
3.31/2.08
3.31/2.08 scop order+minisat_release (2018-07-31)
3.31/2.08 (Solving Process)
3.31/2.08
3.31/2.10 c BEGIN-Prog: Sun Aug 12 13:17:14 CEST 2018
3.31/2.10 c PID: 22167
3.31/2.10 c IP: 172.20.3.135
3.31/2.10 c HOST: node135.alineos.net
3.45/2.11 c (0,0) SatSolver.solve Begin
3.45/2.11 c (0,0) 0 bool, 0 clause
3.45/2.11 c (0,0) minisat_release HOME/instance-4305578-1534072632.xml-scop-22152.cnf
3.45/2.14 c (0,0) c This is COMiniSatPS.
3.45/2.14 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.45/2.14 c (0,0) c ============================[ Problem Statistics ]=============================
3.45/2.14 c (0,0) c | |
3.45/2.14 c (0,0) c | Number of variables: 210 |
3.45/2.14 c (0,0) c | Number of clauses: 522 |
3.45/2.14 c (0,0) c | Parse time: 0.00 s |
3.45/2.14 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.45/2.14 c (0,0) c Reduced to 98 vars, 318 cls (grow=0)
3.45/2.14 c (0,0) c No iterative elimination performed. (vars=98, c/v ratio=3.2)
3.45/2.14 c (0,0) c | Simplification time: 0.00 s |
3.45/2.14 c (0,0) c | |
3.45/2.14 c (0,0) c ============================[ Search Statistics ]==============================
3.45/2.14 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.45/2.14 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.45/2.14 c (0,0) c ===============================================================================
3.45/2.14 c (0,0) c ===============================================================================
3.45/2.14 c (0,0) c restarts : 1
3.45/2.14 c (0,0) c conflicts : 264 (82993 /sec)
3.45/2.14 c (0,0) c decisions : 321 (0.00 % random) (100912 /sec)
3.45/2.14 c (0,0) c propagations : 7162 (2251493 /sec)
3.45/2.14 c (0,0) c conflict literals : 1654 (28.34 % deleted)
3.45/2.14 c (0,0) c CPU time : 0.003181 s
3.45/2.14 c (0,0)
3.45/2.14 c (0,0) s UNSATISFIABLE
3.45/2.18 c (0,0) SatSolver.solve End
3.45/2.18 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.45/2.18 c (0,0) Show results Begin
3.45/2.18 s UNSATISFIABLE
3.45/2.18 c (0,0) Show results End
3.45/2.18 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.45/2.18 c (0,0) 0,0,STOP-AFTER(ALL)
3.45/2.18 c END-Prog: Sun Aug 12 13:17:14 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 (6885 MiB free)
memory of node 1: 16384 MiB (4465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305578-1534072632/watcher-4305578-1534072632 -o /tmp/evaluation-result-4305578-1534072632/solver-4305578-1534072632 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305578-1534072632.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
solver pid=22149, runsolver pid=22146
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.06 2.05 2.05 3/225 22166
/proc/meminfo: memFree=11563632/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224826368 115843072 349 33554432000 4194304 5098028 140736700192048 140736700189304 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 349 296 221 0 87 0
[pid=22152] ppid=22149 vsize=15012476 memory=72872 CPUtime=0.11 cores=0,2,4,6
/proc/22152/stat : 22152 (java) S 22149 22149 19383 0 -1 1077944320 6343 0 0 0 10 1 0 0 20 0 15 0 224826369 15372775424 18218 33554432000 4194304 4196468 140730113794272 140730113776816 140317564923639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
/proc/22152/statm: 3753119 18218 2771 1 0 3715579 0
[pid=22152/tid=22153] ppid=22149 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/22152/task/22153/stat : 22153 (java) R 22149 22149 19383 0 -1 4202560 4475 0 0 0 8 1 0 0 20 0 15 0 224826369 15372775424 18284 33554432000 4194304 4196468 140730113794272 140317536735624 140317545199453 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22154] ppid=22149 vsize=15012476 memory=3472468580967585456 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22154/stat : 22154 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 18284 33554432000 4194304 4196468 140730113794272 140317569166480 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22155] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22155/stat : 22155 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 18284 33554432000 4194304 4196468 140730113794272 140317025709072 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22156] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22156/stat : 22156 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 18284 33554432000 4194304 4196468 140730113794272 140317024656272 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22157] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22157/stat : 22157 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 18284 33554432000 4194304 4196468 140730113794272 140317023603472 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22158] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22158/stat : 22158 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 18284 33554432000 4194304 4196468 140730113794272 140316904466800 140317564934786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22159] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22159/stat : 22159 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 18284 33554432000 4194304 4196468 140730113794272 140316178900000 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22160] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22160/stat : 22160 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826373 15372775424 18284 33554432000 4194304 4196468 140730113794272 140315910464368 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22161] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22161/stat : 22161 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140315535955792 140317564942235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22162] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22162/stat : 22162 (java) S 22149 22149 19383 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140316903414640 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22163] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22163/stat : 22163 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140316902361840 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22164] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0.01 cores=0,2,4,6
/proc/22152/task/22164/stat : 22164 (java) S 22149 22149 19383 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140316901309040 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22165] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22165/stat : 22165 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140315038051040 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22166] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22166/stat : 22166 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 18350 33554432000 4194304 4196468 140730113794272 140316900256432 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74268 KiB
[startup+0.210751 s]*
/proc/loadavg: 2.06 2.05 2.05 3/225 22166
/proc/meminfo: memFree=11548936/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224826368 115843072 349 33554432000 4194304 5098028 140736700192048 140736700189304 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 349 296 221 0 87 0
[pid=22152] ppid=22149 vsize=15012476 memory=85688 CPUtime=0.26 cores=0,2,4,6
/proc/22152/stat : 22152 (java) S 22149 22149 19383 0 -1 1077944320 9761 0 0 0 24 2 0 0 20 0 15 0 224826369 15372775424 21422 33554432000 4194304 4196468 140730113794272 140730113776816 140317564923639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
/proc/22152/statm: 3753119 21422 2887 1 0 3715579 0
[pid=22152/tid=22153] ppid=22149 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=0,2,4,6
/proc/22152/task/22153/stat : 22153 (java) R 22149 22149 19383 0 -1 4202560 7657 0 0 0 18 1 0 0 20 0 15 0 224826369 15372775424 21422 33554432000 4194304 4196468 140730113794272 140317536748848 140317068131596 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22154] ppid=22149 vsize=15012476 memory=3472468580967585456 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22154/stat : 22154 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 21422 33554432000 4194304 4196468 140730113794272 140317569166480 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22155] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22155/stat : 22155 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 21422 33554432000 4194304 4196468 140730113794272 140317025709072 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22156] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22156/stat : 22156 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 21422 33554432000 4194304 4196468 140730113794272 140317024656272 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22157] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22157/stat : 22157 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 21422 33554432000 4194304 4196468 140730113794272 140317023603472 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22158] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22158/stat : 22158 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316904466800 140317564934786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22159] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22159/stat : 22159 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316178900000 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22160] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22160/stat : 22160 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826373 15372775424 21422 33554432000 4194304 4196468 140730113794272 140315910464368 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22161] ppid=22149 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22161/stat : 22161 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140315535955792 140317564942235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22162] ppid=22149 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22152/task/22162/stat : 22162 (java) R 22149 22149 19383 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316903414640 140317549822911 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22163] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22163/stat : 22163 (java) R 22149 22149 19383 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316902361840 140317564934786 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22164] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0.03 cores=0,2,4,6
/proc/22152/task/22164/stat : 22164 (java) R 22149 22149 19383 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316901309040 140317564935574 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22165] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22165/stat : 22165 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140315038051040 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22166] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22166/stat : 22166 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 21422 33554432000 4194304 4196468 140730113794272 140316900256432 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87084 KiB
[startup+0.310817 s]*
/proc/loadavg: 2.06 2.05 2.05 3/225 22166
/proc/meminfo: memFree=11545524/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224826368 115843072 349 33554432000 4194304 5098028 140736700192048 140736700189304 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 349 296 221 0 87 0
[pid=22152] ppid=22149 vsize=15012476 memory=89636 CPUtime=0.43 cores=0,2,4,6
/proc/22152/stat : 22152 (java) S 22149 22149 19383 0 -1 1077944320 10366 0 0 0 41 2 0 0 20 0 15 0 224826369 15372775424 22409 33554432000 4194304 4196468 140730113794272 140730113776816 140317564923639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
/proc/22152/statm: 3753119 22409 2981 1 0 3715579 0
[pid=22152/tid=22153] ppid=22149 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/22152/task/22153/stat : 22153 (java) R 22149 22149 19383 0 -1 4202560 8097 0 0 0 28 1 0 0 20 0 15 0 224826369 15372775424 22409 33554432000 4194304 4196468 140730113794272 140317536753968 140317546487214 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22154] ppid=22149 vsize=15012476 memory=3472468580967585456 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22154/stat : 22154 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 22409 33554432000 4194304 4196468 140730113794272 140317569166480 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22155] ppid=22149 vsize=15012476 memory=280569377762176 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22155/stat : 22155 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 22409 33554432000 4194304 4196468 140730113794272 140317025709072 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22156] ppid=22149 vsize=15012476 memory=280569275746336 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22156/stat : 22156 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 22409 33554432000 4194304 4196468 140730113794272 140317024656272 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22157] ppid=22149 vsize=15012476 memory=140284637857039 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22157/stat : 22157 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826371 15372775424 22409 33554432000 4194304 4196468 140730113794272 140317023603472 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22158] ppid=22149 vsize=15012476 memory=280569377769088 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22158/stat : 22158 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316904466800 140317564934786 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22159] ppid=22149 vsize=15012476 memory=140284637861647 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22159/stat : 22159 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826372 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316178900000 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22160] ppid=22149 vsize=15012476 memory=140284637885504 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22160/stat : 22160 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826373 15372775424 22409 33554432000 4194304 4196468 140730113794272 140315910464368 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22161] ppid=22149 vsize=15012476 memory=280569275755552 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22161/stat : 22161 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140315535955792 140317564942235 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22162] ppid=22149 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22152/task/22162/stat : 22162 (java) R 22149 22149 19383 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316903414640 140317564934786 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22163] ppid=22149 vsize=15012476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22152/task/22163/stat : 22163 (java) R 22149 22149 19383 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316902361840 140317546441454 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22164] ppid=22149 vsize=15012476 memory=140284739905152 CPUtime=0.07 cores=0,2,4,6
/proc/22152/task/22164/stat : 22164 (java) R 22149 22149 19383 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316901309040 140317550604288 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22165] ppid=22149 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22165/stat : 22165 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140315038051040 140317564933845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22166] ppid=22149 vsize=15012476 memory=140284739906548 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22166/stat : 22166 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826375 15372775424 22409 33554432000 4194304 4196468 140730113794272 140316900256432 140317564934786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91032 KiB
[startup+0.7008 s]
/proc/loadavg: 2.06 2.05 2.05 3/225 22166
/proc/meminfo: memFree=11521216/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224826368 115843072 349 33554432000 4194304 5098028 140736700192048 140736700189304 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 349 296 221 0 87 0
[pid=22152] ppid=22149 vsize=15020872 memory=129736 CPUtime=1 cores=0,2,4,6
/proc/22152/stat : 22152 (java) S 22149 22149 19383 0 -1 1077944320 17596 0 0 0 96 4 0 0 20 0 15 0 224826369 15381372928 32434 33554432000 4194304 4196468 140730113794272 140730113776816 140317564923639 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
/proc/22152/statm: 3755218 32434 3147 1 0 3716603 0
[pid=22152/tid=22153] ppid=22149 vsize=15020872 memory=57 CPUtime=0.68 cores=0,2,4,6
/proc/22152/task/22153/stat : 22153 (java) R 22149 22149 19383 0 -1 4202560 14879 0 0 0 64 4 0 0 20 0 15 0 224826369 15381372928 32434 33554432000 4194304 4196468 140730113794272 140317536755008 140317564935574 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22154] ppid=22149 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22154/stat : 22154 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15381372928 32434 33554432000 4194304 4196468 140730113794272 140317569166480 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22155] ppid=22149 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22155/stat : 22155 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15381372928 32434 33554432000 4194304 4196468 140730113794272 140317025709072 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22156] ppid=22149 vsize=15020872 memory=7518566443438922081 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22156/stat : 22156 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826371 15381372928 32434 33554432000 4194304 4196468 140730113794272 140317024656272 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22157] ppid=22149 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22157/stat : 22157 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826371 15381372928 32434 33554432000 4194304 4196468 140730113794272 140317023603472 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22158] ppid=22149 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22158/stat : 22158 (java) S 22149 22149 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224826372 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316904466800 140317564934786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22159] ppid=22149 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22159/stat : 22159 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826372 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316178900000 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22160] ppid=22149 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22160/stat : 22160 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826373 15381372928 32434 33554432000 4194304 4196468 140730113794272 140315910464368 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22161] ppid=22149 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22161/stat : 22161 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140315535955792 140317564942235 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22162] ppid=22149 vsize=15020872 memory=12144 CPUtime=0.06 cores=0,2,4,6
/proc/22152/task/22162/stat : 22162 (java) S 22149 22149 19383 0 -1 1077944384 537 0 0 0 6 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316903414640 140317564934786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22163] ppid=22149 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/22152/task/22163/stat : 22163 (java) S 22149 22149 19383 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316902361840 140317564934786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22164] ppid=22149 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/22152/task/22164/stat : 22164 (java) R 22149 22149 19383 0 -1 4202560 461 0 0 0 15 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316901304768 140317564935574 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22165] ppid=22149 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22165/stat : 22165 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140315038051040 140317564933845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
[pid=22152/tid=22166] ppid=22149 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/22152/task/22166/stat : 22166 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826375 15381372928 32434 33554432000 4194304 4196468 140730113794272 140316900256432 140317564934786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15556608 140730113803271 140730113803569 140730113803569 140730113806287 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131132 KiB
[startup+1.50075 s]
/proc/loadavg: 1.97 2.03 2.04 3/225 22166
/proc/meminfo: memFree=11494604/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 590 22039 0 0 0 0 246 8 20 0 1 0 224826368 115843072 368 33554432000 4194304 5098028 140736700192048 140736700188792 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.19305 s]
# the end of solver process 22149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.50635 s, system=0.162842 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60034 s]
/proc/loadavg: 1.97 2.03 2.04 3/225 22166
/proc/meminfo: memFree=11494604/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 590 22039 0 0 0 0 246 8 20 0 1 0 224826368 115843072 368 33554432000 4194304 5098028 140736700192048 140736700188792 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00037 s]*
/proc/loadavg: 1.97 2.03 2.04 3/225 22181
/proc/meminfo: memFree=11542228/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 590 22039 0 0 0 0 246 8 20 0 1 0 224826368 115843072 368 33554432000 4194304 5098028 140736700192048 140736700188792 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 368 311 221 0 87 0
[pid=22167] ppid=22149 vsize=7406384 memory=94348 CPUtime=0.77 cores=0,2,4,6
/proc/22167/stat : 22167 (java) S 22149 22149 19383 0 -1 1077944320 15791 0 0 0 72 5 0 0 20 0 15 0 224826512 7584137216 23587 33554432000 4194304 4196468 140720636916496 140720636899040 140202487176951 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
/proc/22167/statm: 1851596 23587 3058 1 0 1813530 0
[pid=22167/tid=22168] ppid=22149 vsize=7406384 memory=97304900012778 CPUtime=0.55 cores=0,2,4,6
/proc/22167/task/22168/stat : 22168 (java) R 22149 22149 19383 0 -1 4202560 13489 0 0 0 51 4 0 0 20 0 15 0 224826512 7584137216 23587 33554432000 4194304 4196468 140720636916496 140202458980048 140202471257438 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22169] ppid=22149 vsize=7406384 memory=280569275486192 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22169/stat : 22169 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7584137216 23587 33554432000 4194304 4196468 140720636916496 140202491418896 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22170] ppid=22149 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22170/stat : 22170 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7584137216 23587 33554432000 4194304 4196468 140720636916496 140202297182608 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22171] ppid=22149 vsize=7406384 memory=280569275482352 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22171/stat : 22171 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7584137216 23587 33554432000 4194304 4196468 140720636916496 140201970797072 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22172] ppid=22149 vsize=7406384 memory=280569275486192 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22172/stat : 22172 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826513 7584137216 23587 33554432000 4194304 4196468 140720636916496 140201969744528 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22173] ppid=22149 vsize=7406384 memory=280569275486192 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22173/stat : 22173 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826515 7584137216 23587 33554432000 4194304 4196468 140720636916496 140201530845680 140202487188098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22174] ppid=22149 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22174/stat : 22174 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826515 7584137216 23587 33554432000 4194304 4196468 140720636916496 140201422742944 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22175] ppid=22149 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22175/stat : 22175 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826515 7584137216 23587 33554432000 4194304 4196468 140720636916496 140201154307568 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22176] ppid=22149 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22176/stat : 22176 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826518 7584137216 23587 33554432000 4194304 4196468 140720636916496 140200779799248 140202487195547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22177] ppid=22149 vsize=7406384 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22167/task/22177/stat : 22177 (java) S 22149 22149 19383 0 -1 1077944384 358 0 0 0 4 0 0 0 20 0 15 0 224826518 7584137216 23652 33554432000 4194304 4196468 140720636916496 140201529792496 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22178] ppid=22149 vsize=7406384 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22167/task/22178/stat : 22178 (java) S 22149 22149 19383 0 -1 1077944384 267 0 0 0 4 0 0 0 20 0 15 0 224826518 7584137216 23652 33554432000 4194304 4196468 140720636916496 140201528739952 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22179] ppid=22149 vsize=7406384 memory=-1088251628401078322 CPUtime=0.12 cores=0,2,4,6
/proc/22167/task/22179/stat : 22179 (java) S 22149 22149 19383 0 -1 1077944384 351 0 0 0 12 0 0 0 20 0 15 0 224826518 7584137216 23652 33554432000 4194304 4196468 140720636916496 140201527687408 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22180] ppid=22149 vsize=7406384 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22180/stat : 22180 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826518 7584137216 23652 33554432000 4194304 4196468 140720636916496 140200281893472 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22181] ppid=22149 vsize=7406384 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22181/stat : 22181 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826518 7584137216 23652 33554432000 4194304 4196468 140720636916496 140201526635312 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 95820 KiB
[startup+2.11094 s]
/proc/loadavg: 1.97 2.03 2.04 3/225 22181
/proc/meminfo: memFree=11542228/32770624 swapFree=67108860/67108860
[pid=22149] ppid=22146 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/22149/stat : 22149 (scop.sh) S 22146 22149 19383 0 -1 4202496 590 22039 0 0 0 0 246 8 20 0 1 0 224826368 115843072 368 33554432000 4194304 5098028 140736700192048 140736700188792 139677106459260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34811904 140736700200001 140736700200199 140736700200199 140736700202957 0
/proc/22149/statm: 28282 368 311 221 0 87 0
[pid=22167] ppid=22149 vsize=7410572 memory=100904 CPUtime=0.91 cores=0,2,4,6
/proc/22167/stat : 22167 (java) S 22149 22149 19383 0 -1 1077944320 16471 0 0 0 86 5 0 0 20 0 15 0 224826512 7588425728 25226 33554432000 4194304 4196468 140720636916496 140720636899040 140202487176951 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
/proc/22167/statm: 1852643 25226 3090 1 0 1814042 0
[pid=22167/tid=22168] ppid=22149 vsize=7410572 memory=288230596050944315 CPUtime=0.64 cores=0,2,4,6
/proc/22167/task/22168/stat : 22168 (java) R 22149 22149 19383 0 -1 4202560 14089 0 0 0 60 4 0 0 20 0 15 0 224826512 7588425728 25226 33554432000 4194304 4196468 140720636916496 140202459007536 140202487198298 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22169] ppid=22149 vsize=7410572 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22169/stat : 22169 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7588425728 25226 33554432000 4194304 4196468 140720636916496 140202491418896 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22170] ppid=22149 vsize=7410572 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22170/stat : 22170 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7588425728 25226 33554432000 4194304 4196468 140720636916496 140202297182608 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22171] ppid=22149 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22171/stat : 22171 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826513 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201970797072 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22172] ppid=22149 vsize=7410572 memory=417 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22172/stat : 22172 (java) S 22149 22149 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826513 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201969744528 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22173] ppid=22149 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22173/stat : 22173 (java) S 22149 22149 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224826515 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201530845680 140202487188098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22174] ppid=22149 vsize=7410572 memory=280569276039152 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22174/stat : 22174 (java) S 22149 22149 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826515 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201422742944 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22175] ppid=22149 vsize=7410572 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22175/stat : 22175 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826515 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201154307568 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22176] ppid=22149 vsize=7410572 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22176/stat : 22176 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140200779799248 140202487195547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22177] ppid=22149 vsize=7410572 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22167/task/22177/stat : 22177 (java) R 22149 22149 19383 0 -1 4202560 359 0 0 0 4 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201529792496 140202467812835 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22178] ppid=22149 vsize=7410572 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22167/task/22178/stat : 22178 (java) S 22149 22149 19383 0 -1 1077944384 271 0 0 0 5 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201528739952 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22179] ppid=22149 vsize=7410572 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22167/task/22179/stat : 22179 (java) S 22149 22149 19383 0 -1 1077944384 420 0 0 0 15 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201527687408 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22180] ppid=22149 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22180/stat : 22180 (java) S 22149 22149 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140200281893472 140202487187157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
[pid=22167/tid=22181] ppid=22149 vsize=7410572 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22167/task/22181/stat : 22181 (java) S 22149 22149 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826518 7588425728 25226 33554432000 4194304 4196468 140720636916496 140201526635312 140202487188098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140720636921013 140720636921137 140720636921137 140720636923855 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 102376 KiB
Child status: 0
Real time (s): 2.19311
CPU time (s): 3.66919
CPU user time (s): 3.50635
CPU system time (s): 0.162842
CPU usage (%): 167.306
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 171788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.50635
system time used= 0.162842
maximum resident set size= 173296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4335
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 22149
# total CPU time (s): 3.66919
# total CPU user time (s): 3.50635
# total CPU system time (s): 0.162842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034817 second user time and 0.074279 second system time
The end