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-19889-serial-file.bin HOME/instance-4305670-1534065054.xml
0.54/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 11:10:55 CEST 2018
0.66/0.54 c PID: 19892
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.40/0.95 c (0,0) Parsing End
1.40/0.96 c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20
1.40/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.96 c (0,0) Constraint Name Generate Begin
1.40/0.96 c (0,0) Ctr:HOME/instance-4305670-1534065054.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.40/0.96 c (0,0) Constraint Name Generate End
1.40/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.96 c (0,0) CSP to CSPinCNF Begin
1.60/1.04 c (0,0) translated 5 (10%) constraints
1.60/1.04 c (0,0) translated 10 (20%) constraints
1.60/1.05 c (0,0) translated 15 (30%) constraints
1.60/1.05 c (0,0) translated 20 (40%) constraints
1.60/1.06 c (0,0) translated 25 (50%) constraints
1.60/1.06 c (0,0) translated 30 (60%) constraints
1.77/1.15 c (0,0) translated 35 (70%) constraints
1.77/1.18 c (0,0) translated 40 (80%) constraints
1.96/1.23 c (0,0) translated 45 (90%) constraints
1.96/1.28 c (0,0) translated 49 (100%) constraints
2.58/1.42 c (0,0) STATISTICS1:HOME/instance-4305670-1534065054.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,132,350,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26;1:6,19:310;18:310;17:124;16:124;14:124;2:858;1:96,4:120;3:65;2:130;1:35,3:480;2:32;1:442;0:16,
2.58/1.42 c (0,0) ==========================================
2.58/1.42 c (0,0) Both Encoding selects:
2.58/1.42 c (0,0) Order
2.58/1.42 c (0,0) ==========================================
2.58/1.43 c (0,0) translated 35 (10%) constraints
2.58/1.44 c (0,0) translated 70 (20%) constraints
2.58/1.44 c (0,0) translated 105 (30%) constraints
2.58/1.44 c (0,0) translated 140 (40%) constraints
2.58/1.45 c (0,0) translated 175 (50%) constraints
2.58/1.45 c (0,0) translated 210 (60%) constraints
2.58/1.45 c (0,0) translated 245 (70%) constraints
2.58/1.46 c (0,0) translated 280 (80%) constraints
2.58/1.46 c (0,0) translated 315 (90%) constraints
2.58/1.47 c (0,0) translated 350 (100%) constraints
2.58/1.47 c (0,0) CSP to CSPinCNF End
2.58/1.47 c (0,0) CSP: 64 int (0 aux), 68 bool (52 aux), 350 ctr, max domain size 19
2.58/1.47 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.58/1.47 c (0,0) CSPinCNF Propagation Begin
2.88/1.53 c (1,1) 0 values, 13 unsatisfiable literals, and 9 valid clauses are removed
2.88/1.53 c (1,1) CSPinCNF Propagation End
2.88/1.53 c (1,1) CSP: 64 int (0 aux), 68 bool (52 aux), 341 ctr, max domain size 19
2.88/1.53 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.88/1.53 c (1,1) Simplify CSPinCNF Begin
2.88/1.59 c (1,1) Simplify CSPinCNF End
2.88/1.59 c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
2.88/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.88/1.59 c (1,1) Calculate Precise Domain Begin
2.88/1.59 c (1,1) 0 values are removed by re-calculation
2.88/1.59 c (1,1) Calculate Precise Domain End
2.88/1.59 c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
2.88/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.88/1.59 c (1,1) CSPinCNF to SatSolver Begin
3.20/1.64 c (1,1) 83 (10 %) CSP clauses are encoded (1100 SAT variables, 576 SAT clauses)
3.20/1.64 c (1,1) 165 (20 %) CSP clauses are encoded (1100 SAT variables, 658 SAT clauses)
3.20/1.66 c (1,1) 247 (30 %) CSP clauses are encoded (1100 SAT variables, 1122 SAT clauses)
3.20/1.68 c (1,1) 329 (40 %) CSP clauses are encoded (1100 SAT variables, 2654 SAT clauses)
3.50/1.71 c (1,1) 411 (50 %) CSP clauses are encoded (1100 SAT variables, 4361 SAT clauses)
3.50/1.72 c (1,1) 493 (60 %) CSP clauses are encoded (1100 SAT variables, 5730 SAT clauses)
3.50/1.74 c (1,1) 575 (70 %) CSP clauses are encoded (1100 SAT variables, 7195 SAT clauses)
3.50/1.75 c (1,1) 657 (80 %) CSP clauses are encoded (1100 SAT variables, 8692 SAT clauses)
3.50/1.77 c (1,1) 739 (90 %) CSP clauses are encoded (1100 SAT variables, 10538 SAT clauses)
3.50/1.79 c (1,1) 821 (100 %) CSP clauses are encoded (1100 SAT variables, 12404 SAT clauses)
3.50/1.79 c (1,1) Launch Command will be: minisat_release
3.50/1.79 c (1,1) CSPinCNF to SatSolver End
3.50/1.79 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.83/1.81 c (1,1) STATISTICS2:HOME/instance-4305670-1534065054.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,612,821,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26,19:308;18:310;17:124;16:122;14:122;2:1818;1:90,4:120;3:52;2:623;1:26,3:480;2:26;1:1402,
3.83/1.81 c (1,1) 1100 bool, 12429 clause
3.83/1.81 c (1,1) Export Begin
4.13/1.92 c (1,1) Export to HOME/scop-19889-serial-file.bin
4.13/1.92 c (1,1) Export End
4.13/1.92 c (1,1) Export File Size: 0.02 MB
4.13/1.92 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.13/1.92 c END-Prog: Sun Aug 12 11:10:56 CEST 2018
4.13/1.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19889-serial-file.bin
4.83/2.43 c (0,0) Read Serial File Begin
4.83/2.43 c (0,0) HOME/scop-19889-serial-file.bin
5.14/2.62 c (0,0) Read Serial File End
5.14/2.63
5.14/2.63 scop order+minisat_release (2018-07-31)
5.14/2.63 (Solving Process)
5.14/2.63
5.14/2.65 c BEGIN-Prog: Sun Aug 12 11:10:57 CEST 2018
5.14/2.65 c PID: 19907
5.14/2.65 c IP: 172.20.3.135
5.14/2.65 c HOST: node135.alineos.net
5.14/2.66 c (0,0) SatSolver.solve Begin
5.14/2.66 c (0,0) 0 bool, 0 clause
5.14/2.66 c (0,0) minisat_release HOME/instance-4305670-1534065054.xml-scop-19892.cnf
5.33/2.75 c (0,0) c This is COMiniSatPS.
5.33/2.75 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.33/2.75 c (0,0) c ============================[ Problem Statistics ]=============================
5.33/2.75 c (0,0) c | |
5.33/2.75 c (0,0) c | Number of variables: 1100 |
5.33/2.75 c (0,0) c | Number of clauses: 12429 |
5.33/2.75 c (0,0) c | Parse time: 0.00 s |
5.33/2.75 c (0,0) c | Eliminated clauses: 0.01 Mb |
5.33/2.75 c (0,0) c Reduced to 839 vars, 11932 cls (grow=0)
5.33/2.75 c (0,0) c No iterative elimination performed. (vars=839, c/v ratio=14.2)
5.33/2.75 c (0,0) c | Simplification time: 0.01 s |
5.33/2.75 c (0,0) c | |
5.33/2.75 c (0,0) c ============================[ Search Statistics ]==============================
5.33/2.75 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
5.33/2.75 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.33/2.75 c (0,0) c ===============================================================================
5.33/2.75 c (0,0) c ===============================================================================
5.33/2.75 c (0,0) c restarts : 13
5.33/2.75 c (0,0) c conflicts : 2705 (39454 /sec)
5.33/2.75 c (0,0) c decisions : 6731 (0.00 % random) (98177 /sec)
5.33/2.75 c (0,0) c propagations : 139107 (2028982 /sec)
5.33/2.75 c (0,0) c conflict literals : 69210 (13.31 % deleted)
5.33/2.75 c (0,0) c CPU time : 0.06856 s
5.33/2.75 c (0,0)
5.33/2.75 c (0,0) s SATISFIABLE
5.33/2.76 c (0,0) SatSolver.solve End
5.33/2.76 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.33/2.76 c (0,0) Show results Begin
5.55/2.81 s SATISFIABLE
5.55/2.82 v <instantiation>
5.55/2.82 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15]</list>
5.55/2.82 v <values>6 10 3 11 0 10 3 0 15 12 6 5 5 10 3 0 9 3 13 13 15 5 0 10 3 7 7 13 17 0 7 0 14 5 2 9 5 5 7 3 5 3 6 6 6 10 3 3 4 2 2 7 5 2 7 5 6 2 2 4 3 3 6 10 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1</values>
5.55/2.82 v </instantiation>
5.55/2.82 c (0,0) Show results End
5.55/2.82 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.55/2.82 c (0,0) 0,0,STOP-AFTER(ALL)
5.55/2.82 c END-Prog: Sun Aug 12 11:10:57 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 (6771 MiB free)
memory of node 1: 16384 MiB (4639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305670-1534065054/watcher-4305670-1534065054 -o /tmp/evaluation-result-4305670-1534065054/solver-4305670-1534065054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305670-1534065054.xml
running on 4 cores: 1,3,5,7
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=19889, runsolver pid=19886
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 2.00 2.01 1.97 3/226 19906
/proc/meminfo: memFree=11624520/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15012476 memory=73460 CPUtime=0.11 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 6988 0 0 0 9 2 0 0 20 0 15 0 224068584 15372775424 18365 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3753119 18365 2770 1 0 3715579 0
[pid=19892/tid=19893] ppid=19889 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 5072 0 0 0 7 2 0 0 20 0 15 0 224068584 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781782075792 139781791813040 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15012476 memory=3472467929181501104 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 18365 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15372775424 18365 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 18365 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) S 19889 19889 19383 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781148825968 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781147773168 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0.01 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) S 19889 19889 19383 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 224068590 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781146720368 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 18365 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15372775424 18365 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74856 KiB
[startup+0.211038 s]*
/proc/loadavg: 2.00 2.01 1.97 4/226 19906
/proc/meminfo: memFree=11610196/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15012476 memory=86468 CPUtime=0.25 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 10482 0 0 0 22 3 0 0 20 0 15 0 224068584 15372775424 21617 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3753119 21617 2882 1 0 3715579 0
[pid=19892/tid=19893] ppid=19889 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 8382 0 0 0 17 3 0 0 20 0 15 0 224068584 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781782074832 139781810261398 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15012476 memory=3472467929181501104 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 21617 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15372775424 21617 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 21617 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) S 19889 19889 19383 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781148825968 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) S 19889 19889 19383 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781147773168 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0.03 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) R 19889 19889 19383 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 224068590 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781146720368 139781789615983 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 21617 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15372775424 21617 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87864 KiB
[startup+0.311018 s]*
/proc/loadavg: 2.00 2.01 1.97 3/226 19906
/proc/meminfo: memFree=11606908/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15012476 memory=89992 CPUtime=0.43 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 11012 0 0 0 39 4 0 0 20 0 15 0 224068584 15372775424 22498 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3753119 22498 2976 1 0 3715579 0
[pid=19892/tid=19893] ppid=19889 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 8756 0 0 0 26 3 0 0 20 0 15 0 224068584 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781782044464 139781271040103 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15012476 memory=3472467929181501104 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15012476 memory=279265763281792 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15012476 memory=279265618954272 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15012476 memory=139632809461007 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15012476 memory=279265763288704 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15012476 memory=139632809465615 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15372775424 22498 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15012476 memory=139632809487607 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15372775424 22498 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15012476 memory=279265618963488 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 22498 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) R 19889 19889 19383 0 -1 4202560 444 0 0 0 1 0 0 0 20 0 15 0 224068590 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781148825968 139781793736022 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15012476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) R 19889 19889 19383 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 15 0 224068590 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781147773168 139781810260610 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15012476 memory=139632953820800 CPUtime=0.07 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) R 19889 19889 19383 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 224068590 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781146720368 139781788918250 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15372775424 22498 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15012476 memory=139632953822196 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15372775424 22498 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91388 KiB
[startup+0.700962 s]
/proc/loadavg: 2.00 2.01 1.97 3/226 19906
/proc/meminfo: memFree=11580056/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15020872 memory=129672 CPUtime=1.02 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 18116 0 0 0 95 7 0 0 20 0 15 0 224068584 15381372928 32418 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3755218 32418 3147 1 0 3716603 0
[pid=19892/tid=19893] ppid=19889 vsize=15020872 memory=57 CPUtime=0.67 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 15386 0 0 0 61 6 0 0 20 0 15 0 224068584 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781782084192 139781271025952 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15020872 memory=7446508840811058281 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224068587 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15020872 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15381372928 32418 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15381372928 32418 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15020872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15381372928 32418 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15020872 memory=12144 CPUtime=0.08 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) S 19889 19889 19383 0 -1 1077944384 703 0 0 0 8 0 0 0 20 0 15 0 224068590 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781148825968 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15020872 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) S 19889 19889 19383 0 -1 1077944384 222 0 0 0 8 0 0 0 20 0 15 0 224068590 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781147773168 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15020872 memory=8812 CPUtime=0.16 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) R 19889 19889 19383 0 -1 4202560 471 0 0 0 16 0 0 0 20 0 15 0 224068590 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781146720368 139781810270810 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15020872 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15381372928 32418 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15020872 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15381372928 32418 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50082 s]
/proc/loadavg: 2.00 2.01 1.97 3/226 19906
/proc/meminfo: memFree=11547984/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15024968 memory=175336 CPUtime=2.88 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 22263 0 0 0 278 10 0 0 20 0 15 0 224068584 15385567232 43834 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3756242 43834 3191 1 0 3717627 0
[pid=19892/tid=19893] ppid=19889 vsize=15024968 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 16792 0 0 0 139 7 0 0 20 0 15 0 224068584 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781782086496 139781810261398 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15024968 memory=57 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15024968 memory=279265618981440 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15024968 memory=139632809500512 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224068587 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15024968 memory=40 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15385567232 43834 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15024968 memory=11089 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15385567232 43834 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15024968 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15385567232 43834 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15024968 memory=6628 CPUtime=0.36 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) R 19889 19889 19383 0 -1 4202560 1011 0 0 0 36 0 0 0 20 0 15 0 224068590 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781148813200 139781793636739 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15024968 memory=8836 CPUtime=0.32 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) R 19889 19889 19383 0 -1 1077944384 470 0 0 0 32 0 0 0 20 0 15 0 224068590 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781147773168 139781810260610 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15024968 memory=11044 CPUtime=0.69 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) R 19889 19889 19383 0 -1 4202560 2656 0 0 0 69 0 0 0 20 0 15 0 224068590 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781146714352 139781803346299 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15385567232 43834 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15024968 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15385567232 43834 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 176732 KiB
[startup+2.83523 s]
# the end of solver process 19889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.40328 s, system=0.218078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60282 s]
/proc/loadavg: 2.00 2.01 1.97 3/226 19906
/proc/meminfo: memFree=11547984/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224068583 115843072 349 33554432000 4194304 5098028 140726385295872 140726385293128 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 349 296 221 0 87 0
[pid=19892] ppid=19889 vsize=15024968 memory=184592 CPUtime=3.2 cores=1,3,5,7
/proc/19892/stat : 19892 (java) S 19889 19889 19383 0 -1 1077944320 22539 0 0 0 310 10 0 0 20 0 15 0 224068584 15385567232 46148 33554432000 4194304 4196468 140735430726320 140735430708864 139781810249463 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
/proc/19892/statm: 3756242 46148 3191 1 0 3717627 0
[pid=19892/tid=19893] ppid=19889 vsize=15024968 memory=139632809635392 CPUtime=1.56 cores=1,3,5,7
/proc/19892/task/19893/stat : 19893 (java) R 19889 19889 19383 0 -1 4202560 16868 0 0 0 149 7 0 0 20 0 15 0 224068584 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781782072704 139781794329950 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19894] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19894/stat : 19894 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781814491792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19895] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19895/stat : 19895 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781270923792 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19896] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19896/stat : 19896 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781269870992 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19897] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19897/stat : 19897 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068586 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781268818192 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19898] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19898/stat : 19898 (java) S 19889 19889 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224068587 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781149879152 139781810260610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19899] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19899/stat : 19899 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068587 15385567232 46148 33554432000 4194304 4196468 140735430726320 139780415284768 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19900] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19900/stat : 19900 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068588 15385567232 46148 33554432000 4194304 4196468 140735430726320 139780180403568 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19901] ppid=19889 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19901/stat : 19901 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15385567232 46148 33554432000 4194304 4196468 140735430726320 139779805894992 139781810268059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19902] ppid=19889 vsize=15024968 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/19892/task/19902/stat : 19902 (java) S 19889 19889 19383 0 -1 1077944384 1057 0 0 0 44 0 0 0 20 0 15 0 224068590 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781148825968 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19903] ppid=19889 vsize=15024968 memory=170926128 CPUtime=0.4 cores=1,3,5,7
/proc/19892/task/19903/stat : 19903 (java) R 19889 19889 19383 0 -1 4202560 507 0 0 0 40 0 0 0 20 0 15 0 224068590 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781147760368 139781796277637 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19904] ppid=19889 vsize=15024968 memory=1396 CPUtime=0.76 cores=1,3,5,7
/proc/19892/task/19904/stat : 19904 (java) R 19889 19889 19383 0 -1 4202560 2774 0 0 0 76 0 0 0 20 0 15 0 224068590 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781146720368 139781803346299 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19905] ppid=19889 vsize=15024968 memory=160120 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19905/stat : 19905 (java) S 19889 19889 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224068590 15385567232 46148 33554432000 4194304 4196468 140735430726320 139779307989216 139781810259669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
[pid=19892/tid=19906] ppid=19889 vsize=15024968 memory=56 CPUtime=0 cores=1,3,5,7
/proc/19892/task/19906/stat : 19906 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068591 15385567232 46148 33554432000 4194304 4196468 140735430726320 139781145668784 139781810260610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140735430734855 140735430735153 140735430735153 140735430737871 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 185988 KiB
[startup+2.40062 s]
/proc/loadavg: 2.00 2.01 1.97 4/220 19915
/proc/meminfo: memFree=11648660/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1472 CPUtime=4.23 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 590 25296 0 0 0 0 410 13 20 0 1 0 224068583 115843072 368 33554432000 4194304 5098028 140726385295872 140726385292616 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 368 311 221 0 87 0
[pid=19907] ppid=19889 vsize=7406364 memory=76744 CPUtime=0.6 cores=1,3,5,7
/proc/19907/stat : 19907 (java) S 19889 19889 19383 0 -1 1077944320 11283 0 0 0 56 4 0 0 20 0 15 0 224068779 7584116736 19186 33554432000 4194304 4196468 140733968468448 140733968450992 140719090953975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
/proc/19907/statm: 1851591 19186 3022 1 0 1813530 0
[pid=19907/tid=19908] ppid=19889 vsize=7406364 memory=6944656592455097440 CPUtime=0.43 cores=1,3,5,7
/proc/19907/task/19908/stat : 19908 (java) R 19889 19889 19383 0 -1 4202560 9004 0 0 0 40 3 0 0 20 0 15 0 224068779 7584116736 19186 33554432000 4194304 4196468 140733968468448 140719062776048 140719076119614 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19909] ppid=19889 vsize=7406364 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19909/stat : 19909 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068780 7584116736 19186 33554432000 4194304 4196468 140733968468448 140719095196432 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19910] ppid=19889 vsize=7406364 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19910/stat : 19910 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068780 7584116736 19186 33554432000 4194304 4196468 140733968468448 140718900960144 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19911] ppid=19889 vsize=7406364 memory=1414353297708861353 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19911/stat : 19911 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068780 7584116736 19186 33554432000 4194304 4196468 140733968468448 140718574832656 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19912] ppid=19889 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19912/stat : 19912 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068780 7584116736 19186 33554432000 4194304 4196468 140733968468448 140718573780112 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19913] ppid=19889 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19913/stat : 19913 (java) S 19889 19889 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224068782 7584116736 19186 33554432000 4194304 4196468 140733968468448 140718470154224 140719090965122 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19914] ppid=19889 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19914/stat : 19914 (java) S 19889 19889 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224068782 7584116736 19186 33554432000 4194304 4196468 140733968468448 140717959668640 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19915] ppid=19889 vsize=7406364 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19907/task/19915/stat : 19915 (java) S 19889 19889 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224068782 7584116736 19186 33554432000 4194304 4196468 140733968468448 140717691233264 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 78216 KiB
[startup+2.80885 s]
/proc/loadavg: 2.00 2.01 1.97 4/220 19915
/proc/meminfo: memFree=11648660/32770624 swapFree=67108860/67108860
[pid=19889] ppid=19886 vsize=113128 memory=1472 CPUtime=4.23 cores=1,3,5,7
/proc/19889/stat : 19889 (scop.sh) S 19886 19889 19383 0 -1 4202496 590 25296 0 0 0 0 410 13 20 0 1 0 224068583 115843072 368 33554432000 4194304 5098028 140726385295872 140726385292616 140291160048252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30003200 140726385304641 140726385304839 140726385304839 140726385307597 0
/proc/19889/statm: 28282 368 311 221 0 87 0
[pid=19907] ppid=19889 vsize=7937144 memory=124056 CPUtime=1.32 cores=1,3,5,7
/proc/19907/stat : 19907 (java) S 19889 19889 19383 0 -1 1077944320 17720 1023 0 0 119 7 6 0 20 0 17 0 224068779 8127635456 31014 33554432000 4194304 4196468 140733968468448 140733968450992 140719090953975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
/proc/19907/statm: 1984286 31014 3151 1 0 1945685 0
[pid=19907/tid=19908] ppid=19889 vsize=7937144 memory=233296 CPUtime=0.85 cores=1,3,5,7
/proc/19907/task/19908/stat : 19908 (java) R 19889 19889 19383 0 -1 4202560 14750 1023 0 0 74 5 6 0 20 0 17 0 224068779 8127635456 31014 33554432000 4194304 4196468 140733968468448 140719062776832 140718913342884 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19909] ppid=19889 vsize=7937144 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19909/stat : 19909 (java) S 19889 19889 19383 0 -1 1077944384 2 1023 0 0 0 0 6 0 20 0 17 0 224068780 8127635456 31014 33554432000 4194304 4196468 140733968468448 140719095196432 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19910] ppid=19889 vsize=7937144 memory=97 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19910/stat : 19910 (java) S 19889 19889 19383 0 -1 1077944384 1 1023 0 0 0 0 6 0 20 0 17 0 224068780 8127635456 31014 33554432000 4194304 4196468 140733968468448 140718900960144 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19911] ppid=19889 vsize=7937144 memory=288230587427469581 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19911/stat : 19911 (java) S 19889 19889 19383 0 -1 1077944384 1 1023 0 0 0 0 6 0 20 0 17 0 224068780 8127635456 31014 33554432000 4194304 4196468 140733968468448 140718574832656 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19912] ppid=19889 vsize=7937144 memory=15816694631256675 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19912/stat : 19912 (java) S 19889 19889 19383 0 -1 1077944384 1 1023 0 0 0 0 6 0 20 0 17 0 224068780 8127635456 31014 33554432000 4194304 4196468 140733968468448 140718573780112 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19913] ppid=19889 vsize=7937144 memory=6944656575208382560 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19913/stat : 19913 (java) S 19889 19889 19383 0 -1 1077944384 6 1023 0 0 0 0 6 0 20 0 17 0 224068782 8127635456 31014 33554432000 4194304 4196468 140733968468448 140718470154224 140719090965122 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19914] ppid=19889 vsize=7937144 memory=6944656592455359580 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19914/stat : 19914 (java) S 19889 19889 19383 0 -1 1077944384 13 1023 0 0 0 0 6 0 20 0 17 0 224068782 8127635456 31014 33554432000 4194304 4196468 140733968468448 140717959668640 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
[pid=19907/tid=19915] ppid=19889 vsize=7937144 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/19907/task/19915/stat : 19915 (java) S 19889 19889 19383 0 -1 1077944384 1 1023 0 0 0 0 6 0 20 0 17 0 224068782 8127635456 31014 33554432000 4194304 4196468 140733968468448 140717691233264 140719090964181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140733968471221 140733968471345 140733968471345 140733968474063 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 125528 KiB
Child status: 0
Real time (s): 2.83528
CPU time (s): 5.62136
CPU user time (s): 5.40328
CPU system time (s): 0.218078
CPU usage (%): 198.264
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 234692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.40328
system time used= 0.218078
maximum resident set size= 237404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5407
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 19889
# total CPU time (s): 5.62136
# total CPU user time (s): 5.40328
# total CPU system time (s): 0.218078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036854 second user time and 0.077575 second system time
The end