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-23656-serial-file.bin HOME/instance-4305733-1534075291.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 14:01:31 CEST 2018
0.67/0.54 c PID: 23659
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.43/0.94 c (0,0) Parsing End
1.43/0.95 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 332 ctr, max domain size 9
1.43/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.95 c (0,0) Constraint Name Generate Begin
1.43/0.96 c (0,0) Ctr:HOME/instance-4305733-1534075291.xml,ExtensionConflict:ExtensionSupport:IntVar
1.43/0.96 c (0,0) Constraint Name Generate End
1.43/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.96 c (0,0) CSP to CSPinCNF Begin
2.23/1.33 c (0,0) translated 34 (10%) constraints
2.23/1.40 c (0,0) translated 67 (20%) constraints
2.56/1.44 c (0,0) translated 100 (30%) constraints
2.56/1.48 c (0,0) translated 133 (40%) constraints
2.87/1.52 c (1,0) translated 166 (50%) constraints
2.87/1.57 c (1,1) translated 200 (60%) constraints
3.18/1.61 c (1,1) translated 233 (70%) constraints
3.18/1.65 c (1,1) translated 266 (80%) constraints
3.18/1.69 c (1,1) translated 299 (90%) constraints
3.83/1.81 c (1,1) translated 332 (100%) constraints
3.83/1.86 c (1,1) STATISTICS1:HOME/instance-4305733-1534075291.xml,ExtensionConflict:ExtensionSupport:IntVar,153,3132,-1,9,10,1,,9:11144;2:344,10:8;4:2528;3:112;2:484,1:11488;0:8,
3.83/1.86 c (1,1) ==========================================
3.83/1.86 c (1,1) Both Encoding selects:
3.83/1.86 c (1,1) Order
3.83/1.86 c (1,1) ==========================================
3.83/1.89 c (1,1) translated 314 (10%) constraints
4.17/1.90 c (1,1) translated 627 (20%) constraints
4.17/1.92 c (1,1) translated 940 (30%) constraints
4.17/1.94 c (1,1) translated 1253 (40%) constraints
4.17/1.95 c (1,1) translated 1566 (50%) constraints
4.17/1.96 c (1,1) translated 1880 (60%) constraints
4.17/1.98 c (1,1) translated 2193 (70%) constraints
4.17/1.99 c (1,1) translated 2506 (80%) constraints
4.51/2.01 c (1,1) translated 2819 (90%) constraints
4.51/2.02 c (1,1) translated 3132 (100%) constraints
4.51/2.02 c (1,1) CSP to CSPinCNF End
4.51/2.02 c (1,1) CSP: 81 int (0 aux), 72 bool (72 aux), 3132 ctr, max domain size 9
4.51/2.02 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.51/2.02 c (1,1) CSPinCNF Propagation Begin
4.51/2.10 c (1,1) 0 values, 656 unsatisfiable literals, and 0 valid clauses are removed
4.51/2.10 c (1,1) CSPinCNF Propagation End
4.51/2.10 c (1,1) CSP: 81 int (0 aux), 72 bool (72 aux), 3132 ctr, max domain size 9
4.51/2.10 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.51/2.10 c (1,1) Simplify CSPinCNF Begin
4.84/2.11 c (1,1) Simplify CSPinCNF End
4.84/2.11 c (1,1) CSP: 81 int (0 aux), 72 bool (72 aux), 3132 ctr, max domain size 9
4.84/2.11 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.84/2.11 c (1,1) Calculate Precise Domain Begin
4.84/2.11 c (1,1) 0 values are removed by re-calculation
4.84/2.11 c (1,1) Calculate Precise Domain End
4.84/2.11 c (1,1) CSP: 81 int (0 aux), 72 bool (72 aux), 3132 ctr, max domain size 9
4.84/2.11 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.84/2.11 c (1,1) CSPinCNF to SatSolver Begin
4.84/2.16 c (1,1) 314 (10 %) CSP clauses are encoded (720 SAT variables, 880 SAT clauses)
4.84/2.17 c (1,1) 627 (20 %) CSP clauses are encoded (720 SAT variables, 1193 SAT clauses)
4.84/2.17 c (1,1) 940 (30 %) CSP clauses are encoded (720 SAT variables, 1506 SAT clauses)
4.84/2.18 c (1,1) 1253 (40 %) CSP clauses are encoded (720 SAT variables, 1819 SAT clauses)
4.84/2.18 c (1,1) 1566 (50 %) CSP clauses are encoded (720 SAT variables, 2132 SAT clauses)
4.84/2.19 c (1,1) 1880 (60 %) CSP clauses are encoded (720 SAT variables, 2446 SAT clauses)
4.84/2.19 c (1,1) 2193 (70 %) CSP clauses are encoded (720 SAT variables, 2759 SAT clauses)
5.16/2.20 c (1,1) 2506 (80 %) CSP clauses are encoded (720 SAT variables, 3072 SAT clauses)
5.16/2.20 c (1,1) 2819 (90 %) CSP clauses are encoded (720 SAT variables, 3385 SAT clauses)
5.16/2.21 c (1,1) 3132 (100 %) CSP clauses are encoded (720 SAT variables, 3698 SAT clauses)
5.16/2.21 c (1,1) Launch Command will be: minisat_release
5.16/2.21 c (1,1) CSPinCNF to SatSolver End
5.16/2.21 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.16/2.24 c (1,1) STATISTICS2:HOME/instance-4305733-1534075291.xml,ExtensionConflict:ExtensionSupport:IntVar,153,3132,-1,9,9,1,,9:10496;2:344,9:8;4:2204;3:112;2:808,1:10840,
5.16/2.24 c (1,1) 720 bool, 3699 clause
5.16/2.24 c (1,1) Export Begin
5.48/2.33 c (1,1) Export to HOME/scop-23656-serial-file.bin
5.48/2.33 c (1,1) Export End
5.48/2.33 c (1,1) Export File Size: 0.02 MB
5.48/2.33 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.48/2.33 c END-Prog: Sun Aug 12 14:01:33 CEST 2018
5.48/2.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23656-serial-file.bin
5.56/2.83 c (0,0) Read Serial File Begin
5.56/2.83 c (0,0) HOME/scop-23656-serial-file.bin
5.56/3.01 c (0,0) Read Serial File End
6.48/3.02
6.48/3.02 scop order+minisat_release (2018-07-31)
6.48/3.02 (Solving Process)
6.48/3.02
6.48/3.04 c BEGIN-Prog: Sun Aug 12 14:01:34 CEST 2018
6.48/3.04 c PID: 23674
6.48/3.04 c IP: 172.20.3.135
6.48/3.04 c HOST: node135.alineos.net
6.48/3.04 c (0,0) SatSolver.solve Begin
6.48/3.04 c (0,0) 0 bool, 0 clause
6.48/3.05 c (0,0) minisat_release HOME/instance-4305733-1534075291.xml-scop-23659.cnf
6.68/3.19 c (0,0) c This is COMiniSatPS.
6.68/3.19 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.68/3.19 c (0,0) c ============================[ Problem Statistics ]=============================
6.68/3.19 c (0,0) c | |
6.68/3.19 c (0,0) c | Number of variables: 720 |
6.68/3.19 c (0,0) c | Number of clauses: 3699 |
6.68/3.19 c (0,0) c | Parse time: 0.00 s |
6.68/3.19 c (0,0) c | Eliminated clauses: 0.00 Mb |
6.68/3.19 c (0,0) c Reduced to 640 vars, 3526 cls (grow=0)
6.68/3.19 c (0,0) c No iterative elimination performed. (vars=640, c/v ratio=5.5)
6.68/3.19 c (0,0) c | Simplification time: 0.00 s |
6.68/3.19 c (0,0) c | |
6.68/3.19 c (0,0) c ============================[ Search Statistics ]==============================
6.68/3.19 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.68/3.19 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.68/3.19 c (0,0) c ===============================================================================
6.68/3.19 c (0,0) c ===============================================================================
6.68/3.19 c (0,0) c restarts : 67
6.68/3.19 c (0,0) c conflicts : 17719 (142326 /sec)
6.68/3.19 c (0,0) c decisions : 28770 (0.00 % random) (231092 /sec)
6.68/3.19 c (0,0) c propagations : 235410 (1890904 /sec)
6.68/3.19 c (0,0) c conflict literals : 148039 (13.03 % deleted)
6.68/3.19 c (0,0) c CPU time : 0.124496 s
6.68/3.19 c (0,0)
6.68/3.19 c (0,0) s UNSATISFIABLE
6.68/3.20 c (0,0) SatSolver.solve End
6.68/3.20 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.68/3.20 c (0,0) Show results Begin
6.68/3.20 s UNSATISFIABLE
6.83/3.20 c (0,0) Show results End
6.83/3.20 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.83/3.20 c (0,0) 0,0,STOP-AFTER(ALL)
6.83/3.20 c END-Prog: Sun Aug 12 14:01:34 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-4305733-1534075291/watcher-4305733-1534075291 -o /tmp/evaluation-result-4305733-1534075291/solver-4305733-1534075291 -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-4305733-1534075291.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23656, runsolver pid=23653
[startup+0.100173 s]*
/proc/loadavg: 2.20 2.18 2.11 3/227 23673
/proc/meminfo: memFree=11736440/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225092255 115843072 349 33554432000 4194304 5098028 140721691992864 140721691990120 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 349 296 221 0 87 0
[pid=23659] ppid=23656 vsize=15012476 memory=71524 CPUtime=0.11 cores=0,2,4,6
/proc/23659/stat : 23659 (java) S 23656 23656 19383 0 -1 1077944320 6510 0 0 0 10 1 0 0 20 0 15 0 225092255 15372775424 17881 33554432000 4194304 4196468 140731518002480 140731517985024 140251418943223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
/proc/23659/statm: 3753119 17881 2769 1 0 3715579 0
[pid=23659/tid=23660] ppid=23656 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/23659/task/23660/stat : 23660 (java) R 23656 23656 19383 0 -1 4202560 4613 0 0 0 8 1 0 0 20 0 15 0 225092255 15372775424 17881 33554432000 4194304 4196468 140731518002480 140251390755208 140251399209017 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23661] ppid=23656 vsize=15012476 memory=3472468978588223152 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23661/stat : 23661 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 17881 33554432000 4194304 4196468 140731518002480 140251423185680 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23662] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23662/stat : 23662 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 17947 33554432000 4194304 4196468 140731518002480 140251221961616 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23663] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23663/stat : 23663 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 17947 33554432000 4194304 4196468 140731518002480 140251220909072 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23664] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23664/stat : 23664 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 17947 33554432000 4194304 4196468 140731518002480 140251219856528 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23665] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23665/stat : 23665 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250254870512 140251418954370 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23666] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23666/stat : 23666 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250009559968 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23667] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23667/stat : 23667 (java) S 23656 23656 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 17947 33554432000 4194304 4196468 140731518002480 140249875338224 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23668] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23668/stat : 23668 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140249500834000 140251418961819 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23669] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23669/stat : 23669 (java) S 23656 23656 19383 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250253818352 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23670] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23670/stat : 23670 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250252765808 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23671] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0.01 cores=0,2,4,6
/proc/23659/task/23671/stat : 23671 (java) S 23656 23656 19383 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250251713264 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23672] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23672/stat : 23672 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140249002929248 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23673] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23673/stat : 23673 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 17947 33554432000 4194304 4196468 140731518002480 140250250660144 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72920 KiB
[startup+0.211025 s]*
/proc/loadavg: 2.20 2.18 2.11 3/227 23673
/proc/meminfo: memFree=11722252/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225092255 115843072 349 33554432000 4194304 5098028 140721691992864 140721691990120 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 349 296 221 0 87 0
[pid=23659] ppid=23656 vsize=15012476 memory=84568 CPUtime=0.26 cores=0,2,4,6
/proc/23659/stat : 23659 (java) S 23656 23656 19383 0 -1 1077944320 10029 0 0 0 23 3 0 0 20 0 15 0 225092255 15372775424 21142 33554432000 4194304 4196468 140731518002480 140731517985024 140251418943223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
/proc/23659/statm: 3753119 21142 2903 1 0 3715579 0
[pid=23659/tid=23660] ppid=23656 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/23659/task/23660/stat : 23660 (java) R 23656 23656 19383 0 -1 4202560 7909 0 0 0 18 2 0 0 20 0 15 0 225092255 15372775424 21142 33554432000 4194304 4196468 140731518002480 140251390769616 140251418955158 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23661] ppid=23656 vsize=15012476 memory=3472468978588223152 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23661/stat : 23661 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 21142 33554432000 4194304 4196468 140731518002480 140251423185680 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23662] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23662/stat : 23662 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 21142 33554432000 4194304 4196468 140731518002480 140251221961616 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23663] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23663/stat : 23663 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 21142 33554432000 4194304 4196468 140731518002480 140251220909072 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23664] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23664/stat : 23664 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 21142 33554432000 4194304 4196468 140731518002480 140251219856528 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23665] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23665/stat : 23665 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250254870512 140251418954370 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23666] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23666/stat : 23666 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250009559968 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23667] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23667/stat : 23667 (java) S 23656 23656 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 21142 33554432000 4194304 4196468 140731518002480 140249875338224 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23668] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23668/stat : 23668 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140249500834000 140251418961819 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23669] ppid=23656 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23669/stat : 23669 (java) R 23656 23656 19383 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250253818352 140251418954370 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23670] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23670/stat : 23670 (java) R 23656 23656 19383 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250252757616 140251399639044 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23671] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0.03 cores=0,2,4,6
/proc/23659/task/23671/stat : 23671 (java) S 23656 23656 19383 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250251713264 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23672] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23672/stat : 23672 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140249002929248 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23673] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23673/stat : 23673 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 21142 33554432000 4194304 4196468 140731518002480 140250250660144 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85964 KiB
[startup+0.310991 s]*
/proc/loadavg: 2.20 2.18 2.11 3/227 23673
/proc/meminfo: memFree=11719460/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225092255 115843072 349 33554432000 4194304 5098028 140721691992864 140721691990120 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 349 296 221 0 87 0
[pid=23659] ppid=23656 vsize=15012476 memory=88360 CPUtime=0.43 cores=0,2,4,6
/proc/23659/stat : 23659 (java) S 23656 23656 19383 0 -1 1077944320 10573 0 0 0 40 3 0 0 20 0 15 0 225092255 15372775424 22090 33554432000 4194304 4196468 140731518002480 140731517985024 140251418943223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
/proc/23659/statm: 3753119 22090 3012 1 0 3715579 0
[pid=23659/tid=23660] ppid=23656 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/23659/task/23660/stat : 23660 (java) R 23656 23656 19383 0 -1 4202560 8290 0 0 0 27 2 0 0 20 0 15 0 225092255 15372775424 22090 33554432000 4194304 4196468 140731518002480 140251390738224 140251399218983 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23661] ppid=23656 vsize=15012476 memory=3472468978588223152 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23661/stat : 23661 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 22090 33554432000 4194304 4196468 140731518002480 140251423185680 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23662] ppid=23656 vsize=15012476 memory=281364618419072 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23662/stat : 23662 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 22090 33554432000 4194304 4196468 140731518002480 140251221961616 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23663] ppid=23656 vsize=15012476 memory=281364515784736 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23663/stat : 23663 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 22090 33554432000 4194304 4196468 140731518002480 140251220909072 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23664] ppid=23656 vsize=15012476 memory=140682257876239 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23664/stat : 23664 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15372775424 22090 33554432000 4194304 4196468 140731518002480 140251219856528 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23665] ppid=23656 vsize=15012476 memory=281364618425984 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23665/stat : 23665 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250254870512 140251418954370 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23666] ppid=23656 vsize=15012476 memory=140682257880847 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23666/stat : 23666 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250009559968 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23667] ppid=23656 vsize=15012476 memory=140682257905574 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23667/stat : 23667 (java) S 23656 23656 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092259 15372775424 22090 33554432000 4194304 4196468 140731518002480 140249875338224 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23668] ppid=23656 vsize=15012476 memory=281364515793952 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23668/stat : 23668 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140249500834000 140251418961819 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23669] ppid=23656 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23659/task/23669/stat : 23669 (java) R 23656 23656 19383 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250253818352 140251418954370 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23670] ppid=23656 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23659/task/23670/stat : 23670 (java) R 23656 23656 19383 0 -1 4202560 201 0 0 0 2 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250252765904 140251399524875 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23671] ppid=23656 vsize=15012476 memory=140682360542848 CPUtime=0.07 cores=0,2,4,6
/proc/23659/task/23671/stat : 23671 (java) R 23656 23656 19383 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250251713264 140251397435331 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23672] ppid=23656 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23672/stat : 23672 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140249002929248 140251418953429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23673] ppid=23656 vsize=15012476 memory=140682360544244 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23673/stat : 23673 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092262 15372775424 22090 33554432000 4194304 4196468 140731518002480 140250250660144 140251418954370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89756 KiB
[startup+0.701459 s]
/proc/loadavg: 2.20 2.18 2.11 3/227 23673
/proc/meminfo: memFree=11694780/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225092255 115843072 349 33554432000 4194304 5098028 140721691992864 140721691990120 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 349 296 221 0 87 0
[pid=23659] ppid=23656 vsize=15020872 memory=127612 CPUtime=1.02 cores=0,2,4,6
/proc/23659/stat : 23659 (java) S 23656 23656 19383 0 -1 1077944320 17651 0 0 0 97 5 0 0 20 0 15 0 225092255 15381372928 31903 33554432000 4194304 4196468 140731518002480 140731517985024 140251418943223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
/proc/23659/statm: 3755218 31903 3152 1 0 3716603 0
[pid=23659/tid=23660] ppid=23656 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/23659/task/23660/stat : 23660 (java) R 23656 23656 19383 0 -1 4202560 14886 0 0 0 63 4 0 0 20 0 15 0 225092255 15381372928 31903 33554432000 4194304 4196468 140731518002480 140251390764656 140251404311377 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23661] ppid=23656 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23661/stat : 23661 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15381372928 31903 33554432000 4194304 4196468 140731518002480 140251423185680 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23662] ppid=23656 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23662/stat : 23662 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15381372928 31903 33554432000 4194304 4196468 140731518002480 140251221961616 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23663] ppid=23656 vsize=15020872 memory=7518566443438921826 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23663/stat : 23663 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15381372928 31903 33554432000 4194304 4196468 140731518002480 140251220909072 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23664] ppid=23656 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23664/stat : 23664 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15381372928 31903 33554432000 4194304 4196468 140731518002480 140251219856528 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23665] ppid=23656 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23665/stat : 23665 (java) S 23656 23656 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225092259 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250254870512 140251418954370 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23666] ppid=23656 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23666/stat : 23666 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092259 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250009559968 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23667] ppid=23656 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23667/stat : 23667 (java) S 23656 23656 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092259 15381372928 31903 33554432000 4194304 4196468 140731518002480 140249875338224 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23668] ppid=23656 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23668/stat : 23668 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140249500834000 140251418961819 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23669] ppid=23656 vsize=15020872 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/23659/task/23669/stat : 23669 (java) R 23656 23656 19383 0 -1 4202560 522 0 0 0 7 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250253811544 140251403854360 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23670] ppid=23656 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/23659/task/23670/stat : 23670 (java) R 23656 23656 19383 0 -1 4202560 441 0 0 0 9 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250252754480 140251403871544 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23671] ppid=23656 vsize=15020872 memory=8812 CPUtime=0.16 cores=0,2,4,6
/proc/23659/task/23671/stat : 23671 (java) R 23656 23656 19383 0 -1 4202560 446 0 0 0 16 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250251708304 140251398341894 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23672] ppid=23656 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23672/stat : 23672 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140249002929248 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23673] ppid=23656 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23673/stat : 23673 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092262 15381372928 31903 33554432000 4194304 4196468 140731518002480 140250250660144 140251418954370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129008 KiB
[startup+1.50151 s]
/proc/loadavg: 2.20 2.18 2.11 3/227 23673
/proc/meminfo: memFree=11666988/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225092255 115843072 349 33554432000 4194304 5098028 140721691992864 140721691990120 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 349 296 221 0 87 0
[pid=23659] ppid=23656 vsize=15022920 memory=188012 CPUtime=2.87 cores=0,2,4,6
/proc/23659/stat : 23659 (java) S 23656 23656 19383 0 -1 1077944320 21895 0 0 0 279 8 0 0 20 0 15 0 225092255 15383470080 47003 33554432000 4194304 4196468 140731518002480 140731517985024 140251418943223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
/proc/23659/statm: 3755730 47003 3191 1 0 3717115 0
[pid=23659/tid=23660] ppid=23656 vsize=15022920 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/23659/task/23660/stat : 23660 (java) R 23656 23656 19383 0 -1 4202560 15983 0 0 0 142 5 0 0 20 0 15 0 225092255 15383470080 47003 33554432000 4194304 4196468 140731518002480 140251390770088 140250905591611 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23661] ppid=23656 vsize=15022920 memory=57 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23661/stat : 23661 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15383470080 47003 33554432000 4194304 4196468 140731518002480 140251423185680 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23662] ppid=23656 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23662/stat : 23662 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225092257 15383470080 47003 33554432000 4194304 4196468 140731518002480 140251221961616 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23663] ppid=23656 vsize=15022920 memory=281364515811904 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23663/stat : 23663 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15383470080 47003 33554432000 4194304 4196468 140731518002480 140251220909072 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23664] ppid=23656 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23664/stat : 23664 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092257 15383470080 47003 33554432000 4194304 4196468 140731518002480 140251219856528 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23665] ppid=23656 vsize=15022920 memory=140682257915744 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23665/stat : 23665 (java) S 23656 23656 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225092259 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250254870512 140251418954370 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23666] ppid=23656 vsize=15022920 memory=40 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23666/stat : 23666 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225092259 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250009559968 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23667] ppid=23656 vsize=15022920 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23667/stat : 23667 (java) S 23656 23656 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225092259 15383470080 47003 33554432000 4194304 4196468 140731518002480 140249875338224 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23668] ppid=23656 vsize=15022920 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23668/stat : 23668 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140249500834000 140251418961819 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23669] ppid=23656 vsize=15022920 memory=6628 CPUtime=0.36 cores=0,2,4,6
/proc/23659/task/23669/stat : 23669 (java) R 23656 23656 19383 0 -1 4202560 1125 0 0 0 35 1 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250253803664 140251402440007 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23670] ppid=23656 vsize=15022920 memory=8836 CPUtime=0.36 cores=0,2,4,6
/proc/23659/task/23670/stat : 23670 (java) R 23656 23656 19383 0 -1 4202560 936 0 0 0 36 0 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250252758440 140251402354118 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23671] ppid=23656 vsize=15022920 memory=11044 CPUtime=0.65 cores=0,2,4,6
/proc/23659/task/23671/stat : 23671 (java) S 23656 23656 19383 0 -1 1077944384 2495 0 0 0 64 1 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250251713264 140251418954370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23672] ppid=23656 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23672/stat : 23672 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140249002929248 140251418953429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
[pid=23659/tid=23673] ppid=23656 vsize=15022920 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23659/task/23673/stat : 23673 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225092262 15383470080 47003 33554432000 4194304 4196468 140731518002480 140250250660144 140251418954370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140731518010375 140731518010673 140731518010673 140731518013391 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 189408 KiB
[startup+3.11059 s]
/proc/loadavg: 2.43 2.22 2.12 4/227 23688
/proc/meminfo: memFree=11707412/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1472 CPUtime=5.56 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 592 25639 0 0 0 0 542 14 20 0 1 0 225092255 115843072 368 33554432000 4194304 5098028 140721691992864 140721691989608 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 368 311 221 0 87 0
[pid=23674] ppid=23656 vsize=8068220 memory=116760 CPUtime=1.12 cores=0,2,4,6
/proc/23674/stat : 23674 (java) S 23656 23656 19383 0 -1 1077944320 17883 0 0 0 106 6 0 0 20 0 19 0 225092489 8261857280 29190 33554432000 4194304 4196468 140722201152976 140722201135520 140666849144567 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
/proc/23674/statm: 2017055 29190 3144 1 0 1978454 0
[pid=23674/tid=23675] ppid=23656 vsize=8068220 memory=15868 CPUtime=0.74 cores=0,2,4,6
/proc/23674/task/23675/stat : 23675 (java) R 23656 23656 19383 0 -1 4202560 14927 0 0 0 69 5 0 0 20 0 19 0 225092490 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666820976216 140666830708119 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23676] ppid=23656 vsize=8068220 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23676/stat : 23676 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092491 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666853387152 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23677] ppid=23656 vsize=8068220 memory=35020 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23677/stat : 23677 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092491 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666653555472 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23678] ppid=23656 vsize=8068220 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23678/stat : 23678 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092491 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666652503184 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23679] ppid=23656 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23679/stat : 23679 (java) S 23656 23656 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092491 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666651450384 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23680] ppid=23656 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23680/stat : 23680 (java) S 23656 23656 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225092492 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666295253104 140666849155714 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23681] ppid=23656 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23681/stat : 23681 (java) S 23656 23656 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092493 8261857280 29190 33554432000 4194304 4196468 140722201152976 140665816081184 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23682] ppid=23656 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23682/stat : 23682 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092493 8261857280 29190 33554432000 4194304 4196468 140722201152976 140665547646064 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23683] ppid=23656 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23683/stat : 23683 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092495 8261857280 29190 33554432000 4194304 4196468 140722201152976 140665173137488 140666849163163 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23684] ppid=23656 vsize=8068220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23674/task/23684/stat : 23684 (java) S 23656 23656 19383 0 -1 1077944384 620 0 0 0 7 0 0 0 20 0 19 0 225092495 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666294200944 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23685] ppid=23656 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23674/task/23685/stat : 23685 (java) S 23656 23656 19383 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 225092495 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666293148144 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23686] ppid=23656 vsize=8068220 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/23674/task/23686/stat : 23686 (java) S 23656 23656 19383 0 -1 1077944384 589 0 0 0 19 0 0 0 20 0 19 0 225092495 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666292095856 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23687] ppid=23656 vsize=8068220 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23687/stat : 23687 (java) S 23656 23656 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092496 8261857280 29190 33554432000 4194304 4196468 140722201152976 140664675232736 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23688] ppid=23656 vsize=8068220 memory=7100839852556452247 CPUtime=0 cores=0,2,4,6
/proc/23674/task/23688/stat : 23688 (java) S 23656 23656 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092496 8261857280 29190 33554432000 4194304 4196468 140722201152976 140666291042736 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 118232 KiB
[startup+3.21136 s]
# the end of solver process 23656 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.64557 s, system=0.213837 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 2.43 2.22 2.12 4/227 23688
/proc/meminfo: memFree=11707412/32770624 swapFree=67108860/67108860
[pid=23656] ppid=23653 vsize=113128 memory=1472 CPUtime=5.56 cores=0,2,4,6
/proc/23656/stat : 23656 (scop.sh) S 23653 23656 19383 0 -1 4202496 592 25639 0 0 0 0 542 14 20 0 1 0 225092255 115843072 368 33554432000 4194304 5098028 140721691992864 140721691989608 140116243804796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21041152 140721692001345 140721692001543 140721692001543 140721692004301 0
/proc/23656/statm: 28282 368 311 221 0 87 0
[pid=23674] ppid=23656 vsize=7937144 memory=119092 CPUtime=1.27 cores=0,2,4,6
/proc/23674/stat : 23674 (java) S 23656 23656 19383 0 -1 1077944320 17996 1009 0 0 109 6 12 0 20 0 17 0 225092489 8127635456 29773 33554432000 4194304 4196468 140722201152976 140722201135520 140666849144567 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
/proc/23674/statm: 1984286 29773 3147 1 0 1945685 0
[pid=23674/tid=23675] ppid=23656 vsize=7937144 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/23674/task/23675/stat : 23675 (java) R 23656 23656 19383 0 -1 4202560 14992 1009 0 0 70 5 12 0 20 0 17 0 225092490 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666820984720 140666849166493 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23676] ppid=23656 vsize=7937144 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23676/stat : 23676 (java) S 23656 23656 19383 0 -1 1077944384 1 1009 0 0 0 0 12 0 20 0 17 0 225092491 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666853387152 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23677] ppid=23656 vsize=7937144 memory=288230604640878911 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23677/stat : 23677 (java) S 23656 23656 19383 0 -1 1077944384 1 1009 0 0 0 0 12 0 20 0 17 0 225092491 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666653555472 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23678] ppid=23656 vsize=7937144 memory=14134441857518180 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23678/stat : 23678 (java) S 23656 23656 19383 0 -1 1077944384 1 1009 0 0 0 0 12 0 20 0 17 0 225092491 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666652503184 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23679] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23679/stat : 23679 (java) S 23656 23656 19383 0 -1 1077944384 2 1009 0 0 0 0 12 0 20 0 17 0 225092491 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666651450384 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23680] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23680/stat : 23680 (java) S 23656 23656 19383 0 -1 1077944384 5 1009 0 0 0 0 12 0 20 0 17 0 225092492 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666295253104 140666849155714 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23681] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23681/stat : 23681 (java) S 23656 23656 19383 0 -1 1077944384 13 1009 0 0 0 0 12 0 20 0 17 0 225092493 8127635456 29773 33554432000 4194304 4196468 140722201152976 140665816081184 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23682] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23682/stat : 23682 (java) S 23656 23656 19383 0 -1 1077944384 1 1009 0 0 0 0 12 0 20 0 17 0 225092493 8127635456 29773 33554432000 4194304 4196468 140722201152976 140665547646064 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23683] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23683/stat : 23683 (java) S 23656 23656 19383 0 -1 1077944384 3 1009 0 0 0 0 12 0 20 0 17 0 225092495 8127635456 29773 33554432000 4194304 4196468 140722201152976 140665173137488 140666849163163 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23684] ppid=23656 vsize=7937144 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/23674/task/23684/stat : 23684 (java) S 23656 23656 19383 0 -1 1077944384 620 1009 0 0 7 0 12 0 20 0 17 0 225092495 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666294200944 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23685] ppid=23656 vsize=7937144 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/23674/task/23685/stat : 23685 (java) S 23656 23656 19383 0 -1 1077944384 340 1009 0 0 9 0 12 0 20 0 17 0 225092495 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666293148144 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23686] ppid=23656 vsize=7937144 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/23674/task/23686/stat : 23686 (java) S 23656 23656 19383 0 -1 1077944384 624 1009 0 0 20 0 12 0 20 0 17 0 225092495 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666292095856 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23687] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23687/stat : 23687 (java) S 23656 23656 19383 0 -1 1077944384 3 1009 0 0 0 0 12 0 20 0 17 0 225092496 8127635456 29773 33554432000 4194304 4196468 140722201152976 140664675232736 140666849154773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
[pid=23674/tid=23688] ppid=23656 vsize=7937144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23674/task/23688/stat : 23688 (java) S 23656 23656 19383 0 -1 1077944384 1 1009 0 0 0 0 12 0 20 0 17 0 225092496 8127635456 29773 33554432000 4194304 4196468 140722201152976 140666291042736 140666849155714 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140722201154741 140722201154865 140722201154865 140722201157583 0
Current children cumulated CPU time: 6.83 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 120564 KiB
Child status: 0
Real time (s): 3.2114
CPU time (s): 6.85941
CPU user time (s): 6.64557
CPU system time (s): 0.213837
CPU usage (%): 213.596
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 347488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.64557
system time used= 0.213837
maximum resident set size= 351064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4946
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 23656
# total CPU time (s): 6.85941
# total CPU user time (s): 6.64557
# total CPU system time (s): 0.213837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038976 second user time and 0.087793 second system time
The end