0.59/0.58
0.59/0.59 scop both+minisat_release (2018-06-13)
0.59/0.59
0.71/0.63 c BEGIN-Prog: Wed Jul 25 20:29:07 CEST 2018
0.71/0.63 c PID: 794
0.71/0.63 c IP: 172.20.3.102
0.71/0.63 c HOST: node102.alineos.net
0.71/0.64 c (0,0) Parsing Begin
1.18/0.98 c (0,0) Parsing End
1.18/0.99 c (0,0) CSP: 61 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 61
1.18/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.99 c (0,0) Constraint Name Generate Begin
1.18/0.99 c (0,0) Ctr:HOME/instance-4295543-1532543346.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.18/0.99 c (0,0) Constraint Name Generate End
1.18/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.99 c (0,0) CSP to CSPinCNF Begin
2.41/1.44 c (0,0) translated 4 (10%) constraints
2.41/1.45 c (0,0) translated 7 (20%) constraints
2.41/1.45 c (0,0) translated 11 (30%) constraints
2.41/1.45 c (0,0) translated 14 (40%) constraints
2.41/1.46 c (0,0) translated 17 (50%) constraints
2.41/1.46 c (0,0) translated 21 (60%) constraints
2.41/1.46 c (0,0) translated 24 (70%) constraints
2.41/1.46 c (0,0) translated 28 (80%) constraints
2.41/1.46 c (0,0) translated 31 (90%) constraints
2.41/1.46 c (0,0) translated 34 (100%) constraints
2.68/1.53 c (0,0) STATISTICS1:HOME/instance-4295543-1532543346.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,61,1865,185473347699600,61,61,9,185473347699600:2;182382125237940:4;3142742836021:12;51520374361:12;844596301:12;13395600:4;13172340:8;61:1485;60:229;59:122,61:3575;60:268;59:134,61:2;2:1830;1:33,9:6;8:12;7:12;6:12;5:12;2:1836;1:122,
2.68/1.53 c (0,0) ===========================================
2.68/1.53 c (0,0) Both Encoding selects:
2.68/1.53 c (0,0) Order
2.68/1.54 c (0,0) ===========================================
2.68/1.57 c (0,0) translated 187 (10%) constraints
2.68/1.59 c (0,0) translated 373 (20%) constraints
2.98/1.60 c (1,0) translated 560 (30%) constraints
2.98/1.62 c (1,0) translated 746 (40%) constraints
2.98/1.63 c (1,0) translated 933 (50%) constraints
2.98/1.64 c (1,0) translated 1119 (60%) constraints
2.98/1.66 c (1,1) translated 1306 (70%) constraints
2.98/1.67 c (1,1) translated 1492 (80%) constraints
2.98/1.68 c (1,1) translated 1679 (90%) constraints
3.31/1.76 c (1,1) translated 1865 (100%) constraints
3.31/1.76 c (1,1) CSP to CSPinCNF End
3.31/1.76 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.31/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.31/1.76 c (1,1) CSPinCNF Propagation Begin
3.64/1.80 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
3.64/1.80 c (1,1) CSPinCNF Propagation End
3.64/1.80 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.64/1.80 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.64/1.80 c (1,1) Simplify CSPinCNF Begin
3.95/1.96 c (1,1) Simplify CSPinCNF End
3.95/1.97 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
3.95/1.97 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.95/1.97 c (1,1) Calculate Precise Domain Begin
3.95/1.99 c (1,1) 2 values are removed by re-calculation
3.95/1.99 c (1,1) Calculate Precise Domain End
3.95/1.99 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
3.95/1.99 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.95/1.99 c (1,1) CSPinCNF to SatSolver Begin
4.88/2.23 c (1,1) 576 (10 %) CSP clauses are encoded (20737 SAT variables, 40183 SAT clauses)
5.19/2.31 c (1,1) 1152 (20 %) CSP clauses are encoded (20737 SAT variables, 63547 SAT clauses)
5.19/2.37 c (1,1) 1727 (30 %) CSP clauses are encoded (20737 SAT variables, 86976 SAT clauses)
5.43/2.44 c (1,1) 2303 (40 %) CSP clauses are encoded (20737 SAT variables, 110560 SAT clauses)
5.64/2.50 c (1,1) 2878 (50 %) CSP clauses are encoded (20737 SAT variables, 134137 SAT clauses)
5.64/2.56 c (1,1) 3454 (60 %) CSP clauses are encoded (20737 SAT variables, 157713 SAT clauses)
5.76/2.62 c (2,1) 4030 (70 %) CSP clauses are encoded (20737 SAT variables, 181283 SAT clauses)
5.76/2.68 c (2,2) 4605 (80 %) CSP clauses are encoded (20737 SAT variables, 204768 SAT clauses)
5.88/2.74 c (2,2) 5181 (90 %) CSP clauses are encoded (20737 SAT variables, 228244 SAT clauses)
9.12/5.06 c (4,4) 5756 (100 %) CSP clauses are encoded (20737 SAT variables, 1809507 SAT clauses)
9.12/5.06 c (4,4) CSPinCNF to SatSolver End
9.12/5.06 c (4,4) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.30/5.12 c (4,4) STATISTICS2:HOME/instance-4295543-1532543346.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,3823,5756,32220,181,59,3,32220:6;21901:12;14641:24;7381:42;7320:6;7259:6;5307:6;5246:4;5185:2;3721:114;3660:18;3599:18;61:2970;60:336;59:360,181:84;180:12;179:12;121:228;120:12;119:12;87:24;86:16;85:8;61:7040;60:384;59:389;2:7320,59:1;56:1;2:5490;1:264,3:258;2:3666;1:7435,
9.30/5.12 c (4,4) SatSolver.solve Begin
9.30/5.12 c (4,4) 20737 bool, 1809565 clause
9.30/5.12 c (4,4) 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-4295543-1532543346.xml-scop-794.cnf HOME/instance-4295543-1532543346.xml-scop-794.cnf.out
13.48/8.80 c (8,0) receiving signal SIGTERM
13.48/8.80 s UNKNOWN
13.48/8.81 c (8,4) SatSolver is killed by some reasons.
13.48/8.81 c (8,4) 0,0,1,1,1,1,4,TO,TO,STOP-AFTER(DIMACS)
13.48/8.81 c END-Prog: Wed Jul 25 20:29:15 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-4295543-1532543346/watcher-4295543-1532543346 -o /tmp/evaluation-result-4295543-1532543346/solver-4295543-1532543346 -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-4295543-1532543346.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=794, runsolver pid=791
Current StackSize limit: 8192 KiB
[startup+0.100302 s]*
/proc/loadavg: 2.56 2.36 2.22 3/214 803
/proc/meminfo: memFree=21102076/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=14879232 memory=64220 CPUtime=0.06 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 5195 0 0 0 4 2 0 0 20 0 14 0 71897824 15236333568 16055 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3719808 16055 2521 1 0 3682349 0
[pid=794/tid=796] ppid=791 vsize=15011656 memory=8389772277269004345 CPUtime=0.05 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 3488 0 0 0 4 1 0 0 20 0 15 0 71897824 15371935744 16696 33554432000 4194304 4196468 140728430160480 139684683019440 139684533595715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 16762 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15011656 memory=140471893412279 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 16762 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 16762 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 16762 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897831 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 16762 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) S 791 794 29212 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683478596208 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 16762 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897835 15371935744 16762 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 14879232 KiB
Current children cumulated memory: 64220 KiB
[startup+0.210545 s]*
/proc/loadavg: 2.56 2.36 2.22 3/220 809
/proc/meminfo: memFree=21082564/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15011656 memory=85764 CPUtime=0.17 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 9331 0 0 0 14 3 0 0 20 0 15 0 71897824 15371935744 21441 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3752914 21441 2819 1 0 3715374 0
[pid=794/tid=796] ppid=791 vsize=15011656 memory=8389772277269004345 CPUtime=0.14 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 7314 0 0 0 12 2 0 0 20 0 15 0 71897824 15371935744 21441 33554432000 4194304 4196468 140728430160480 139684682984400 139684694368909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 21441 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15011656 memory=140471893412279 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 21441 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 21441 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 21441 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897831 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 21441 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) S 791 794 29212 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683478596208 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0.02 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 15 0 71897834 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 21441 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897835 15371935744 21441 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85764 KiB
[startup+0.310365 s]*
/proc/loadavg: 2.56 2.36 2.22 3/220 809
/proc/meminfo: memFree=21076484/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15011656 memory=89380 CPUtime=0.35 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 9738 0 0 0 32 3 0 0 20 0 15 0 71897824 15371935744 22345 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3752914 22345 2941 1 0 3715374 0
[pid=794/tid=796] ppid=791 vsize=15011656 memory=7883960649037381690 CPUtime=0.23 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 7572 0 0 0 21 2 0 0 20 0 15 0 71897824 15371935744 22345 33554432000 4194304 4196468 140728430160480 139684682999600 139684691458162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 22345 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15011656 memory=140471893412253 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 22345 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 22345 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15371935744 22345 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71897830 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15011656 memory=140471893382784 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897831 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 22345 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) S 791 794 29212 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 15 0 71897834 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683478596208 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 71897834 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15011656 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 71897834 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15371935744 22345 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15011656 memory=922 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897835 15371935744 22345 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89380 KiB
[startup+0.702967 s]
/proc/loadavg: 2.56 2.36 2.22 3/220 809
/proc/meminfo: memFree=21057820/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15017928 memory=123844 CPUtime=0.82 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 16228 0 0 0 77 5 0 0 20 0 15 0 71897824 15378358272 30961 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3754482 30961 3083 1 0 3715886 0
[pid=794/tid=796] ppid=791 vsize=15017928 memory=18624 CPUtime=0.58 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 13750 0 0 0 54 4 0 0 20 0 15 0 71897824 15378358272 30961 33554432000 4194304 4196468 140728430160480 139684683001152 139684533567508 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15017928 memory=776 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15378358272 30961 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15017928 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15378358272 30961 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15017928 memory=164 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15378358272 30961 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15378358272 30961 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71897830 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71897830 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15017928 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897831 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15378358272 30961 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15017928 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) R 791 794 29212 0 -1 4202560 240 0 0 0 4 0 0 0 20 0 15 0 71897834 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683478577224 139684691021584 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15017928 memory=6656426216303648864 CPUtime=0.03 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 71897834 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15017928 memory=6944656592455359580 CPUtime=0.13 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 374 0 0 0 13 0 0 0 20 0 15 0 71897834 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15017928 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15378358272 30961 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15017928 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897835 15378358272 30961 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 123844 KiB
[startup+1.50076 s]
/proc/loadavg: 2.52 2.35 2.22 3/220 809
/proc/meminfo: memFree=21028852/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15022100 memory=177080 CPUtime=2.68 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 20773 0 0 0 259 9 0 0 20 0 15 0 71897824 15382630400 44270 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3755525 44270 3201 1 0 3716910 0
[pid=794/tid=796] ppid=791 vsize=15022100 memory=161540 CPUtime=1.36 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 15509 0 0 0 130 6 0 0 20 0 15 0 71897824 15382630400 44270 33554432000 4194304 4196468 140728430160480 139684683017648 139684711194006 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15022100 memory=18624 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15382630400 44270 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15022100 memory=776 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15382630400 44270 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15022100 memory=280943474525600 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15382630400 44270 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15022100 memory=280943474590752 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15382630400 44270 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15022100 memory=7308891830879480168 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71897830 15382630400 44270 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
################
# More data... #
################
/proc/794/task/807/stat : 807 (java) R 791 794 29212 0 -1 4202560 2344 0 0 0 58 1 0 0 20 0 15 0 71897834 15382630400 44270 33554432000 4194304 4196468 140728430160480 139683274144448 139684696347726 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15022100 memory=7305211782759804518 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15382630400 44270 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15022100 memory=7453002629600600403 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897835 15382630400 44270 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 177080 KiB
[startup+3.11055 s]
/proc/loadavg: 2.52 2.35 2.22 4/220 809
/proc/meminfo: memFree=20277624/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15026264 memory=929796 CPUtime=6.77 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 23995 0 0 0 654 23 0 0 20 0 15 0 71897824 15386894336 232449 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3756566 232449 3227 1 0 3717422 0
[pid=794/tid=796] ppid=791 vsize=15026264 memory=6944652177228980320 CPUtime=2.96 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) R 791 794 29212 0 -1 4202560 16302 0 0 0 278 18 0 0 20 0 15 0 71897824 15386894336 232449 33554432000 4194304 4196468 140728430160480 139684683019536 139684711194006 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15026264 memory=203360 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15386894336 232449 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15026264 memory=18624 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15386894336 232449 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15026264 memory=776 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897828 15386894336 232449 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15026264 memory=280943474525600 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71897828 15386894336 232449 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15026264 memory=639976 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71897830 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15026264 memory=52 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71897830 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71897831 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15026264 memory=3184238391004837005 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15386894336 232449 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15026264 memory=280943474719024 CPUtime=1.36 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) R 791 794 29212 0 -1 4202560 1061 0 0 0 136 0 0 0 20 0 15 0 71897834 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683478596208 139684711194006 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15026264 memory=6656426216303648864 CPUtime=1.52 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) R 791 794 29212 0 -1 4202560 2455 0 0 0 151 1 0 0 20 0 15 0 71897834 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683275187032 139684694569293 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15026264 memory=6944656592455360604 CPUtime=0.89 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 2835 0 0 0 87 2 0 0 20 0 15 0 71897834 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15026264 memory=6720696446780543624 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897834 15386894336 232449 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15026264 memory=-5345911753256963030 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71897835 15386894336 232449 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 6.77 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 929796 KiB
[startup+6.30085 s]
/proc/loadavg: 2.48 2.35 2.22 3/225 815
/proc/meminfo: memFree=18486992/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15681864 memory=2512668 CPUtime=9.83 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 26291 0 0 0 930 53 0 0 20 0 19 0 71897824 16058228736 628167 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3920466 628167 3234 1 0 3881322 0
[pid=810] ppid=794 vsize=153684 memory=129012 CPUtime=1.15 cores=1,3,5,7
/proc/810/stat : 810 (minisat_release) R 794 794 29212 0 -1 4202496 25068 0 0 0 110 5 0 0 20 0 1 0 71898338 157372416 32253 33554432000 4194304 4308513 140730844410384 140730844407656 4221726 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10960896 140730844414643 140730844415150 140730844415150 140730844417989 0
/proc/810/statm: 38421 32253 331 28 0 34661 0
[pid=794/tid=796] ppid=791 vsize=15681864 memory=2512668 CPUtime=5.04 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) S 791 794 29212 0 -1 1077944384 17395 0 0 0 456 48 0 0 20 0 19 0 71897824 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684683021312 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15681864 memory=280943475095104 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15681864 memory=-6812210783619891858 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15681864 memory=186712 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15681864 memory=3474628543272 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15681864 memory=7235093529529378670 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 71897830 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15681864 memory=203360 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71897830 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15681864 memory=18624 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897831 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15681864 memory=776 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15681864 memory=3544 CPUtime=1.67 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) S 791 794 29212 0 -1 1077944384 1847 0 0 0 166 1 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683478596208 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15681864 memory=288230574492221466 CPUtime=2.14 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 2725 0 0 0 213 1 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15681864 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 2928 0 0 0 92 2 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897835 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=811] ppid=791 vsize=15681864 memory=280943475571360 CPUtime=0 cores=1,3,5,7
/proc/794/task/811/stat : 811 (java) S 791 794 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898338 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684483421120 139684711206681 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=813] ppid=791 vsize=15681864 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/794/task/813/stat : 813 (java) S 791 794 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898339 16058228736 628167 33554432000 4194304 4196468 140728430160480 139681731689904 139684711203997 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=814] ppid=791 vsize=15681864 memory=2936 CPUtime=0 cores=1,3,5,7
/proc/794/task/814/stat : 814 (java) S 791 794 29212 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 71898339 16058228736 628167 33554432000 4194304 4196468 140728430160480 139681463254832 139684711203997 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=815] ppid=791 vsize=15681864 memory=2844 CPUtime=0 cores=1,3,5,7
/proc/794/task/815/stat : 815 (java) S 791 794 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71898342 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682000133536 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 10.98 s
Current children cumulated vsize: 15835548 KiB
Current children cumulated memory: 2641680 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8.80093 s]
/proc/loadavg: 2.48 2.35 2.22 3/225 815
/proc/meminfo: memFree=18478196/32770624 swapFree=67076520/67108860
[pid=794] ppid=791 vsize=15681864 memory=2512668 CPUtime=9.83 cores=1,3,5,7
/proc/794/stat : 794 (java) S 791 794 29212 0 -1 1077944320 26291 0 0 0 930 53 0 0 20 0 19 0 71897824 16058228736 628167 33554432000 4194304 4196468 140728430160480 140728430143024 139684711182071 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
/proc/794/statm: 3920466 628167 3234 1 0 3881322 0
[pid=810] ppid=794 vsize=197540 memory=152084 CPUtime=3.65 cores=1,3,5,7
/proc/810/stat : 810 (minisat_release) R 794 794 29212 0 -1 4202496 52013 0 0 0 358 7 0 0 20 0 1 0 71898338 202280960 38021 33554432000 4194304 4308513 140730844410384 140730844407656 4281257 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10960896 140730844414643 140730844415150 140730844415150 140730844417989 0
/proc/810/statm: 49385 38021 334 28 0 45625 0
[pid=794/tid=796] ppid=791 vsize=15681864 memory=4639098309541127269 CPUtime=5.04 cores=1,3,5,7
/proc/794/task/796/stat : 796 (java) S 791 794 29212 0 -1 1077944384 17395 0 0 0 456 48 0 0 20 0 19 0 71897824 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684683021312 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=797] ppid=791 vsize=15681864 memory=7161658449454263655 CPUtime=0 cores=1,3,5,7
/proc/794/task/797/stat : 797 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684715424656 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=798] ppid=791 vsize=15681864 memory=2319690396900274207 CPUtime=0 cores=1,3,5,7
/proc/794/task/798/stat : 798 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684491127568 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=799] ppid=791 vsize=15681864 memory=6076878065162868073 CPUtime=0 cores=1,3,5,7
/proc/794/task/799/stat : 799 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684490075280 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=800] ppid=791 vsize=15681864 memory=6299217909194444880 CPUtime=0 cores=1,3,5,7
/proc/794/task/800/stat : 800 (java) S 791 794 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71897828 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684489022480 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=801] ppid=791 vsize=15681864 memory=280943474971448 CPUtime=0 cores=1,3,5,7
/proc/794/task/801/stat : 801 (java) S 791 794 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 71897830 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683479648368 139684711193218 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=802] ppid=791 vsize=15681864 memory=321726105411387716 CPUtime=0 cores=1,3,5,7
/proc/794/task/802/stat : 802 (java) S 791 794 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71897830 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683409421088 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=803] ppid=791 vsize=15681864 memory=15255943717869345 CPUtime=0 cores=1,3,5,7
/proc/794/task/803/stat : 803 (java) S 791 794 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71897831 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683140985968 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=804] ppid=791 vsize=15681864 memory=6223407613083 CPUtime=0 cores=1,3,5,7
/proc/794/task/804/stat : 804 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682766477392 139684711200667 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=805] ppid=791 vsize=15681864 memory=288230621803970871 CPUtime=1.67 cores=1,3,5,7
/proc/794/task/805/stat : 805 (java) S 791 794 29212 0 -1 1077944384 1847 0 0 0 166 1 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683478596208 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=806] ppid=791 vsize=15681864 memory=16105853304440684 CPUtime=2.14 cores=1,3,5,7
/proc/794/task/806/stat : 806 (java) S 791 794 29212 0 -1 1077944384 2725 0 0 0 213 1 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683275201008 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=807] ppid=791 vsize=15681864 memory=1664 CPUtime=0.94 cores=1,3,5,7
/proc/794/task/807/stat : 807 (java) S 791 794 29212 0 -1 1077944384 2928 0 0 0 92 2 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683274148720 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=808] ppid=791 vsize=15681864 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/794/task/808/stat : 808 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897834 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682268572640 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=809] ppid=791 vsize=15681864 memory=800 CPUtime=0 cores=1,3,5,7
/proc/794/task/809/stat : 809 (java) S 791 794 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71897835 16058228736 628167 33554432000 4194304 4196468 140728430160480 139683273095600 139684711193218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=811] ppid=791 vsize=15681864 memory=5192 CPUtime=0 cores=1,3,5,7
/proc/794/task/811/stat : 811 (java) S 791 794 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898338 16058228736 628167 33554432000 4194304 4196468 140728430160480 139684483421120 139684711206681 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=813] ppid=791 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/794/task/813/stat : 813 (java) S 791 794 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898339 16058228736 628167 33554432000 4194304 4196468 140728430160480 139681731689904 139684711203997 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=814] ppid=791 vsize=15681864 memory=280943475205056 CPUtime=0 cores=1,3,5,7
/proc/794/task/814/stat : 814 (java) S 791 794 29212 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 71898339 16058228736 628167 33554432000 4194304 4196468 140728430160480 139681463254832 139684711203997 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
[pid=794/tid=815] ppid=791 vsize=15681864 memory=140471200382977 CPUtime=0 cores=1,3,5,7
/proc/794/task/815/stat : 815 (java) S 791 794 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71898342 16058228736 628167 33554432000 4194304 4196468 140728430160480 139682000133536 139684711192277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140728430167028 140728430167305 140728430167305 140728430170063 0
Current children cumulated CPU time: 13.48 s
Current children cumulated vsize: 15879404 KiB
Current children cumulated memory: 2664752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+8.83057 s]
# the end of solver process 794 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.893 s, system=0.64047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 8.83061
CPU time (s): 13.5334
CPU user time (s): 12.893
CPU system time (s): 0.64047
CPU usage (%): 153.256
Max. virtual memory (cumulated for all children) (KiB): 15879404
Max. memory (cumulated for all children) (KiB): 2664752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.893
system time used= 0.64047
maximum resident set size= 2518812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 67720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4358
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 794
# total CPU time (s): 13.5334
# total CPU user time (s): 12.893
# total CPU system time (s): 0.64047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083868 second user time and 0.122944 second system time
The end