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-23987-serial-file.bin HOME/instance-4305405-1534091746.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.51 (Encoding Process)
0.54/0.51
0.67/0.54 c BEGIN-Prog: Sun Aug 12 18:35:47 CEST 2018
0.67/0.54 c PID: 23990
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.76/1.04 c (0,0) Parsing End
1.76/1.05 c (0,0) CSP: 190 int (0 aux), 0 bool (0 aux), 182 ctr, max domain size 100
1.76/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.76/1.05 c (0,0) Constraint Name Generate Begin
1.76/1.06 c (0,0) Ctr:HOME/instance-4305405-1534091746.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.76/1.07 c (0,0) Constraint Name Generate End
1.76/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.76/1.07 c (0,0) CSP to CSPinCNF Begin
3.08/1.58 c (1,1) translated 19 (10%) constraints
3.36/1.69 c (1,1) translated 37 (20%) constraints
3.67/1.79 c (1,1) translated 55 (30%) constraints
3.96/1.87 c (1,1) translated 73 (40%) constraints
4.27/1.94 c (1,1) translated 91 (50%) constraints
4.27/1.95 c (1,1) translated 110 (60%) constraints
4.27/1.96 c (1,1) translated 128 (70%) constraints
4.27/1.96 c (1,1) translated 146 (80%) constraints
4.27/1.97 c (1,1) translated 164 (90%) constraints
4.27/1.97 c (1,1) translated 182 (100%) constraints
4.96/2.12 c (1,1) STATISTICS1:HOME/instance-4305405-1534091746.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,190,10040,100,100,10,3,100:180;10:720;1:180,100:9090;10:10260;1:1130,10:40;3:9000;2:900;1:100,3:180;2:900;1:27420,
4.96/2.12 c (1,1) ==========================================
4.96/2.12 c (1,1) Order
4.96/2.12 c (1,1) ==========================================
5.33/2.22 c (1,1) translated 1004 (10%) constraints
5.64/2.35 c (1,1) translated 2008 (20%) constraints
5.95/2.43 c (1,1) translated 3012 (30%) constraints
6.20/2.51 c (1,1) translated 4016 (40%) constraints
6.47/2.61 c (2,2) translated 5020 (50%) constraints
6.77/2.70 c (2,2) translated 6024 (60%) constraints
6.77/2.79 c (2,2) translated 7028 (70%) constraints
7.07/2.86 c (2,2) translated 8032 (80%) constraints
7.37/2.93 c (2,2) translated 9036 (90%) constraints
7.71/3.01 c (2,2) translated 10040 (100%) constraints
7.71/3.02 c (2,2) CSP to CSPinCNF End
7.71/3.02 c (2,2) CSP: 190 int (0 aux), 1000 bool (1000 aux), 28140 ctr, max domain size 100
7.71/3.02 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.71/3.02 c (2,2) CSPinCNF Propagation Begin
8.62/3.34 c (2,2) 350 values, 3288 unsatisfiable literals, and 4840 valid clauses are removed
8.62/3.34 c (2,2) CSPinCNF Propagation End
8.62/3.35 c (2,2) CSP: 320 int (130 aux), 870 bool (870 aux), 23300 ctr, max domain size 98
8.62/3.35 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.62/3.35 c (2,2) Simplify CSPinCNF Begin
8.93/3.47 c (2,2) Simplify CSPinCNF End
8.93/3.47 c (2,2) CSP: 320 int (130 aux), 2590 bool (2590 aux), 25020 ctr, max domain size 98
8.93/3.47 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.93/3.47 c (2,2) Calculate Precise Domain Begin
8.93/3.47 c (2,2) 0 values are removed by re-calculation
8.93/3.47 c (2,2) Calculate Precise Domain End
8.93/3.47 c (2,2) CSP: 320 int (130 aux), 2590 bool (2590 aux), 25020 ctr, max domain size 98
8.93/3.47 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.93/3.47 c (2,2) CSPinCNF to SatSolver Begin
9.95/3.70 c (3,3) 2502 (10 %) CSP clauses are encoded (11634 SAT variables, 22775 SAT clauses)
9.95/3.73 c (3,3) 5004 (20 %) CSP clauses are encoded (11634 SAT variables, 25835 SAT clauses)
9.95/3.76 c (3,3) 7506 (30 %) CSP clauses are encoded (11634 SAT variables, 28337 SAT clauses)
9.95/3.78 c (3,3) 10008 (40 %) CSP clauses are encoded (11634 SAT variables, 30839 SAT clauses)
10.25/3.80 c (3,3) 12510 (50 %) CSP clauses are encoded (11634 SAT variables, 33341 SAT clauses)
10.25/3.83 c (3,3) 15012 (60 %) CSP clauses are encoded (11634 SAT variables, 35843 SAT clauses)
10.25/3.84 c (3,3) 17514 (70 %) CSP clauses are encoded (11634 SAT variables, 38345 SAT clauses)
10.25/3.86 c (3,3) 20016 (80 %) CSP clauses are encoded (11634 SAT variables, 40847 SAT clauses)
10.25/3.88 c (3,3) 22518 (90 %) CSP clauses are encoded (11634 SAT variables, 43349 SAT clauses)
10.55/3.94 c (3,3) 25020 (100 %) CSP clauses are encoded (11634 SAT variables, 61722 SAT clauses)
10.55/3.94 c (3,3) Launch Command will be: minisat_release
10.55/3.94 c (3,3) CSPinCNF to SatSolver End
10.55/3.94 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.89/4.06 c (3,3) STATISTICS2:HOME/instance-4305405-1534091746.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,2910,25020,100,98,8,3,100:112;81:56;64:12;10:672;9:584;8:184;1:280,98:8232;97:2716;87:4524;86:344;76:912;10:11536;9:5152;8:980;2:24898;1:280,8:36;3:7418;2:17386;1:180,3:180;2:1720;1:55594,
10.89/4.06 c (3,3) 11634 bool, 61784 clause
10.89/4.06 c (3,3) Export Begin
11.34/4.27 c (3,3) Export to HOME/scop-23987-serial-file.bin
11.34/4.27 c (3,3) Export End
11.34/4.27 c (3,3) Export File Size: 0.03 MB
11.34/4.27 c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.34/4.27 c END-Prog: Sun Aug 12 18:35:50 CEST 2018
11.34/4.30 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23987-serial-file.bin
11.57/4.78 c (0,0) Read Serial File Begin
11.57/4.78 c (0,0) HOME/scop-23987-serial-file.bin
11.57/4.95 c (0,0) Read Serial File End
11.57/4.97
11.57/4.97 scop order+minisat_release (2018-07-31)
11.57/4.97 (Solving Process)
11.57/4.97
11.57/4.99 c BEGIN-Prog: Sun Aug 12 18:35:51 CEST 2018
11.57/4.99 c PID: 24005
11.57/4.99 c IP: 172.20.3.107
11.57/4.99 c HOST: node107.alineos.net
11.57/4.99 c (0,0) SatSolver.solve Begin
11.57/4.99 c (0,0) 0 bool, 0 clause
11.57/4.99 c (0,0) minisat_release HOME/instance-4305405-1534091746.xml-scop-23990.cnf
2520.01/2511.01 c (2506,0) SatSolver is killed by some reasons.
2520.01/2511.01 c (2506,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.01/2511.01 s UNKNOWN
2520.01/2511.01 c END-Prog: Sun Aug 12 19:17:37 CEST 2018
2520.01/2511.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2511.02 c (scop.sh) Killing background jobs.
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 (9327 MiB free)
memory of node 1: 16384 MiB (11386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305405-1534091746/watcher-4305405-1534091746 -o /tmp/evaluation-result-4305405-1534091746/solver-4305405-1534091746 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305405-1534091746.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=23987, runsolver pid=23984
Current StackSize limit: 8192 KiB
[startup+0.100386 s]*
/proc/loadavg: 2.05 2.04 2.05 3/222 24004
/proc/meminfo: memFree=21151836/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226737782 115843072 349 33554432000 4194304 5098028 140735916588256 140735916585512 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 349 296 221 0 87 0
[pid=23990] ppid=23987 vsize=15012476 memory=71524 CPUtime=0.11 cores=1,3,5,7
/proc/23990/stat : 23990 (java) S 23987 23987 16605 0 -1 1077944320 6012 0 0 0 9 2 0 0 20 0 15 0 226737782 15372775424 17881 33554432000 4194304 4196468 140737403491168 140737403473712 140639754370807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
/proc/23990/statm: 3753119 17881 2770 1 0 3715579 0
[pid=23990/tid=23991] ppid=23987 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/23990/task/23991/stat : 23991 (java) R 23987 23987 16605 0 -1 4202560 4088 0 0 0 7 2 0 0 20 0 15 0 226737783 15372775424 17881 33554432000 4194304 4196468 140737403491168 140639726159920 140639734646621 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23992] ppid=23987 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23992/stat : 23992 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 17881 33554432000 4194304 4196468 140737403491168 140639758612880 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23993] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23993/stat : 23993 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 17881 33554432000 4194304 4196468 140737403491168 140639215364368 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23994] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23994/stat : 23994 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 17881 33554432000 4194304 4196468 140737403491168 140639214312080 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23995] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23995/stat : 23995 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 17947 33554432000 4194304 4196468 140737403491168 140639213259280 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23996] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23996/stat : 23996 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638724881008 140639754381954 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23997] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23997/stat : 23997 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638234338592 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23998] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23998/stat : 23998 (java) S 23987 23987 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638100117104 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23999] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23999/stat : 23999 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140637725612624 140639754389403 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24000] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24000/stat : 24000 (java) S 23987 23987 16605 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638723827824 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24001] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24001/stat : 24001 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638722775024 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24002] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24002/stat : 24002 (java) S 23987 23987 16605 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638721722736 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24003] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24003/stat : 24003 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140637227706848 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24004] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24004/stat : 24004 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 17947 33554432000 4194304 4196468 140737403491168 140638720670640 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72920 KiB
[startup+0.210866 s]*
/proc/loadavg: 2.05 2.04 2.05 3/222 24004
/proc/meminfo: memFree=21138380/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226737782 115843072 349 33554432000 4194304 5098028 140735916588256 140735916585512 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 349 296 221 0 87 0
[pid=23990] ppid=23987 vsize=15012476 memory=84568 CPUtime=0.26 cores=1,3,5,7
/proc/23990/stat : 23990 (java) S 23987 23987 16605 0 -1 1077944320 9518 0 0 0 23 3 0 0 20 0 15 0 226737782 15372775424 21142 33554432000 4194304 4196468 140737403491168 140737403473712 140639754370807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
/proc/23990/statm: 3753119 21142 2903 1 0 3715579 0
[pid=23990/tid=23991] ppid=23987 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23990/task/23991/stat : 23991 (java) R 23987 23987 16605 0 -1 4202560 7398 0 0 0 17 2 0 0 20 0 15 0 226737783 15372775424 21142 33554432000 4194304 4196468 140737403491168 140639726183680 140639754382742 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23992] ppid=23987 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23992/stat : 23992 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 21142 33554432000 4194304 4196468 140737403491168 140639758612880 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23993] ppid=23987 vsize=15012476 memory=140526727113490 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23993/stat : 23993 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 21142 33554432000 4194304 4196468 140737403491168 140639215364368 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23994] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23994/stat : 23994 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 21142 33554432000 4194304 4196468 140737403491168 140639214312080 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23995] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23995/stat : 23995 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 21142 33554432000 4194304 4196468 140737403491168 140639213259280 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23996] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23996/stat : 23996 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638724881008 140639754381954 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23997] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23997/stat : 23997 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638234338592 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23998] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23998/stat : 23998 (java) S 23987 23987 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638100117104 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23999] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23999/stat : 23999 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140637725612624 140639754389403 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24000] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24000/stat : 24000 (java) R 23987 23987 16605 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638723827920 140639754381013 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24001] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24001/stat : 24001 (java) R 23987 23987 16605 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638722766528 140639747476504 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24002] ppid=23987 vsize=15012476 memory=140526725916288 CPUtime=0.03 cores=1,3,5,7
/proc/23990/task/24002/stat : 24002 (java) S 23987 23987 16605 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638721722736 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24003] ppid=23987 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24003/stat : 24003 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140637227706848 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24004] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24004/stat : 24004 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 21142 33554432000 4194304 4196468 140737403491168 140638720670640 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85964 KiB
[startup+0.310878 s]*
/proc/loadavg: 2.05 2.04 2.05 3/222 24004
/proc/meminfo: memFree=21134720/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226737782 115843072 349 33554432000 4194304 5098028 140735916588256 140735916585512 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 349 296 221 0 87 0
[pid=23990] ppid=23987 vsize=15012476 memory=88100 CPUtime=0.43 cores=1,3,5,7
/proc/23990/stat : 23990 (java) S 23987 23987 16605 0 -1 1077944320 10060 0 0 0 40 3 0 0 20 0 15 0 226737782 15372775424 22025 33554432000 4194304 4196468 140737403491168 140737403473712 140639754370807 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
/proc/23990/statm: 3753119 22025 2965 1 0 3715579 0
[pid=23990/tid=23991] ppid=23987 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23990/task/23991/stat : 23991 (java) R 23987 23987 16605 0 -1 4202560 7779 0 0 0 27 2 0 0 20 0 15 0 226737783 15372775424 22025 33554432000 4194304 4196468 140737403491168 140639726165808 140639734645999 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23992] ppid=23987 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23992/stat : 23992 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 22025 33554432000 4194304 4196468 140737403491168 140639758612880 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23993] ppid=23987 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23993/stat : 23993 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 22025 33554432000 4194304 4196468 140737403491168 140639215364368 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23994] ppid=23987 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23994/stat : 23994 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 22025 33554432000 4194304 4196468 140737403491168 140639214312080 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23995] ppid=23987 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23995/stat : 23995 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15372775424 22025 33554432000 4194304 4196468 140737403491168 140639213259280 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23996] ppid=23987 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23996/stat : 23996 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638724881008 140639754381954 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23997] ppid=23987 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23997/stat : 23997 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638234338592 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23998] ppid=23987 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23998/stat : 23998 (java) S 23987 23987 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226737786 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638100117104 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23999] ppid=23987 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23999/stat : 23999 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140637725612624 140639754389403 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24000] ppid=23987 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23990/task/24000/stat : 24000 (java) R 23987 23987 16605 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638723827824 140639754381954 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24001] ppid=23987 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23990/task/24001/stat : 24001 (java) R 23987 23987 16605 0 -1 4202560 197 0 0 0 1 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638722775120 140639746660256 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24002] ppid=23987 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23990/task/24002/stat : 24002 (java) R 23987 23987 16605 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638721722736 140639740065836 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24003] ppid=23987 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24003/stat : 24003 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140637227706848 140639754381013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24004] ppid=23987 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24004/stat : 24004 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737789 15372775424 22025 33554432000 4194304 4196468 140737403491168 140638720670640 140639754381954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89496 KiB
[startup+0.700862 s]
/proc/loadavg: 2.05 2.04 2.05 3/222 24004
/proc/meminfo: memFree=21110660/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226737782 115843072 349 33554432000 4194304 5098028 140735916588256 140735916585512 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 349 296 221 0 87 0
[pid=23990] ppid=23987 vsize=15020872 memory=127608 CPUtime=1.02 cores=1,3,5,7
/proc/23990/stat : 23990 (java) S 23987 23987 16605 0 -1 1077944320 17134 0 0 0 96 6 0 0 20 0 15 0 226737782 15381372928 31902 33554432000 4194304 4196468 140737403491168 140737403473712 140639754370807 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
/proc/23990/statm: 3755218 31902 3147 1 0 3716603 0
[pid=23990/tid=23991] ppid=23987 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/23990/task/23991/stat : 23991 (java) R 23987 23987 16605 0 -1 4202560 14387 0 0 0 62 5 0 0 20 0 15 0 226737783 15381372928 31902 33554432000 4194304 4196468 140737403491168 140639726205600 140639738451324 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23992] ppid=23987 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23992/stat : 23992 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15381372928 31902 33554432000 4194304 4196468 140737403491168 140639758612880 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23993] ppid=23987 vsize=15020872 memory=61668 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23993/stat : 23993 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15381372928 31902 33554432000 4194304 4196468 140737403491168 140639215364368 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23994] ppid=23987 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23994/stat : 23994 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226737784 15381372928 31902 33554432000 4194304 4196468 140737403491168 140639214312080 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23995] ppid=23987 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23995/stat : 23995 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737784 15381372928 31902 33554432000 4194304 4196468 140737403491168 140639213259280 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23996] ppid=23987 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23996/stat : 23996 (java) S 23987 23987 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226737786 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638724881008 140639754381954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23997] ppid=23987 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23997/stat : 23997 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226737786 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638234338592 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23998] ppid=23987 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23998/stat : 23998 (java) S 23987 23987 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226737786 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638100117104 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=23999] ppid=23987 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/23990/task/23999/stat : 23999 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140637725612624 140639754389403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24000] ppid=23987 vsize=15020872 memory=1120 CPUtime=0.1 cores=1,3,5,7
/proc/23990/task/24000/stat : 24000 (java) R 23987 23987 16605 0 -1 1077944384 655 0 0 0 10 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638723827824 140639754381954 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24001] ppid=23987 vsize=15020872 memory=6120 CPUtime=0.06 cores=1,3,5,7
/proc/23990/task/24001/stat : 24001 (java) R 23987 23987 16605 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638722763696 140639754384711 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24002] ppid=23987 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/23990/task/24002/stat : 24002 (java) R 23987 23987 16605 0 -1 4202560 458 0 0 0 16 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638721722736 140639754382742 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24003] ppid=23987 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24003/stat : 24003 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140637227706848 140639754381013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
[pid=23990/tid=24004] ppid=23987 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/23990/task/24004/stat : 24004 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226737789 15381372928 31902 33554432000 4194304 4196468 140737403491168 140638720670640 140639754381954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140737403495430 140737403495729 140737403495729 140737403498447 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129004 KiB
[startup+1.50198 s]
/proc/loadavg: 2.04 2.04 2.05 4/222 24004
/proc/meminfo: memFree=21078292/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226737782 115843072 349 33554432000 4194304 5098028 140735916588256 140735916585512 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=24005/tid=24008] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24008/stat : 24008 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652129381008 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24009] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24009/stat : 24009 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652128327952 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24010] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24010/stat : 24010 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652127275408 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24011] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.03 cores=1,3,5,7
/proc/24005/task/24011/stat : 24011 (java) S 23987 23987 16605 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651704335088 140652324981378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24012] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24012/stat : 24012 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651186349728 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24013] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24013/stat : 24013 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738216 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650917913840 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24014] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24014/stat : 24014 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650543405520 140652324988827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24015] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.08 cores=1,3,5,7
/proc/24005/task/24015/stat : 24015 (java) S 23987 23987 16605 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651703281904 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24016] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.09 cores=1,3,5,7
/proc/24005/task/24016/stat : 24016 (java) S 23987 23987 16605 0 -1 1077944384 354 0 0 0 9 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651702229360 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24017] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.22 cores=1,3,5,7
/proc/24005/task/24017/stat : 24017 (java) S 23987 23987 16605 0 -1 1077944384 550 0 0 0 21 1 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651701176304 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24018] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24018/stat : 24018 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650045499744 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24019] ppid=23987 vsize=8068220 memory=281053131460768 CPUtime=1.03 cores=1,3,5,7
/proc/24005/task/24019/stat : 24019 (java) S 23987 23987 16605 0 -1 1077944384 163 0 0 0 47 56 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651700124720 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24021] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24021/stat : 24021 (java) S 23987 23987 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651692316480 140652324994841 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24023] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24023/stat : 24023 (java) S 23987 23987 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649508614032 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24024] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24024/stat : 24024 (java) S 23987 23987 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226738285 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649642835472 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24025] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24025/stat : 24025 (java) S 23987 23987 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226738287 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649240190240 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
Current children cumulated CPU time: 2451.24 s
Current children cumulated vsize: 8244472 KiB
Current children cumulated memory: 164952 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/227 24222
/proc/meminfo: memFree=24628284/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1472 CPUtime=11.57 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 591 29703 0 0 0 0 1132 25 20 0 1 0 226737782 115843072 368 33554432000 4194304 5098028 140735916588256 140735916585000 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 368 311 221 0 87 0
[pid=24005] ppid=23987 vsize=8068220 memory=118804 CPUtime=2.28 cores=1,3,5,7
/proc/24005/stat : 24005 (java) S 23987 23987 16605 0 -1 1077944320 17547 0 0 0 166 62 0 0 20 0 19 0 226738212 8261857280 29701 33554432000 4194304 4196468 140733237051888 140733237034432 140652324970231 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
/proc/24005/statm: 2017055 29701 3145 1 0 1978454 0
[pid=24020] ppid=24005 vsize=63124 memory=44676 CPUtime=2497.44 cores=1,3,5,7
/proc/24020/stat : 24020 (minisat_release) R 24005 23987 16605 0 -1 4202496 83289 0 0 0 249738 6 0 0 20 0 1 0 226738284 64638976 11169 33554432000 4194304 4308513 140729887695744 140729887692648 4276465 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26869760 140729887704180 140729887704278 140729887704278 140729887707077 0
/proc/24020/statm: 15781 11169 340 28 0 12021 0
[pid=24005/tid=24006] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.74 cores=1,3,5,7
/proc/24005/task/24006/stat : 24006 (java) S 23987 23987 16605 0 -1 1077944384 14482 0 0 0 70 4 0 0 20 0 19 0 226738212 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652296810384 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24007] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24007/stat : 24007 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652329212432 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24008] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24008/stat : 24008 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652129381008 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24009] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24009/stat : 24009 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652128327952 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24010] ppid=23987 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24010/stat : 24010 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652127275408 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24011] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.04 cores=1,3,5,7
/proc/24005/task/24011/stat : 24011 (java) S 23987 23987 16605 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651704335088 140652324981378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24012] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24012/stat : 24012 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651186349728 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24013] ppid=23987 vsize=8068220 memory=118804 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24013/stat : 24013 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738216 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650917913840 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24014] ppid=23987 vsize=8068220 memory=44676 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24014/stat : 24014 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650543405520 140652324988827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24015] ppid=23987 vsize=8068220 memory=11192 CPUtime=0.08 cores=1,3,5,7
/proc/24005/task/24015/stat : 24015 (java) S 23987 23987 16605 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651703281904 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24016] ppid=23987 vsize=8068220 memory=752 CPUtime=0.09 cores=1,3,5,7
/proc/24005/task/24016/stat : 24016 (java) S 23987 23987 16605 0 -1 1077944384 354 0 0 0 9 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651702229360 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24017] ppid=23987 vsize=8068220 memory=118804 CPUtime=0.22 cores=1,3,5,7
/proc/24005/task/24017/stat : 24017 (java) S 23987 23987 16605 0 -1 1077944384 550 0 0 0 21 1 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651701176304 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24018] ppid=23987 vsize=8068220 memory=44676 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24018/stat : 24018 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650045499744 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24019] ppid=23987 vsize=8068220 memory=-7824251494390717803 CPUtime=1.07 cores=1,3,5,7
/proc/24005/task/24019/stat : 24019 (java) S 23987 23987 16605 0 -1 1077944384 167 0 0 0 49 58 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651700124720 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24021] ppid=23987 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24021/stat : 24021 (java) S 23987 23987 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651692316480 140652324994841 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24023] ppid=23987 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24023/stat : 24023 (java) S 23987 23987 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649508614032 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24024] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24024/stat : 24024 (java) S 23987 23987 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226738285 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649642835472 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24025] ppid=23987 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24025/stat : 24025 (java) S 23987 23987 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226738287 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649240190240 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
Current children cumulated CPU time: 2511.29 s
Current children cumulated vsize: 8244472 KiB
Current children cumulated memory: 164952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511 s]*
/proc/loadavg: 2.01 2.09 2.08 3/227 24222
/proc/meminfo: memFree=24628408/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=113128 memory=1472 CPUtime=11.57 cores=1,3,5,7
/proc/23987/stat : 23987 (scop.sh) S 23984 23987 16605 0 -1 4202496 591 29703 0 0 0 0 1132 25 20 0 1 0 226737782 115843072 368 33554432000 4194304 5098028 140735916588256 140735916585000 139870712664700 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24494080 140735916594240 140735916594439 140735916594439 140735916597197 0
/proc/23987/statm: 28282 368 311 221 0 87 0
[pid=24005] ppid=23987 vsize=8068220 memory=118804 CPUtime=2.29 cores=1,3,5,7
/proc/24005/stat : 24005 (java) S 23987 23987 16605 0 -1 1077944320 17547 0 0 0 166 63 0 0 20 0 19 0 226738212 8261857280 29701 33554432000 4194304 4196468 140733237051888 140733237034432 140652324970231 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
/proc/24005/statm: 2017055 29701 3145 1 0 1978454 0
[pid=24020] ppid=24005 vsize=63124 memory=44676 CPUtime=2506.15 cores=1,3,5,7
/proc/24020/stat : 24020 (minisat_release) R 24005 23987 16605 0 -1 4202496 83314 0 0 0 250609 6 0 0 20 0 1 0 226738284 64638976 11169 33554432000 4194304 4308513 140729887695744 140729887691968 4276025 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26869760 140729887704180 140729887704278 140729887704278 140729887707077 0
/proc/24020/statm: 15781 11169 340 28 0 12021 0
[pid=24005/tid=24006] ppid=23987 vsize=8068220 memory=-7824251494391043434 CPUtime=0.74 cores=1,3,5,7
/proc/24005/task/24006/stat : 24006 (java) S 23987 23987 16605 0 -1 1077944384 14482 0 0 0 70 4 0 0 20 0 19 0 226738212 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652296810384 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24007] ppid=23987 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24007/stat : 24007 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652329212432 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24008] ppid=23987 vsize=8068220 memory=44676 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24008/stat : 24008 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652129381008 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24009] ppid=23987 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24009/stat : 24009 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652128327952 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24010] ppid=23987 vsize=8068220 memory=3492 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24010/stat : 24010 (java) S 23987 23987 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226738214 8261857280 29701 33554432000 4194304 4196468 140733237051888 140652127275408 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24011] ppid=23987 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/24005/task/24011/stat : 24011 (java) S 23987 23987 16605 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651704335088 140652324981378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24012] ppid=23987 vsize=8068220 memory=118308 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24012/stat : 24012 (java) S 23987 23987 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226738215 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651186349728 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24013] ppid=23987 vsize=8068220 memory=47048 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24013/stat : 24013 (java) S 23987 23987 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226738216 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650917913840 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24014] ppid=23987 vsize=8068220 memory=-7824251494391043434 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24014/stat : 24014 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650543405520 140652324988827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24015] ppid=23987 vsize=8068220 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/24005/task/24015/stat : 24015 (java) S 23987 23987 16605 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651703281904 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24016] ppid=23987 vsize=8068220 memory=1088 CPUtime=0.09 cores=1,3,5,7
/proc/24005/task/24016/stat : 24016 (java) S 23987 23987 16605 0 -1 1077944384 354 0 0 0 9 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651702229360 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24017] ppid=23987 vsize=8068220 memory=15512 CPUtime=0.22 cores=1,3,5,7
/proc/24005/task/24017/stat : 24017 (java) S 23987 23987 16605 0 -1 1077944384 550 0 0 0 21 1 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651701176304 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24018] ppid=23987 vsize=8068220 memory=34164 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24018/stat : 24018 (java) S 23987 23987 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140650045499744 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24019] ppid=23987 vsize=8068220 memory=3312 CPUtime=1.07 cores=1,3,5,7
/proc/24005/task/24019/stat : 24019 (java) S 23987 23987 16605 0 -1 1077944384 167 0 0 0 49 58 0 0 20 0 19 0 226738218 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651700124720 140652324981378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24021] ppid=23987 vsize=8068220 memory=15712 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24021/stat : 24021 (java) S 23987 23987 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140651692316480 140652324994841 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24023] ppid=23987 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24023/stat : 24023 (java) S 23987 23987 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226738284 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649508614032 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24024] ppid=23987 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24024/stat : 24024 (java) S 23987 23987 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226738285 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649642835472 140652324992157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
[pid=24005/tid=24025] ppid=23987 vsize=8068220 memory=44676 CPUtime=0 cores=1,3,5,7
/proc/24005/task/24025/stat : 24025 (java) S 23987 23987 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226738287 8261857280 29701 33554432000 4194304 4196468 140733237051888 140649240190240 140652324980437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140733237060789 140733237060913 140733237060913 140733237063631 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8244472 KiB
Current children cumulated memory: 164952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.02 s]
# the end of solver process 23987 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.3283 s, system=0.254989 s
[startup+2511.02 s]
# the end of solver process 24005 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.1 s, system=0.955644 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): 2511.02
CPU time (s): 2520.05
CPU user time (s): 2519.1
CPU system time (s): 0.955644
CPU usage (%): 100.359
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 915796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 0.955644
maximum resident set size= 922332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59779
involuntary context switches= 678
# summary of solver processes directly reported to runsolver:
# pid: 23987,24005
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.1
# total CPU system time (s): 0.955644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9215 second user time and 27.2685 second system time
The end