0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-4554-serial-file.bin HOME/instance-4305439-1534064947.xml
0.54/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Sun Aug 12 11:09:08 CEST 2018
0.65/0.54 c PID: 4557
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.39/0.96 c (0,0) Parsing End
1.39/0.96 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.39/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.97 c (0,0) Constraint Name Generate Begin
1.39/0.97 c (0,0) Ctr:HOME/instance-4305439-1534064947.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.39/0.97 c (0,0) Constraint Name Generate End
1.39/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.97 c (0,0) CSP to CSPinCNF Begin
1.59/1.05 c (0,0) translated 6 (10%) constraints
1.59/1.05 c (0,0) translated 11 (20%) constraints
1.59/1.06 c (0,0) translated 16 (30%) constraints
1.59/1.06 c (0,0) translated 21 (40%) constraints
1.59/1.07 c (0,0) translated 26 (50%) constraints
1.59/1.07 c (0,0) translated 32 (60%) constraints
1.76/1.16 c (0,0) translated 37 (70%) constraints
1.95/1.22 c (0,0) translated 42 (80%) constraints
1.95/1.27 c (0,0) translated 47 (90%) constraints
2.23/1.31 c (0,0) translated 52 (100%) constraints
2.55/1.45 c (0,0) STATISTICS1:HOME/instance-4305439-1534064947.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,380,191,4,3,380:4;376:20;370:16;362:20;360:24;358:28;350:32;344:120;328:48;326:52;324:56;310:60;298:64;2:34,191:66;190:66;188:132;185:66;181:66;180:66;179:66;175:66;172:198;164:66;163:66;162:66;155:66;149:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.55/1.45 c (0,0) ==========================================
2.55/1.45 c (0,0) Order
2.55/1.46 c (0,0) ==========================================
2.55/1.46 c (0,0) translated 43 (10%) constraints
2.55/1.47 c (0,0) translated 85 (20%) constraints
2.55/1.48 c (0,0) translated 128 (30%) constraints
2.55/1.48 c (0,0) translated 170 (40%) constraints
2.55/1.48 c (0,0) translated 213 (50%) constraints
2.55/1.48 c (0,0) translated 255 (60%) constraints
2.55/1.49 c (0,0) translated 298 (70%) constraints
2.86/1.50 c (0,0) translated 340 (80%) constraints
2.86/1.50 c (0,0) translated 383 (90%) constraints
2.86/1.50 c (0,0) translated 425 (100%) constraints
2.86/1.50 c (0,0) CSP to CSPinCNF End
2.86/1.51 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 191
2.86/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.51 c (0,0) CSPinCNF Propagation Begin
2.86/1.58 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.86/1.58 c (1,1) CSPinCNF Propagation End
2.86/1.58 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 191
2.86/1.58 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.58 c (1,1) Simplify CSPinCNF Begin
3.23/1.64 c (1,1) Simplify CSPinCNF End
3.23/1.64 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 191
3.23/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.23/1.64 c (1,1) Calculate Precise Domain Begin
3.23/1.64 c (1,1) 0 values are removed by re-calculation
3.23/1.64 c (1,1) Calculate Precise Domain End
3.23/1.64 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 191
3.23/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.23/1.64 c (1,1) CSPinCNF to SatSolver Begin
3.56/1.71 c (1,1) 97 (10 %) CSP clauses are encoded (6561 SAT variables, 5960 SAT clauses)
3.56/1.71 c (1,1) 194 (20 %) CSP clauses are encoded (6561 SAT variables, 6057 SAT clauses)
3.56/1.71 c (1,1) 291 (30 %) CSP clauses are encoded (6561 SAT variables, 6154 SAT clauses)
3.87/1.85 c (1,1) 388 (40 %) CSP clauses are encoded (6561 SAT variables, 25201 SAT clauses)
4.19/1.93 c (1,1) 485 (50 %) CSP clauses are encoded (6561 SAT variables, 45710 SAT clauses)
4.19/1.99 c (1,1) 582 (60 %) CSP clauses are encoded (6561 SAT variables, 67359 SAT clauses)
4.51/2.05 c (1,1) 679 (70 %) CSP clauses are encoded (6561 SAT variables, 86882 SAT clauses)
4.74/2.12 c (1,1) 776 (80 %) CSP clauses are encoded (6561 SAT variables, 102193 SAT clauses)
4.94/2.21 c (1,1) 873 (90 %) CSP clauses are encoded (6561 SAT variables, 120090 SAT clauses)
4.94/2.29 c (1,1) 969 (100 %) CSP clauses are encoded (6561 SAT variables, 141780 SAT clauses)
4.94/2.29 c (1,1) Launch Command will be: minisat_release
4.94/2.29 c (1,1) CSPinCNF to SatSolver End
4.94/2.29 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.16/2.32 c (1,1) STATISTICS2:HOME/instance-4305439-1534064947.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,380,191,4,3,380:4;376:20;370:16;362:20;360:24;358:28;350:32;344:120;328:48;326:52;324:56;310:60;298:64;2:34,191:66;190:66;188:132;185:66;181:66;180:66;179:66;175:66;172:198;164:66;163:66;162:66;155:66;149:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
5.16/2.32 c (1,1) 6561 bool, 141987 clause
5.16/2.32 c (1,1) Export Begin
5.32/2.42 c (1,1) Export to HOME/scop-4554-serial-file.bin
5.32/2.42 c (1,1) Export End
5.32/2.42 c (1,1) Export File Size: 0.03 MB
5.32/2.42 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
5.32/2.42 c END-Prog: Sun Aug 12 11:09:10 CEST 2018
5.32/2.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4554-serial-file.bin
5.40/2.92 c (0,0) Read Serial File Begin
5.40/2.92 c (0,0) HOME/scop-4554-serial-file.bin
6.34/3.11 c (0,0) Read Serial File End
6.34/3.12
6.34/3.12 scop order+minisat_release (2018-07-31)
6.34/3.12 (Solving Process)
6.34/3.12
6.34/3.14 c BEGIN-Prog: Sun Aug 12 11:09:10 CEST 2018
6.34/3.14 c PID: 4572
6.34/3.14 c IP: 172.20.3.151
6.34/3.14 c HOST: node151.alineos.net
6.34/3.15 c (0,0) SatSolver.solve Begin
6.34/3.15 c (0,0) 0 bool, 0 clause
6.34/3.15 c (0,0) minisat_release HOME/instance-4305439-1534064947.xml-scop-4557.cnf
1785.39/1781.11 c (1778,0) c This is COMiniSatPS.
1785.39/1781.11 c (1778,0) c WARNING: for repeatability, setting FPU to use double precision
1785.39/1781.11 c (1778,0) c ============================[ Problem Statistics ]=============================
1785.39/1781.11 c (1778,0) c | |
1785.39/1781.11 c (1778,0) c | Number of variables: 6561 |
1785.39/1781.11 c (1778,0) c | Number of clauses: 141987 |
1785.39/1781.11 c (1778,0) c | Parse time: 0.04 s |
1785.39/1781.11 c (1778,0) c | Eliminated clauses: 0.02 Mb |
1785.39/1781.11 c (1778,0) c Reduced to 5709 vars, 140830 cls (grow=0)
1785.39/1781.11 c (1778,0) c No iterative elimination performed. (vars=5709, c/v ratio=24.7)
1785.39/1781.11 c (1778,0) c | Simplification time: 0.27 s |
1785.39/1781.11 c (1778,0) c | |
1785.39/1781.11 c (1778,0) c ============================[ Search Statistics ]==============================
1785.39/1781.11 c (1778,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1785.39/1781.11 c (1778,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1785.39/1781.11 c (1778,0) c ===============================================================================
1785.39/1781.11 c (1778,0) c ===============================================================================
1785.39/1781.11 c (1778,0) c restarts : 13188
1785.39/1781.11 c (1778,0) c conflicts : 8178218 (4600 /sec)
1785.39/1781.11 c (1778,0) c decisions : 11694957 (0.00 % random) (6579 /sec)
1785.39/1781.11 c (1778,0) c propagations : 3638676412 (2046850 /sec)
1785.39/1781.11 c (1778,0) c conflict literals : 249710861 (48.13 % deleted)
1785.39/1781.11 c (1778,0) c CPU time : 1777.7 s
1785.39/1781.11 c (1778,0)
1785.39/1781.11 c (1778,0) s SATISFIABLE
1785.39/1781.13 c (1778,0) SatSolver.solve End
1785.39/1781.13 c (1778,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1785.39/1781.13 c (1778,0) Show results Begin
1785.39/1781.19 s SATISFIABLE
1785.59/1781.20 v <instantiation>
1785.59/1781.20 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] x[16] 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] y[16] 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] w[16] 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] h[16] 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] r[16]</list>
1785.59/1781.20 v <values>39 64 0 39 0 22 22 0 163 97 77 97 97 123 123 134 77 0 82 119 82 98 119 148 0 0 102 0 29 39 39 89 29 29 38 13 22 25 64 55 178 39 37 103 86 37 26 11 40 29 20 82 37 81 16 21 29 52 98 102 46 29 10 63 50 13 60 119 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
1785.59/1781.20 v </instantiation>
1785.59/1781.20 c (1778,0) Show results End
1785.59/1781.20 c (1778,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1785.59/1781.20 c (1778,0) 1778,1778,STOP-AFTER(ALL)
1785.59/1781.20 c END-Prog: Sun Aug 12 11:38:48 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 (2733 MiB free)
memory of node 1: 16384 MiB (5527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305439-1534064947/watcher-4305439-1534064947 -o /tmp/evaluation-result-4305439-1534064947/solver-4305439-1534064947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305439-1534064947.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=4554, runsolver pid=4551
Current StackSize limit: 8192 KiB
[startup+0.100799 s]*
/proc/loadavg: 2.03 2.14 2.06 3/222 4571
/proc/meminfo: memFree=8397068/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224057908 115843072 348 33554432000 4194304 5098028 140724155141152 140724155138408 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 348 296 221 0 87 0
[pid=4557] ppid=4554 vsize=15012476 memory=73072 CPUtime=0.1 cores=1,3,5,7
/proc/4557/stat : 4557 (java) S 4554 4554 3762 0 -1 1077944320 5910 0 0 0 8 2 0 0 20 0 15 0 224057908 15372775424 18268 33554432000 4194304 4196468 140733216956112 140733216938656 139677107937015 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
/proc/4557/statm: 3753119 18268 2743 1 0 3715579 0
[pid=4557/tid=4558] ppid=4554 vsize=15012476 memory=-2843876196599317662 CPUtime=0.08 cores=1,3,5,7
/proc/4557/task/4558/stat : 4558 (java) R 4554 4554 3762 0 -1 4202560 4065 0 0 0 7 1 0 0 20 0 15 0 224057909 15372775424 18398 33554432000 4194304 4196468 140733216956112 139677079742488 139677088213840 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4559] ppid=4554 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4559/stat : 4559 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 18398 33554432000 4194304 4196468 140733216956112 139677112179216 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4560] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4560/stat : 4560 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676903262864 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4561] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4561/stat : 4561 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676902209808 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4562] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4562/stat : 4562 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676901157264 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4563] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4563/stat : 4563 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676447484656 139677107948162 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4564] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4564/stat : 4564 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 18398 33554432000 4194304 4196468 140733216956112 139675759011488 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4565] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4565/stat : 4565 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 18398 33554432000 4194304 4196468 140733216956112 139675490575600 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4566] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4566/stat : 4566 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139675116067280 139677107955611 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4567] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4567/stat : 4567 (java) S 4554 4554 3762 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676446431472 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4568] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4568/stat : 4568 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676445378928 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4569] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4569/stat : 4569 (java) R 4554 4554 3762 0 -1 4202560 280 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676444321752 139677086897951 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4570] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4570/stat : 4570 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139674618161504 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4571] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4571/stat : 4571 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 18398 33554432000 4194304 4196468 140733216956112 139676443274288 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74464 KiB
[startup+0.210699 s]*
/proc/loadavg: 2.03 2.14 2.06 3/222 4571
/proc/meminfo: memFree=8392548/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224057908 115843072 348 33554432000 4194304 5098028 140724155141152 140724155138408 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 348 296 221 0 87 0
[pid=4557] ppid=4554 vsize=15012476 memory=86620 CPUtime=0.24 cores=1,3,5,7
/proc/4557/stat : 4557 (java) S 4554 4554 3762 0 -1 1077944320 9488 0 0 0 22 2 0 0 20 0 15 0 224057908 15372775424 21655 33554432000 4194304 4196468 140733216956112 140733216938656 139677107937015 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
/proc/4557/statm: 3753119 21655 2907 1 0 3715579 0
[pid=4557/tid=4558] ppid=4554 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4557/task/4558/stat : 4558 (java) R 4554 4554 3762 0 -1 4202560 7397 0 0 0 18 2 0 0 20 0 15 0 224057909 15372775424 21655 33554432000 4194304 4196468 140733216956112 139677079763408 139677107958362 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4559] ppid=4554 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4559/stat : 4559 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 21655 33554432000 4194304 4196468 140733216956112 139677112179216 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4560] ppid=4554 vsize=15012476 memory=4050059022872389280 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4560/stat : 4560 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676903262864 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4561] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4561/stat : 4561 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676902209808 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4562] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4562/stat : 4562 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676901157264 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4563] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4563/stat : 4563 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676447484656 139677107948162 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4564] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4564/stat : 4564 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 21655 33554432000 4194304 4196468 140733216956112 139675759011488 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4565] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4565/stat : 4565 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 21655 33554432000 4194304 4196468 140733216956112 139675490575600 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4566] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4566/stat : 4566 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139675116067280 139677107955611 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4567] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4567/stat : 4567 (java) S 4554 4554 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676446431472 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4568] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4568/stat : 4568 (java) S 4554 4554 3762 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676445378928 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4569] ppid=4554 vsize=15012476 memory=139654882436736 CPUtime=0.03 cores=1,3,5,7
/proc/4557/task/4569/stat : 4569 (java) R 4554 4554 3762 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676444325872 139677107948950 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4570] ppid=4554 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4570/stat : 4570 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139674618161504 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4571] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4571/stat : 4571 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 21655 33554432000 4194304 4196468 140733216956112 139676443274288 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88012 KiB
[startup+0.31071 s]*
/proc/loadavg: 2.03 2.14 2.06 3/222 4571
/proc/meminfo: memFree=8389260/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224057908 115843072 348 33554432000 4194304 5098028 140724155141152 140724155138408 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 348 296 221 0 87 0
[pid=4557] ppid=4554 vsize=15012476 memory=90148 CPUtime=0.41 cores=1,3,5,7
/proc/4557/stat : 4557 (java) S 4554 4554 3762 0 -1 1077944320 10012 0 0 0 38 3 0 0 20 0 15 0 224057908 15372775424 22537 33554432000 4194304 4196468 140733216956112 140733216938656 139677107937015 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
/proc/4557/statm: 3753119 22537 2981 1 0 3715579 0
[pid=4557/tid=4558] ppid=4554 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4557/task/4558/stat : 4558 (java) R 4554 4554 3762 0 -1 4202560 7774 0 0 0 27 2 0 0 20 0 15 0 224057909 15372775424 22537 33554432000 4194304 4196468 140733216956112 139677079732016 139677107958941 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4559] ppid=4554 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4559/stat : 4559 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 22537 33554432000 4194304 4196468 140733216956112 139677112179216 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4560] ppid=4554 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4560/stat : 4560 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676903262864 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4561] ppid=4554 vsize=15012476 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4561/stat : 4561 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676902209808 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4562] ppid=4554 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4562/stat : 4562 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057910 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676901157264 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4563] ppid=4554 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4563/stat : 4563 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676447484656 139677107948162 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4564] ppid=4554 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4564/stat : 4564 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 22537 33554432000 4194304 4196468 140733216956112 139675759011488 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4565] ppid=4554 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4565/stat : 4565 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057912 15372775424 22537 33554432000 4194304 4196468 140733216956112 139675490575600 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4566] ppid=4554 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4566/stat : 4566 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139675116067280 139677107955611 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4567] ppid=4554 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4557/task/4567/stat : 4567 (java) R 4554 4554 3762 0 -1 4202560 416 0 0 0 3 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676446431568 139677092226977 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4568] ppid=4554 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4557/task/4568/stat : 4568 (java) R 4554 4554 3762 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676445378928 139677107948162 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4569] ppid=4554 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4557/task/4569/stat : 4569 (java) R 4554 4554 3762 0 -1 4202560 323 0 0 0 7 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676444325872 139677093617717 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4570] ppid=4554 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4570/stat : 4570 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139674618161504 139677107947221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4571] ppid=4554 vsize=15012476 memory=3618704084606007087 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4571/stat : 4571 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057915 15372775424 22537 33554432000 4194304 4196468 140733216956112 139676443274288 139677107948162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91540 KiB
[startup+0.700732 s]
/proc/loadavg: 2.03 2.14 2.06 4/222 4571
/proc/meminfo: memFree=8364456/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224057908 115843072 348 33554432000 4194304 5098028 140724155141152 140724155138408 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 348 296 221 0 87 0
[pid=4557] ppid=4554 vsize=15020872 memory=129644 CPUtime=1.01 cores=1,3,5,7
/proc/4557/stat : 4557 (java) S 4554 4554 3762 0 -1 1077944320 17136 0 0 0 95 6 0 0 20 0 15 0 224057908 15381372928 32411 33554432000 4194304 4196468 140733216956112 140733216938656 139677107937015 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
/proc/4557/statm: 3755218 32411 3148 1 0 3716603 0
[pid=4557/tid=4558] ppid=4554 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4557/task/4558/stat : 4558 (java) R 4554 4554 3762 0 -1 4202560 14379 0 0 0 62 5 0 0 20 0 15 0 224057909 15381372928 32411 33554432000 4194304 4196468 140733216956112 139677079772864 139677107948950 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4559] ppid=4554 vsize=15020872 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4559/stat : 4559 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15381372928 32411 33554432000 4194304 4196468 140733216956112 139677112179216 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4560] ppid=4554 vsize=15020872 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4560/stat : 4560 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676903262864 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4561] ppid=4554 vsize=15020872 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4561/stat : 4561 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057910 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676902209808 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4562] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4562/stat : 4562 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057910 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676901157264 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4563] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4563/stat : 4563 (java) S 4554 4554 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224057912 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676447484656 139677107948162 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4564] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4564/stat : 4564 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057912 15381372928 32411 33554432000 4194304 4196468 140733216956112 139675759011488 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4565] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4565/stat : 4565 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057912 15381372928 32411 33554432000 4194304 4196468 140733216956112 139675490575600 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4566] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4566/stat : 4566 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139675116067280 139677107955611 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4567] ppid=4554 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4557/task/4567/stat : 4567 (java) S 4554 4554 3762 0 -1 1077944384 657 0 0 0 9 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676446431472 139677107948162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4568] ppid=4554 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4557/task/4568/stat : 4568 (java) S 4554 4554 3762 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676445378928 139677107948162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4569] ppid=4554 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/4557/task/4569/stat : 4569 (java) R 4554 4554 3762 0 -1 4202560 461 0 0 0 16 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676444325872 139677107958362 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4570] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4570/stat : 4570 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139674618161504 139677107947221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
[pid=4557/tid=4571] ppid=4554 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4557/task/4571/stat : 4571 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057915 15381372928 32411 33554432000 4194304 4196468 140733216956112 139676443274288 139677107948162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32591872 140733216957447 140733216957745 140733216957745 140733216960463 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.50073 s]
/proc/loadavg: 2.03 2.14 2.06 4/222 4571
/proc/meminfo: memFree=8334440/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224057908 115843072 348 33554432000 4194304 5098028 140724155141152 140724155138408 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/4572/task/4588/stat : 4588 (java) S 4554 4554 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019382724288 140020149751577 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4590] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4590/stat : 4590 (java) S 4554 4554 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017410223888 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4591] ppid=4554 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4591/stat : 4591 (java) S 4554 4554 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017544445584 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4592] ppid=4554 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4592/stat : 4592 (java) S 4554 4554 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224058227 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017141800096 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
Current children cumulated CPU time: 1783.48 s
Current children cumulated vsize: 8277424 KiB
Current children cumulated memory: 184904 KiB
[startup+1780 s]*
/proc/loadavg: 2.00 2.01 2.05 3/227 4645
/proc/meminfo: memFree=8255948/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1468 CPUtime=5.4 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 589 24669 0 0 0 0 522 18 20 0 1 0 224057908 115843072 367 33554432000 4194304 5098028 140724155141152 140724155137896 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 367 311 221 0 87 0
[pid=4572] ppid=4554 vsize=8068220 memory=114848 CPUtime=2.13 cores=1,3,5,7
/proc/4572/stat : 4572 (java) S 4554 4554 3762 0 -1 1077944320 18188 0 0 0 153 60 0 0 20 0 19 0 224058152 8261857280 28712 33554432000 4194304 4196468 140731190232000 140731190214544 140020149726967 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
/proc/4572/statm: 2017055 28712 3142 1 0 1978454 0
[pid=4587] ppid=4572 vsize=96076 memory=68588 CPUtime=1776.76 cores=1,3,5,7
/proc/4587/stat : 4587 (minisat_release) R 4572 4554 3762 0 -1 4202496 164316 0 0 0 177659 17 0 0 20 0 1 0 224058225 98381824 17147 33554432000 4194304 4308513 140726417079408 140726417076312 4276015 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 25964544 140726417081461 140726417081558 140726417081558 140726417084357 0
/proc/4587/statm: 24019 17147 340 28 0 20259 0
[pid=4572/tid=4573] ppid=4554 vsize=8068220 memory=1004 CPUtime=0.76 cores=1,3,5,7
/proc/4572/task/4573/stat : 4573 (java) S 4554 4554 3762 0 -1 1077944384 15099 0 0 0 71 5 0 0 20 0 19 0 224058152 8261857280 28712 33554432000 4194304 4196468 140731190232000 140020121567120 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4574] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4574/stat : 4574 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140020153969296 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4575] ppid=4554 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4575/stat : 4575 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019962530320 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4576] ppid=4554 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4576/stat : 4576 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019961477520 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4577] ppid=4554 vsize=8068220 memory=34760 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4577/stat : 4577 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019633215760 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4578] ppid=4554 vsize=8068220 memory=4032 CPUtime=0.03 cores=1,3,5,7
/proc/4572/task/4578/stat : 4578 (java) S 4554 4554 3762 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019394743152 140020149738114 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4579] ppid=4554 vsize=8068220 memory=18232 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4579/stat : 4579 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018953741856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4580] ppid=4554 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4580/stat : 4580 (java) S 4554 4554 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018819519856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4581] ppid=4554 vsize=8068220 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4581/stat : 4581 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018445015376 140020149745563 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4582] ppid=4554 vsize=8068220 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/4572/task/4582/stat : 4582 (java) S 4554 4554 3762 0 -1 1077944384 659 0 0 0 7 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019393689968 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4583] ppid=4554 vsize=8068220 memory=960 CPUtime=0.1 cores=1,3,5,7
/proc/4572/task/4583/stat : 4583 (java) S 4554 4554 3762 0 -1 1077944384 287 0 0 0 10 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019392637168 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4584] ppid=4554 vsize=8068220 memory=114848 CPUtime=0.2 cores=1,3,5,7
/proc/4572/task/4584/stat : 4584 (java) S 4554 4554 3762 0 -1 1077944384 590 0 0 0 20 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019391584368 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4585] ppid=4554 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4585/stat : 4585 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017947109600 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4586] ppid=4554 vsize=8068220 memory=60908 CPUtime=0.92 cores=1,3,5,7
/proc/4572/task/4586/stat : 4586 (java) S 4554 4554 3762 0 -1 1077944384 119 0 0 0 37 55 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019390532784 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4588] ppid=4554 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4588/stat : 4588 (java) S 4554 4554 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019382724288 140020149751577 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4590] ppid=4554 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4590/stat : 4590 (java) S 4554 4554 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017410223888 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4591] ppid=4554 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4591/stat : 4591 (java) S 4554 4554 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017544445584 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4592] ppid=4554 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4592/stat : 4592 (java) S 4554 4554 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224058227 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017141800096 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
Current children cumulated CPU time: 1784.29 s
Current children cumulated vsize: 8277424 KiB
Current children cumulated memory: 184904 KiB
[startup+1780.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 4645
/proc/meminfo: memFree=8255948/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1468 CPUtime=5.4 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 589 24669 0 0 0 0 522 18 20 0 1 0 224057908 115843072 367 33554432000 4194304 5098028 140724155141152 140724155137896 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 367 311 221 0 87 0
[pid=4572] ppid=4554 vsize=8068220 memory=114848 CPUtime=2.13 cores=1,3,5,7
/proc/4572/stat : 4572 (java) S 4554 4554 3762 0 -1 1077944320 18188 0 0 0 153 60 0 0 20 0 19 0 224058152 8261857280 28712 33554432000 4194304 4196468 140731190232000 140731190214544 140020149726967 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
/proc/4572/statm: 2017055 28712 3142 1 0 1978454 0
[pid=4587] ppid=4572 vsize=96076 memory=68588 CPUtime=1777.55 cores=1,3,5,7
/proc/4587/stat : 4587 (minisat_release) R 4572 4554 3762 0 -1 4202496 164316 0 0 0 177738 17 0 0 20 0 1 0 224058225 98381824 17147 33554432000 4194304 4308513 140726417079408 140726417076312 4276015 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 25964544 140726417081461 140726417081558 140726417081558 140726417084357 0
/proc/4587/statm: 24019 17147 340 28 0 20259 0
[pid=4572/tid=4573] ppid=4554 vsize=8068220 memory=1468 CPUtime=0.76 cores=1,3,5,7
/proc/4572/task/4573/stat : 4573 (java) S 4554 4554 3762 0 -1 1077944384 15099 0 0 0 71 5 0 0 20 0 19 0 224058152 8261857280 28712 33554432000 4194304 4196468 140731190232000 140020121567120 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4574] ppid=4554 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4574/stat : 4574 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140020153969296 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4575] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4575/stat : 4575 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019962530320 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4576] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4576/stat : 4576 (java) S 4554 4554 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019961477520 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4577] ppid=4554 vsize=8068220 memory=114848 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4577/stat : 4577 (java) S 4554 4554 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224058153 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019633215760 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4578] ppid=4554 vsize=8068220 memory=1468 CPUtime=0.03 cores=1,3,5,7
/proc/4572/task/4578/stat : 4578 (java) S 4554 4554 3762 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019394743152 140020149738114 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4579] ppid=4554 vsize=8068220 memory=114848 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4579/stat : 4579 (java) S 4554 4554 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018953741856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4580] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4580/stat : 4580 (java) S 4554 4554 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224058155 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018819519856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4581] ppid=4554 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4581/stat : 4581 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140018445015376 140020149745563 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4582] ppid=4554 vsize=8068220 memory=114848 CPUtime=0.07 cores=1,3,5,7
/proc/4572/task/4582/stat : 4582 (java) S 4554 4554 3762 0 -1 1077944384 659 0 0 0 7 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019393689968 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4583] ppid=4554 vsize=8068220 memory=68588 CPUtime=0.1 cores=1,3,5,7
/proc/4572/task/4583/stat : 4583 (java) S 4554 4554 3762 0 -1 1077944384 287 0 0 0 10 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019392637168 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4584] ppid=4554 vsize=8068220 memory=3762542493851407957 CPUtime=0.2 cores=1,3,5,7
/proc/4572/task/4584/stat : 4584 (java) S 4554 4554 3762 0 -1 1077944384 590 0 0 0 20 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019391584368 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4585] ppid=4554 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4585/stat : 4585 (java) S 4554 4554 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017947109600 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4586] ppid=4554 vsize=8068220 memory=139654754491984 CPUtime=0.92 cores=1,3,5,7
/proc/4572/task/4586/stat : 4586 (java) S 4554 4554 3762 0 -1 1077944384 119 0 0 0 37 55 0 0 20 0 19 0 224058158 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019390532784 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4588] ppid=4554 vsize=8068220 memory=7084821273655853160 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4588/stat : 4588 (java) S 4554 4554 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140019382724288 140020149751577 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4590] ppid=4554 vsize=8068220 memory=114848 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4590/stat : 4590 (java) S 4554 4554 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017410223888 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4591] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4591/stat : 4591 (java) S 4554 4554 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224058225 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017544445584 140020149748893 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4592] ppid=4554 vsize=8068220 memory=68588 CPUtime=0 cores=1,3,5,7
/proc/4572/task/4592/stat : 4592 (java) S 4554 4554 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224058227 8261857280 28712 33554432000 4194304 4196468 140731190232000 140017141800096 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
Current children cumulated CPU time: 1785.08 s
Current children cumulated vsize: 8277424 KiB
Current children cumulated memory: 184904 KiB
[startup+1781.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 4645
/proc/meminfo: memFree=8255948/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=113128 memory=1468 CPUtime=5.4 cores=1,3,5,7
/proc/4554/stat : 4554 (scop.sh) S 4551 4554 3762 0 -1 4202496 589 24669 0 0 0 0 522 18 20 0 1 0 224057908 115843072 367 33554432000 4194304 5098028 140724155141152 140724155137896 140452065718908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13426688 140724155147328 140724155147527 140724155147527 140724155150285 0
/proc/4554/statm: 28282 367 311 221 0 87 0
[pid=4572] ppid=4554 vsize=7937144 memory=121552 CPUtime=1780.19 cores=1,3,5,7
/proc/4572/stat : 4572 (java) S 4554 4554 3762 0 -1 1077944320 18763 164337 0 0 173 60 177769 17 20 0 17 0 224058152 8127635456 30388 33554432000 4194304 4196468 140731190232000 140731190214544 140020149726967 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
/proc/4572/statm: 1984286 30388 3157 1 0 1945685 0
[pid=4572/tid=4573] ppid=4554 vsize=7937144 memory=68588 CPUtime=1778.68 cores=1,3,5,7
/proc/4572/task/4573/stat : 4573 (java) R 4554 4554 3762 0 -1 4202560 15295 164337 0 0 77 5 177769 17 20 0 17 0 224058152 8127635456 30388 33554432000 4194304 4196468 140731190232000 140020121562520 140020149740831 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4574] ppid=4554 vsize=7937144 memory=-5059952977386882957 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4574/stat : 4574 (java) S 4554 4554 3762 0 -1 1077944384 2 164337 0 0 0 0 177769 17 20 0 17 0 224058153 8127635456 30388 33554432000 4194304 4196468 140731190232000 140020153969296 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4575] ppid=4554 vsize=7937144 memory=1764 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4575/stat : 4575 (java) S 4554 4554 3762 0 -1 1077944384 2 164337 0 0 0 0 177769 17 20 0 17 0 224058153 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019962530320 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4576] ppid=4554 vsize=7937144 memory=1236 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4576/stat : 4576 (java) S 4554 4554 3762 0 -1 1077944384 2 164337 0 0 0 0 177769 17 20 0 17 0 224058153 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019961477520 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4577] ppid=4554 vsize=7937144 memory=960 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4577/stat : 4577 (java) S 4554 4554 3762 0 -1 1077944384 1 164337 0 0 0 0 177769 17 20 0 17 0 224058153 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019633215760 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4578] ppid=4554 vsize=7937144 memory=-5059952977386882957 CPUtime=1777.89 cores=1,3,5,7
/proc/4572/task/4578/stat : 4578 (java) S 4554 4554 3762 0 -1 1077944384 7 164337 0 0 2 1 177769 17 20 0 17 0 224058155 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019394743152 140020149738114 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4579] ppid=4554 vsize=7937144 memory=1236 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4579/stat : 4579 (java) S 4554 4554 3762 0 -1 1077944384 13 164337 0 0 0 0 177769 17 20 0 17 0 224058155 8127635456 30388 33554432000 4194304 4196468 140731190232000 140018953741856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4580] ppid=4554 vsize=7937144 memory=960 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4580/stat : 4580 (java) S 4554 4554 3762 0 -1 1077944384 21 164337 0 0 0 0 177769 17 20 0 17 0 224058155 8127635456 30388 33554432000 4194304 4196468 140731190232000 140018819519856 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4581] ppid=4554 vsize=7937144 memory=2452 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4581/stat : 4581 (java) S 4554 4554 3762 0 -1 1077944384 3 164337 0 0 0 0 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140018445015376 140020149745563 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4582] ppid=4554 vsize=7937144 memory=928 CPUtime=1777.96 cores=1,3,5,7
/proc/4572/task/4582/stat : 4582 (java) S 4554 4554 3762 0 -1 1077944384 748 164337 0 0 10 0 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019393689968 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4583] ppid=4554 vsize=7937144 memory=1572 CPUtime=1777.98 cores=1,3,5,7
/proc/4572/task/4583/stat : 4583 (java) S 4554 4554 3762 0 -1 1077944384 378 164337 0 0 12 0 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019392637168 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4584] ppid=4554 vsize=7937144 memory=2244 CPUtime=1778.12 cores=1,3,5,7
/proc/4572/task/4584/stat : 4584 (java) S 4554 4554 3762 0 -1 1077944384 727 164337 0 0 25 1 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019391584368 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4585] ppid=4554 vsize=7937144 memory=4124 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4585/stat : 4585 (java) S 4554 4554 3762 0 -1 1077944384 3 164337 0 0 0 0 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140017947109600 140020149737173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4586] ppid=4554 vsize=7937144 memory=2092 CPUtime=1778.78 cores=1,3,5,7
/proc/4572/task/4586/stat : 4586 (java) S 4554 4554 3762 0 -1 1077944384 119 164337 0 0 37 55 177769 17 20 0 17 0 224058158 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019390532784 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4588] ppid=4554 vsize=7937144 memory=8148 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4588/stat : 4588 (java) S 4554 4554 3762 0 -1 1077944384 26 164337 0 0 0 0 177769 17 20 0 17 0 224058225 8127635456 30388 33554432000 4194304 4196468 140731190232000 140019382723472 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
[pid=4572/tid=4592] ppid=4554 vsize=7937144 memory=920 CPUtime=1777.86 cores=1,3,5,7
/proc/4572/task/4592/stat : 4592 (java) S 4554 4554 3762 0 -1 1077944384 18 164337 0 0 0 0 177769 17 20 0 17 0 224058227 8127635456 30388 33554432000 4194304 4196468 140731190232000 140017141801904 140020149738114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140731190236342 140731190236465 140731190236465 140731190239183 0
Current children cumulated CPU time: 1785.59 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 123020 KiB
Child status: 0
Real time (s): 1781.22
CPU time (s): 1785.64
CPU user time (s): 1784.67
CPU system time (s): 0.968628
CPU usage (%): 100.248
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 539880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.67
system time used= 0.968628
maximum resident set size= 541472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44318
involuntary context switches= 1157
# summary of solver processes directly reported to runsolver:
# pid: 4554
# total CPU time (s): 1785.64
# total CPU user time (s): 1784.67
# total CPU system time (s): 0.968628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2244 second user time and 17.8834 second system time
The end