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:47:21 CEST 2018
0.67/0.55 c PID: 13507
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
4.69/1.98 c (1,1) Parsing End
5.05/2.01 c (1,1) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
5.05/2.01 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.05/2.01 c (1,1) Constraint Name Generate Begin
5.05/2.06 c (1,1) Ctr:HOME/instance-4293729-1532346440.xml,IntVar:Num:WeightedSum
5.05/2.06 c (1,1) Constraint Name Generate End
5.05/2.06 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.05/2.06 c (1,1) CSP to CSPinCNF Begin
7.15/2.78 c (2,2) translated 83 (10%) constraints
8.10/3.24 c (2,2) translated 166 (20%) constraints
8.55/3.67 c (3,3) translated 248 (30%) constraints
9.14/4.12 c (3,3) translated 331 (40%) constraints
9.69/4.58 c (4,4) translated 413 (50%) constraints
10.32/5.01 c (4,4) translated 496 (60%) constraints
10.77/5.44 c (4,4) translated 579 (70%) constraints
11.53/5.93 c (5,5) translated 661 (80%) constraints
12.11/6.47 c (5,5) translated 744 (90%) constraints
13.32/7.67 c (7,7) translated 826 (100%) constraints
14.62/8.26 c (7,7) STATISTICS1:HOME/instance-4293729-1532346440.xml,IntVar:Num:WeightedSum,8281,826,9223372036854775807,2,1,169,9223372036854775807:826,2:82810,1:826,169:98;91:728,12544:98;3600:728
14.62/8.26 c (7,7) ===========================================
14.62/8.26 c (7,7) Both Encoding selects:
14.62/8.26 c (7,7) Log
14.62/8.26 c (7,7) ===========================================
14.81/8.36 c (7,7) translated 83 (10%) constraints
14.91/8.44 c (7,7) translated 166 (20%) constraints
15.02/8.53 c (8,7) translated 248 (30%) constraints
15.12/8.61 c (8,7) translated 331 (40%) constraints
15.12/8.70 c (8,8) translated 413 (50%) constraints
15.22/8.78 c (8,8) translated 496 (60%) constraints
15.33/8.85 c (8,8) translated 579 (70%) constraints
15.45/8.93 c (8,8) translated 661 (80%) constraints
15.61/9.05 c (8,8) translated 744 (90%) constraints
15.93/9.32 c (8,8) translated 826 (100%) constraints
15.93/9.32 c (8,8) CSP to CSPinCNF End
15.93/9.33 c (8,8) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
15.93/9.33 c (8,8) Heap : 2877 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
15.93/9.33 c (8,8) CSPinCNF Propagation Begin
17.00/9.87 c (9,9) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
17.00/9.87 c (9,9) CSPinCNF Propagation End
17.00/9.87 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
17.00/9.87 c (9,9) Heap : 140 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.00/9.87 c (9,9) Simplify CSPinCNF Begin
17.15/9.90 c (9,9) Simplify CSPinCNF End
17.15/9.90 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
17.15/9.90 c (9,9) Heap : 140 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.15/9.90 c (9,9) Calculate Precise Domain Begin
17.15/9.90 c (9,9) 0 values are removed by re-calculation
17.15/9.90 c (9,9) Calculate Precise Domain End
17.15/9.90 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
17.15/9.90 c (9,9) Heap : 140 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.15/9.90 c (9,9) CSPinCNF to SatSolver Begin
18.08/10.29 c (9,9) 83 (10 %) CSP clauses are being encoded (23041 SAT variables, 44034 SAT clauses)
18.68/10.43 c (9,9) 166 (20 %) CSP clauses are being encoded (37981 SAT variables, 88605 SAT clauses)
18.79/10.56 c (10,9) 248 (30 %) CSP clauses are being encoded (52741 SAT variables, 132639 SAT clauses)
18.89/10.69 c (10,9) 331 (40 %) CSP clauses are being encoded (67681 SAT variables, 177210 SAT clauses)
19.23/10.81 c (10,10) 413 (50 %) CSP clauses are being encoded (78169 SAT variables, 199884 SAT clauses)
19.51/10.91 c (10,10) 496 (60 %) CSP clauses are being encoded (85722 SAT variables, 207520 SAT clauses)
19.51/11.00 c (10,10) 579 (70 %) CSP clauses are being encoded (93275 SAT variables, 215156 SAT clauses)
19.79/11.09 c (10,10) 661 (80 %) CSP clauses are being encoded (100737 SAT variables, 222700 SAT clauses)
20.17/11.23 c (10,10) 744 (90 %) CSP clauses are being encoded (114440 SAT variables, 251426 SAT clauses)
20.48/11.57 c (11,10) 826 (100 %) CSP clauses are being encoded (155522 SAT variables, 374262 SAT clauses)
20.48/11.57 c (11,10) CSPinCNF to SatSolver End
20.48/11.57 c (11,10) Heap : 1406 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.33/12.04 c (11,11) STATISTICS2:HOME/instance-4293729-1532346440.xml,IntVar:Num:WeightedSum,8281,826,9223372036854775807,2,1,169,9223372036854775807:826,2:82810,1:826,169:98;91:728,2:826
21.33/12.04 c (11,11) SatSolver.solve Begin
21.33/12.04 c (11,11) 156023 bool, 375760 clause
21.33/12.04 c (11,11) 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-4293729-1532346440.xml-scop-13507.cnf HOME/instance-4293729-1532346440.xml-scop-13507.cnf.out
34.45/25.01 c (24,0) receiving signal SIGTERM
34.45/25.01 s UNKNOWN
34.45/25.02 c (24,11) SatSolver is killed by some reasons.
34.45/25.02 c (24,11) 1,1,8,9,9,9,11,TO,TO,STOP-AFTER(DIMACS)
34.45/25.02 c END-Prog: Mon Jul 23 13:47:46 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 (5810 MiB free)
memory of node 1: 16384 MiB (9491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293729-1532346440/watcher-4293729-1532346440 -o /tmp/evaluation-result-4293729-1532346440/solver-4293729-1532346440 -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-4293729-1532346440.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
Current StackSize limit: 8192 KiB
solver pid=13507, runsolver pid=13504
[startup+0.100093 s]*
/proc/loadavg: 2.72 2.22 2.11 3/221 13522
/proc/meminfo: memFree=15607536/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15011656 memory=73620 CPUtime=0.11 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 6613 0 0 0 10 1 0 0 20 0 15 0 52207217 15371935744 18405 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3752914 18405 2781 1 0 3715374 0
[pid=13507/tid=13509] ppid=13504 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 4859 0 0 0 8 1 0 0 20 0 15 0 52207217 15371935744 18603 33554432000 4194304 4196468 140733965925936 140132031941008 140132040380473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 18603 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 18603 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 18603 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 18603 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 18603 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 18603 33554432000 4194304 4196468 140733965925936 140130622890912 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 18603 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140131095738992 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0.01 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) S 13504 13507 8919 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140131094686448 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 18669 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73620 KiB
[startup+0.210408 s]*
/proc/loadavg: 2.72 2.22 2.11 3/221 13522
/proc/meminfo: memFree=15593956/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15011656 memory=86984 CPUtime=0.25 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 10095 0 0 0 23 2 0 0 20 0 15 0 52207217 15371935744 21746 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3752914 21746 2937 1 0 3715374 0
[pid=13507/tid=13509] ppid=13504 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 8001 0 0 0 18 2 0 0 20 0 15 0 52207217 15371935744 21746 33554432000 4194304 4196468 140733965925936 140132031935504 140132060126614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 21746 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15011656 memory=3760702699267294880 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 21746 33554432000 4194304 4196468 140733965925936 140130622890912 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 21746 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) S 13504 13507 8919 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131095738992 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0.03 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) R 13504 13507 8919 0 -1 4202560 284 0 0 0 3 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131094686448 140132060136026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 21746 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86984 KiB
[startup+0.310296 s]*
/proc/loadavg: 2.72 2.22 2.11 4/221 13522
/proc/meminfo: memFree=15590668/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15011656 memory=90192 CPUtime=0.43 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 10629 0 0 0 40 3 0 0 20 0 15 0 52207217 15371935744 22548 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3752914 22548 2974 1 0 3715374 0
[pid=13507/tid=13509] ppid=13504 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 8370 0 0 0 27 2 0 0 20 0 15 0 52207217 15371935744 22548 33554432000 4194304 4196468 140733965925936 140132031942304 140132041983121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 22548 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15011656 memory=3618556736516785824 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 22548 33554432000 4194304 4196468 140733965925936 140130622890912 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207221 15371935744 22548 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) R 13504 13507 8919 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) R 13504 13507 8919 0 -1 4202560 192 0 0 0 2 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131095738992 140132045240630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0.07 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) R 13504 13507 8919 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131094686448 140132039474765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15011656 memory=140719749203584 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) R 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207224 15371935744 22548 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90192 KiB
[startup+0.701552 s]
/proc/loadavg: 2.72 2.22 2.11 3/221 13522
/proc/meminfo: memFree=15566608/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15017928 memory=131196 CPUtime=1.06 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 17464 0 0 0 101 5 0 0 20 0 15 0 52207217 15378358272 32799 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3754482 32799 3136 1 0 3715886 0
[pid=13507/tid=13509] ppid=13504 vsize=15017928 memory=198761825454121 CPUtime=0.67 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 14716 0 0 0 63 4 0 0 20 0 15 0 52207217 15378358272 32799 33554432000 4194304 4196468 140733965925936 140132031950464 140131514605065 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15017928 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15378358272 32799 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15017928 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52207221 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15378358272 32799 33554432000 4194304 4196468 140733965925936 140130622890912 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207221 15378358272 32799 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) R 13504 13507 8919 0 -1 4202560 506 0 0 0 8 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131096781456 140132040307633 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15017928 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) R 13504 13507 8919 0 -1 4202560 443 0 0 0 10 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131095730448 140132044016206 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) R 13504 13507 8919 0 -1 4202560 458 0 0 0 17 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131094684408 140132039568663 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207224 15378358272 32799 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131196 KiB
[startup+1.50067 s]
/proc/loadavg: 2.72 2.22 2.11 5/221 13522
/proc/meminfo: memFree=15473068/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15020052 memory=253912 CPUtime=3.46 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 22092 0 0 0 338 8 0 0 20 0 15 0 52207217 15380533248 63478 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3755013 63478 3208 1 0 3716398 0
[pid=13507/tid=13509] ppid=13504 vsize=15020052 memory=5794836780235446112 CPUtime=1.47 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 16072 0 0 0 140 7 0 0 20 0 15 0 52207217 15380533248 63478 33554432000 4194304 4196468 140733965925936 140132031947408 140132060126614 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15020052 memory=6298673690012637024 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15380533248 63478 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15020052 memory=7661585401410709868 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15380533248 63478 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15020052 memory=6946919421745326675 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52207219 15380533248 63478 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15020052 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207219 15380533248 63478 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15020052 memory=7956570163257370198 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52207221 15380533248 63478 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
################
# More data... #
################
[pid=13507/tid=13515] ppid=13504 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15382630400 234511 33554432000 4194304 4196468 140733965925936 140130622890912 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15022100 memory=581212 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207221 15382630400 234511 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15022100 memory=281439274809120 CPUtime=2.04 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 2258 0 0 0 204 0 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15022100 memory=198715251911049 CPUtime=2.02 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) S 13504 13507 8919 0 -1 1077944384 2127 0 0 0 202 0 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140131095738992 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15022100 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) S 13504 13507 8919 0 -1 1077944384 1925 0 0 0 82 1 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140131094686448 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15022100 memory=140719637431968 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 234511 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 938044 KiB
[startup+6.30077 s]
/proc/loadavg: 2.90 2.27 2.12 3/221 13522
/proc/meminfo: memFree=12664708/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15022100 memory=3006312 CPUtime=12.01 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 26695 0 0 0 1144 57 0 0 20 0 15 0 52207217 15382630400 751578 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3755525 751578 3222 1 0 3716910 0
[pid=13507/tid=13509] ppid=13504 vsize=15022100 memory=281435651128224 CPUtime=6.17 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) R 13504 13507 8919 0 -1 4202560 17865 0 0 0 570 47 0 0 20 0 15 0 52207217 15382630400 751578 33554432000 4194304 4196468 140733965925936 140132031950032 140131518386721 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15022100 memory=6944656592387989600 CPUtime=0.06 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 41 0 0 0 5 1 0 0 20 0 15 0 52207219 15382630400 751578 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15022100 memory=281439275521696 CPUtime=0.06 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 53 0 0 0 5 1 0 0 20 0 15 0 52207219 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15022100 memory=-7357787915995474596 CPUtime=0.06 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 72 0 0 0 5 1 0 0 20 0 15 0 52207219 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15022100 memory=-7523660553960122769 CPUtime=0.06 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 64 0 0 0 5 1 0 0 20 0 15 0 52207219 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 52207221 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15022100 memory=281439274865280 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52207221 15382630400 751578 33554432000 4194304 4196468 140733965925936 140130622890976 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15022100 memory=281439274937760 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207221 15382630400 751578 33554432000 4194304 4196468 140733965925936 140130354455536 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15022100 memory=281439274863552 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15022100 memory=6791534058613427641 CPUtime=2.2 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 2294 0 0 0 220 0 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15022100 memory=15872 CPUtime=2.3 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) R 13504 13507 8919 0 -1 4202560 2196 0 0 0 230 0 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131095738992 140132045224234 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15022100 memory=4048 CPUtime=0.99 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) S 13504 13507 8919 0 -1 1077944384 2753 0 0 0 98 1 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131094686448 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15022100 memory=10788 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15022100 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52207224 15382630400 751578 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3006312 KiB
[startup+12.7008 s]
/proc/loadavg: 2.75 2.25 2.12 3/221 13522
/proc/meminfo: memFree=12483832/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15681864 memory=3168176 CPUtime=21.5 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 35264 0 0 0 2078 72 0 0 20 0 19 0 52207217 16058228736 792044 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3920466 792044 3247 1 0 3881322 0
[pid=13507/tid=13509] ppid=13504 vsize=15681864 memory=3168176 CPUtime=11.9 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) S 13504 13507 8919 0 -1 1077944384 19095 0 0 0 1140 50 0 0 20 0 19 0 52207217 16058228736 792044 33554432000 4194304 4196468 140733965925936 140132031953920 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15681864 memory=4140 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 77 0 0 0 10 4 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15681864 memory=16804 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 85 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15681864 memory=1296 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 118 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15681864 memory=56 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 125 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15681864 memory=4640467252704989264 CPUtime=0.01 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15681864 memory=4639904302751567952 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140130622890976 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15681864 memory=3070936 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140130354455552 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15681864 memory=3059560 CPUtime=3.59 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 4763 0 0 0 359 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15681864 memory=4140 CPUtime=4.03 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) S 13504 13507 8919 0 -1 1077944384 6022 0 0 0 401 2 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131095738992 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15681864 memory=3158504 CPUtime=1.3 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) S 13504 13507 8919 0 -1 1077944384 3546 0 0 0 129 1 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131094686448 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15681864 memory=3070904 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15681864 memory=796 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 21.5 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 3168176 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0009 s]*
/proc/loadavg: 2.58 2.23 2.12 3/226 13528
/proc/meminfo: memFree=12332068/32770624 swapFree=67108860/67108860
[pid=13507] ppid=13504 vsize=15681864 memory=3168176 CPUtime=21.51 cores=0,2,4,6
/proc/13507/stat : 13507 (java) S 13504 13507 8919 0 -1 1077944320 35265 0 0 0 2079 72 0 0 20 0 19 0 52207217 16058228736 792044 33554432000 4194304 4196468 140733965925936 140733965908480 140132060114679 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
/proc/13507/statm: 3920466 792044 3247 1 0 3881322 0
[pid=13523] ppid=13507 vsize=200596 memory=148076 CPUtime=12.94 cores=0,2,4,6
/proc/13523/stat : 13523 (minisat_release) R 13507 13507 8919 0 -1 4202496 65832 0 0 0 1285 9 0 0 20 0 1 0 52208423 205410304 37019 33554432000 4194304 4308513 140736013197184 140736013194600 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41361408 140736013202095 140736013202606 140736013202606 140736013205445 0
/proc/13523/statm: 50149 37019 353 28 0 46389 0
[pid=13507/tid=13509] ppid=13504 vsize=15681864 memory=590024538737082485 CPUtime=11.9 cores=0,2,4,6
/proc/13507/task/13509/stat : 13509 (java) S 13504 13507 8919 0 -1 1077944384 19095 0 0 0 1140 50 0 0 20 0 19 0 52207217 16058228736 792044 33554432000 4194304 4196468 140733965925936 140132031953920 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13510] ppid=13504 vsize=15681864 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13510/stat : 13510 (java) S 13504 13507 8919 0 -1 1077944384 77 0 0 0 10 4 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140132064357136 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13511] ppid=13504 vsize=15681864 memory=4294979355 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13511/stat : 13511 (java) S 13504 13507 8919 0 -1 1077944384 85 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131840060304 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13512] ppid=13504 vsize=15681864 memory=3467833531079598130 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13512/stat : 13512 (java) S 13504 13507 8919 0 -1 1077944384 118 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131839007760 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13513] ppid=13504 vsize=15681864 memory=8462478130613010672 CPUtime=0.14 cores=0,2,4,6
/proc/13507/task/13513/stat : 13513 (java) S 13504 13507 8919 0 -1 1077944384 125 0 0 0 11 3 0 0 20 0 19 0 52207219 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131837955216 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13514] ppid=13504 vsize=15681864 memory=3472328296227680264 CPUtime=0.01 cores=0,2,4,6
/proc/13507/task/13514/stat : 13514 (java) S 13504 13507 8919 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131097843696 140132060125826 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13515] ppid=13504 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13515/stat : 13515 (java) S 13504 13507 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140130622890976 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13516] ppid=13504 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13516/stat : 13516 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207221 16058228736 792044 33554432000 4194304 4196468 140733965925936 140130354455552 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13517] ppid=13504 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13517/stat : 13517 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140129979947216 140132060133275 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13518] ppid=13504 vsize=15681864 memory=140719637397623 CPUtime=3.59 cores=0,2,4,6
/proc/13507/task/13518/stat : 13518 (java) S 13504 13507 8919 0 -1 1077944384 4763 0 0 0 359 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131096791536 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13519] ppid=13504 vsize=15681864 memory=7814774617464324325 CPUtime=4.03 cores=0,2,4,6
/proc/13507/task/13519/stat : 13519 (java) S 13504 13507 8919 0 -1 1077944384 6023 0 0 0 401 2 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131095738992 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13520] ppid=13504 vsize=15681864 memory=662039247140686137 CPUtime=1.3 cores=0,2,4,6
/proc/13507/task/13520/stat : 13520 (java) S 13504 13507 8919 0 -1 1077944384 3546 0 0 0 129 1 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131094686448 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13521] ppid=13504 vsize=15681864 memory=4919771603466928050 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13521/stat : 13521 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140129482042464 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13522] ppid=13504 vsize=15681864 memory=662039247140686137 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13522/stat : 13522 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52207224 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131025545520 140132060125826 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13524] ppid=13504 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13524/stat : 13524 (java) S 13504 13507 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52208423 16058228736 792044 33554432000 4194304 4196468 140733965925936 140131831301184 140132060139289 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13526] ppid=13504 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13526/stat : 13526 (java) S 13504 13507 8919 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 52208423 16058228736 792044 33554432000 4194304 4196468 140733965925936 140128945155632 140132060136605 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13527] ppid=13504 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13527/stat : 13527 (java) S 13504 13507 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52208424 16058228736 792044 33554432000 4194304 4196468 140733965925936 140129079377584 140132060136605 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
[pid=13507/tid=13528] ppid=13504 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13507/task/13528/stat : 13528 (java) S 13504 13507 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52208426 16058228736 792044 33554432000 4194304 4196468 140733965925936 140128676732448 140132060124885 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20996096 140733965931508 140733965931785 140733965931785 140733965934543 0
Current children cumulated CPU time: 34.45 s
Current children cumulated vsize: 15882460 KiB
Current children cumulated memory: 3316252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.042 s]
# the end of solver process 13507 was just reported to runsolver
# cumulated CPU time of all completed processes: user=33.654 s, system=0.849536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0421
CPU time (s): 34.5036
CPU user time (s): 33.654
CPU system time (s): 0.849536
CPU usage (%): 137.782
Max. virtual memory (cumulated for all children) (KiB): 15882460
Max. memory (cumulated for all children) (KiB): 3316252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.654
system time used= 0.849536
maximum resident set size= 3171104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4652
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 13507
# total CPU time (s): 34.5036
# total CPU user time (s): 33.654
# total CPU system time (s): 0.849536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191584 second user time and 0.28799 second system time
The end