0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:45:46 CEST 2018
0.67/0.55 c PID: 12453
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
5.28/2.04 c (1,1) Parsing End
5.28/2.05 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42
5.28/2.05 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.28/2.05 c (1,1) Constraint Name Generate Begin
5.28/2.08 c (1,1) Ctr:HOME/instance-4293456-1532346345.xml,Dist:Eq:IntVar:Le:Num
5.28/2.08 c (1,1) Constraint Name Generate End
5.28/2.08 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.28/2.08 c (1,1) CSP to CSPinCNF Begin
6.30/2.37 c (1,1) translated 411 (10%) constraints
6.66/2.45 c (1,1) translated 821 (20%) constraints
6.98/2.51 c (1,1) translated 1231 (30%) constraints
6.98/2.57 c (2,2) translated 1642 (40%) constraints
7.28/2.62 c (2,2) translated 2052 (50%) constraints
7.28/2.66 c (2,2) translated 2462 (60%) constraints
7.57/2.71 c (2,2) translated 2873 (70%) constraints
7.57/2.75 c (2,2) translated 3283 (80%) constraints
7.57/2.79 c (2,2) translated 3693 (90%) constraints
7.88/2.88 c (2,2) translated 4103 (100%) constraints
8.21/2.96 c (2,2) STATISTICS1:HOME/instance-4293456-1532346345.xml,Dist:Eq:IntVar:Le:Num,680,4783,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64,2:4103;1:680,2:8886,
8.21/2.96 c (2,2) ===========================================
8.21/2.96 c (2,2) Both Encoding selects:
8.21/2.96 c (2,2) Order
8.21/2.97 c (2,2) ===========================================
8.21/3.00 c (2,2) translated 479 (10%) constraints
8.58/3.03 c (2,2) translated 957 (20%) constraints
8.58/3.05 c (2,2) translated 1435 (30%) constraints
8.58/3.07 c (2,2) translated 1914 (40%) constraints
8.58/3.09 c (2,2) translated 2392 (50%) constraints
8.89/3.11 c (2,2) translated 2870 (60%) constraints
8.89/3.13 c (2,2) translated 3349 (70%) constraints
8.89/3.15 c (2,2) translated 3827 (80%) constraints
8.89/3.17 c (2,2) translated 4305 (90%) constraints
8.89/3.19 c (2,2) translated 4783 (100%) constraints
8.89/3.19 c (2,2) CSP to CSPinCNF End
8.89/3.20 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
9.16/3.20 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.16/3.20 c (2,2) CSPinCNF Propagation Begin
11.48/4.69 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.48/4.69 c (4,4) CSPinCNF Propagation End
11.48/4.69 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
11.48/4.69 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.48/4.69 c (4,4) Simplify CSPinCNF Begin
12.18/4.95 c (4,4) Simplify CSPinCNF End
12.18/4.96 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
12.18/4.96 c (4,4) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.18/4.96 c (4,4) Calculate Precise Domain Begin
12.18/4.96 c (4,4) 0 values are removed by re-calculation
12.18/4.96 c (4,4) Calculate Precise Domain End
12.18/4.96 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
12.18/4.96 c (4,4) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.18/4.96 c (4,4) CSPinCNF to SatSolver Begin
13.16/5.29 c (4,4) 1299 (10 %) CSP clauses are encoded (33386 SAT variables, 54934 SAT clauses)
13.78/5.42 c (4,4) 2598 (20 %) CSP clauses are encoded (33386 SAT variables, 84976 SAT clauses)
13.99/5.51 c (4,4) 3897 (30 %) CSP clauses are encoded (33386 SAT variables, 112980 SAT clauses)
14.19/5.61 c (5,5) 5196 (40 %) CSP clauses are encoded (33386 SAT variables, 143325 SAT clauses)
14.41/5.72 c (5,5) 6495 (50 %) CSP clauses are encoded (33386 SAT variables, 174175 SAT clauses)
14.65/5.83 c (5,5) 7794 (60 %) CSP clauses are encoded (33386 SAT variables, 206000 SAT clauses)
14.87/5.96 c (5,5) 9093 (70 %) CSP clauses are encoded (33386 SAT variables, 237775 SAT clauses)
15.11/6.04 c (5,5) 10392 (80 %) CSP clauses are encoded (33386 SAT variables, 269717 SAT clauses)
15.25/6.12 c (5,5) 11691 (90 %) CSP clauses are encoded (33386 SAT variables, 300743 SAT clauses)
15.25/6.19 c (5,5) 12989 (100 %) CSP clauses are encoded (33386 SAT variables, 329781 SAT clauses)
15.25/6.19 c (5,5) CSPinCNF to SatSolver End
15.25/6.19 c (5,5) Heap : 329 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.48/6.27 c (5,5) STATISTICS2:HOME/instance-4293456-1532346345.xml,Dist:Eq:IntVar:Le:Num,8886,12989,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.48/6.27 c (5,5) SatSolver.solve Begin
15.48/6.27 c (5,5) 33386 bool, 329793 clause
15.48/6.27 c (5,5) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4293456-1532346345.xml-scop-12453.cnf HOME/instance-4293456-1532346345.xml-scop-12453.cnf.out
18.60/8.83 c (8,0) c This is COMiniSatPS.
18.60/8.83 c (8,0) c WARNING: for repeatability, setting FPU to use double precision
18.60/8.83 c (8,0) c ============================[ Problem Statistics ]=============================
18.60/8.83 c (8,0) c | |
18.60/8.83 c (8,0) c | Number of variables: 33386 |
18.60/8.83 c (8,0) c | Number of clauses: 329793 |
18.60/8.83 c (8,0) c | Parse time: 0.12 s |
18.60/8.83 c (8,0) c | Eliminated clauses: 0.08 Mb |
18.60/8.83 c (8,0) c Reduced to 29186 vars, 325510 cls (grow=0)
18.60/8.83 c (8,0) c No iterative elimination performed. (vars=29186, c/v ratio=11.2)
18.60/8.83 c (8,0) c | Simplification time: 0.36 s |
18.60/8.83 c (8,0) c | |
18.60/8.83 c (8,0) c ============================[ Search Statistics ]==============================
18.60/8.83 c (8,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
18.60/8.83 c (8,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.60/8.83 c (8,0) c ===============================================================================
18.60/8.83 c (8,0) c ===============================================================================
18.60/8.83 c (8,0) c restarts : 29
18.60/8.83 c (8,0) c conflicts : 23753 (9441 /sec)
18.60/8.83 c (8,0) c decisions : 28981 (0.00 % random) (11520 /sec)
18.60/8.83 c (8,0) c propagations : 5275449 (2096916 /sec)
18.60/8.83 c (8,0) c conflict literals : 398592 (34.86 % deleted)
18.60/8.83 c (8,0) c CPU time : 2.51581 s
18.60/8.83 c (8,0)
18.60/8.83 c (8,0) s UNSATISFIABLE
18.60/8.83 c (8,5) SatSolver.solve End
18.60/8.83 c (8,5) Heap : 404 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
18.60/8.83 c (8,5) Show results Begin
18.60/8.83 s UNSATISFIABLE
18.60/8.83 c (8,5) Show results End
18.60/8.83 c (8,5) Heap : 404 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
18.60/8.83 c (8,5) 1,1,2,4,4,4,5,8,8,STOP-AFTER(ALL)
18.60/8.83 c END-Prog: Mon Jul 23 13:45:54 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5811 MiB free)
memory of node 1: 16384 MiB (9473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293456-1532346345/watcher-4293456-1532346345 -o /tmp/evaluation-result-4293456-1532346345/solver-4293456-1532346345 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293456-1532346345.xml
running on 4 cores: 0,2,4,6
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=12453, runsolver pid=12450
Current StackSize limit: 8192 KiB
[startup+0.100644 s]*
/proc/loadavg: 2.00 2.03 2.05 3/220 12468
/proc/meminfo: memFree=15590204/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15011656 memory=73952 CPUtime=0.12 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 6209 0 0 0 10 2 0 0 20 0 15 0 52197719 15371935744 18488 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3752914 18488 2759 1 0 3715374 0
[pid=12453/tid=12455] ppid=12450 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) R 12450 12453 8919 0 -1 4202560 4457 0 0 0 8 1 0 0 20 0 15 0 52197720 15371935744 18620 33554432000 4194304 4196468 140726038798368 139964645920952 139964654384882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 18620 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 18620 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 18686 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 18686 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197724 15371935744 18686 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) S 12450 12453 8919 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963642354032 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) S 12450 12453 8919 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963641300976 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 18686 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73952 KiB
[startup+0.2104 s]*
/proc/loadavg: 2.00 2.03 2.05 3/220 12468
/proc/meminfo: memFree=15576492/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15011656 memory=87584 CPUtime=0.26 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 9829 0 0 0 23 3 0 0 20 0 15 0 52197719 15371935744 21896 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3752914 21896 2876 1 0 3715374 0
[pid=12453/tid=12455] ppid=12450 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) R 12450 12453 8919 0 -1 4202560 7733 0 0 0 18 2 0 0 20 0 15 0 52197720 15371935744 21896 33554432000 4194304 4196468 140726038798368 139964645935024 139964674121110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 21896 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15011656 memory=3760701618142336672 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 21896 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 21896 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 21896 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197724 15371935744 21896 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) S 12450 12453 8919 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) R 12450 12453 8919 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963642354032 139964674120322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0.03 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) R 12450 12453 8919 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963641300976 139964674130522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 21896 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87584 KiB
[startup+0.310493 s]*
/proc/loadavg: 2.00 2.03 2.05 3/220 12468
/proc/meminfo: memFree=15571920/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15011656 memory=91396 CPUtime=0.43 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 10443 0 0 0 39 4 0 0 20 0 15 0 52197719 15371935744 22849 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3752914 22849 2978 1 0 3715374 0
[pid=12453/tid=12455] ppid=12450 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) R 12450 12453 8919 0 -1 4202560 8164 0 0 0 27 2 0 0 20 0 15 0 52197720 15371935744 22849 33554432000 4194304 4196468 140726038798368 139964645913328 139964674131101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 22849 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15011656 memory=3618555655391827616 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 22849 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 22849 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15371935744 22849 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52197723 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197724 15371935744 22849 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) R 12450 12453 8919 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) R 12450 12453 8919 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963642354032 139964666398624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0.07 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) R 12450 12453 8919 0 -1 4202560 322 0 0 0 7 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963641300976 139964652209891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15011656 memory=139638624245376 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197726 15371935744 22849 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91396 KiB
[startup+0.705232 s]
/proc/loadavg: 2.00 2.03 2.05 4/220 12468
/proc/meminfo: memFree=15548032/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15017928 memory=133484 CPUtime=1.05 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 17527 0 0 0 99 6 0 0 20 0 15 0 52197719 15378358272 33371 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3754482 33371 3145 1 0 3715886 0
[pid=12453/tid=12455] ppid=12450 vsize=15017928 memory=193153806124043 CPUtime=0.67 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) R 12450 12453 8919 0 -1 4202560 14691 0 0 0 63 4 0 0 20 0 15 0 52197720 15378358272 33371 33554432000 4194304 4196468 140726038798368 139964645946416 139964674131101 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15017928 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15378358272 33371 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197721 15378358272 33371 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197721 15378358272 33371 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15017928 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15378358272 33371 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52197723 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52197723 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197724 15378358272 33371 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) R 12450 12453 8919 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963643396048 139964657477824 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15017928 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) R 12450 12453 8919 0 -1 4202560 220 0 0 0 7 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963642340128 139964655628850 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15017928 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) R 12450 12453 8919 0 -1 4202560 536 0 0 0 18 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963641297912 139964666346302 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197726 15378358272 33371 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 133484 KiB
[startup+1.50069 s]
/proc/loadavg: 2.00 2.03 2.05 6/220 12468
/proc/meminfo: memFree=15326864/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15022100 memory=402712 CPUtime=3.69 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 21808 0 0 0 356 13 0 0 20 0 15 0 52197719 15382630400 100678 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3755525 100678 3203 1 0 3716910 0
[pid=12453/tid=12455] ppid=12450 vsize=15022100 memory=5794836780235445093 CPUtime=1.47 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) R 12450 12453 8919 0 -1 4202560 15971 0 0 0 137 10 0 0 20 0 15 0 52197720 15382630400 100678 33554432000 4194304 4196468 140726038798368 139964645945536 139964674121110 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15022100 memory=6298673690012636005 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15382630400 100678 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15022100 memory=7949806964306371432 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52197721 15382630400 100678 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15022100 memory=7956294194663156054 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52197721 15382630400 100678 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15022100 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52197721 15382630400 100678 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15022100 memory=7451041130804439379 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52197723 15382630400 100678 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
################
# More data... #
################
/proc/12453/task/12464/stat : 12464 (java) R 12450 12453 8919 0 -1 4202560 4348 0 0 0 398 1 0 0 20 0 19 0 52197726 16060325888 748695 33554432000 4194304 4196468 140726038798368 139963643397904 139964653764097 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15683912 memory=2982308 CPUtime=4.19 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) R 12450 12453 8919 0 -1 4202560 4577 0 0 0 418 1 0 0 20 0 19 0 52197726 16060325888 748695 33554432000 4194304 4196468 140726038798368 139963642338992 139964659031010 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15683912 memory=2796536 CPUtime=1.45 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) S 12450 12453 8919 0 -1 1077944384 4079 0 0 0 142 3 0 0 20 0 19 0 52197726 16060325888 748695 33554432000 4194304 4196468 140726038798368 139963641300976 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748695 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15683912 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748695 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 16.05 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 2994780 KiB
[startup+8.00085 s]*
/proc/loadavg: 2.22 2.08 2.06 3/225 12474
/proc/meminfo: memFree=12622652/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15683912 memory=2995016 CPUtime=16.09 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 33219 0 0 0 1548 61 0 0 20 0 19 0 52197719 16060325888 748754 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3920978 748754 3248 1 0 3881834 0
[pid=12469] ppid=12453 vsize=56684 memory=35528 CPUtime=1.71 cores=0,2,4,6
/proc/12469/stat : 12469 (minisat_release) R 12453 12453 8919 0 -1 4202496 11069 0 0 0 169 2 0 0 20 0 1 0 52198348 58044416 8882 33554432000 4194304 4308513 140727383525328 140727383522952 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 15790080 140727383532207 140727383532718 140727383532718 140727383535557 0
/proc/12469/statm: 14171 8882 334 28 0 10411 0
[pid=12453/tid=12455] ppid=12450 vsize=15683912 memory=-7824251494390847591 CPUtime=6.26 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) S 12450 12453 8919 0 -1 1077944384 18374 0 0 0 575 51 0 0 20 0 19 0 52197720 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964645948416 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15683912 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15683912 memory=7590647178526879088 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15683912 memory=7883391067190486869 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15683912 memory=7812177893770946389 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15683912 memory=5792281476173485931 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15683912 memory=6935649255911613504 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15683912 memory=6227187902119110976 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197724 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15683912 memory=4638798237390893161 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15683912 memory=4640790453641309029 CPUtime=4.01 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) S 12450 12453 8919 0 -1 1077944384 4379 0 0 0 400 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15683912 memory=6935649255760684096 CPUtime=4.21 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) S 12450 12453 8919 0 -1 1077944384 4612 0 0 0 420 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963642354032 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15683912 memory=6226600771482839360 CPUtime=1.45 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) S 12450 12453 8919 0 -1 1077944384 4079 0 0 0 142 3 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963641300976 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12470] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12470/stat : 12470 (java) S 12450 12453 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964461729600 139964674133785 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12472] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12472/stat : 12472 (java) S 12450 12453 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961575653168 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12473] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12473/stat : 12473 (java) S 12450 12453 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961307217328 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12474] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12474/stat : 12474 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52198351 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961844096288 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 17.8 s
Current children cumulated vsize: 15740596 KiB
Current children cumulated memory: 3030544 KiB
[startup+8.40088 s]
/proc/loadavg: 2.22 2.08 2.06 3/225 12474
/proc/meminfo: memFree=12622652/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15683912 memory=2995016 CPUtime=16.09 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 33219 0 0 0 1548 61 0 0 20 0 19 0 52197719 16060325888 748754 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3920978 748754 3248 1 0 3881834 0
[pid=12469] ppid=12453 vsize=56684 memory=37652 CPUtime=2.1 cores=0,2,4,6
/proc/12469/stat : 12469 (minisat_release) R 12453 12453 8919 0 -1 4202496 13975 0 0 0 208 2 0 0 20 0 1 0 52198348 58044416 9413 33554432000 4194304 4308513 140727383525328 140727383522952 4278094 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 15790080 140727383532207 140727383532718 140727383532718 140727383535557 0
/proc/12469/statm: 14171 9413 353 28 0 10411 0
[pid=12453/tid=12455] ppid=12450 vsize=15683912 memory=0 CPUtime=6.26 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) S 12450 12453 8919 0 -1 1077944384 18374 0 0 0 575 51 0 0 20 0 19 0 52197720 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964645948416 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15683912 memory=-7824251494390847591 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15683912 memory=35528 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15683912 memory=8562125494162282060 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15683912 memory=-7022074515825631275 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15683912 memory=-4695043397844020537 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15683912 memory=4956998493510226538 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15683912 memory=-2892745056948402235 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197724 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15683912 memory=-4695043397844020537 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15683912 memory=-7022074515825631275 CPUtime=4.01 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) S 12450 12453 8919 0 -1 1077944384 4379 0 0 0 400 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15683912 memory=7976406965554101975 CPUtime=4.21 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) S 12450 12453 8919 0 -1 1077944384 4612 0 0 0 420 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963642354032 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15683912 memory=-4695043397844020537 CPUtime=1.45 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) S 12450 12453 8919 0 -1 1077944384 4079 0 0 0 142 3 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963641300976 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15683912 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15683912 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12470] ppid=12450 vsize=15683912 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12470/stat : 12470 (java) S 12450 12453 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964461729600 139964674133785 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12472] ppid=12450 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12472/stat : 12472 (java) S 12450 12453 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961575653168 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12473] ppid=12450 vsize=15683912 memory=734236524374164883 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12473/stat : 12473 (java) S 12450 12453 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961307217328 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12474] ppid=12450 vsize=15683912 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12474/stat : 12474 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52198351 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961844096288 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 18.19 s
Current children cumulated vsize: 15740596 KiB
Current children cumulated memory: 3032668 KiB
[startup+8.80086 s]
/proc/loadavg: 2.22 2.08 2.06 3/225 12474
/proc/meminfo: memFree=12622652/32770624 swapFree=67108860/67108860
[pid=12453] ppid=12450 vsize=15683912 memory=2995016 CPUtime=16.1 cores=0,2,4,6
/proc/12453/stat : 12453 (java) S 12450 12453 8919 0 -1 1077944320 33219 0 0 0 1548 62 0 0 20 0 19 0 52197719 16060325888 748754 33554432000 4194304 4196468 140726038798368 140726038780912 139964674109175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
/proc/12453/statm: 3920978 748754 3248 1 0 3881834 0
[pid=12469] ppid=12453 vsize=56684 memory=37652 CPUtime=2.5 cores=0,2,4,6
/proc/12469/stat : 12469 (minisat_release) R 12453 12453 8919 0 -1 4202496 14596 0 0 0 248 2 0 0 20 0 1 0 52198348 58044416 9413 33554432000 4194304 4308513 140727383525328 140727383522952 4276025 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 15790080 140727383532207 140727383532718 140727383532718 140727383535557 0
/proc/12469/statm: 14171 9413 353 28 0 10411 0
[pid=12453/tid=12455] ppid=12450 vsize=15683912 memory=0 CPUtime=6.26 cores=0,2,4,6
/proc/12453/task/12455/stat : 12455 (java) S 12450 12453 8919 0 -1 1077944384 18374 0 0 0 575 51 0 0 20 0 19 0 52197720 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964645948416 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12456] ppid=12450 vsize=15683912 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12456/stat : 12456 (java) S 12450 12453 8919 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964678351376 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12457] ppid=12450 vsize=15683912 memory=2995016 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12457/stat : 12457 (java) S 12450 12453 8919 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964469435024 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12458] ppid=12450 vsize=15683912 memory=2995016 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12458/stat : 12458 (java) S 12450 12453 8919 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964468381968 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12459] ppid=12450 vsize=15683912 memory=4048 CPUtime=0.01 cores=0,2,4,6
/proc/12453/task/12459/stat : 12459 (java) S 12450 12453 8919 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 19 0 52197721 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964467329424 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12460] ppid=12450 vsize=15683912 memory=10788 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12460/stat : 12460 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963644459760 139964674120322 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12461] ppid=12450 vsize=15683912 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12461/stat : 12461 (java) S 12450 12453 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52197723 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963253384864 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12462] ppid=12450 vsize=15683912 memory=33 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12462/stat : 12462 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197724 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962984948976 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12463] ppid=12450 vsize=15683912 memory=-7751062316387021378 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12463/stat : 12463 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962610440656 139964674127771 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12464] ppid=12450 vsize=15683912 memory=2995016 CPUtime=4.01 cores=0,2,4,6
/proc/12453/task/12464/stat : 12464 (java) S 12450 12453 8919 0 -1 1077944384 4379 0 0 0 400 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963643406576 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12465] ppid=12450 vsize=15683912 memory=37576 CPUtime=4.21 cores=0,2,4,6
/proc/12453/task/12465/stat : 12465 (java) S 12450 12453 8919 0 -1 1077944384 4612 0 0 0 420 1 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963642354032 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12466] ppid=12450 vsize=15683912 memory=16105853321218399 CPUtime=1.45 cores=0,2,4,6
/proc/12453/task/12466/stat : 12466 (java) S 12450 12453 8919 0 -1 1077944384 4079 0 0 0 142 3 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963641300976 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12467] ppid=12450 vsize=15683912 memory=4283354823044986410 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12467/stat : 12467 (java) S 12450 12453 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139962112534880 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12468] ppid=12450 vsize=15683912 memory=-6659576406218473585 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12468/stat : 12468 (java) S 12450 12453 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52197726 16060325888 748754 33554432000 4194304 4196468 140726038798368 139963640249392 139964674120322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12470] ppid=12450 vsize=15683912 memory=8260079401224781147 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12470/stat : 12470 (java) S 12450 12453 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139964461729600 139964674133785 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12472] ppid=12450 vsize=15683912 memory=6296706719664400487 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12472/stat : 12472 (java) S 12450 12453 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961575653168 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12473] ppid=12450 vsize=15683912 memory=6003696757456852073 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12473/stat : 12473 (java) S 12450 12453 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52198349 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961307217328 139964674131101 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
[pid=12453/tid=12474] ppid=12450 vsize=15683912 memory=7307184289356141157 CPUtime=0 cores=0,2,4,6
/proc/12453/task/12474/stat : 12474 (java) S 12450 12453 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52198351 16060325888 748754 33554432000 4194304 4196468 140726038798368 139961844096288 139964674119381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30363648 140726038807540 140726038807817 140726038807817 140726038810575 0
Current children cumulated CPU time: 18.6 s
Current children cumulated vsize: 15740596 KiB
Current children cumulated memory: 3032668 KiB
Child status: 0
Real time (s): 8.85746
CPU time (s): 18.6801
CPU user time (s): 18.0116
CPU system time (s): 0.668546
CPU usage (%): 210.897
Max. virtual memory (cumulated for all children) (KiB): 15740596
Max. memory (cumulated for all children) (KiB): 3032668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0116
system time used= 0.668546
maximum resident set size= 2997064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3988
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 12453
# total CPU time (s): 18.6801
# total CPU user time (s): 18.0116
# total CPU system time (s): 0.668546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080996 second user time and 0.126903 second system time
The end