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-23039-serial-file.bin HOME/instance-4305655-1534075049.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 13:57:30 CEST 2018
0.66/0.54 c PID: 23042
0.66/0.54 c IP: 172.20.3.103
0.66/0.54 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.93/1.35 c (0,0) Parsing End
2.93/1.35 c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 1207 ctr, max domain size 4
2.93/1.36 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.93/1.36 c (0,0) Constraint Name Generate Begin
2.93/1.37 c (0,0) Ctr:HOME/instance-4305655-1534075049.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
2.93/1.37 c (0,0) Constraint Name Generate End
2.93/1.37 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.93/1.37 c (0,0) CSP to CSPinCNF Begin
3.47/1.51 c (0,0) translated 121 (10%) constraints
3.47/1.55 c (1,1) translated 242 (20%) constraints
3.47/1.58 c (1,1) translated 363 (30%) constraints
3.77/1.60 c (1,1) translated 483 (40%) constraints
3.77/1.62 c (1,1) translated 604 (50%) constraints
3.77/1.64 c (1,1) translated 725 (60%) constraints
3.77/1.65 c (1,1) translated 845 (70%) constraints
3.77/1.66 c (1,1) translated 966 (80%) constraints
3.77/1.67 c (1,1) translated 1087 (90%) constraints
4.30/1.86 c (1,1) translated 1207 (100%) constraints
5.00/2.06 c (1,1) STATISTICS1:HOME/instance-4305655-1534075049.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,501,2116,32768,4,4,16,32768:40;4:2118;1:541,4:4779;2:1263;1:1195,4:1301;3:339;2:421;1:55,16:40;2:2659;1:1935,
5.00/2.06 c (1,1) ==========================================
5.00/2.06 c (1,1) Both Encoding selects:
5.00/2.07 c (1,1) Order
5.00/2.07 c (1,1) ==========================================
5.00/2.10 c (1,1) translated 212 (10%) constraints
5.33/2.12 c (1,1) translated 424 (20%) constraints
5.33/2.14 c (1,1) translated 635 (30%) constraints
5.33/2.16 c (1,1) translated 847 (40%) constraints
5.33/2.18 c (1,1) translated 1058 (50%) constraints
5.60/2.22 c (1,1) translated 1270 (60%) constraints
5.60/2.26 c (1,1) translated 1482 (70%) constraints
5.60/2.29 c (1,1) translated 1693 (80%) constraints
5.94/2.32 c (1,1) translated 1905 (90%) constraints
5.94/2.34 c (1,1) translated 2116 (100%) constraints
5.94/2.34 c (1,1) CSP to CSPinCNF End
5.94/2.34 c (1,1) CSP: 140 int (60 aux), 741 bool (741 aux), 2912 ctr, max domain size 5
5.94/2.34 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.94/2.34 c (1,1) CSPinCNF Propagation Begin
6.26/2.42 c (1,1) 188 values, 1034 unsatisfiable literals, and 866 valid clauses are removed
6.26/2.42 c (1,1) CSPinCNF Propagation End
6.26/2.42 c (1,1) CSP: 280 int (200 aux), 601 bool (601 aux), 2046 ctr, max domain size 5
6.26/2.43 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.26/2.43 c (1,1) Simplify CSPinCNF Begin
6.60/2.50 c (1,1) Simplify CSPinCNF End
6.60/2.50 c (1,1) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.60/2.50 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.60/2.50 c (1,1) Calculate Precise Domain Begin
6.60/2.54 c (2,1) 0 values are removed by re-calculation
6.60/2.54 c (2,1) Calculate Precise Domain End
6.60/2.54 c (2,2) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.60/2.54 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.60/2.54 c (2,2) CSPinCNF to SatSolver Begin
6.86/2.62 c (2,2) 314 (10 %) CSP clauses are encoded (2071 SAT variables, 1212 SAT clauses)
6.86/2.65 c (2,2) 627 (20 %) CSP clauses are encoded (2071 SAT variables, 2254 SAT clauses)
6.86/2.67 c (2,2) 940 (30 %) CSP clauses are encoded (2071 SAT variables, 3221 SAT clauses)
6.86/2.68 c (2,2) 1253 (40 %) CSP clauses are encoded (2071 SAT variables, 4110 SAT clauses)
6.86/2.69 c (2,2) 1566 (50 %) CSP clauses are encoded (2071 SAT variables, 4717 SAT clauses)
7.14/2.71 c (2,2) 1880 (60 %) CSP clauses are encoded (2071 SAT variables, 5983 SAT clauses)
7.14/2.73 c (2,2) 2193 (70 %) CSP clauses are encoded (2071 SAT variables, 7248 SAT clauses)
7.14/2.74 c (2,2) 2506 (80 %) CSP clauses are encoded (2071 SAT variables, 8513 SAT clauses)
7.14/2.76 c (2,2) 2819 (90 %) CSP clauses are encoded (2071 SAT variables, 9778 SAT clauses)
7.14/2.77 c (2,2) 3132 (100 %) CSP clauses are encoded (2071 SAT variables, 10575 SAT clauses)
7.14/2.77 c (2,2) Launch Command will be: minisat_release
7.14/2.77 c (2,2) CSPinCNF to SatSolver End
7.14/2.77 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.46/2.80 c (2,2) STATISTICS2:HOME/instance-4305655-1534075049.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1967,3132,64,5,4,7,64:32;32:64;25:32;4:1158;1:35,5:192;4:3119;2:6299;1:35,4:803;3:149;2:2037;1:143,7:32;6:64;3:32;2:1193;1:6555,
7.46/2.81 c (2,2) 2071 bool, 10578 clause
7.46/2.81 c (2,2) Export Begin
7.46/2.89 c (2,2) Export to HOME/scop-23039-serial-file.bin
7.46/2.89 c (2,2) Export End
7.46/2.89 c (2,2) Export File Size: 0.01 MB
7.46/2.89 c (2,2) 0,0,1,1,1,2,2,STOP-AFTER(DIMACS)
7.46/2.89 c END-Prog: Sun Aug 12 13:57:32 CEST 2018
7.78/2.91 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23039-serial-file.bin
8.41/3.40 c (0,0) Read Serial File Begin
8.41/3.40 c (0,0) HOME/scop-23039-serial-file.bin
8.57/3.56 c (0,0) Read Serial File End
8.57/3.58
8.57/3.58 scop order+minisat_release (2018-07-31)
8.57/3.58 (Solving Process)
8.57/3.58
8.72/3.60 c BEGIN-Prog: Sun Aug 12 13:57:33 CEST 2018
8.72/3.60 c PID: 23057
8.72/3.60 c IP: 172.20.3.103
8.72/3.60 c HOST: node103.alineos.net
8.72/3.60 c (0,0) SatSolver.solve Begin
8.72/3.60 c (0,0) 0 bool, 0 clause
8.72/3.61 c (0,0) minisat_release HOME/instance-4305655-1534075049.xml-scop-23042.cnf
8.72/3.65 c (0,0) c This is COMiniSatPS.
8.72/3.65 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.72/3.65 c (0,0) c ============================[ Problem Statistics ]=============================
8.72/3.65 c (0,0) c | |
8.72/3.65 c (0,0) c | Number of variables: 2071 |
8.72/3.65 c (0,0) c | Number of clauses: 10578 |
8.72/3.65 c (0,0) c | Parse time: 0.00 s |
8.72/3.65 c (0,0) c | Eliminated clauses: 0.01 Mb |
8.72/3.65 c (0,0) c Reduced to 1594 vars, 9816 cls (grow=0)
8.72/3.65 c (0,0) c No iterative elimination performed. (vars=1594, c/v ratio=6.2)
8.72/3.65 c (0,0) c | Simplification time: 0.01 s |
8.72/3.65 c (0,0) c | |
8.72/3.65 c (0,0) c ============================[ Search Statistics ]==============================
8.72/3.65 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
8.72/3.65 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.72/3.65 c (0,0) c ===============================================================================
8.72/3.65 c (0,0) c ===============================================================================
8.72/3.65 c (0,0) c restarts : 2
8.72/3.65 c (0,0) c conflicts : 263 (13817 /sec)
8.72/3.65 c (0,0) c decisions : 930 (0.00 % random) (48860 /sec)
8.72/3.65 c (0,0) c propagations : 30101 (1581433 /sec)
8.72/3.65 c (0,0) c conflict literals : 5323 (7.12 % deleted)
8.72/3.65 c (0,0) c CPU time : 0.019034 s
8.72/3.65 c (0,0)
8.72/3.65 c (0,0) s SATISFIABLE
8.72/3.68 c (0,0) SatSolver.solve End
8.72/3.68 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
8.72/3.68 c (0,0) Show results Begin
8.97/3.74 s SATISFIABLE
8.97/3.75 v <instantiation>
8.97/3.75 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15]</list>
8.97/3.75 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 3 2 1 3 0 1 2 1 2 3 0 2 1 0 3 1 0 2 3 2 3 1 0 0 1 3 2 3 2 0 1 1 3 0 2 2 0 3 1 0 2 1 3 3 1 2 0</values>
8.97/3.75 v </instantiation>
8.97/3.75 c (0,0) Show results End
8.97/3.75 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
8.97/3.75 c (0,0) 0,0,STOP-AFTER(ALL)
8.97/3.75 c END-Prog: Sun Aug 12 13:57:33 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 (7869 MiB free)
memory of node 1: 16384 MiB (8750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305655-1534075049/watcher-4305655-1534075049 -o /tmp/evaluation-result-4305655-1534075049/solver-4305655-1534075049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305655-1534075049.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=23039, runsolver pid=23036
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.42 2.16 2.10 3/222 23056
/proc/meminfo: memFree=16959580/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 225068094 115843072 349 33554432000 4194304 5098028 140729576018560 140729576015816 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 349 296 221 0 87 0
[pid=23042] ppid=23039 vsize=15012476 memory=70556 CPUtime=0.11 cores=1,3,5,7
/proc/23042/stat : 23042 (java) S 23039 23039 20606 0 -1 1077944320 6293 0 0 0 9 2 0 0 20 0 15 0 225068094 15372775424 17639 33554432000 4194304 4196468 140723925177104 140723925159648 140142719262455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
/proc/23042/statm: 3753119 17639 2764 1 0 3715579 0
[pid=23042/tid=23043] ppid=23039 vsize=15012476 memory=-6295043563054219201 CPUtime=0.08 cores=1,3,5,7
/proc/23042/task/23043/stat : 23043 (java) R 23039 23039 20606 0 -1 4202560 4344 0 0 0 7 1 0 0 20 0 15 0 225068094 15372775424 17639 33554432000 4194304 4196468 140723925177104 140142691097584 140142702449285 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23044] ppid=23039 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23044/stat : 23044 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 17639 33554432000 4194304 4196468 140723925177104 140142723505040 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23045] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23045/stat : 23045 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 17639 33554432000 4194304 4196468 140723925177104 140142514588432 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23046] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23046/stat : 23046 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 17639 33554432000 4194304 4196468 140723925177104 140142513536144 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23047] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23047/stat : 23047 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 17639 33554432000 4194304 4196468 140723925177104 140142512483344 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23048] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23048/stat : 23048 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068097 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141689538672 140142719273602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23049] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23049/stat : 23049 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141226091296 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23050] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23050/stat : 23050 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141091869808 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23051] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23051/stat : 23051 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 17639 33554432000 4194304 4196468 140723925177104 140140717365328 140142719281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23052] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23052/stat : 23052 (java) S 23039 23039 20606 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141688486512 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23053] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23053/stat : 23053 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141687433712 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23054] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0.01 cores=1,3,5,7
/proc/23042/task/23054/stat : 23054 (java) S 23039 23039 20606 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 225068100 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141686381424 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23055] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23055/stat : 23055 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 17639 33554432000 4194304 4196468 140723925177104 140140219460576 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23056] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23056/stat : 23056 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 17639 33554432000 4194304 4196468 140723925177104 140141685328304 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71952 KiB
[startup+0.210566 s]*
/proc/loadavg: 2.42 2.16 2.10 4/222 23056
/proc/meminfo: memFree=16945364/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 225068094 115843072 349 33554432000 4194304 5098028 140729576018560 140729576015816 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 349 296 221 0 87 0
[pid=23042] ppid=23039 vsize=15012476 memory=83568 CPUtime=0.25 cores=1,3,5,7
/proc/23042/stat : 23042 (java) S 23039 23039 20606 0 -1 1077944320 9789 0 0 0 22 3 0 0 20 0 15 0 225068094 15372775424 20892 33554432000 4194304 4196468 140723925177104 140723925159648 140142719262455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
/proc/23042/statm: 3753119 20892 2865 1 0 3715579 0
[pid=23042/tid=23043] ppid=23039 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23042/task/23043/stat : 23043 (java) R 23039 23039 20606 0 -1 4202560 7658 0 0 0 17 2 0 0 20 0 15 0 225068094 15372775424 20892 33554432000 4194304 4196468 140723925177104 140142691088112 140142719274390 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23044] ppid=23039 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23044/stat : 23044 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 20892 33554432000 4194304 4196468 140723925177104 140142723505040 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23045] ppid=23039 vsize=15012476 memory=139706916275810 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23045/stat : 23045 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 20892 33554432000 4194304 4196468 140723925177104 140142514588432 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23046] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23046/stat : 23046 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 20892 33554432000 4194304 4196468 140723925177104 140142513536144 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23047] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23047/stat : 23047 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 20892 33554432000 4194304 4196468 140723925177104 140142512483344 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23048] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23048/stat : 23048 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068097 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141689538672 140142719273602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23049] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23049/stat : 23049 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141226091296 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23050] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23050/stat : 23050 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141091869808 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23051] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23051/stat : 23051 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 20892 33554432000 4194304 4196468 140723925177104 140140717365328 140142719281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23052] ppid=23039 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23042/task/23052/stat : 23052 (java) S 23039 23039 20606 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 225068100 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141688486512 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23053] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23053/stat : 23053 (java) S 23039 23039 20606 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141687433712 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23054] ppid=23039 vsize=15012476 memory=139706915112576 CPUtime=0.03 cores=1,3,5,7
/proc/23042/task/23054/stat : 23054 (java) R 23039 23039 20606 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 225068100 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141686381424 140142719276304 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23055] ppid=23039 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23055/stat : 23055 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 20892 33554432000 4194304 4196468 140723925177104 140140219460576 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23056] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23056/stat : 23056 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 20892 33554432000 4194304 4196468 140723925177104 140141685328304 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84964 KiB
[startup+0.310595 s]*
/proc/loadavg: 2.42 2.16 2.10 3/222 23056
/proc/meminfo: memFree=16941704/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 225068094 115843072 349 33554432000 4194304 5098028 140729576018560 140729576015816 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 349 296 221 0 87 0
[pid=23042] ppid=23039 vsize=15012476 memory=87828 CPUtime=0.43 cores=1,3,5,7
/proc/23042/stat : 23042 (java) S 23039 23039 20606 0 -1 1077944320 10396 0 0 0 39 4 0 0 20 0 15 0 225068094 15372775424 21957 33554432000 4194304 4196468 140723925177104 140723925159648 140142719262455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
/proc/23042/statm: 3753119 21957 3023 1 0 3715579 0
[pid=23042/tid=23043] ppid=23039 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/23042/task/23043/stat : 23043 (java) R 23039 23039 20606 0 -1 4202560 8087 0 0 0 27 3 0 0 20 0 15 0 225068094 15372775424 21957 33554432000 4194304 4196468 140723925177104 140142691057456 140142704955958 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23044] ppid=23039 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23044/stat : 23044 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 21957 33554432000 4194304 4196468 140723925177104 140142723505040 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23045] ppid=23039 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23045/stat : 23045 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 21957 33554432000 4194304 4196468 140723925177104 140142514588432 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23046] ppid=23039 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23046/stat : 23046 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 21957 33554432000 4194304 4196468 140723925177104 140142513536144 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23047] ppid=23039 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23047/stat : 23047 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15372775424 21957 33554432000 4194304 4196468 140723925177104 140142512483344 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23048] ppid=23039 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23048/stat : 23048 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068097 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141689538672 140142719273602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23049] ppid=23039 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23049/stat : 23049 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141226091296 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23050] ppid=23039 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23050/stat : 23050 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068098 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141091869808 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23051] ppid=23039 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23051/stat : 23051 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068100 15372775424 21957 33554432000 4194304 4196468 140723925177104 140140717365328 140142719281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23052] ppid=23039 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23042/task/23052/stat : 23052 (java) R 23039 23039 20606 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 225068100 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141688486512 140142719273602 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23053] ppid=23039 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23042/task/23053/stat : 23053 (java) R 23039 23039 20606 0 -1 4202560 68 0 0 0 1 0 0 0 20 0 15 0 225068100 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141687433712 140142711503845 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23054] ppid=23039 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23042/task/23054/stat : 23054 (java) R 23039 23039 20606 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 15 0 225068100 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141686381424 140142711499582 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23055] ppid=23039 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23055/stat : 23055 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 21957 33554432000 4194304 4196468 140723925177104 140140219460576 140142719272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23056] ppid=23039 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23056/stat : 23056 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068101 15372775424 21957 33554432000 4194304 4196468 140723925177104 140141685328304 140142719273602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89224 KiB
[startup+0.70082 s]
/proc/loadavg: 2.42 2.16 2.10 3/222 23056
/proc/meminfo: memFree=16917396/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 225068094 115843072 349 33554432000 4194304 5098028 140729576018560 140729576015816 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 349 296 221 0 87 0
[pid=23042] ppid=23039 vsize=15020872 memory=129640 CPUtime=1.04 cores=1,3,5,7
/proc/23042/stat : 23042 (java) S 23039 23039 20606 0 -1 1077944320 17582 0 0 0 98 6 0 0 20 0 15 0 225068094 15381372928 32410 33554432000 4194304 4196468 140723925177104 140723925159648 140142719262455 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
/proc/23042/statm: 3755218 32410 3133 1 0 3716603 0
[pid=23042/tid=23043] ppid=23039 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/23042/task/23043/stat : 23043 (java) R 23039 23039 20606 0 -1 4202560 14697 0 0 0 62 5 0 0 20 0 15 0 225068094 15381372928 32410 33554432000 4194304 4196468 140723925177104 140142691094352 140142711940469 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23044] ppid=23039 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23044/stat : 23044 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15381372928 32410 33554432000 4194304 4196468 140723925177104 140142723505040 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23045] ppid=23039 vsize=15020872 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23045/stat : 23045 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15381372928 32410 33554432000 4194304 4196468 140723925177104 140142514588432 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23046] ppid=23039 vsize=15020872 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23046/stat : 23046 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068096 15381372928 32410 33554432000 4194304 4196468 140723925177104 140142513536144 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23047] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23047/stat : 23047 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068096 15381372928 32410 33554432000 4194304 4196468 140723925177104 140142512483344 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23048] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23048/stat : 23048 (java) S 23039 23039 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225068097 15381372928 32410 33554432000 4194304 4196468 140723925177104 140141689538672 140142719273602 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23049] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23049/stat : 23049 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068098 15381372928 32410 33554432000 4194304 4196468 140723925177104 140141226091296 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23050] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23050/stat : 23050 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068098 15381372928 32410 33554432000 4194304 4196468 140723925177104 140141091869808 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23051] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23051/stat : 23051 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068100 15381372928 32410 33554432000 4194304 4196468 140723925177104 140140717365328 140142719281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23052] ppid=23039 vsize=15020872 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23042/task/23052/stat : 23052 (java) R 23039 23039 20606 0 -1 4202560 770 0 0 0 11 0 0 0 20 0 15 0 225068100 15381372928 32410 33554432000 4194304 4196468 140723925177104 140141688473296 140142697428780 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23053] ppid=23039 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23042/task/23053/stat : 23053 (java) R 23039 23039 20606 0 -1 4202560 262 0 0 0 7 0 0 0 20 0 15 0 225068100 15381372928 32410 33554432000 4194304 4196468 140723925177104 140141687423824 140142711551904 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23054] ppid=23039 vsize=15020872 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/23042/task/23054/stat : 23054 (java) S 23039 23039 20606 0 -1 1077944384 528 0 0 0 17 0 0 0 20 0 15 0 225068100 15381372928 32476 33554432000 4194304 4196468 140723925177104 140141686381424 140142719273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23055] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23055/stat : 23055 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068101 15381372928 32476 33554432000 4194304 4196468 140723925177104 140140219460576 140142719272661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
[pid=23042/tid=23056] ppid=23039 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23042/task/23056/stat : 23056 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068101 15381372928 32476 33554432000 4194304 4196468 140723925177104 140141685328304 140142719273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140723925181447 140723925181745 140723925181745 140723925184463 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.50116 s]
/proc/loadavg: 2.42 2.16 2.10 4/222 23056
/proc/meminfo: memFree=16875768/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 225068094 115843072 349 33554432000 4194304 5098028 140729576018560 140729576015816 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23057/task/23059/stat : 23059 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681963895824 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23060] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681444752528 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23061] ppid=23039 vsize=7404280 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681443699472 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23062] ppid=23039 vsize=7404280 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681442646928 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23063] ppid=23039 vsize=7404280 memory=3472468002991133424 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068388 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681406089456 140681959664258 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23064] ppid=23039 vsize=7404280 memory=139706763453216 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068389 7581982720 14460 33554432000 4194304 4196468 140732265620032 140680781358240 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23065] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068389 7581982720 14460 33554432000 4194304 4196468 140732265620032 140680647135984 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23066] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068391 7581982720 14460 33554432000 4194304 4196468 140732265620032 140680272631760 140681959671707 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23067] ppid=23039 vsize=7404280 memory=4580 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) R 23039 23039 20606 0 -1 4202560 474 0 0 0 1 0 0 0 20 0 15 0 225068391 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681405037296 140681940353408 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23068] ppid=23039 vsize=7404280 memory=-7531822216213012384 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) R 23039 23039 20606 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 225068391 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681403984752 140681959664258 0 4 2 16800973 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23069] ppid=23039 vsize=7404280 memory=-7522837583129502606 CPUtime=0.05 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) R 23039 23039 20606 0 -1 4202560 331 0 0 0 5 0 0 0 20 0 15 0 225068391 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681402931824 140681951890238 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23070] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068392 7581982720 14460 33554432000 4194304 4196468 140732265620032 140679774727008 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23071] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068392 7581982720 14460 33554432000 4194304 4196468 140732265620032 140681401879088 140681959664258 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 59312 KiB
[startup+3.76154 s]
# the end of solver process 23039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.8781 s, system=0.228966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20103 s]
/proc/loadavg: 2.42 2.16 2.10 4/222 23071
/proc/meminfo: memFree=16985384/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1472 CPUtime=7.79 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 591 26529 0 0 0 0 764 15 20 0 1 0 225068094 115843072 368 33554432000 4194304 5098028 140729576018560 140729576015304 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 368 311 221 0 87 0
[pid=23057] ppid=23039 vsize=7404280 memory=62936 CPUtime=0.39 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23039 23039 20606 0 -1 1077944320 10776 0 0 0 37 2 0 0 20 0 15 0 225068385 7581982720 15734 33554432000 4194304 4196468 140732265620032 140732265602576 140681959653111 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
/proc/23057/statm: 1851070 15734 2978 1 0 1813530 0
[pid=23057/tid=23058] ppid=23039 vsize=7404280 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/23057/task/23058/stat : 23058 (java) R 23039 23039 20606 0 -1 4202560 8452 0 0 0 24 2 0 0 20 0 15 0 225068386 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681931447816 140681941216671 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23059] ppid=23039 vsize=7404280 memory=81 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681963895824 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23060] ppid=23039 vsize=7404280 memory=74 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681444752528 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23061] ppid=23039 vsize=7404280 memory=78 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681443699472 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23062] ppid=23039 vsize=7404280 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681442646928 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23063] ppid=23039 vsize=7404280 memory=354124 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068388 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681406089456 140681959664258 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23064] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068389 7581982720 15734 33554432000 4194304 4196468 140732265620032 140680781358240 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23065] ppid=23039 vsize=7404280 memory=190 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068389 7581982720 15734 33554432000 4194304 4196468 140732265620032 140680647135984 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23066] ppid=23039 vsize=7404280 memory=182 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068391 7581982720 15734 33554432000 4194304 4196468 140732265620032 140680272631760 140681959671707 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23067] ppid=23039 vsize=7404280 memory=119 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23039 23039 20606 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 225068391 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681405037296 140681959664258 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23068] ppid=23039 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23039 23039 20606 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 15 0 225068391 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681403984752 140681959664258 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23069] ppid=23039 vsize=7404280 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23039 23039 20606 0 -1 1077944384 354 0 0 0 7 0 0 0 20 0 15 0 225068391 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681402931696 140681959664258 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23070] ppid=23039 vsize=7404280 memory=279413527292976 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068392 7581982720 15734 33554432000 4194304 4196468 140732265620032 140679774727008 140681959663317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23071] ppid=23039 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068392 7581982720 15734 33554432000 4194304 4196468 140732265620032 140681401879088 140681959664258 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 64408 KiB
[startup+3.60074 s]
/proc/loadavg: 2.42 2.16 2.10 4/222 23071
/proc/meminfo: memFree=16985384/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1472 CPUtime=7.79 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 591 26529 0 0 0 0 764 15 20 0 1 0 225068094 115843072 368 33554432000 4194304 5098028 140729576018560 140729576015304 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 368 311 221 0 87 0
[pid=23057] ppid=23039 vsize=7410572 memory=98688 CPUtime=0.93 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23039 23039 20606 0 -1 1077944320 17463 0 0 0 88 5 0 0 20 0 15 0 225068385 7588425728 24672 33554432000 4194304 4196468 140732265620032 140732265602576 140681959653111 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
/proc/23057/statm: 1852643 24672 3070 1 0 1814042 0
[pid=23057/tid=23058] ppid=23039 vsize=7410572 memory=7380671248541445222 CPUtime=0.66 cores=1,3,5,7
/proc/23057/task/23058/stat : 23058 (java) R 23039 23039 20606 0 -1 4202560 15015 0 0 0 62 4 0 0 20 0 15 0 225068386 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681931483720 140681959675037 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23059] ppid=23039 vsize=7410572 memory=7302982969559503210 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23039 23039 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068387 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681963895824 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23060] ppid=23039 vsize=7410572 memory=7163081217398690405 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681444752528 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23061] ppid=23039 vsize=7410572 memory=4495780155776724073 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681443699472 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23062] ppid=23039 vsize=7410572 memory=2319400400981082208 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068387 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681442646928 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23063] ppid=23039 vsize=7410572 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23039 23039 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225068388 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681406089456 140681959664258 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23064] ppid=23039 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23039 23039 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068389 7588425728 24672 33554432000 4194304 4196468 140732265620032 140680781358240 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23065] ppid=23039 vsize=7410572 memory=279413527265712 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23039 23039 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225068389 7588425728 24672 33554432000 4194304 4196468 140732265620032 140680647135984 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23066] ppid=23039 vsize=7410572 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068391 7588425728 24672 33554432000 4194304 4196468 140732265620032 140680272631760 140681959671707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23067] ppid=23039 vsize=7410572 memory=6944656592455097440 CPUtime=0.05 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23039 23039 20606 0 -1 1077944384 528 0 0 0 5 0 0 0 20 0 15 0 225068391 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681405037296 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23068] ppid=23039 vsize=7410572 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23039 23039 20606 0 -1 1077944384 114 0 0 0 4 0 0 0 20 0 15 0 225068391 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681403984752 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23069] ppid=23039 vsize=7410572 memory=6944656592387989600 CPUtime=0.16 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23039 23039 20606 0 -1 1077944384 451 0 0 0 16 0 0 0 20 0 15 0 225068391 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681402931696 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23070] ppid=23039 vsize=7410572 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23039 23039 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068392 7588425728 24672 33554432000 4194304 4196468 140732265620032 140679774727008 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23071] ppid=23039 vsize=7410572 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23039 23039 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068392 7588425728 24672 33554432000 4194304 4196468 140732265620032 140681401879088 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 100160 KiB
[startup+3.70068 s]
/proc/loadavg: 2.42 2.16 2.10 4/222 23071
/proc/meminfo: memFree=16985384/32770624 swapFree=67058740/67108860
[pid=23039] ppid=23036 vsize=113128 memory=1472 CPUtime=7.79 cores=1,3,5,7
/proc/23039/stat : 23039 (scop.sh) S 23036 23039 20606 0 -1 4202496 591 26529 0 0 0 0 764 15 20 0 1 0 225068094 115843072 368 33554432000 4194304 5098028 140729576018560 140729576015304 140595582603900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19775488 140729576027201 140729576027399 140729576027399 140729576030157 0
/proc/23039/statm: 28282 368 311 221 0 87 0
[pid=23057] ppid=23039 vsize=7871608 memory=115300 CPUtime=1.18 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23039 23039 20606 0 -1 1077944320 18561 849 0 0 112 5 1 0 20 0 17 0 225068385 8060526592 28825 33554432000 4194304 4196468 140732265620032 140732265602576 140681959653111 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
/proc/23057/statm: 1967902 28825 3158 1 0 1929301 0
[pid=23057/tid=23058] ppid=23039 vsize=7871608 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/23057/task/23058/stat : 23058 (java) R 23039 23039 20606 0 -1 4202560 15607 849 0 0 70 4 1 0 20 0 17 0 225068386 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681931479648 140681951890238 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23059] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23039 23039 20606 0 -1 1077944384 2 849 0 0 0 0 1 0 20 0 17 0 225068387 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681963895824 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23060] ppid=23039 vsize=7871608 memory=4580 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23039 23039 20606 0 -1 1077944384 1 849 0 0 0 0 1 0 20 0 17 0 225068387 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681444752528 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23061] ppid=23039 vsize=7871608 memory=-7531822216213012384 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23039 23039 20606 0 -1 1077944384 1 849 0 0 0 0 1 0 20 0 17 0 225068387 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681443699472 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23062] ppid=23039 vsize=7871608 memory=-7522837583129502606 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23039 23039 20606 0 -1 1077944384 1 849 0 0 0 0 1 0 20 0 17 0 225068387 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681442646928 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23063] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23039 23039 20606 0 -1 1077944384 5 849 0 0 0 0 1 0 20 0 17 0 225068388 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681406089456 140681959664258 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23064] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23039 23039 20606 0 -1 1077944384 13 849 0 0 0 0 1 0 20 0 17 0 225068389 8060526592 28825 33554432000 4194304 4196468 140732265620032 140680781358240 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23065] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23039 23039 20606 0 -1 1077944384 21 849 0 0 0 0 1 0 20 0 17 0 225068389 8060526592 28825 33554432000 4194304 4196468 140732265620032 140680647135984 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23066] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23039 23039 20606 0 -1 1077944384 3 849 0 0 0 0 1 0 20 0 17 0 225068391 8060526592 28825 33554432000 4194304 4196468 140732265620032 140680272631760 140681959671707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23067] ppid=23039 vsize=7871608 memory=2 CPUtime=0.1 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23039 23039 20606 0 -1 1077944384 611 849 0 0 9 0 1 0 20 0 17 0 225068391 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681405037296 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23068] ppid=23039 vsize=7871608 memory=2 CPUtime=0.1 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23039 23039 20606 0 -1 1077944384 339 849 0 0 9 0 1 0 20 0 17 0 225068391 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681403984752 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23069] ppid=23039 vsize=7871608 memory=8 CPUtime=0.21 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23039 23039 20606 0 -1 1077944384 553 849 0 0 20 0 1 0 20 0 17 0 225068391 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681402931696 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23070] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23039 23039 20606 0 -1 1077944384 3 849 0 0 0 0 1 0 20 0 17 0 225068392 8060526592 28825 33554432000 4194304 4196468 140732265620032 140679774727008 140681959663317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
[pid=23057/tid=23071] ppid=23039 vsize=7871608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23039 23039 20606 0 -1 1077944384 1 849 0 0 0 0 1 0 20 0 17 0 225068392 8060526592 28825 33554432000 4194304 4196468 140732265620032 140681401879088 140681959664258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27807744 140732265624757 140732265624881 140732265624881 140732265627599 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 116772 KiB
Child status: 0
Real time (s): 3.76159
CPU time (s): 9.10706
CPU user time (s): 8.8781
CPU system time (s): 0.228966
CPU usage (%): 242.107
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 414008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.8781
system time used= 0.228966
maximum resident set size= 413008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5283
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 23039
# total CPU time (s): 9.10706
# total CPU user time (s): 8.8781
# total CPU system time (s): 0.228966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044091 second user time and 0.086279 second system time
The end