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: Wed Jul 25 20:27:56 CEST 2018
0.67/0.55 c PID: 32731
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.40/0.91 c (0,0) Parsing End
1.40/0.91 c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.40/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91 c (0,0) Constraint Name Generate Begin
1.40/0.92 c (0,0) Ctr:HOME/instance-4295489-1532543275.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.40/0.92 c (0,0) Constraint Name Generate End
1.40/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92 c (0,0) CSP to CSPinCNF Begin
3.37/1.60 c (1,1) translated 5 (10%) constraints
3.37/1.61 c (1,1) translated 10 (20%) constraints
3.37/1.61 c (1,1) translated 14 (30%) constraints
3.37/1.62 c (1,1) translated 19 (40%) constraints
3.37/1.62 c (1,1) translated 23 (50%) constraints
3.37/1.62 c (1,1) translated 28 (60%) constraints
3.37/1.63 c (1,1) translated 33 (70%) constraints
3.37/1.63 c (1,1) translated 37 (80%) constraints
3.37/1.63 c (1,1) translated 42 (90%) constraints
3.37/1.64 c (1,1) translated 46 (100%) constraints
3.73/1.79 c (1,1) STATISTICS1:HOME/instance-4295489-1532543275.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,127,8048,9223372036854775807,127,127,13,9223372036854775807:30;8594754748609397760:12;67675234241018880:12;532875860165503:12;4130056320516:4;4097278095750:8;127:7260;126:493;125:254,127:15851;126:532;125:266,127:2;2:8001;1:45,13:6;12:12;11:12;10:12;9:12;8:12;7:12;2:8007;1:254,301401:6;258064:12;216225:12
3.73/1.79 c (1,1) ===========================================
3.73/1.79 c (1,1) Both Encoding selects:
3.73/1.79 c (1,1) Log
3.73/1.79 c (1,1) ===========================================
4.05/1.87 c (1,1) translated 805 (10%) constraints
4.38/1.93 c (1,1) translated 1610 (20%) constraints
4.38/2.00 c (1,1) translated 2415 (30%) constraints
4.71/2.05 c (1,1) translated 3220 (40%) constraints
4.71/2.09 c (1,1) translated 4024 (50%) constraints
5.01/2.14 c (1,1) translated 4829 (60%) constraints
5.01/2.17 c (1,1) translated 5634 (70%) constraints
5.28/2.20 c (1,1) translated 6439 (80%) constraints
5.28/2.24 c (1,1) translated 7244 (90%) constraints
5.28/2.28 c (1,1) translated 8048 (100%) constraints
5.28/2.28 c (1,1) CSP to CSPinCNF End
5.28/2.28 c (1,1) CSP: 127 int (0 aux), 0 bool (0 aux), 8087 ctr, max domain size 127
5.28/2.29 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.28/2.29 c (1,1) CSPinCNF Propagation Begin
5.60/2.37 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
5.60/2.37 c (1,1) CSPinCNF Propagation End
5.60/2.37 c (1,1) CSP: 127 int (0 aux), 0 bool (0 aux), 8087 ctr, max domain size 127
5.60/2.37 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.60/2.37 c (1,1) Simplify CSPinCNF Begin
7.14/2.83 c (2,2) Simplify CSPinCNF End
7.14/2.84 c (2,2) CSP: 127 int (0 aux), 16002 bool (16002 aux), 24089 ctr, max domain size 127
7.14/2.84 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.14/2.84 c (2,2) Calculate Precise Domain Begin
7.14/2.84 c (2,2) 0 values are removed by re-calculation
7.14/2.84 c (2,2) Calculate Precise Domain End
7.14/2.84 c (2,2) CSP: 127 int (0 aux), 16002 bool (16002 aux), 24089 ctr, max domain size 127
7.14/2.84 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.14/2.84 c (2,2) CSPinCNF to SatSolver Begin
9.24/3.51 c (2,2) 2409 (10 %) CSP clauses are being encoded (49694 SAT variables, 78950 SAT clauses)
9.83/3.87 c (3,3) 4818 (20 %) CSP clauses are being encoded (82413 SAT variables, 158084 SAT clauses)
10.62/4.20 c (3,3) 7227 (30 %) CSP clauses are being encoded (113134 SAT variables, 233108 SAT clauses)
10.99/4.50 c (3,3) 9636 (40 %) CSP clauses are being encoded (143855 SAT variables, 308130 SAT clauses)
11.29/4.80 c (4,4) 12045 (50 %) CSP clauses are being encoded (174603 SAT variables, 383201 SAT clauses)
11.50/5.11 c (4,4) 14454 (60 %) CSP clauses are being encoded (205378 SAT variables, 458315 SAT clauses)
11.91/5.41 c (4,4) 16863 (70 %) CSP clauses are being encoded (236189 SAT variables, 533489 SAT clauses)
12.21/5.71 c (5,5) 19272 (80 %) CSP clauses are being encoded (267045 SAT variables, 608738 SAT clauses)
12.51/6.02 c (5,5) 21681 (90 %) CSP clauses are being encoded (298333 SAT variables, 684707 SAT clauses)
15.57/7.21 c (6,6) 24089 (100 %) CSP clauses are being encoded (386667 SAT variables, 923329 SAT clauses)
15.57/7.21 c (6,6) CSPinCNF to SatSolver End
15.57/7.21 c (6,6) Heap : 678 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.16/7.40 c (6,6) STATISTICS2:HOME/instance-4295489-1532543275.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,16129,24089,9223372036854775807,127,125,13,9223372036854775807:30;8594754748609397760:12;67675234241018880:12;532875860165503:12;4130056320516:4;4097278095750:4;4064760015625:4;127:14520;126:732;125:756,127:31460;126:780;125:785;2:32004,125:1;122:1;2:24003;1:84,13:6;12:12;11:12;10:12;9:12;8:12;7:12;2:16008;1:32251,127:30
16.16/7.40 c (6,6) SatSolver.solve Begin
16.16/7.40 c (6,6) 386687 bool, 923374 clause
16.16/7.40 c (6,6) 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-4295489-1532543275.xml-scop-32731.cnf HOME/instance-4295489-1532543275.xml-scop-32731.cnf.out
17.10/8.11 c (7,0) receiving signal SIGTERM
17.10/8.11 s UNKNOWN
17.10/8.12 c (7,6) SatSolver is killed by some reasons.
17.10/8.12 c (7,6) 0,0,1,1,2,2,6,TO,TO,STOP-AFTER(DIMACS)
17.10/8.12 c END-Prog: Wed Jul 25 20:28:03 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 (5068 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295489-1532543275/watcher-4295489-1532543275 -o /tmp/evaluation-result-4295489-1532543275/solver-4295489-1532543275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295489-1532543275.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32731, runsolver pid=32728
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 2.33 2.22 2.16 3/220 32746
/proc/meminfo: memFree=21090896/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15011656 memory=76616 CPUtime=0.12 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 7407 0 0 0 10 2 0 0 20 0 15 0 71890680 15371935744 19154 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3752914 19154 2754 1 0 3715374 0
[pid=32731/tid=32733] ppid=32728 vsize=15011656 memory=-6583029468848503632 CPUtime=0.09 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 5535 0 0 0 8 1 0 0 20 0 15 0 71890680 15371935744 19220 33554432000 4194304 4196468 140730963535616 140104528081288 140104536545117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 19220 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 19220 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 19220 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 19220 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890683 15371935744 19220 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 19220 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 19220 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 19220 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) S 32728 32731 29212 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 19286 33554432000 4194304 4196468 140730963535616 140103760566768 140104556280450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 19286 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0.01 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 71890686 15371935744 19286 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 19286 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 19286 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 76616 KiB
[startup+0.210699 s]*
/proc/loadavg: 2.33 2.22 2.16 4/220 32746
/proc/meminfo: memFree=21076872/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15011656 memory=88672 CPUtime=0.26 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 10519 0 0 0 23 3 0 0 20 0 15 0 71890680 15371935744 22168 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3752914 22168 2945 1 0 3715374 0
[pid=32731/tid=32733] ppid=32728 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 8425 0 0 0 18 2 0 0 20 0 15 0 71890680 15371935744 22168 33554432000 4194304 4196468 140730963535616 140104528095216 140104537832272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22168 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15011656 memory=4121833527360665248 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22168 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22168 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22168 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890683 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 22168 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 22168 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) R 32728 32731 29212 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 71890686 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103760566768 140104535604640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) R 32728 32731 29212 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103759514224 140104540165315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0.03 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) R 32728 32731 29212 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 71890686 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 22168 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) R 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 22168 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88672 KiB
[startup+0.310748 s]*
/proc/loadavg: 2.33 2.22 2.16 3/220 32746
/proc/meminfo: memFree=21073584/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15011656 memory=91880 CPUtime=0.43 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 11053 0 0 0 40 3 0 0 20 0 15 0 71890680 15371935744 22970 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3752914 22970 2991 1 0 3715374 0
[pid=32731/tid=32733] ppid=32728 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 8796 0 0 0 27 2 0 0 20 0 15 0 71890680 15371935744 22970 33554432000 4194304 4196468 140730963535616 140104528073456 140104556291229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22970 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15011656 memory=4049775933322737312 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22970 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22970 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15371935744 22970 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890683 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890684 15371935744 22970 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890686 15371935744 22970 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) R 32728 32731 29212 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 71890686 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103760566768 140104535525996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) R 32728 32731 29212 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 15 0 71890686 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0.07 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) R 32728 32731 29212 0 -1 4202560 299 0 0 0 7 0 0 0 20 0 15 0 71890686 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103758461680 140104534974165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 22970 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15011656 memory=140222152881792 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890687 15371935744 22970 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91880 KiB
[startup+0.701122 s]
/proc/loadavg: 2.33 2.22 2.16 3/220 32746
/proc/meminfo: memFree=21049152/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15020052 memory=131400 CPUtime=0.99 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 18103 0 0 0 94 5 0 0 20 0 15 0 71890680 15380533248 32850 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3755013 32850 3135 1 0 3716398 0
[pid=32731/tid=32733] ppid=32728 vsize=15020052 memory=280830664545089 CPUtime=0.67 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 15523 0 0 0 63 4 0 0 20 0 15 0 71890680 15380533248 32850 33554432000 4194304 4196468 140730963535616 140104528105952 140104556281238 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15380533248 32850 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15380533248 32850 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15380533248 32850 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15380533248 32850 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71890683 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71890684 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890684 15380533248 32850 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890686 15380533248 32850 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) R 32728 32731 29212 0 -1 4202560 595 0 0 0 8 0 0 0 20 0 15 0 71890686 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103760556560 140104539763878 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) S 32728 32731 29212 0 -1 1077944384 260 0 0 0 5 0 0 0 20 0 15 0 71890686 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 383 0 0 0 16 0 0 0 20 0 15 0 71890686 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15380533248 32850 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890687 15380533248 32850 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 131400 KiB
[startup+1.50078 s]
/proc/loadavg: 2.33 2.22 2.16 5/220 32746
/proc/meminfo: memFree=21020864/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15022100 memory=235556 CPUtime=3.04 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 21673 0 0 0 297 7 0 0 20 0 15 0 71890680 15382630400 58889 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3755525 58889 3202 1 0 3716910 0
[pid=32731/tid=32733] ppid=32728 vsize=15022100 memory=7234278993258635603 CPUtime=1.46 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 16532 0 0 0 141 5 0 0 20 0 15 0 71890680 15382630400 58889 33554432000 4194304 4196468 140730963535616 140104528096784 140104556281238 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15022100 memory=7089319380252647763 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15382630400 58889 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15022100 memory=6008734720004024167 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15382630400 58889 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15022100 memory=7449343433478918502 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15382630400 58889 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15022100 memory=6935656952358588496 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15382630400 58889 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15022100 memory=6946356454763026030 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71890683 15382630400 58889 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
################
# More data... #
################
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 2895 0 0 0 95 1 0 0 20 0 15 0 71890686 15386894336 159232 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15026264 memory=140222025205408 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15386894336 159232 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890687 15386894336 159232 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 636928 KiB
[startup+6.3008 s]
/proc/loadavg: 2.46 2.25 2.17 3/220 32746
/proc/meminfo: memFree=18488632/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15026264 memory=2885916 CPUtime=12.81 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 28657 0 0 0 1233 48 0 0 20 0 15 0 71890680 15386894336 721479 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3756566 721479 3227 1 0 3717422 0
[pid=32731/tid=32733] ppid=32728 vsize=15026264 memory=18620 CPUtime=6.26 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) R 32728 32731 29212 0 -1 4202560 18500 0 0 0 582 44 0 0 20 0 15 0 71890680 15386894336 721479 33554432000 4194304 4196468 140730963535616 140104528104080 140104061060564 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15386894336 721479 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15386894336 721479 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890682 15386894336 721479 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15026264 memory=9025 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890682 15386894336 721479 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15026264 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 71890683 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15026264 memory=-8388677020596316723 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71890684 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15026264 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71890684 15386894336 721479 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15026264 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890686 15386894336 721479 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15026264 memory=1876 CPUtime=2.79 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) S 32728 32731 29212 0 -1 1077944384 4033 0 0 0 278 1 0 0 20 0 15 0 71890686 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103760566768 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15026264 memory=1664 CPUtime=2.72 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) S 32728 32731 29212 0 -1 1077944384 1839 0 0 0 272 0 0 0 20 0 15 0 71890686 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15026264 memory=1828 CPUtime=1 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 2940 0 0 0 99 1 0 0 20 0 15 0 71890686 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15026264 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71890687 15386894336 721479 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15026264 memory=15316 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71890687 15386894336 721479 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 12.81 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 2885916 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8.11033 s]
/proc/loadavg: 2.67 2.30 2.19 3/225 32753
/proc/meminfo: memFree=17731268/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15683912 memory=3259836 CPUtime=16.42 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 41676 0 0 0 1563 79 0 0 20 0 19 0 71890680 16060325888 814959 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3920978 814959 3242 1 0 3881834 0
[pid=32748] ppid=32731 vsize=188304 memory=154048 CPUtime=0.68 cores=1,3,5,7
/proc/32748/stat : 32748 (minisat_release) R 32731 32731 29212 0 -1 4202496 35421 0 0 0 64 4 0 0 20 0 1 0 71891422 192823296 38512 33554432000 4194304 4308513 140736073356336 140736073353144 4207276 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26472448 140736073360047 140736073360558 140736073360558 140736073363397 0
/proc/32748/statm: 47076 38512 332 28 0 43316 0
[pid=32731/tid=32733] ppid=32728 vsize=15683912 memory=2885916 CPUtime=7.08 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) S 32728 32731 29212 0 -1 1077944384 18926 0 0 0 661 47 0 0 20 0 19 0 71890680 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104528108544 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15683912 memory=18620 CPUtime=0.22 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 118 0 0 0 16 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15683912 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 145 0 0 0 15 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15683912 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 208 0 0 0 17 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 101 0 0 0 16 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15683912 memory=2357532 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71890683 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15683912 memory=7100839852556256653 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71890684 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15683912 memory=4627849442588003702 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71890684 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15683912 memory=7898910893248706067 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15683912 memory=3254536 CPUtime=3.64 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) S 32728 32731 29212 0 -1 1077944384 9081 0 0 0 363 1 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103760566768 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15683912 memory=3604 CPUtime=3.67 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) S 32728 32731 29212 0 -1 1077944384 8697 0 0 0 365 2 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15683912 memory=10028 CPUtime=1.06 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 2993 0 0 0 105 1 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15683912 memory=3233796 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71890687 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15683912 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71890687 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32749] ppid=32728 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32749/stat : 32749 (java) S 32728 32731 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71891422 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103981155392 140104556293913 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32751] ppid=32728 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32751/stat : 32751 (java) S 32728 32731 29212 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 71891423 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101497634352 140104556291229 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32752] ppid=32728 vsize=15683912 memory=33284 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32752/stat : 32752 (java) S 32728 32731 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71891423 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101094981296 140104556291229 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32753] ppid=32728 vsize=15683912 memory=7309449309161870953 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32753/stat : 32753 (java) S 32728 32731 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 71891425 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101766077984 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 17.1 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 3413884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+8.14362 s]
# the end of solver process 32731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.28 s, system=0.876905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+8.11033 s]
/proc/loadavg: 2.67 2.30 2.19 3/225 32753
/proc/meminfo: memFree=17731268/32770624 swapFree=67076520/67108860
[pid=32731] ppid=32728 vsize=15683912 memory=3259836 CPUtime=16.42 cores=1,3,5,7
/proc/32731/stat : 32731 (java) S 32728 32731 29212 0 -1 1077944320 41676 0 0 0 1563 79 0 0 20 0 19 0 71890680 16060325888 814959 33554432000 4194304 4196468 140730963535616 140730963518160 140104556269303 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
/proc/32731/statm: 3920978 814959 3242 1 0 3881834 0
[pid=32748] ppid=32731 vsize=188304 memory=154048 CPUtime=0.68 cores=1,3,5,7
/proc/32748/stat : 32748 (minisat_release) R 32731 32731 29212 0 -1 4202496 35421 0 0 0 64 4 0 0 20 0 1 0 71891422 192823296 38512 33554432000 4194304 4308513 140736073356336 140736073353144 4207276 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26472448 140736073360047 140736073360558 140736073360558 140736073363397 0
/proc/32748/statm: 47076 38512 332 28 0 43316 0
[pid=32731/tid=32733] ppid=32728 vsize=15683912 memory=2885916 CPUtime=7.08 cores=1,3,5,7
/proc/32731/task/32733/stat : 32733 (java) S 32728 32731 29212 0 -1 1077944384 18926 0 0 0 661 47 0 0 20 0 19 0 71890680 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104528108544 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32734] ppid=32728 vsize=15683912 memory=18620 CPUtime=0.22 cores=1,3,5,7
/proc/32731/task/32734/stat : 32734 (java) S 32728 32731 29212 0 -1 1077944384 118 0 0 0 16 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104560511760 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32735] ppid=32728 vsize=15683912 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32731/task/32735/stat : 32735 (java) S 32728 32731 29212 0 -1 1077944384 145 0 0 0 15 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104385153936 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32736] ppid=32728 vsize=15683912 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/32731/task/32736/stat : 32736 (java) S 32728 32731 29212 0 -1 1077944384 208 0 0 0 17 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104015621136 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32737] ppid=32728 vsize=15683912 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/32731/task/32737/stat : 32737 (java) S 32728 32731 29212 0 -1 1077944384 101 0 0 0 16 6 0 0 20 0 19 0 71890682 16060325888 814959 33554432000 4194304 4196468 140730963535616 140104014568592 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32738] ppid=32728 vsize=15683912 memory=2357532 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32738/stat : 32738 (java) S 32728 32731 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71890683 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103761618928 140104556280450 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32739] ppid=32728 vsize=15683912 memory=7100839852556256653 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32739/stat : 32739 (java) S 32728 32731 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71890684 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103175365536 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32740] ppid=32728 vsize=15683912 memory=4627849442588003702 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32740/stat : 32740 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71890684 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102906930160 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32741] ppid=32728 vsize=15683912 memory=7898910893248706067 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32741/stat : 32741 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102532421840 140104556287899 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32742] ppid=32728 vsize=15683912 memory=3254536 CPUtime=3.64 cores=1,3,5,7
/proc/32731/task/32742/stat : 32742 (java) S 32728 32731 29212 0 -1 1077944384 9081 0 0 0 363 1 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103760566768 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32743] ppid=32728 vsize=15683912 memory=3604 CPUtime=3.67 cores=1,3,5,7
/proc/32731/task/32743/stat : 32743 (java) S 32728 32731 29212 0 -1 1077944384 8697 0 0 0 365 2 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103759514224 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32744] ppid=32728 vsize=15683912 memory=10028 CPUtime=1.06 cores=1,3,5,7
/proc/32731/task/32744/stat : 32744 (java) S 32728 32731 29212 0 -1 1077944384 2993 0 0 0 105 1 0 0 20 0 19 0 71890686 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103758461680 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32745] ppid=32728 vsize=15683912 memory=3233796 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32745/stat : 32745 (java) S 32728 32731 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71890687 16060325888 814959 33554432000 4194304 4196468 140730963535616 140102034517088 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32746] ppid=32728 vsize=15683912 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32746/stat : 32746 (java) S 32728 32731 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71890687 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103757408560 140104556280450 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32749] ppid=32728 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32749/stat : 32749 (java) S 32728 32731 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71891422 16060325888 814959 33554432000 4194304 4196468 140730963535616 140103981155392 140104556293913 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32751] ppid=32728 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32751/stat : 32751 (java) S 32728 32731 29212 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 71891423 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101497634352 140104556291229 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32752] ppid=32728 vsize=15683912 memory=33284 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32752/stat : 32752 (java) S 32728 32731 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71891423 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101094981296 140104556291229 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
[pid=32731/tid=32753] ppid=32728 vsize=15683912 memory=7309449309161870953 CPUtime=0 cores=1,3,5,7
/proc/32731/task/32753/stat : 32753 (java) S 32728 32731 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 71891425 16060325888 814959 33554432000 4194304 4196468 140730963535616 140101766077984 140104556279509 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17719296 140730963543028 140730963543305 140730963543305 140730963546063 0
Current children cumulated CPU time: 17.1 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 3413884 KiB
Child status: 1
Real time (s): 8.14368
CPU time (s): 17.1569
CPU user time (s): 16.28
CPU system time (s): 0.876905
CPU usage (%): 210.678
Max. virtual memory (cumulated for all children) (KiB): 15872216
Max. memory (cumulated for all children) (KiB): 3413884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.28
system time used= 0.876905
maximum resident set size= 3261392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4278
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 32731
# total CPU time (s): 17.1569
# total CPU user time (s): 16.28
# total CPU system time (s): 0.876905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070421 second user time and 0.132193 second system time
The end