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-23558-serial-file.bin HOME/instance-4305729-1534075288.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 14:01:28 CEST 2018
0.66/0.55 c PID: 23561
0.66/0.55 c IP: 172.20.3.135
0.66/0.55 c HOST: node135.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.18/0.84 c (0,0) Parsing End
1.18/0.84 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 54 ctr, max domain size 5
1.18/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.84 c (0,0) Constraint Name Generate Begin
1.18/0.85 c (0,0) Ctr:HOME/instance-4305729-1534075288.xml,ExtensionConflict:ExtensionSupport:IntVar
1.18/0.85 c (0,0) Constraint Name Generate End
1.18/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.85 c (0,0) CSP to CSPinCNF Begin
1.53/1.05 c (0,0) translated 6 (10%) constraints
1.53/1.09 c (0,0) translated 11 (20%) constraints
1.74/1.12 c (0,0) translated 17 (30%) constraints
1.74/1.14 c (0,0) translated 22 (40%) constraints
1.74/1.15 c (0,0) translated 27 (50%) constraints
1.74/1.17 c (0,0) translated 33 (60%) constraints
1.74/1.18 c (0,0) translated 38 (70%) constraints
1.98/1.20 c (0,0) translated 44 (80%) constraints
1.98/1.21 c (0,0) translated 49 (90%) constraints
1.98/1.28 c (0,0) translated 54 (100%) constraints
2.21/1.32 c (0,0) STATISTICS1:HOME/instance-4305729-1534075288.xml,ExtensionConflict:ExtensionSupport:IntVar,45,310,-1,5,6,1,,5:932;2:92,6:4;4:184;3:24;2:98,1:1024;0:4,
2.21/1.32 c (0,0) ==========================================
2.21/1.32 c (0,0) Both Encoding selects:
2.21/1.32 c (0,0) Order
2.21/1.32 c (0,0) ==========================================
2.21/1.33 c (0,0) translated 31 (10%) constraints
2.21/1.33 c (0,0) translated 62 (20%) constraints
2.21/1.34 c (0,0) translated 93 (30%) constraints
2.21/1.34 c (0,0) translated 124 (40%) constraints
2.21/1.34 c (0,0) translated 155 (50%) constraints
2.21/1.35 c (0,0) translated 186 (60%) constraints
2.21/1.35 c (0,0) translated 217 (70%) constraints
2.21/1.35 c (0,0) translated 248 (80%) constraints
2.21/1.35 c (0,0) translated 279 (90%) constraints
2.21/1.36 c (0,0) translated 310 (100%) constraints
2.21/1.36 c (0,0) CSP to CSPinCNF End
2.21/1.36 c (0,0) CSP: 25 int (0 aux), 20 bool (20 aux), 310 ctr, max domain size 5
2.21/1.36 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.21/1.36 c (0,0) CSPinCNF Propagation Begin
2.21/1.39 c (0,0) 0 values, 104 unsatisfiable literals, and 0 valid clauses are removed
2.21/1.39 c (0,0) CSPinCNF Propagation End
2.21/1.39 c (0,0) CSP: 25 int (0 aux), 20 bool (20 aux), 310 ctr, max domain size 5
2.21/1.39 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.21/1.39 c (0,0) Simplify CSPinCNF Begin
2.21/1.40 c (0,0) Simplify CSPinCNF End
2.21/1.40 c (0,0) CSP: 25 int (0 aux), 20 bool (20 aux), 310 ctr, max domain size 5
2.21/1.40 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.21/1.40 c (0,0) Calculate Precise Domain Begin
2.48/1.40 c (0,0) 0 values are removed by re-calculation
2.48/1.40 c (0,0) Calculate Precise Domain End
2.48/1.40 c (0,0) CSP: 25 int (0 aux), 20 bool (20 aux), 310 ctr, max domain size 5
2.48/1.40 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.48/1.40 c (0,0) CSPinCNF to SatSolver Begin
2.48/1.42 c (0,0) 31 (10 %) CSP clauses are encoded (120 SAT variables, 105 SAT clauses)
2.48/1.43 c (0,0) 62 (20 %) CSP clauses are encoded (120 SAT variables, 136 SAT clauses)
2.48/1.43 c (0,0) 93 (30 %) CSP clauses are encoded (120 SAT variables, 167 SAT clauses)
2.48/1.43 c (0,0) 124 (40 %) CSP clauses are encoded (120 SAT variables, 198 SAT clauses)
2.66/1.54 c (0,0) 155 (50 %) CSP clauses are encoded (120 SAT variables, 229 SAT clauses)
2.66/1.54 c (0,0) 186 (60 %) CSP clauses are encoded (120 SAT variables, 260 SAT clauses)
2.66/1.54 c (0,0) 217 (70 %) CSP clauses are encoded (120 SAT variables, 291 SAT clauses)
2.66/1.54 c (0,0) 248 (80 %) CSP clauses are encoded (120 SAT variables, 322 SAT clauses)
2.66/1.54 c (0,0) 279 (90 %) CSP clauses are encoded (120 SAT variables, 353 SAT clauses)
2.66/1.54 c (0,0) 310 (100 %) CSP clauses are encoded (120 SAT variables, 384 SAT clauses)
2.66/1.54 c (0,0) Launch Command will be: minisat_release
2.66/1.54 c (0,0) CSPinCNF to SatSolver End
2.66/1.54 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.66/1.54 c (0,0) STATISTICS2:HOME/instance-4305729-1534075288.xml,ExtensionConflict:ExtensionSupport:IntVar,45,310,-1,5,5,1,,5:832;2:92,5:4;4:134;3:24;2:148,1:924,
2.66/1.54 c (1,0) 120 bool, 385 clause
2.66/1.54 c (1,0) Export Begin
2.66/1.62 c (1,1) Export to HOME/scop-23558-serial-file.bin
2.66/1.62 c (1,1) Export End
2.66/1.62 c (1,1) Export File Size: 0.01 MB
2.66/1.62 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.66/1.62 c END-Prog: Sun Aug 12 14:01:29 CEST 2018
2.66/1.63 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23558-serial-file.bin
3.40/2.12 c (0,0) Read Serial File Begin
3.40/2.12 c (0,0) HOME/scop-23558-serial-file.bin
3.54/2.28 c (0,0) Read Serial File End
3.69/2.30
3.69/2.30 scop order+minisat_release (2018-07-31)
3.69/2.30 (Solving Process)
3.69/2.30
3.69/2.32 c BEGIN-Prog: Sun Aug 12 14:01:30 CEST 2018
3.69/2.32 c PID: 23576
3.69/2.32 c IP: 172.20.3.135
3.69/2.32 c HOST: node135.alineos.net
3.69/2.32 c (0,0) SatSolver.solve Begin
3.69/2.32 c (0,0) 0 bool, 0 clause
3.69/2.32 c (0,0) minisat_release HOME/instance-4305729-1534075288.xml-scop-23561.cnf
3.69/2.35 c (0,0) c This is COMiniSatPS.
3.69/2.35 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.69/2.35 c (0,0) c ============================[ Problem Statistics ]=============================
3.69/2.35 c (0,0) c | |
3.69/2.35 c (0,0) c | Number of variables: 120 |
3.69/2.35 c (0,0) c | Number of clauses: 385 |
3.69/2.35 c (0,0) c | Parse time: 0.00 s |
3.69/2.35 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.69/2.35 c (0,0) c Reduced to 76 vars, 282 cls (grow=0)
3.69/2.35 c (0,0) c No iterative elimination performed. (vars=76, c/v ratio=3.7)
3.69/2.35 c (0,0) c | Simplification time: 0.00 s |
3.69/2.35 c (0,0) c | |
3.69/2.35 c (0,0) c ============================[ Search Statistics ]==============================
3.69/2.35 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.69/2.35 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.69/2.35 c (0,0) c ===============================================================================
3.69/2.35 c (0,0) c ===============================================================================
3.69/2.35 c (0,0) c restarts : 1
3.69/2.35 c (0,0) c conflicts : 46 (21111 /sec)
3.69/2.35 c (0,0) c decisions : 140 (0.00 % random) (64250 /sec)
3.69/2.35 c (0,0) c propagations : 593 (272143 /sec)
3.69/2.35 c (0,0) c conflict literals : 115 (15.44 % deleted)
3.69/2.35 c (0,0) c CPU time : 0.002179 s
3.69/2.35 c (0,0)
3.69/2.35 c (0,0) s UNSATISFIABLE
3.69/2.39 c (0,0) SatSolver.solve End
3.69/2.40 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.69/2.40 c (0,0) Show results Begin
3.69/2.40 s UNSATISFIABLE
3.69/2.40 c (0,0) Show results End
3.69/2.40 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.69/2.40 c (0,0) 0,0,STOP-AFTER(ALL)
3.69/2.40 c END-Prog: Sun Aug 12 14:01:30 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 (6946 MiB free)
memory of node 1: 16384 MiB (4572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305729-1534075288/watcher-4305729-1534075288 -o /tmp/evaluation-result-4305729-1534075288/solver-4305729-1534075288 -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-4305729-1534075288.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=23558, runsolver pid=23555
Current StackSize limit: 8192 KiB
[startup+0.100176 s]*
/proc/loadavg: 2.22 2.18 2.11 3/227 23575
/proc/meminfo: memFree=11736696/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091948 115843072 349 33554432000 4194304 5098028 140732880383248 140732880380504 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 349 296 221 0 87 0
[pid=23561] ppid=23558 vsize=15012476 memory=72048 CPUtime=0.11 cores=0,2,4,6
/proc/23561/stat : 23561 (java) S 23558 23558 19383 0 -1 1077944320 6637 0 0 0 10 1 0 0 20 0 15 0 225091949 15372775424 18012 33554432000 4194304 4196468 140736323882976 140736323865520 140591727898359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
/proc/23561/statm: 3753119 18012 2769 1 0 3715579 0
[pid=23561/tid=23562] ppid=23558 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/23561/task/23562/stat : 23562 (java) R 23558 23558 19383 0 -1 4202560 4718 0 0 0 8 1 0 0 20 0 15 0 225091949 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591699732800 140591711085168 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23563] ppid=23558 vsize=15012476 memory=3472468584874944176 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23563/stat : 23563 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591732141072 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23564] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23564/stat : 23564 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591530917008 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23565] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23565/stat : 23565 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591529863952 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23566] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23566/stat : 23566 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591528811408 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23567] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23567/stat : 23567 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091952 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591134656752 140591727909506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23568] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23568/stat : 23568 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 18012 33554432000 4194304 4196468 140736323882976 140590285055136 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23569] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23569/stat : 23569 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 18012 33554432000 4194304 4196468 140736323882976 140590050173680 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23570] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23570/stat : 23570 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 18012 33554432000 4194304 4196468 140736323882976 140589675665360 140591727916955 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23571] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23571/stat : 23571 (java) S 23558 23558 19383 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591133604592 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23572] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23572/stat : 23572 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591132552048 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23573] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0.01 cores=0,2,4,6
/proc/23561/task/23573/stat : 23573 (java) S 23558 23558 19383 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 225091955 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591131498992 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23574] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23574/stat : 23574 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 18012 33554432000 4194304 4196468 140736323882976 140589177760608 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23575] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23575/stat : 23575 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091956 15372775424 18012 33554432000 4194304 4196468 140736323882976 140591130446384 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73444 KiB
[startup+0.211079 s]*
/proc/loadavg: 2.22 2.18 2.11 6/227 23575
/proc/meminfo: memFree=11721380/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091948 115843072 349 33554432000 4194304 5098028 140732880383248 140732880380504 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 349 296 221 0 87 0
[pid=23561] ppid=23558 vsize=15012476 memory=85648 CPUtime=0.25 cores=0,2,4,6
/proc/23561/stat : 23561 (java) S 23558 23558 19383 0 -1 1077944320 10273 0 0 0 23 2 0 0 20 0 15 0 225091949 15372775424 21412 33554432000 4194304 4196468 140736323882976 140736323865520 140591727898359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
/proc/23561/statm: 3753119 21412 2880 1 0 3715579 0
[pid=23561/tid=23562] ppid=23558 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/23561/task/23562/stat : 23562 (java) R 23558 23558 19383 0 -1 4202560 8160 0 0 0 18 2 0 0 20 0 15 0 225091949 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591699723144 140591727910294 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23563] ppid=23558 vsize=15012476 memory=3472468584874944176 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23563/stat : 23563 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591732141072 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23564] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23564/stat : 23564 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591530917008 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23565] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23565/stat : 23565 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591529863952 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23566] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23566/stat : 23566 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591528811408 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23567] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23567/stat : 23567 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091952 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591134656752 140591727909506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23568] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23568/stat : 23568 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 21412 33554432000 4194304 4196468 140736323882976 140590285055136 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23569] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23569/stat : 23569 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 21412 33554432000 4194304 4196468 140736323882976 140590050173680 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23570] ppid=23558 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23570/stat : 23570 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 21412 33554432000 4194304 4196468 140736323882976 140589675665360 140591727916955 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23571] ppid=23558 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23561/task/23571/stat : 23571 (java) S 23558 23558 19383 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 225091955 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591133604592 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23572] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23572/stat : 23572 (java) S 23558 23558 19383 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591132552048 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23573] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0.03 cores=0,2,4,6
/proc/23561/task/23573/stat : 23573 (java) S 23558 23558 19383 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 225091955 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591131498992 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23574] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23574/stat : 23574 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 21412 33554432000 4194304 4196468 140736323882976 140589177760608 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23575] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23575/stat : 23575 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091956 15372775424 21412 33554432000 4194304 4196468 140736323882976 140591130446384 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87044 KiB
[startup+0.31121 s]*
/proc/loadavg: 2.22 2.18 2.11 3/227 23575
/proc/meminfo: memFree=11717844/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091948 115843072 349 33554432000 4194304 5098028 140732880383248 140732880380504 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 349 296 221 0 87 0
[pid=23561] ppid=23558 vsize=15012476 memory=89576 CPUtime=0.43 cores=0,2,4,6
/proc/23561/stat : 23561 (java) S 23558 23558 19383 0 -1 1077944320 10882 0 0 0 40 3 0 0 20 0 15 0 225091949 15372775424 22394 33554432000 4194304 4196468 140736323882976 140736323865520 140591727898359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
/proc/23561/statm: 3753119 22394 2976 1 0 3715579 0
[pid=23561/tid=23562] ppid=23558 vsize=15012476 memory=8514701219881124769 CPUtime=0.3 cores=0,2,4,6
/proc/23561/task/23562/stat : 23562 (java) R 23558 23558 19383 0 -1 4202560 8586 0 0 0 28 2 0 0 20 0 15 0 225091949 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591699693808 140591714118874 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23563] ppid=23558 vsize=15012476 memory=3472468584874944176 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23563/stat : 23563 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591732141072 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23564] ppid=23558 vsize=15012476 memory=280577177435008 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23564/stat : 23564 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591530917008 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23565] ppid=23558 vsize=15012476 memory=280577060374560 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23565/stat : 23565 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591529863952 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23566] ppid=23558 vsize=15012476 memory=140288530171151 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23566/stat : 23566 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091951 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591528811408 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23567] ppid=23558 vsize=15012476 memory=280577177441920 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23567/stat : 23567 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091952 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591134656752 140591727909506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23568] ppid=23558 vsize=15012476 memory=140288530175759 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23568/stat : 23568 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 22394 33554432000 4194304 4196468 140736323882976 140590285055136 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23569] ppid=23558 vsize=15012476 memory=140288530200486 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23569/stat : 23569 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091953 15372775424 22394 33554432000 4194304 4196468 140736323882976 140590050173680 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23570] ppid=23558 vsize=15012476 memory=280577060383776 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23570/stat : 23570 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 22394 33554432000 4194304 4196468 140736323882976 140589675665360 140591727916955 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23571] ppid=23558 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23561/task/23571/stat : 23571 (java) S 23558 23558 19383 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 225091955 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591133604592 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23572] ppid=23558 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23561/task/23572/stat : 23572 (java) S 23558 23558 19383 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 15 0 225091955 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591132552048 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23573] ppid=23558 vsize=15012476 memory=140288647263872 CPUtime=0.07 cores=0,2,4,6
/proc/23561/task/23573/stat : 23573 (java) S 23558 23558 19383 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 15 0 225091955 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591131498992 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23574] ppid=23558 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23574/stat : 23574 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15372775424 22394 33554432000 4194304 4196468 140736323882976 140589177760608 140591727908565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23575] ppid=23558 vsize=15012476 memory=140288647265268 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23575/stat : 23575 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091956 15372775424 22394 33554432000 4194304 4196468 140736323882976 140591130446384 140591727909506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90972 KiB
[startup+0.700755 s]
/proc/loadavg: 2.22 2.18 2.11 3/227 23575
/proc/meminfo: memFree=11693784/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091948 115843072 349 33554432000 4194304 5098028 140732880383248 140732880380504 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 349 296 221 0 87 0
[pid=23561] ppid=23558 vsize=15020872 memory=129660 CPUtime=0.99 cores=0,2,4,6
/proc/23561/stat : 23561 (java) S 23558 23558 19383 0 -1 1077944320 18056 0 0 0 94 5 0 0 20 0 15 0 225091949 15381372928 32415 33554432000 4194304 4196468 140736323882976 140736323865520 140591727898359 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
/proc/23561/statm: 3755218 32415 3147 1 0 3716603 0
[pid=23561/tid=23562] ppid=23558 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/23561/task/23562/stat : 23562 (java) R 23558 23558 19383 0 -1 4202560 15330 0 0 0 63 4 0 0 20 0 15 0 225091949 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591699719792 140591207908839 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23563] ppid=23558 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23563/stat : 23563 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591732141072 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23564] ppid=23558 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23564/stat : 23564 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591530917008 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23565] ppid=23558 vsize=15020872 memory=7518566443438921826 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23565/stat : 23565 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591529863952 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23566] ppid=23558 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23566/stat : 23566 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091951 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591528811408 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23567] ppid=23558 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23567/stat : 23567 (java) S 23558 23558 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091952 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591134656752 140591727909506 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23568] ppid=23558 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23568/stat : 23568 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091953 15381372928 32415 33554432000 4194304 4196468 140736323882976 140590285055136 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23569] ppid=23558 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23569/stat : 23569 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091953 15381372928 32415 33554432000 4194304 4196468 140736323882976 140590050173680 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23570] ppid=23558 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23570/stat : 23570 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15381372928 32415 33554432000 4194304 4196468 140736323882976 140589675665360 140591727916955 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23571] ppid=23558 vsize=15020872 memory=12144 CPUtime=0.08 cores=0,2,4,6
/proc/23561/task/23571/stat : 23571 (java) S 23558 23558 19383 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 15 0 225091955 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591133604592 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23572] ppid=23558 vsize=15020872 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/23561/task/23572/stat : 23572 (java) R 23558 23558 19383 0 -1 4202560 207 0 0 0 7 0 0 0 20 0 15 0 225091955 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591132539600 140591705645779 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23573] ppid=23558 vsize=15020872 memory=8812 CPUtime=0.14 cores=0,2,4,6
/proc/23561/task/23573/stat : 23573 (java) S 23558 23558 19383 0 -1 1077944384 469 0 0 0 14 0 0 0 20 0 15 0 225091955 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591131498992 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23574] ppid=23558 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23574/stat : 23574 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15381372928 32415 33554432000 4194304 4196468 140736323882976 140589177760608 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23575] ppid=23558 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23575/stat : 23575 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091956 15381372928 32415 33554432000 4194304 4196468 140736323882976 140591130446384 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131056 KiB
[startup+1.50081 s]
/proc/loadavg: 2.20 2.18 2.11 4/227 23575
/proc/meminfo: memFree=11664876/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225091948 115843072 349 33554432000 4194304 5098028 140732880383248 140732880380504 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 349 296 221 0 87 0
[pid=23561] ppid=23558 vsize=15027084 memory=171888 CPUtime=2.66 cores=0,2,4,6
/proc/23561/stat : 23561 (java) S 23558 23558 19383 0 -1 1077944320 21945 0 0 0 258 8 0 0 20 0 15 0 225091949 15387734016 42972 33554432000 4194304 4196468 140736323882976 140736323865520 140591727898359 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
/proc/23561/statm: 3756771 42972 3202 1 0 3717627 0
[pid=23561/tid=23562] ppid=23558 vsize=15027084 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/23561/task/23562/stat : 23562 (java) D 23558 23558 19383 0 -1 4202560 16848 0 0 0 137 5 0 0 20 0 15 0 225091949 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591699738432 140591727920189 0 4 2 25189581 18446744072100899973 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23563] ppid=23558 vsize=15027084 memory=57 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23563/stat : 23563 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591732141072 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23564] ppid=23558 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23564/stat : 23564 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591530917008 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23565] ppid=23558 vsize=15027084 memory=280577060401728 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23565/stat : 23565 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091951 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591529863952 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23566] ppid=23558 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23566/stat : 23566 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091951 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591528811408 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23567] ppid=23558 vsize=15027084 memory=140288530210656 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23567/stat : 23567 (java) S 23558 23558 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091952 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591134656752 140591727909506 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23568] ppid=23558 vsize=15027084 memory=40 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23568/stat : 23568 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091953 15387734016 42972 33554432000 4194304 4196468 140736323882976 140590285055136 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23569] ppid=23558 vsize=15027084 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23569/stat : 23569 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091953 15387734016 42972 33554432000 4194304 4196468 140736323882976 140590050173680 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23570] ppid=23558 vsize=15027084 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23570/stat : 23570 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15387734016 42972 33554432000 4194304 4196468 140736323882976 140589675665360 140591727916955 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23571] ppid=23558 vsize=15027084 memory=6628 CPUtime=0.32 cores=0,2,4,6
/proc/23561/task/23571/stat : 23571 (java) S 23558 23558 19383 0 -1 1077944384 859 0 0 0 32 0 0 0 20 0 15 0 225091955 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591133604592 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23572] ppid=23558 vsize=15027084 memory=8836 CPUtime=0.24 cores=0,2,4,6
/proc/23561/task/23572/stat : 23572 (java) S 23558 23558 19383 0 -1 1077944384 351 0 0 0 24 0 0 0 20 0 15 0 225091955 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591132552048 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23573] ppid=23558 vsize=15027084 memory=11044 CPUtime=0.63 cores=0,2,4,6
/proc/23561/task/23573/stat : 23573 (java) S 23558 23558 19383 0 -1 1077944384 2552 0 0 0 63 0 0 0 20 0 15 0 225091955 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591131498992 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23574] ppid=23558 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23574/stat : 23574 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091955 15387734016 42972 33554432000 4194304 4196468 140736323882976 140589177760608 140591727908565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
[pid=23561/tid=23575] ppid=23558 vsize=15027084 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23561/task/23575/stat : 23575 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091956 15387734016 42972 33554432000 4194304 4196468 140736323882976 140591130446384 140591727909506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37404672 140736323888135 140736323888433 140736323888433 140736323891151 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 173284 KiB
[startup+2.40979 s]
# the end of solver process 23558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.78298 s, system=0.16482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.64838 s]
/proc/loadavg: 2.20 2.18 2.11 4/227 23575
/proc/meminfo: memFree=11664876/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1472 CPUtime=2.79 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 591 22849 0 0 0 0 270 9 20 0 1 0 225091948 115843072 368 33554432000 4194304 5098028 140732880383248 140732880379992 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00035 s]*
/proc/loadavg: 2.20 2.18 2.11 3/227 23590
/proc/meminfo: memFree=11737792/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1472 CPUtime=2.79 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 591 22849 0 0 0 0 270 9 20 0 1 0 225091948 115843072 368 33554432000 4194304 5098028 140732880383248 140732880379992 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 368 311 221 0 87 0
[pid=23576] ppid=23558 vsize=7404280 memory=69524 CPUtime=0.5 cores=0,2,4,6
/proc/23576/stat : 23576 (java) S 23558 23558 19383 0 -1 1077944320 10433 0 0 0 47 3 0 0 20 0 15 0 225092112 7581982720 17381 33554432000 4194304 4196468 140730790872432 140730790854976 139991175114487 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
/proc/23576/statm: 1851070 17381 3017 1 0 1813530 0
[pid=23576/tid=23577] ppid=23558 vsize=7404280 memory=6791534058613427641 CPUtime=0.35 cores=0,2,4,6
/proc/23576/task/23577/stat : 23577 (java) R 23558 23558 19383 0 -1 4202560 8158 0 0 0 33 2 0 0 20 0 15 0 225092112 7581982720 17381 33554432000 4194304 4196468 140730790872432 139991146946000 139991175136413 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23578] ppid=23558 vsize=7404280 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23578/stat : 23578 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092114 7581982720 17381 33554432000 4194304 4196468 140730790872432 139991179357328 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23579] ppid=23558 vsize=7404280 memory=1414353297708861353 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23579/stat : 23579 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092114 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990979525648 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23580] ppid=23558 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23580/stat : 23580 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092114 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990978472848 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23581] ppid=23558 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23581/stat : 23581 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092114 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990977420048 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23582] ppid=23558 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23582/stat : 23582 (java) S 23558 23558 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092115 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990554438000 139991175125634 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23583] ppid=23558 vsize=7404280 memory=3472468583949395408 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23583/stat : 23583 (java) S 23558 23558 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092115 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990029820960 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23584] ppid=23558 vsize=7404280 memory=288230617492240660 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23584/stat : 23584 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092116 7581982720 17381 33554432000 4194304 4196468 140730790872432 139989761385328 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23585] ppid=23558 vsize=7404280 memory=14128944282620519 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23585/stat : 23585 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092118 7581982720 17381 33554432000 4194304 4196468 140730790872432 139989386876752 139991175133083 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23586] ppid=23558 vsize=7404280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23576/task/23586/stat : 23586 (java) S 23558 23558 19383 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 225092118 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990553385840 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23587] ppid=23558 vsize=7404280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23576/task/23587/stat : 23587 (java) S 23558 23558 19383 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 15 0 225092118 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990552333040 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23588] ppid=23558 vsize=7404280 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23576/task/23588/stat : 23588 (java) S 23558 23558 19383 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 225092118 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990551280240 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23589] ppid=23558 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23589/stat : 23589 (java) S 23558 23558 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092118 7581982720 17381 33554432000 4194304 4196468 140730790872432 139988888972000 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23590] ppid=23558 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23590/stat : 23590 (java) S 23558 23558 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092119 7581982720 17381 33554432000 4194304 4196468 140730790872432 139990550227632 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 70996 KiB
[startup+2.40367 s]
/proc/loadavg: 2.20 2.18 2.11 3/227 23590
/proc/meminfo: memFree=11737792/32770624 swapFree=67108860/67108860
[pid=23558] ppid=23555 vsize=113128 memory=1472 CPUtime=2.79 cores=0,2,4,6
/proc/23558/stat : 23558 (scop.sh) S 23555 23558 19383 0 -1 4202496 591 22849 0 0 0 0 270 9 20 0 1 0 225091948 115843072 368 33554432000 4194304 5098028 140732880383248 140732880379992 139923126018684 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140732880389185 140732880389383 140732880389383 140732880392141 0
/proc/23558/statm: 28282 368 311 221 0 87 0
[pid=23576] ppid=23558 vsize=7740532 memory=118836 CPUtime=1.13 cores=0,2,4,6
/proc/23576/stat : 23576 (java) S 23558 23558 19383 0 -1 1077944320 17473 428 0 0 107 6 0 0 20 0 17 0 225092112 7926304768 29709 33554432000 4194304 4196468 140730790872432 140730790854976 139991175114487 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
/proc/23576/statm: 1935133 29709 3144 1 0 1896532 0
[pid=23576/tid=23577] ppid=23558 vsize=7740532 memory=6442492065382487908 CPUtime=0.73 cores=0,2,4,6
/proc/23576/task/23577/stat : 23577 (java) R 23558 23558 19383 0 -1 4202560 14542 428 0 0 69 4 0 0 20 0 17 0 225092112 7926304768 29709 33554432000 4194304 4196468 140730790872432 139991146950240 139991167800119 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23578] ppid=23558 vsize=7740532 memory=6442492065382487908 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23578/stat : 23578 (java) S 23558 23558 19383 0 -1 1077944384 1 428 0 0 0 0 0 0 20 0 17 0 225092114 7926304768 29709 33554432000 4194304 4196468 140730790872432 139991179357328 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23579] ppid=23558 vsize=7740532 memory=6442492065382487908 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23579/stat : 23579 (java) S 23558 23558 19383 0 -1 1077944384 1 428 0 0 0 0 0 0 20 0 17 0 225092114 7926304768 29709 33554432000 4194304 4196468 140730790872432 139990979525648 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23580] ppid=23558 vsize=7740532 memory=6010147583486678885 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23580/stat : 23580 (java) S 23558 23558 19383 0 -1 1077944384 1 428 0 0 0 0 0 0 20 0 17 0 225092114 7926304768 29709 33554432000 4194304 4196468 140730790872432 139990978472848 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23581] ppid=23558 vsize=7740532 memory=7517746177766810730 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23581/stat : 23581 (java) S 23558 23558 19383 0 -1 1077944384 2 428 0 0 0 0 0 0 20 0 17 0 225092114 7926304768 29709 33554432000 4194304 4196468 140730790872432 139990977420048 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23582] ppid=23558 vsize=7740532 memory=6442492065382487908 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23582/stat : 23582 (java) S 23558 23558 19383 0 -1 1077944384 5 428 0 0 0 0 0 0 20 0 17 0 225092115 7926304768 29709 33554432000 4194304 4196468 140730790872432 139990554438000 139991175125634 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23583] ppid=23558 vsize=7740532 memory=6368744526267635556 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23583/stat : 23583 (java) S 23558 23558 19383 0 -1 1077944384 13 428 0 0 0 0 0 0 20 0 17 0 225092115 7926304768 29709 33554432000 4194304 4196468 140730790872432 139990029820960 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23584] ppid=23558 vsize=7740532 memory=6153695436548170863 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23584/stat : 23584 (java) S 23558 23558 19383 0 -1 1077944384 1 428 0 0 0 0 0 0 20 0 17 0 225092116 7926304768 29710 33554432000 4194304 4196468 140730790872432 139989761385328 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23585] ppid=23558 vsize=7740532 memory=7518027652743521636 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23585/stat : 23585 (java) S 23558 23558 19383 0 -1 1077944384 3 428 0 0 0 0 0 0 20 0 16 0 225092118 7926304768 29710 33554432000 4194304 4196468 140730790872432 139989386876752 139991175133083 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23586] ppid=23558 vsize=7740532 memory=6153695436548170863 CPUtime=0.08 cores=0,2,4,6
/proc/23576/task/23586/stat : 23586 (java) S 23558 23558 19383 0 -1 1077944384 648 428 0 0 8 0 0 0 20 0 16 0 225092118 7926304768 29711 33554432000 4194304 4196468 140730790872432 139990553385840 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23587] ppid=23558 vsize=7740532 memory=6442492065382487908 CPUtime=0.07 cores=0,2,4,6
/proc/23576/task/23587/stat : 23587 (java) S 23558 23558 19383 0 -1 1077944384 303 428 0 0 7 0 0 0 20 0 16 0 225092118 7926304768 29711 33554432000 4194304 4196468 140730790872432 139990552333040 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23588] ppid=23558 vsize=7740532 memory=56 CPUtime=0.19 cores=0,2,4,6
/proc/23576/task/23588/stat : 23588 (java) S 23558 23558 19383 0 -1 1077944384 537 428 0 0 19 0 0 0 20 0 16 0 225092118 7926304768 29711 33554432000 4194304 4196468 140730790872432 139990551280240 139991175125634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
[pid=23576/tid=23589] ppid=23558 vsize=7739504 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/23576/task/23589/stat : 23589 (java) S 23558 23558 19383 0 -1 1077944384 3 428 0 0 0 0 0 0 20 0 16 0 225092118 7925252096 29715 33554432000 4194304 4196468 140730790872432 139988888972000 139991175124693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23605248 140730790880437 140730790880561 140730790880561 140730790883279 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 120308 KiB
Child status: 0
Real time (s): 2.40985
CPU time (s): 3.9478
CPU user time (s): 3.78298
CPU system time (s): 0.16482
CPU usage (%): 163.819
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 173284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.78298
system time used= 0.16482
maximum resident set size= 180584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4743
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 23558
# total CPU time (s): 3.9478
# total CPU user time (s): 3.78298
# total CPU system time (s): 0.16482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038199 second user time and 0.074019 second system time
The end