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-26176-serial-file.bin HOME/instance-4305609-1534087566.xml
0.55/0.51
0.55/0.51 scop both+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.67/0.54 c BEGIN-Prog: Sun Aug 12 17:26:07 CEST 2018
0.67/0.54 c PID: 26179
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.42/0.90 c (0,0) Parsing End
1.42/0.91 c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.42/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91 c (0,0) Constraint Name Generate Begin
1.42/0.92 c (0,0) Ctr:HOME/instance-4305609-1534087566.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.42/0.92 c (0,0) Constraint Name Generate End
1.42/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.92 c (0,0) CSP to CSPinCNF Begin
3.17/1.56 c (1,1) translated 5 (10%) constraints
3.17/1.57 c (1,1) translated 10 (20%) constraints
3.17/1.58 c (1,1) translated 14 (30%) constraints
3.17/1.58 c (1,1) translated 19 (40%) constraints
3.17/1.58 c (1,1) translated 23 (50%) constraints
3.17/1.59 c (1,1) translated 28 (60%) constraints
3.17/1.60 c (1,1) translated 33 (70%) constraints
3.17/1.60 c (1,1) translated 37 (80%) constraints
3.17/1.60 c (1,1) translated 42 (90%) constraints
3.49/1.60 c (1,1) translated 46 (100%) constraints
3.81/1.75 c (1,1) STATISTICS1:HOME/instance-4305609-1534087566.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,127,8048,9223372036854775807,127,127,13,9223372036854775807:30;8594754748609397760:12;67675234241018880:12;532875860165503:12;4130056320516:4;4097278095750:8;127:7260;126:493;125:254,127:15851;126:532;125:266,127:2;2:8001;1:45,13:6;12:12;11:12;10:12;9:12;8:12;7:12;2:8007;1:254,301401:6;258064:12;216225:12
3.81/1.75 c (1,1) ==========================================
3.81/1.75 c (1,1) Both Encoding selects:
3.81/1.75 c (1,1) Log
3.81/1.75 c (1,1) ==========================================
4.14/1.83 c (1,1) translated 805 (10%) constraints
4.14/1.89 c (1,1) translated 1610 (20%) constraints
4.44/1.94 c (1,1) translated 2415 (30%) constraints
4.44/1.99 c (1,1) translated 3220 (40%) constraints
4.78/2.04 c (1,1) translated 4024 (50%) constraints
4.78/2.08 c (1,1) translated 4829 (60%) constraints
5.08/2.12 c (1,1) translated 5634 (70%) constraints
5.08/2.15 c (1,1) translated 6439 (80%) constraints
5.08/2.19 c (1,1) translated 7244 (90%) constraints
5.35/2.22 c (1,1) translated 8048 (100%) constraints
5.35/2.23 c (1,1) CSP to CSPinCNF End
5.35/2.23 c (1,1) CSP: 127 int (0 aux), 0 bool (0 aux), 8087 ctr, max domain size 127
5.35/2.23 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.35/2.23 c (1,1) CSPinCNF Propagation Begin
5.68/2.32 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
5.68/2.32 c (1,1) CSPinCNF Propagation End
5.68/2.32 c (1,1) CSP: 127 int (0 aux), 0 bool (0 aux), 8087 ctr, max domain size 127
5.68/2.32 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.68/2.32 c (1,1) Simplify CSPinCNF Begin
6.94/2.78 c (2,2) Simplify CSPinCNF End
6.94/2.78 c (2,2) CSP: 127 int (0 aux), 16002 bool (16002 aux), 24089 ctr, max domain size 127
6.94/2.78 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.94/2.78 c (2,2) Calculate Precise Domain Begin
6.94/2.79 c (2,2) 0 values are removed by re-calculation
6.94/2.79 c (2,2) Calculate Precise Domain End
6.94/2.79 c (2,2) CSP: 127 int (0 aux), 16002 bool (16002 aux), 24089 ctr, max domain size 127
6.94/2.79 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.94/2.79 c (2,2) CSPinCNF to SatSolver Begin
9.44/3.52 c (3,2) 2409 (10 %) CSP clauses are being encoded (49694 SAT variables, 78950 SAT clauses)
10.19/3.89 c (3,3) 4818 (20 %) CSP clauses are being encoded (82413 SAT variables, 158084 SAT clauses)
11.00/4.23 c (3,3) 7227 (30 %) CSP clauses are being encoded (113134 SAT variables, 233108 SAT clauses)
11.56/4.54 c (4,4) 9636 (40 %) CSP clauses are being encoded (143855 SAT variables, 308130 SAT clauses)
11.89/4.85 c (4,4) 12045 (50 %) CSP clauses are being encoded (174603 SAT variables, 383201 SAT clauses)
12.21/5.16 c (4,4) 14454 (60 %) CSP clauses are being encoded (205378 SAT variables, 458315 SAT clauses)
12.50/5.47 c (4,4) 16863 (70 %) CSP clauses are being encoded (236189 SAT variables, 533489 SAT clauses)
12.80/5.79 c (5,5) 19272 (80 %) CSP clauses are being encoded (267045 SAT variables, 608738 SAT clauses)
13.11/6.10 c (5,5) 21681 (90 %) CSP clauses are being encoded (298333 SAT variables, 684707 SAT clauses)
16.37/7.32 c (6,6) 24089 (100 %) CSP clauses are being encoded (386839 SAT variables, 923935 SAT clauses)
16.37/7.32 c (6,6) Launch Command will be: minisat_release
16.37/7.32 c (6,6) CSPinCNF to SatSolver End
16.37/7.32 c (6,6) Heap : 733 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.96/7.51 c (6,6) STATISTICS2:HOME/instance-4305609-1534087566.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,16129,24089,9223372036854775807,127,125,13,9223372036854775807:30;8594754748609397760:12;67675234241018880:12;532875860165503:12;4130056320516:4;4097278095750:4;4064760015625:4;127:14520;126:732;125:756,127:31460;126:780;125:785;2:32004,125:1;122:1;2:24003;1:84,13:6;12:12;11:12;10:12;9:12;8:12;7:12;2:16008;1:32251,127:30
16.96/7.51 c (6,6) 386859 bool, 923980 clause
16.96/7.51 c (6,6) Export Begin
17.27/7.65 c (7,6) Export to HOME/scop-26176-serial-file.bin
17.27/7.65 c (7,6) Export End
17.27/7.65 c (7,6) Export File Size: 0.16 MB
17.27/7.65 c (7,6) 0,0,1,1,2,2,6,STOP-AFTER(DIMACS)
17.27/7.65 c END-Prog: Sun Aug 12 17:26:14 CEST 2018
17.27/7.69 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26176-serial-file.bin
18.00/8.17 c (0,0) Read Serial File Begin
18.00/8.17 c (0,0) HOME/scop-26176-serial-file.bin
18.58/8.41 c (0,0) Read Serial File End
18.58/8.42
18.58/8.42 scop log+minisat_release (2018-07-31)
18.58/8.42 (Solving Process)
18.58/8.42
18.58/8.44 c BEGIN-Prog: Sun Aug 12 17:26:15 CEST 2018
18.58/8.44 c PID: 26194
18.58/8.44 c IP: 172.20.3.135
18.58/8.44 c HOST: node135.alineos.net
18.58/8.45 c (0,0) SatSolver.solve Begin
18.58/8.45 c (0,0) 0 bool, 0 clause
18.58/8.45 c (0,0) minisat_release HOME/instance-4305609-1534087566.xml-scop-26179.cnf
2520.08/2508.40 c (2500,0) receiving signal SIGTERM
2520.08/2508.40 s UNKNOWN
2520.08/2508.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2508.41 c (scop.sh) Remove HOME/scop-26176-serial-file.bin.
2520.08/2508.41 c (scop.sh) Killing background jobs.
2520.08/2508.41 c (2500,0) receiving signal SIGTERM
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 (7466 MiB free)
memory of node 1: 16384 MiB (5135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305609-1534087566/watcher-4305609-1534087566 -o /tmp/evaluation-result-4305609-1534087566/solver-4305609-1534087566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305609-1534087566.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
Current StackSize limit: 8192 KiB
solver pid=26176, runsolver pid=26173
[startup+0.100091 s]*
/proc/loadavg: 2.07 2.09 2.10 3/226 26193
/proc/meminfo: memFree=12842700/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226319802 115843072 349 33554432000 4194304 5098028 140731070849632 140731070846888 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 349 296 221 0 87 0
[pid=26179] ppid=26176 vsize=15012476 memory=74372 CPUtime=0.11 cores=1,3,5,7
/proc/26179/stat : 26179 (java) S 26176 26176 19383 0 -1 1077944320 6714 0 0 0 10 1 0 0 20 0 15 0 226319802 15372775424 18593 33554432000 4194304 4196468 140721059486112 140721059468656 140636293381879 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
/proc/26179/statm: 3753119 18593 2770 1 0 3715579 0
[pid=26179/tid=26180] ppid=26176 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/26179/task/26180/stat : 26180 (java) R 26176 26176 19383 0 -1 4202560 4815 0 0 0 8 1 0 0 20 0 15 0 226319802 15372775424 18593 33554432000 4194304 4196468 140721059486112 140636265193864 140636273657628 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26181] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26181/stat : 26181 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 18593 33554432000 4194304 4196468 140721059486112 140636297624336 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26182] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26182/stat : 26182 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 18659 33554432000 4194304 4196468 140721059486112 140636088707984 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26183] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26183/stat : 26183 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635752709136 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26184] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26184/stat : 26184 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635751656592 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26185] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26185/stat : 26185 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319805 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635700111344 140636293393026 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26186] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26186/stat : 26186 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 18659 33554432000 4194304 4196468 140721059486112 140634878895008 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26187] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26187/stat : 26187 (java) S 26176 26176 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 18659 33554432000 4194304 4196468 140721059486112 140634744673264 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26188] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26188/stat : 26188 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319808 15372775424 18659 33554432000 4194304 4196468 140721059486112 140634370169040 140636293400475 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26189] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26189/stat : 26189 (java) S 26176 26176 19383 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 226319808 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635699059184 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26190] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26190/stat : 26190 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319808 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635698006640 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26191] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0.01 cores=1,3,5,7
/proc/26179/task/26191/stat : 26191 (java) S 26176 26176 19383 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 226319808 15372775424 18659 33554432000 4194304 4196468 140721059486112 140635696954096 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26192] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26192/stat : 26192 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 18659 33554432000 4194304 4196468 140721059486112 140633872264288 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26193] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26193/stat : 26193 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 18725 33554432000 4194304 4196468 140721059486112 140635695900976 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75768 KiB
[startup+0.210939 s]*
/proc/loadavg: 2.07 2.09 2.10 3/226 26193
/proc/meminfo: memFree=12829368/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226319802 115843072 349 33554432000 4194304 5098028 140731070849632 140731070846888 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 349 296 221 0 87 0
[pid=26179] ppid=26176 vsize=15012476 memory=86124 CPUtime=0.27 cores=1,3,5,7
/proc/26179/stat : 26179 (java) S 26176 26176 19383 0 -1 1077944320 9911 0 0 0 24 3 0 0 20 0 15 0 226319802 15372775424 21531 33554432000 4194304 4196468 140721059486112 140721059468656 140636293381879 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
/proc/26179/statm: 3753119 21531 2904 1 0 3715579 0
[pid=26179/tid=26180] ppid=26176 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/26179/task/26180/stat : 26180 (java) R 26176 26176 19383 0 -1 4202560 7790 0 0 0 18 2 0 0 20 0 15 0 226319802 15372775424 21531 33554432000 4194304 4196468 140721059486112 140636265171584 140635768196896 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26181] ppid=26176 vsize=15012476 memory=550 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26181/stat : 26181 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 21531 33554432000 4194304 4196468 140721059486112 140636297624336 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26182] ppid=26176 vsize=15012476 memory=140530752320539 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26182/stat : 26182 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 21531 33554432000 4194304 4196468 140721059486112 140636088707984 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26183] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26183/stat : 26183 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635752709136 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26184] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26184/stat : 26184 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635751656592 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26185] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26185/stat : 26185 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319805 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635700111344 140636293393026 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26186] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26186/stat : 26186 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 21531 33554432000 4194304 4196468 140721059486112 140634878895008 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26187] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26187/stat : 26187 (java) S 26176 26176 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 21531 33554432000 4194304 4196468 140721059486112 140634744673264 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26188] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26188/stat : 26188 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319808 15372775424 21531 33554432000 4194304 4196468 140721059486112 140634370169040 140636293400475 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26189] ppid=26176 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26179/task/26189/stat : 26189 (java) R 26176 26176 19383 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 15 0 226319808 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635699059184 140636277277891 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26190] ppid=26176 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26179/task/26190/stat : 26190 (java) S 26176 26176 19383 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 226319808 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635698006640 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26191] ppid=26176 vsize=15012476 memory=140530752296576 CPUtime=0.03 cores=1,3,5,7
/proc/26179/task/26191/stat : 26191 (java) R 26176 26176 19383 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 226319808 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635696954096 140636293393026 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26192] ppid=26176 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26192/stat : 26192 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 21531 33554432000 4194304 4196468 140721059486112 140633872264288 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26193] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26193/stat : 26193 (java) R 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 21531 33554432000 4194304 4196468 140721059486112 140635695900976 140636293393026 0 4 2 16800973 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87520 KiB
[startup+0.310922 s]*
/proc/loadavg: 2.07 2.09 2.10 3/226 26193
/proc/meminfo: memFree=12825708/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226319802 115843072 349 33554432000 4194304 5098028 140731070849632 140731070846888 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 349 296 221 0 87 0
[pid=26179] ppid=26176 vsize=15012476 memory=89656 CPUtime=0.43 cores=1,3,5,7
/proc/26179/stat : 26179 (java) S 26176 26176 19383 0 -1 1077944320 10444 0 0 0 40 3 0 0 20 0 15 0 226319802 15372775424 22414 33554432000 4194304 4196468 140721059486112 140721059468656 140636293381879 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
/proc/26179/statm: 3753119 22414 2973 1 0 3715579 0
[pid=26179/tid=26180] ppid=26176 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26179/task/26180/stat : 26180 (java) R 26176 26176 19383 0 -1 4202560 8168 0 0 0 27 2 0 0 20 0 15 0 226319802 15372775424 22414 33554432000 4194304 4196468 140721059486112 140636265176880 140636274945454 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26181] ppid=26176 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26181/stat : 26181 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 22414 33554432000 4194304 4196468 140721059486112 140636297624336 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26182] ppid=26176 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26182/stat : 26182 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 22414 33554432000 4194304 4196468 140721059486112 140636088707984 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26183] ppid=26176 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26183/stat : 26183 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635752709136 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26184] ppid=26176 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26184/stat : 26184 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319804 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635751656592 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26185] ppid=26176 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26185/stat : 26185 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319805 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635700111344 140636293393026 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26186] ppid=26176 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26186/stat : 26186 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 22414 33554432000 4194304 4196468 140721059486112 140634878895008 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26187] ppid=26176 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26187/stat : 26187 (java) S 26176 26176 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226319806 15372775424 22414 33554432000 4194304 4196468 140721059486112 140634744673264 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26188] ppid=26176 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26188/stat : 26188 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319808 15372775424 22414 33554432000 4194304 4196468 140721059486112 140634370169040 140636293400475 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26189] ppid=26176 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26179/task/26189/stat : 26189 (java) R 26176 26176 19383 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 226319808 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635699059184 140636293393026 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26190] ppid=26176 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26179/task/26190/stat : 26190 (java) R 26176 26176 19383 0 -1 4202560 246 0 0 0 3 0 0 0 20 0 15 0 226319808 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635698006640 140636278490839 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26191] ppid=26176 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26179/task/26191/stat : 26191 (java) R 26176 26176 19383 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 226319808 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635696954096 140636285619006 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26192] ppid=26176 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26192/stat : 26192 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 22414 33554432000 4194304 4196468 140721059486112 140633872264288 140636293392085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26193] ppid=26176 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26193/stat : 26193 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319809 15372775424 22414 33554432000 4194304 4196468 140721059486112 140635695900976 140636293393026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91052 KiB
[startup+0.700773 s]
/proc/loadavg: 2.07 2.09 2.10 3/226 26193
/proc/meminfo: memFree=12801648/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226319802 115843072 349 33554432000 4194304 5098028 140731070849632 140731070846888 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 349 296 221 0 87 0
[pid=26179] ppid=26176 vsize=15020872 memory=129604 CPUtime=1.02 cores=1,3,5,7
/proc/26179/stat : 26179 (java) S 26176 26176 19383 0 -1 1077944320 17632 0 0 0 96 6 0 0 20 0 15 0 226319802 15381372928 32401 33554432000 4194304 4196468 140721059486112 140721059468656 140636293381879 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
/proc/26179/statm: 3755218 32401 3161 1 0 3716603 0
[pid=26179/tid=26180] ppid=26176 vsize=15020872 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26179/task/26180/stat : 26180 (java) R 26176 26176 19383 0 -1 4202560 14897 0 0 0 62 5 0 0 20 0 15 0 226319802 15381372928 32401 33554432000 4194304 4196468 140721059486112 140636265218272 140636293403805 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26181] ppid=26176 vsize=15020872 memory=288230377057958153 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26181/stat : 26181 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15381372928 32401 33554432000 4194304 4196468 140721059486112 140636297624336 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26182] ppid=26176 vsize=15020872 memory=14975555351106623 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26182/stat : 26182 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15381372928 32401 33554432000 4194304 4196468 140721059486112 140636088707984 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26183] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26183/stat : 26183 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319804 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635752709136 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26184] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26184/stat : 26184 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226319804 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635751656592 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26185] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26185/stat : 26185 (java) S 26176 26176 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226319805 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635700111344 140636293393026 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26186] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26186/stat : 26186 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226319806 15381372928 32401 33554432000 4194304 4196468 140721059486112 140634878895008 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26187] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26187/stat : 26187 (java) S 26176 26176 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226319806 15381372928 32401 33554432000 4194304 4196468 140721059486112 140634744673264 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26188] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26188/stat : 26188 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319808 15381372928 32401 33554432000 4194304 4196468 140721059486112 140634370169040 140636293400475 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26189] ppid=26176 vsize=15020872 memory=281061183455472 CPUtime=0.07 cores=1,3,5,7
/proc/26179/task/26189/stat : 26189 (java) R 26176 26176 19383 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 15 0 226319808 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635699059184 140636293393026 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26190] ppid=26176 vsize=15020872 memory=6942133144549615185 CPUtime=0.1 cores=1,3,5,7
/proc/26179/task/26190/stat : 26190 (java) S 26176 26176 19383 0 -1 1077944384 476 0 0 0 10 0 0 0 20 0 15 0 226319808 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635698006640 140636293393026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26191] ppid=26176 vsize=15020872 memory=7594587674001172330 CPUtime=0.16 cores=1,3,5,7
/proc/26179/task/26191/stat : 26191 (java) S 26176 26176 19383 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 15 0 226319808 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635696954096 140636293393026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26192] ppid=26176 vsize=15020872 memory=7649399362873800242 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26192/stat : 26192 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226319809 15381372928 32401 33554432000 4194304 4196468 140721059486112 140633872264288 140636293392085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
[pid=26179/tid=26193] ppid=26176 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26179/task/26193/stat : 26193 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226319809 15381372928 32401 33554432000 4194304 4196468 140721059486112 140635695900976 140636293393026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140721059492871 140721059493169 140721059493169 140721059495887 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131000 KiB
[startup+1.50792 s]
/proc/loadavg: 2.07 2.09 2.10 5/226 26193
/proc/meminfo: memFree=12772748/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226319802 115843072 349 33554432000 4194304 5098028 140731070849632 140731070846888 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=26194/tid=26197] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26197/stat : 26197 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827715480336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26198] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26198/stat : 26198 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827714428048 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26199] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26199/stat : 26199 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827713375248 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26200] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/26194/task/26200/stat : 26200 (java) S 26176 26176 19383 0 -1 1077944384 7 0 0 0 1 4 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827021338736 139827911080578 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26201] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26201/stat : 26201 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826821063456 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26202] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26202/stat : 26202 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826552628336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26203] ppid=26176 vsize=8068220 memory=282500 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26203/stat : 26203 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826178119760 139827911088027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26204] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.18 cores=1,3,5,7
/proc/26194/task/26204/stat : 26204 (java) S 26176 26176 19383 0 -1 1077944384 835 0 0 0 18 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827020286576 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26205] ppid=26176 vsize=8068220 memory=282500 CPUtime=0.16 cores=1,3,5,7
/proc/26194/task/26205/stat : 26205 (java) S 26176 26176 19383 0 -1 1077944384 514 0 0 0 16 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827019233776 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26206] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/26194/task/26206/stat : 26206 (java) S 26176 26176 19383 0 -1 1077944384 663 0 0 0 23 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827018181488 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26207] ppid=26176 vsize=8068220 memory=280452 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26207/stat : 26207 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825680215008 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26208] ppid=26176 vsize=8068220 memory=274040 CPUtime=1.35 cores=1,3,5,7
/proc/26194/task/26208/stat : 26208 (java) S 26176 26176 19383 0 -1 1077944384 163 0 0 0 63 72 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827017128368 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26210] ppid=26176 vsize=8068220 memory=-7824251494390781034 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26210/stat : 26210 (java) S 26176 26176 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827223999424 139827911094041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26212] ppid=26176 vsize=8068220 memory=2668 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26212/stat : 26212 (java) S 26176 26176 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825143328304 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26213] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26213/stat : 26213 (java) S 26176 26176 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825277550512 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26214] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26214/stat : 26214 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320652 8261857280 30251 33554432000 4194304 4196468 140734347610528 139824874904992 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
Current children cumulated CPU time: 2453.95 s
Current children cumulated vsize: 8481812 KiB
Current children cumulated memory: 388324 KiB
[startup+2502.3 s]
/proc/loadavg: 2.22 2.17 2.10 3/231 26513
/proc/meminfo: memFree=12488360/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1472 CPUtime=17.45 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 591 39399 0 0 0 0 1651 94 20 0 1 0 226319802 115843072 368 33554432000 4194304 5098028 140731070849632 140731070846376 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 368 311 221 0 87 0
[pid=26194] ppid=26176 vsize=8068220 memory=121004 CPUtime=2.86 cores=1,3,5,7
/proc/26194/stat : 26194 (java) S 26176 26176 19383 0 -1 1077944320 18624 0 0 0 208 78 0 0 20 0 19 0 226320571 8261857280 30251 33554432000 4194304 4196468 140734347610528 140734347593072 139827911069431 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
/proc/26194/statm: 2017055 30251 3158 1 0 1978454 0
[pid=26209] ppid=26194 vsize=300464 memory=269948 CPUtime=2493.67 cores=1,3,5,7
/proc/26209/stat : 26209 (minisat_release) R 26194 26176 19383 0 -1 4202496 2059872 0 0 0 248804 563 0 0 20 0 1 0 226320649 307675136 67487 33554432000 4194304 4308513 140734208912784 140734208910232 4269580 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 40947712 140734208914548 140734208914646 140734208914646 140734208917445 0
/proc/26209/statm: 75116 67487 341 28 0 71356 0
[pid=26194/tid=26195] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.8 cores=1,3,5,7
/proc/26194/task/26195/stat : 26195 (java) S 26176 26176 19383 0 -1 1077944384 15035 0 0 0 75 5 0 0 20 0 19 0 226320571 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827882909584 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26196] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26196/stat : 26196 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827915312016 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26197] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26197/stat : 26197 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827715480336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26198] ppid=26176 vsize=8068220 memory=61584 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26198/stat : 26198 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827714428048 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26199] ppid=26176 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26199/stat : 26199 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827713375248 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26200] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/26194/task/26200/stat : 26200 (java) S 26176 26176 19383 0 -1 1077944384 7 0 0 0 1 4 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827021338736 139827911080578 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26201] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26201/stat : 26201 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826821063456 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26202] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26202/stat : 26202 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826552628336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26203] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26203/stat : 26203 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826178119760 139827911088027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26204] ppid=26176 vsize=8068220 memory=275092 CPUtime=0.18 cores=1,3,5,7
/proc/26194/task/26204/stat : 26204 (java) S 26176 26176 19383 0 -1 1077944384 835 0 0 0 18 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827020286576 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26205] ppid=26176 vsize=8068220 memory=3560 CPUtime=0.16 cores=1,3,5,7
/proc/26194/task/26205/stat : 26205 (java) S 26176 26176 19383 0 -1 1077944384 514 0 0 0 16 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827019233776 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26206] ppid=26176 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/26194/task/26206/stat : 26206 (java) S 26176 26176 19383 0 -1 1077944384 663 0 0 0 23 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827018181488 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26207] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26207/stat : 26207 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825680215008 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26208] ppid=26176 vsize=8068220 memory=274380 CPUtime=1.37 cores=1,3,5,7
/proc/26194/task/26208/stat : 26208 (java) S 26176 26176 19383 0 -1 1077944384 167 0 0 0 64 73 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827017128368 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26210] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26210/stat : 26210 (java) S 26176 26176 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827223999424 139827911094041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26212] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26212/stat : 26212 (java) S 26176 26176 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825143328304 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26213] ppid=26176 vsize=8068220 memory=274380 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26213/stat : 26213 (java) S 26176 26176 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825277550512 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26214] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26214/stat : 26214 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320652 8261857280 30251 33554432000 4194304 4196468 140734347610528 139824874904992 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
Current children cumulated CPU time: 2513.98 s
Current children cumulated vsize: 8481812 KiB
Current children cumulated memory: 392424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.4 s]
/proc/loadavg: 2.20 2.17 2.10 3/231 26514
/proc/meminfo: memFree=12490168/32770624 swapFree=67108860/67108860
[pid=26176] ppid=26173 vsize=113128 memory=1472 CPUtime=17.45 cores=1,3,5,7
/proc/26176/stat : 26176 (scop.sh) S 26173 26176 19383 0 -1 4202496 591 39399 0 0 0 0 1651 94 20 0 1 0 226319802 115843072 368 33554432000 4194304 5098028 140731070849632 140731070846376 140608745615996 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23314432 140731070858305 140731070858503 140731070858503 140731070861261 0
/proc/26176/statm: 28282 368 311 221 0 87 0
[pid=26194] ppid=26176 vsize=8068220 memory=121004 CPUtime=2.86 cores=1,3,5,7
/proc/26194/stat : 26194 (java) S 26176 26176 19383 0 -1 1077944320 18624 0 0 0 208 78 0 0 20 0 19 0 226320571 8261857280 30251 33554432000 4194304 4196468 140734347610528 140734347593072 139827911069431 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
/proc/26194/statm: 2017055 30251 3158 1 0 1978454 0
[pid=26209] ppid=26194 vsize=300464 memory=268068 CPUtime=2499.77 cores=1,3,5,7
/proc/26209/stat : 26209 (minisat_release) R 26194 26176 19383 0 -1 4202496 2060460 0 0 0 249413 564 0 0 20 0 1 0 226320649 307675136 67017 33554432000 4194304 4308513 140734208912784 140734208910232 4269696 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 40947712 140734208914548 140734208914646 140734208914646 140734208917445 0
/proc/26209/statm: 75116 67017 341 28 0 71356 0
[pid=26194/tid=26195] ppid=26176 vsize=8068220 memory=828 CPUtime=0.8 cores=1,3,5,7
/proc/26194/task/26195/stat : 26195 (java) S 26176 26176 19383 0 -1 1077944384 15035 0 0 0 75 5 0 0 20 0 19 0 226320571 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827882909584 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26196] ppid=26176 vsize=8068220 memory=116912 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26196/stat : 26196 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827915312016 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26197] ppid=26176 vsize=8068220 memory=66816 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26197/stat : 26197 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827715480336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26198] ppid=26176 vsize=8068220 memory=-7824251494390782823 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26198/stat : 26198 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827714428048 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26199] ppid=26176 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26199/stat : 26199 (java) S 26176 26176 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226320572 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827713375248 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26200] ppid=26176 vsize=8068220 memory=2192 CPUtime=0.05 cores=1,3,5,7
/proc/26194/task/26200/stat : 26200 (java) S 26176 26176 19383 0 -1 1077944384 7 0 0 0 1 4 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827021338736 139827911080578 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26201] ppid=26176 vsize=8068220 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26201/stat : 26201 (java) S 26176 26176 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826821063456 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26202] ppid=26176 vsize=8068220 memory=828 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26202/stat : 26202 (java) S 26176 26176 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226320574 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826552628336 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26203] ppid=26176 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26203/stat : 26203 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139826178119760 139827911088027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26204] ppid=26176 vsize=8068220 memory=912 CPUtime=0.18 cores=1,3,5,7
/proc/26194/task/26204/stat : 26204 (java) S 26176 26176 19383 0 -1 1077944384 835 0 0 0 18 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827020286576 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26205] ppid=26176 vsize=8068220 memory=3848 CPUtime=0.16 cores=1,3,5,7
/proc/26194/task/26205/stat : 26205 (java) S 26176 26176 19383 0 -1 1077944384 514 0 0 0 16 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827019233776 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26206] ppid=26176 vsize=8068220 memory=3248 CPUtime=0.23 cores=1,3,5,7
/proc/26194/task/26206/stat : 26206 (java) S 26176 26176 19383 0 -1 1077944384 663 0 0 0 23 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827018181488 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26207] ppid=26176 vsize=8068220 memory=2668 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26207/stat : 26207 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825680215008 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26208] ppid=26176 vsize=8068220 memory=1408 CPUtime=1.38 cores=1,3,5,7
/proc/26194/task/26208/stat : 26208 (java) S 26176 26176 19383 0 -1 1077944384 167 0 0 0 65 73 0 0 20 0 19 0 226320577 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827017128368 139827911080578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26210] ppid=26176 vsize=8068220 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26210/stat : 26210 (java) S 26176 26176 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139827223999424 139827911094041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26212] ppid=26176 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26212/stat : 26212 (java) S 26176 26176 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825143328304 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26213] ppid=26176 vsize=8068220 memory=121004 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26213/stat : 26213 (java) S 26176 26176 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226320649 8261857280 30251 33554432000 4194304 4196468 140734347610528 139825277550512 139827911091357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
[pid=26194/tid=26214] ppid=26176 vsize=8068220 memory=274044 CPUtime=0 cores=1,3,5,7
/proc/26194/task/26214/stat : 26214 (java) S 26176 26176 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226320652 8261857280 30251 33554432000 4194304 4196468 140734347610528 139824874904992 139827911079637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140734347617461 140734347617585 140734347617585 140734347620303 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8481812 KiB
Current children cumulated memory: 390544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.41 s]
# the end of solver process 26176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.515 s, system=0.950904 s
[startup+2508.43 s]
# the end of solver process 26194 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.74 s, system=7.40942 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2508.43
CPU time (s): 2520.15
CPU user time (s): 2512.74
CPU system time (s): 7.40942
CPU usage (%): 100.467
Max. virtual memory (cumulated for all children) (KiB): 15142572
Max. memory (cumulated for all children) (KiB): 3249892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.74
system time used= 7.40942
maximum resident set size= 3249552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2119617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59587
involuntary context switches= 3799
# summary of solver processes directly reported to runsolver:
# pid: 26176,26194
# total CPU time (s): 2520.15
# total CPU user time (s): 2512.74
# total CPU system time (s): 7.40942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1315 second user time and 26.0689 second system time
The end