0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 03:27:13 CEST 2018
0.66/0.55 c PID: 3884
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.39/0.91 c (0,0) Parsing End
1.39/0.91 c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.39/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91 c (0,0) Constraint Name Generate Begin
1.39/0.92 c (0,0) Ctr:HOME/instance-4295562-1532568432.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.39/0.92 c (0,0) Constraint Name Generate End
1.39/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92 c (0,0) CSP to CSPinCNF Begin
3.31/1.60 c (1,1) translated 5 (10%) constraints
3.31/1.61 c (1,1) translated 10 (20%) constraints
3.31/1.61 c (1,1) translated 14 (30%) constraints
3.31/1.62 c (1,1) translated 19 (40%) constraints
3.31/1.62 c (1,1) translated 23 (50%) constraints
3.31/1.62 c (1,1) translated 28 (60%) constraints
3.31/1.63 c (1,1) translated 33 (70%) constraints
3.31/1.63 c (1,1) translated 37 (80%) constraints
3.31/1.63 c (1,1) translated 42 (90%) constraints
3.31/1.63 c (1,1) translated 46 (100%) constraints
3.66/1.78 c (1,1) STATISTICS1:HOME/instance-4295562-1532568432.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.66/1.78 c (1,1) ===========================================
3.66/1.78 c (1,1) Order
3.66/1.78 c (1,1) ===========================================
3.99/1.86 c (1,1) translated 805 (10%) constraints
4.32/1.91 c (1,1) translated 1610 (20%) constraints
4.32/1.97 c (1,1) translated 2415 (30%) constraints
4.63/2.02 c (1,1) translated 3220 (40%) constraints
4.63/2.06 c (1,1) translated 4024 (50%) constraints
4.63/2.09 c (1,1) translated 4829 (60%) constraints
4.94/2.13 c (1,1) translated 5634 (70%) constraints
4.94/2.16 c (1,1) translated 6439 (80%) constraints
4.94/2.19 c (1,1) translated 7244 (90%) constraints
5.55/2.33 c (1,1) translated 8048 (100%) constraints
5.55/2.33 c (1,1) CSP to CSPinCNF End
5.55/2.33 c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 630
5.55/2.33 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.55/2.33 c (1,1) CSPinCNF Propagation Begin
5.88/2.41 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
5.88/2.41 c (1,1) CSPinCNF Propagation End
5.88/2.41 c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 630
5.88/2.41 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.88/2.41 c (1,1) Simplify CSPinCNF Begin
7.13/2.89 c (2,2) Simplify CSPinCNF End
7.43/2.90 c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 630
7.43/2.90 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.43/2.90 c (2,2) Calculate Precise Domain Begin
7.43/2.94 c (2,2) 5 values are removed by re-calculation
7.43/2.94 c (2,2) Calculate Precise Domain End
7.43/2.94 c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 629
7.43/2.94 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.43/2.94 c (2,2) CSPinCNF to SatSolver Begin
9.77/3.97 c (3,3) 2462 (10 %) CSP clauses are encoded (116891 SAT variables, 308695 SAT clauses)
10.35/4.51 c (3,3) 4924 (20 %) CSP clauses are encoded (116891 SAT variables, 517599 SAT clauses)
10.89/5.05 c (4,4) 7386 (30 %) CSP clauses are encoded (116891 SAT variables, 726769 SAT clauses)
11.45/5.57 c (5,4) 9847 (40 %) CSP clauses are encoded (116891 SAT variables, 935932 SAT clauses)
12.17/6.12 c (5,5) 12309 (50 %) CSP clauses are encoded (116891 SAT variables, 1145088 SAT clauses)
12.56/6.58 c (6,5) 14771 (60 %) CSP clauses are encoded (116891 SAT variables, 1354236 SAT clauses)
13.07/7.03 c (6,6) 17232 (70 %) CSP clauses are encoded (116891 SAT variables, 1563371 SAT clauses)
13.47/7.49 c (6,6) 19694 (80 %) CSP clauses are encoded (116891 SAT variables, 1772491 SAT clauses)
13.97/7.94 c (7,7) 22156 (90 %) CSP clauses are encoded (116891 SAT variables, 1981497 SAT clauses)
44.65/38.85 c (38,36) 24617 (100 %) CSP clauses are encoded (116891 SAT variables, 26182676 SAT clauses)
44.65/38.85 c (38,36) CSPinCNF to SatSolver End
44.65/38.85 c (38,36) Heap : 3236 MiB used (max 11208 MiB), NonHeap : 31 MiB used (max 0 MiB)
45.16/39.02 c (38,36) STATISTICS2:HOME/instance-4295562-1532568432.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,16393,24617,255025,629,125,3,255025:12;254520:6;191395:12;143641:24;95887:12;95381:6;64009:78;63756:14;63503:4;32131:96;32004:4;31877:14;16129:288;16002:18;15875:18;127:14520;126:732;125:756,629:12;505:156;504:12;379:192;377:12;298:12;297:8;296:4;253:576;252:36;251:36;127:31460;126:780;125:785;2:32004,125:1;122:1;2:24003;1:612,3:606;2:16008;1:32251,
45.16/39.02 c (38,36) SatSolver.solve Begin
45.16/39.02 c (38,36) 116891 bool, 26182800 clause
45.16/39.02 c (38,36) 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-4295562-1532568432.xml-scop-3884.cnf HOME/instance-4295562-1532568432.xml-scop-3884.cnf.out
46.40/40.02 c (39,0) receiving signal SIGTERM
46.40/40.02 s UNKNOWN
46.40/40.02 c (39,36) SatSolver is killed by some reasons.
46.40/40.02 c (39,36) 0,0,1,1,2,2,38,TO,TO,STOP-AFTER(DIMACS)
46.40/40.02 c END-Prog: Thu Jul 26 03:27:52 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 (6710 MiB free)
memory of node 1: 16384 MiB (14003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295562-1532568432/watcher-4295562-1532568432 -o /tmp/evaluation-result-4295562-1532568432/solver-4295562-1532568432 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295562-1532568432.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=3884, runsolver pid=3881
Starting watchdog threadCurrent StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.98 2.02 2.06 3/220 3899
/proc/meminfo: memFree=21149968/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15011656 memory=73256 CPUtime=0.11 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 6468 0 0 0 9 2 0 0 20 0 15 0 74406480 15371935744 18314 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3752914 18314 2782 1 0 3715374 0
[pid=3884/tid=3886] ppid=3881 vsize=15011656 memory=7100839861464500584 CPUtime=0.09 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 4872 0 0 0 7 2 0 0 20 0 15 0 74406480 15371935744 18578 33554432000 4194304 4196468 140732404653408 140062453051784 140062461516624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 18578 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 18644 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406483 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061098108448 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 18644 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 18644 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0.01 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 74406486 15371935744 18644 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 18644 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 18710 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73256 KiB
[startup+0.210367 s]*
/proc/loadavg: 1.98 2.02 2.06 3/220 3899
/proc/meminfo: memFree=21136264/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15011656 memory=86616 CPUtime=0.25 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 10000 0 0 0 22 3 0 0 20 0 15 0 74406480 15371935744 21654 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3752914 21654 2945 1 0 3715374 0
[pid=3884/tid=3886] ppid=3881 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 7911 0 0 0 18 2 0 0 20 0 15 0 74406480 15371935744 21654 33554432000 4194304 4196468 140732404653408 140062453065008 140062465320286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 21654 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15011656 memory=3618277820898129568 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 21654 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406483 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061098108448 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 21654 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 21654 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) R 3881 3884 32649 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061819464048 140062461130528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) R 3881 3884 32649 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0.03 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 74406486 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 21654 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 21654 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86616 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.98 2.02 2.06 3/220 3899
/proc/meminfo: memFree=21132340/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15011656 memory=89732 CPUtime=0.43 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 10515 0 0 0 39 4 0 0 20 0 15 0 74406480 15371935744 22433 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3752914 22433 2987 1 0 3715374 0
[pid=3884/tid=3886] ppid=3881 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 8279 0 0 0 27 3 0 0 20 0 15 0 74406480 15371935744 22433 33554432000 4194304 4196468 140732404653408 140062453067088 140062481251734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 22433 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 22433 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15011656 memory=139984728334543 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406482 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406483 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15011656 memory=139984728355279 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061098108448 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406484 15371935744 22433 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15011656 memory=279969456682880 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15371935744 22433 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 74406486 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15011656 memory=139984728367023 CPUtime=0.03 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 74406486 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15011656 memory=139984833787520 CPUtime=0.07 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) R 3881 3884 32649 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 74406486 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061817356256 140062481251734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15011656 memory=139984728372127 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 22433 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15011656 memory=139984908194000 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406487 15371935744 22433 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89732 KiB
[startup+0.704243 s]
/proc/loadavg: 1.98 2.02 2.06 3/220 3899
/proc/meminfo: memFree=21108280/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15020052 memory=130168 CPUtime=0.98 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 17696 0 0 0 92 6 0 0 20 0 15 0 74406480 15380533248 32542 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3755013 32542 3173 1 0 3716398 0
[pid=3884/tid=3886] ppid=3881 vsize=15020052 memory=53 CPUtime=0.68 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 15023 0 0 0 63 5 0 0 20 0 15 0 74406480 15380533248 32542 33554432000 4194304 4196468 140732404653408 140062453069720 140062465320286 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15380533248 32542 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15380533248 32542 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406482 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15020052 memory=156696445985426 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74406483 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15020052 memory=433534 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74406484 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061098108448 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406484 15380533248 32542 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15380533248 32542 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15020052 memory=279969456455920 CPUtime=0.06 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 599 0 0 0 6 0 0 0 20 0 15 0 74406486 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) R 3881 3884 32649 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 74406486 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15020052 memory=-6305713892980514176 CPUtime=0.16 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) R 3881 3884 32649 0 -1 4202560 398 0 0 0 16 0 0 0 20 0 15 0 74406486 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061817358448 140062459853171 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15380533248 32542 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406487 15380533248 32542 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130168 KiB
[startup+1.50191 s]
/proc/loadavg: 1.98 2.02 2.06 5/220 3899
/proc/meminfo: memFree=21079744/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15022100 memory=237168 CPUtime=2.99 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 21456 0 0 0 290 9 0 0 20 0 15 0 74406480 15382630400 59292 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3755525 59292 3203 1 0 3716910 0
[pid=3884/tid=3886] ppid=3881 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 16015 0 0 0 140 6 0 0 20 0 15 0 74406480 15382630400 59292 33554432000 4194304 4196468 140732404653408 140062453073088 140062463103841 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15382630400 59292 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15382630400 59292 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74406482 15382630400 59292 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74406482 15382630400 59292 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74406483 15382630400 59292 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
################
# More data... #
################
[pid=3884/tid=3894] ppid=3881 vsize=15026264 memory=-6298953081951440413 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15386894336 773975 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15026264 memory=288230574492221466 CPUtime=2.78 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 3479 0 0 0 277 1 0 0 20 0 15 0 74406486 15386894336 773975 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15026264 memory=0 CPUtime=2.97 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 4309 0 0 0 296 1 0 0 20 0 15 0 74406486 15386894336 773975 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15026264 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 2943 0 0 0 100 1 0 0 20 0 15 0 74406486 15386894336 773975 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15386894336 773975 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15386894336 773975 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 19.01 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3095900 KiB
[startup+25.5009 s]
/proc/loadavg: 2.33 2.10 2.08 3/220 3899
/proc/meminfo: memFree=17763672/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15026264 memory=3149796 CPUtime=31.38 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 35592 0 0 0 3034 104 0 0 20 0 15 0 74406480 15386894336 787449 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3756566 787449 3256 1 0 3717422 0
[pid=3884/tid=3886] ppid=3881 vsize=15026264 memory=3149796 CPUtime=23.71 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) R 3881 3884 32649 0 -1 4202560 19902 0 0 0 2284 87 0 0 20 0 15 0 74406480 15386894336 787449 33554432000 4194304 4196468 140732404653408 140062453079408 140061993061208 0 4 0 25189583 0 0 0 -1 1 0 0 137 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15026264 memory=4136 CPUtime=0.19 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1838 0 0 0 17 2 0 0 20 0 15 0 74406482 15386894336 787449 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15026264 memory=1008 CPUtime=0.19 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 265 0 0 0 17 2 0 0 20 0 15 0 74406482 15386894336 787449 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15026264 memory=3149796 CPUtime=0.19 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 652 0 0 0 17 2 0 0 20 0 15 0 74406482 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15026264 memory=4136 CPUtime=0.2 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 348 0 0 0 17 3 0 0 20 0 15 0 74406482 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15026264 memory=3095900 CPUtime=0.02 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 15 0 74406483 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15026264 memory=279969457044528 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 74406484 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061098108512 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406484 15386894336 787449 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15026264 memory=7594597771697979466 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406486 15386894336 787449 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15026264 memory=164 CPUtime=2.79 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 3488 0 0 0 278 1 0 0 20 0 15 0 74406486 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15026264 memory=6656426216303648864 CPUtime=2.97 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 4311 0 0 0 296 1 0 0 20 0 15 0 74406486 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15026264 memory=6655300316396806240 CPUtime=1.02 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 3021 0 0 0 100 2 0 0 20 0 15 0 74406486 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15026264 memory=3015652 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74406487 15386894336 787449 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15026264 memory=2288404 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 74406487 15386894336 787449 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 31.38 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3149796 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+40.0007 s]*
/proc/loadavg: 2.55 2.16 2.10 3/225 3905
/proc/meminfo: memFree=16418152/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15681864 memory=3971132 CPUtime=45.44 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 44304 0 0 0 4392 152 0 0 20 0 19 0 74406480 16058228736 992783 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3920466 992783 3260 1 0 3881322 0
[pid=3900] ppid=3884 vsize=347540 memory=280792 CPUtime=0.96 cores=1,3,5,7
/proc/3900/stat : 3900 (minisat_release) R 3884 3884 32649 0 -1 4202496 50424 0 0 0 86 10 0 0 20 0 1 0 74410384 355880960 70198 33554432000 4194304 4308513 140737200761248 140737199709480 139698910198757 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 19361792 140737200763569 140737200764078 140737200764078 140737200766917 0
/proc/3900/statm: 86885 70198 318 28 0 83125 0
[pid=3884/tid=3886] ppid=3881 vsize=15681864 memory=6935054825532540783 CPUtime=37.05 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) S 3881 3884 32649 0 -1 1077944384 23429 0 0 0 3574 131 0 0 20 0 19 0 74406480 16058228736 992783 33554432000 4194304 4196468 140732404653408 140062453079040 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 141 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15681864 memory=8387223549236478041 CPUtime=0.24 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1889 0 0 0 21 3 0 0 20 0 19 0 74406482 16058228736 992783 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15681864 memory=288283368364442535 CPUtime=0.24 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 329 0 0 0 21 3 0 0 20 0 19 0 74406482 16058228736 992783 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15681864 memory=15876 CPUtime=0.24 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 702 0 0 0 21 3 0 0 20 0 19 0 74406482 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15681864 memory=18268 CPUtime=0.25 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 405 0 0 0 21 4 0 0 20 0 19 0 74406482 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15681864 memory=13992 CPUtime=0.03 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 19 0 74406483 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15681864 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74406484 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061098108512 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15681864 memory=644 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74406484 16058228736 992783 33554432000 4194304 4196468 140732404653408 140060829672816 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74406486 16058228736 992783 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15681864 memory=1232 CPUtime=3.02 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 5327 0 0 0 301 1 0 0 20 0 19 0 74406486 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15681864 memory=956 CPUtime=3.2 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 5818 0 0 0 319 1 0 0 20 0 19 0 74406486 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15681864 memory=2424 CPUtime=1.06 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 4569 0 0 0 104 2 0 0 20 0 19 0 74406486 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15681864 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74406487 16058228736 992783 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15681864 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 19 0 74406487 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3901] ppid=3881 vsize=15681864 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3901/stat : 3901 (java) S 3881 3884 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74410384 16058228736 992783 33554432000 4194304 4196468 140732404653408 140061904107200 140062481264409 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3903] ppid=3881 vsize=15681864 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3903/stat : 3903 (java) S 3881 3884 32649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 74410384 16058228736 992783 33554432000 4194304 4196468 140732404653408 140059420376752 140062481261725 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3904] ppid=3881 vsize=15681864 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3904/stat : 3904 (java) S 3881 3884 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74410384 16058228736 992783 33554432000 4194304 4196468 140732404653408 140059151941168 140062481261725 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3905] ppid=3881 vsize=15681864 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3905/stat : 3905 (java) S 3881 3884 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 74410387 16058228736 992783 33554432000 4194304 4196468 140732404653408 140059688819872 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 46.4 s
Current children cumulated vsize: 16029404 KiB
Current children cumulated memory: 4251924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+40.2227 s]
# the end of solver process 3884 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.8054 s, system=1.74274 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+40.2008 s]
/proc/loadavg: 2.55 2.16 2.10 3/225 3905
/proc/meminfo: memFree=16418152/32770624 swapFree=67108860/67108860
[pid=3884] ppid=3881 vsize=15747400 memory=3971496 CPUtime=46.5 cores=1,3,5,7
/proc/3884/stat : 3884 (java) S 3881 3884 32649 0 -1 1077944320 44480 50527 0 0 4393 160 86 11 20 0 18 0 74406480 16125337600 992874 33554432000 4194304 4196468 140732404653408 140732404635952 140062481239799 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
/proc/3884/statm: 3936850 992874 3261 1 0 3897706 0
[pid=3884/tid=3886] ppid=3881 vsize=15747400 memory=22616 CPUtime=38.02 cores=1,3,5,7
/proc/3884/task/3886/stat : 3886 (java) S 3881 3884 32649 0 -1 1077944384 23476 50527 0 0 3574 131 86 11 20 0 18 0 74406480 16125337600 992874 33554432000 4194304 4196468 140732404653408 140062453080000 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 141 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3887] ppid=3881 vsize=15747400 memory=1292 CPUtime=1.21 cores=1,3,5,7
/proc/3884/task/3887/stat : 3887 (java) S 3881 3884 32649 0 -1 1077944384 1896 50527 0 0 21 3 86 11 20 0 18 0 74406482 16125337600 992874 33554432000 4194304 4196468 140732404653408 140062485482128 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3888] ppid=3881 vsize=15747400 memory=2436 CPUtime=1.22 cores=1,3,5,7
/proc/3884/task/3888/stat : 3888 (java) S 3881 3884 32649 0 -1 1077944384 333 50527 0 0 22 3 86 11 20 0 18 0 74406482 16125337600 992874 33554432000 4194304 4196468 140732404653408 140062307977744 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3889] ppid=3881 vsize=15747400 memory=1728 CPUtime=1.22 cores=1,3,5,7
/proc/3884/task/3889/stat : 3889 (java) S 3881 3884 32649 0 -1 1077944384 707 50527 0 0 22 3 86 11 20 0 18 0 74406482 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061940509072 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3890] ppid=3881 vsize=15747400 memory=1708 CPUtime=1.22 cores=1,3,5,7
/proc/3884/task/3890/stat : 3890 (java) S 3881 3884 32649 0 -1 1077944384 444 50527 0 0 21 4 86 11 20 0 18 0 74406482 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061939456272 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3891] ppid=3881 vsize=15747400 memory=5792 CPUtime=1 cores=1,3,5,7
/proc/3884/task/3891/stat : 3891 (java) S 3881 3884 32649 0 -1 1077944384 316 50527 0 0 3 0 86 11 20 0 18 0 74406483 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061820517232 140062481250946 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3892] ppid=3881 vsize=15747400 memory=4612 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3892/stat : 3892 (java) S 3881 3884 32649 0 -1 1077944384 15 50527 0 0 0 0 86 11 20 0 18 0 74406484 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061098108512 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3893] ppid=3881 vsize=15747400 memory=9920 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (java) S 3881 3884 32649 0 -1 1077944384 4 50527 0 0 0 0 86 11 20 0 18 0 74406484 16125337600 992874 33554432000 4194304 4196468 140732404653408 140060829672832 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3894] ppid=3881 vsize=15747400 memory=840 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3894/stat : 3894 (java) S 3881 3884 32649 0 -1 1077944384 31 50527 0 0 0 0 86 11 20 0 18 0 74406486 16125337600 992874 33554432000 4194304 4196468 140732404653408 140060455164240 140062481258395 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3895] ppid=3881 vsize=15747400 memory=1412 CPUtime=3.99 cores=1,3,5,7
/proc/3884/task/3895/stat : 3895 (java) S 3881 3884 32649 0 -1 1077944384 5327 50527 0 0 301 1 86 11 20 0 18 0 74406486 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061819464048 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3896] ppid=3881 vsize=15747400 memory=3320 CPUtime=4.17 cores=1,3,5,7
/proc/3884/task/3896/stat : 3896 (java) S 3881 3884 32649 0 -1 1077944384 5818 50527 0 0 319 1 86 11 20 0 18 0 74406486 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061818411248 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3897] ppid=3881 vsize=15747400 memory=3135052 CPUtime=2.03 cores=1,3,5,7
/proc/3884/task/3897/stat : 3897 (java) S 3881 3884 32649 0 -1 1077944384 4571 50527 0 0 104 2 86 11 20 0 18 0 74406486 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061817358448 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3898] ppid=3881 vsize=15747400 memory=97760 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3898/stat : 3898 (java) S 3881 3884 32649 0 -1 1077944384 3 50527 0 0 0 0 86 11 20 0 18 0 74406487 16125337600 992874 33554432000 4194304 4196468 140732404653408 140059957258464 140062481250005 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3899] ppid=3881 vsize=15747400 memory=1412 CPUtime=0.98 cores=1,3,5,7
/proc/3884/task/3899/stat : 3899 (java) S 3881 3884 32649 0 -1 1077944384 134 50527 0 0 1 0 86 11 20 0 18 0 74406487 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061816306864 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3901] ppid=3881 vsize=15747400 memory=2768 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3901/stat : 3901 (java) S 3881 3884 32649 0 -1 1077944384 25 50527 0 0 0 0 86 11 20 0 18 0 74410384 16125337600 992874 33554432000 4194304 4196468 140732404653408 140061904106384 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
[pid=3884/tid=3905] ppid=3881 vsize=15747400 memory=3965460 CPUtime=0.97 cores=1,3,5,7
/proc/3884/task/3905/stat : 3905 (java) S 3881 3884 32649 0 -1 1077944384 30 50527 0 0 0 0 86 11 20 0 18 0 74410387 16125337600 992874 33554432000 4194304 4196468 140732404653408 140059688821680 140062481250946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25505792 140732404655091 140732404655369 140732404655369 140732404658127 0
Current children cumulated CPU time: 46.5 s
Current children cumulated vsize: 15747400 KiB
Current children cumulated memory: 3971496 KiB
Child status: 1
Real time (s): 40.2228
CPU time (s): 46.5482
CPU user time (s): 44.8054
CPU system time (s): 1.74274
CPU usage (%): 115.726
Max. virtual memory (cumulated for all children) (KiB): 16029404
Max. memory (cumulated for all children) (KiB): 4251924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8054
system time used= 1.74274
maximum resident set size= 3975468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95035
page faults= 0
swaps= 0
block input operations= 24
block output operations= 1077624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5457
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 3884
# total CPU time (s): 46.5482
# total CPU user time (s): 44.8054
# total CPU system time (s): 1.74274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.280806 second user time and 0.410409 second system time
The end