0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 11:39:15 CEST 2018
0.66/0.55 c PID: 8300
0.66/0.55 c IP: 172.20.3.107
0.66/0.55 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.99/1.31 c (0,0) Parsing End
2.99/1.32 c (0,0) CSP: 385 int (0 aux), 0 bool (0 aux), 166 ctr, max domain size 121
2.99/1.32 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.32 c (0,0) Constraint Name Generate Begin
2.99/1.32 c (0,0) Ctr:HOME/instance-4296118-1532597954.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.99/1.32 c (0,0) Constraint Name Generate End
2.99/1.32 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.32 c (0,0) CSP to CSPinCNF Begin
16.95/7.47 c (6,6) translated 17 (10%) constraints
22.41/12.46 c (11,11) translated 34 (20%) constraints
27.82/17.12 c (16,16) translated 50 (30%) constraints
32.56/21.84 c (21,20) translated 67 (40%) constraints
38.06/26.55 c (26,25) translated 83 (50%) constraints
44.02/31.59 c (31,30) translated 100 (60%) constraints
48.85/36.31 c (35,34) translated 117 (70%) constraints
51.99/38.36 c (37,36) translated 133 (80%) constraints
51.99/38.36 c (37,36) translated 150 (90%) constraints
51.99/38.36 c (37,36) translated 166 (100%) constraints
54.51/40.09 c (39,38) STATISTICS1:HOME/instance-4296118-1532597954.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,86053,545756,121,121,122,2,121:7260,121:43802;16:627330;2:935935;1:62777,122:121;121:2;5:10406;4:222156;3:88209;2:224818;1:44,2:7260;1:1655368;0:121,
54.51/40.09 c (39,38) ===========================================
54.51/40.09 c (39,38) Both Encoding selects:
54.51/40.09 c (39,38) Order
54.51/40.09 c (39,38) ===========================================
56.66/41.14 c (40,39) translated 54576 (10%) constraints
58.83/42.28 c (41,40) translated 109152 (20%) constraints
59.67/43.06 c (42,40) translated 163727 (30%) constraints
60.48/43.84 c (43,41) translated 218303 (40%) constraints
61.29/44.62 c (44,42) translated 272878 (50%) constraints
62.09/45.40 c (44,43) translated 327454 (60%) constraints
62.80/46.18 c (45,43) translated 382030 (70%) constraints
63.59/46.96 c (46,44) translated 436605 (80%) constraints
64.39/47.73 c (47,45) translated 491181 (90%) constraints
67.27/49.09 c (48,46) translated 545756 (100%) constraints
67.27/49.09 c (48,46) CSP to CSPinCNF End
67.54/49.13 c (48,46) CSP: 385 int (0 aux), 85668 bool (85668 aux), 545800 ctr, max domain size 121
67.54/49.13 c (48,46) Heap : 711 MiB used (max 10562 MiB), NonHeap : 30 MiB used (max 0 MiB)
67.54/49.13 c (48,46) CSPinCNF Propagation Begin
82.10/59.88 c (59,56) 21829 values, 115878 unsatisfiable literals, and 125782 valid clauses are removed
82.10/59.88 c (59,56) CSPinCNF Propagation End
82.20/59.90 c (59,56) CSP: 18830 int (18445 aux), 67223 bool (67223 aux), 420018 ctr, max domain size 121
82.20/59.90 c (59,56) Heap : 1297 MiB used (max 10587 MiB), NonHeap : 31 MiB used (max 0 MiB)
82.20/59.90 c (59,56) Simplify CSPinCNF Begin
83.65/60.87 c (60,57) Simplify CSPinCNF End
83.65/60.90 c (60,57) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
83.65/60.90 c (60,57) Heap : 1783 MiB used (max 10587 MiB), NonHeap : 31 MiB used (max 0 MiB)
83.65/60.90 c (60,57) Calculate Precise Domain Begin
83.75/60.90 c (60,57) 0 values are removed by re-calculation
83.75/60.90 c (60,57) Calculate Precise Domain End
83.75/60.93 c (60,57) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
83.75/60.93 c (60,57) Heap : 1783 MiB used (max 10587 MiB), NonHeap : 31 MiB used (max 0 MiB)
83.75/60.93 c (60,57) CSPinCNF to SatSolver Begin
88.93/64.17 c (63,60) 43454 (10 %) CSP clauses are encoded (96179 SAT variables, 1114580 SAT clauses)
89.16/64.39 c (63,60) 86908 (20 %) CSP clauses are encoded (96179 SAT variables, 1158034 SAT clauses)
89.49/64.60 c (64,60) 130362 (30 %) CSP clauses are encoded (96179 SAT variables, 1201488 SAT clauses)
89.69/64.81 c (64,60) 173816 (40 %) CSP clauses are encoded (96179 SAT variables, 1244942 SAT clauses)
89.86/65.26 c (64,60) 217269 (50 %) CSP clauses are encoded (96179 SAT variables, 1288395 SAT clauses)
90.06/65.47 c (64,61) 260723 (60 %) CSP clauses are encoded (96179 SAT variables, 1331849 SAT clauses)
90.26/65.69 c (65,61) 304177 (70 %) CSP clauses are encoded (96179 SAT variables, 1375303 SAT clauses)
91.41/66.12 c (65,61) 347631 (80 %) CSP clauses are encoded (96179 SAT variables, 1418757 SAT clauses)
91.60/66.33 c (65,61) 391085 (90 %) CSP clauses are encoded (96179 SAT variables, 1462211 SAT clauses)
91.80/66.54 c (66,62) 434538 (100 %) CSP clauses are encoded (96179 SAT variables, 1505664 SAT clauses)
91.80/66.54 c (66,62) CSPinCNF to SatSolver End
91.80/66.54 c (66,62) Heap : 1270 MiB used (max 10012 MiB), NonHeap : 33 MiB used (max 0 MiB)
93.11/67.58 c (67,63) STATISTICS2:HOME/instance-4296118-1532597954.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,100573,434538,121,121,121,2,121:6480;40:7092;4:948,121:39042;40:11484;16:522481;4:988;2:739908,121:82;81:1;40:36;5:7245;4:164787;3:67793;2:194594,2:14520;1:1284863,
93.11/67.58 c (67,63) SatSolver.solve Begin
93.11/67.58 c (67,63) 96179 bool, 1505665 clause
93.11/67.58 c (67,63) 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-4296118-1532597954.xml-scop-8300.cnf HOME/instance-4296118-1532597954.xml-scop-8300.cnf.out
95.28/69.61 c (69,0) receiving signal SIGTERM
95.28/69.61 s UNKNOWN
95.28/69.61 c (69,63) SatSolver is killed by some reasons.
95.28/69.61 c (69,63) 0,0,48,59,60,60,66,TO,TO,STOP-AFTER(DIMACS)
95.28/69.61 c END-Prog: Thu Jul 26 11:40:24 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 (4379 MiB free)
memory of node 1: 16384 MiB (7801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296118-1532597954/watcher-4296118-1532597954 -o /tmp/evaluation-result-4296118-1532597954/solver-4296118-1532597954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532594602-7725 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296118-1532597954.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
Current StackSize limit: 8192 KiB
solver pid=8300, runsolver pid=8297
[startup+0.100382 s]*
/proc/loadavg: 2.00 2.01 1.99 3/220 8315
/proc/meminfo: memFree=12412016/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15011656 memory=73484 CPUtime=0.11 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 6079 0 0 0 10 1 0 0 20 0 15 0 77358637 15371935744 18371 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3752914 18371 2752 1 0 3715374 0
[pid=8300/tid=8302] ppid=8297 vsize=15011656 memory=-8393745925659800667 CPUtime=0.09 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 4386 0 0 0 8 1 0 0 20 0 15 0 77358637 15371935744 18569 33554432000 4194304 4196468 140728610042160 139928169961520 139928178448235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15011656 memory=3472468450826048720 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 18569 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 18569 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 18569 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 18569 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 18569 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926880380448 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358641 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926611944816 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) S 8297 8300 6157 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0.01 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 18635 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73484 KiB
[startup+0.210396 s]*
/proc/loadavg: 2.00 2.01 1.99 3/220 8315
/proc/meminfo: memFree=12398732/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15011656 memory=87108 CPUtime=0.25 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 9611 0 0 0 23 2 0 0 20 0 15 0 77358637 15371935744 21777 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3752914 21777 2940 1 0 3715374 0
[pid=8300/tid=8302] ppid=8297 vsize=15011656 memory=-8340259002029870941 CPUtime=0.2 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) S 8297 8300 6157 0 -1 1077944384 7522 0 0 0 18 2 0 0 20 0 15 0 77358637 15371935744 21777 33554432000 4194304 4196468 140728610042160 139928169998320 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15011656 memory=5793855572940790201 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 21777 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 21777 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 21777 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 21777 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926880380448 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358641 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926611944816 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) R 8297 8300 6157 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926966298992 139928184186788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) R 8297 8300 6157 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0.03 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 21777 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87108 KiB
[startup+0.310367 s]*
/proc/loadavg: 2.00 2.01 1.99 4/220 8315
/proc/meminfo: memFree=12394964/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15011656 memory=90316 CPUtime=0.43 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 10140 0 0 0 40 3 0 0 20 0 15 0 77358637 15371935744 22579 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3752914 22579 2989 1 0 3715374 0
[pid=8300/tid=8302] ppid=8297 vsize=15011656 memory=-8340259002029870941 CPUtime=0.29 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 7891 0 0 0 27 2 0 0 20 0 15 0 77358637 15371935744 22579 33554432000 4194304 4196468 140728610042160 139928169976560 139927700407694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15011656 memory=5793855572940790201 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 22579 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15011656 memory=280643747062400 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358638 15371935744 22579 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15011656 memory=280643632358400 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 22579 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15011656 memory=140321816165391 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15371935744 22579 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15011656 memory=280643747069312 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15011656 memory=140321816169999 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77358640 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926880380448 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15011656 memory=140321816180029 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358641 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926611944816 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15011656 memory=140321816182718 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) R 8297 8300 6157 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926966298992 139928190461856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) R 8297 8300 6157 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15011656 memory=140321930897024 CPUtime=0.07 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) R 8297 8300 6157 0 -1 4202560 298 0 0 0 7 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926964193392 139928177306856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15011656 memory=140321930970508 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) R 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358643 15371935744 22579 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90316 KiB
[startup+0.708345 s]
/proc/loadavg: 2.00 2.01 1.99 3/220 8315
/proc/meminfo: memFree=12370828/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15020052 memory=130216 CPUtime=1.04 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 17207 0 0 0 99 5 0 0 20 0 15 0 77358637 15380533248 32554 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3755013 32554 3172 1 0 3716398 0
[pid=8300/tid=8302] ppid=8297 vsize=15020052 memory=55 CPUtime=0.68 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 14429 0 0 0 64 4 0 0 20 0 15 0 77358637 15380533248 32554 33554432000 4194304 4196468 140728610042160 139928170004320 139928182252924 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358638 15380533248 32565 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358638 15380533248 32565 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15020052 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15380533248 32565 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15020052 memory=5787495302107849536 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15380533248 32565 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15020052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77358640 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15020052 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77358640 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926880380448 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15020052 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358641 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926611944816 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15020052 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15020052 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15020052 memory=1012 CPUtime=0.08 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) R 8297 8300 6157 0 -1 4202560 411 0 0 0 8 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926965232736 139928179695192 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15020052 memory=1436 CPUtime=0.17 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 422 0 0 0 17 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15020052 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15020052 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358643 15380533248 32565 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130216 KiB
[startup+1.50634 s]
/proc/loadavg: 2.00 2.01 1.99 6/220 8315
/proc/meminfo: memFree=12277252/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15022100 memory=261528 CPUtime=3.49 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 20422 0 0 0 341 8 0 0 20 0 15 0 77358637 15382630400 65382 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3755525 65382 3201 1 0 3716910 0
[pid=8300/tid=8302] ppid=8297 vsize=15022100 memory=4140 CPUtime=1.47 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 15437 0 0 0 141 6 0 0 20 0 15 0 77358637 15382630400 65382 33554432000 4194304 4196468 140728610042160 139928170004776 139927705726225 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15022100 memory=23044 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358638 15382630400 65382 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77358638 15382630400 65382 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15382630400 65382 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15022100 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358639 15382630400 65382 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77358640 15382630400 65382 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
################
# More data... #
################
[pid=8300/tid=8308] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 77358640 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926880380512 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77358641 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926611944816 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15024148 memory=455 CPUtime=4.55 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 5054 0 0 0 454 1 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15024148 memory=3098800 CPUtime=3.86 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) S 8297 8300 6157 0 -1 1077944384 2669 0 0 0 386 0 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15024148 memory=3098800 CPUtime=1.24 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 4311 0 0 0 121 3 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 774700 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 22.71 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3098800 KiB
[startup+25.5008 s]
/proc/loadavg: 2.14 2.05 2.00 3/220 8315
/proc/meminfo: memFree=8997992/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15024148 memory=3482780 CPUtime=37.06 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 39031 0 0 0 3599 107 0 0 20 0 15 0 77358637 15384727552 870695 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3756037 870695 3238 1 0 3717422 0
[pid=8300/tid=8302] ppid=8297 vsize=15024148 memory=0 CPUtime=24.85 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 20126 0 0 0 2442 43 0 0 20 0 15 0 77358637 15384727552 870695 33554432000 4194304 4196468 140728610042160 139928170004864 139927706009147 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15024148 memory=140321816642223 CPUtime=0.57 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 549 0 0 0 44 13 0 0 20 0 15 0 77358638 15384727552 870695 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15024148 memory=14431090117230 CPUtime=0.56 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 383 0 0 0 43 13 0 0 20 0 15 0 77358638 15384727552 870695 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15024148 memory=1723624 CPUtime=0.57 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 1111 0 0 0 43 14 0 0 20 0 15 0 77358639 15384727552 870695 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15024148 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 393 0 0 0 43 14 0 0 20 0 15 0 77358639 15384727552 870695 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15024148 memory=55 CPUtime=0.01 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 77358640 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 77358640 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926880380512 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15024148 memory=164 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358641 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926611944832 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15024148 memory=-7313218805096079717 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15024148 memory=3308640 CPUtime=4.61 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 5511 0 0 0 460 1 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15024148 memory=3099316 CPUtime=3.92 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) S 8297 8300 6157 0 -1 1077944384 3340 0 0 0 392 0 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15024148 memory=4140 CPUtime=1.28 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 5923 0 0 0 125 3 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15024148 memory=3482736 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15024148 memory=280643632821808 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 870695 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 37.06 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3482780 KiB
[startup+51.1102 s]
/proc/loadavg: 2.10 2.04 2.00 3/221 8323
/proc/meminfo: memFree=8325740/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15024148 memory=4152084 CPUtime=70.05 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 52719 0 0 0 6823 182 0 0 20 0 15 0 77358637 15384727552 1038021 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3756037 1038021 3248 1 0 3717422 0
[pid=8300/tid=8302] ppid=8297 vsize=15024148 memory=23044 CPUtime=48.83 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) R 8297 8300 6157 0 -1 4202560 22140 0 0 0 4839 44 0 0 20 0 15 0 77358637 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139928170008720 139927703996496 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15024148 memory=280642692751957 CPUtime=2.19 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 969 0 0 0 188 31 0 0 20 0 15 0 77358638 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15024148 memory=33 CPUtime=2.18 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 877 0 0 0 187 31 0 0 20 0 15 0 77358638 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15024148 memory=-7966001967407402336 CPUtime=2.19 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 1593 0 0 0 188 31 0 0 20 0 15 0 77358639 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15024148 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 855 0 0 0 186 33 0 0 20 0 15 0 77358639 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15024148 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 77358640 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 77358640 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926880380512 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358641 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926611944832 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15024148 memory=218 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15024148 memory=5819 CPUtime=5.86 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 8951 0 0 0 585 1 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15024148 memory=3991 CPUtime=4.96 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) S 8297 8300 6157 0 -1 1077944384 4615 0 0 0 495 1 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15024148 memory=161 CPUtime=1.5 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 11014 0 0 0 147 3 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15024148 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15024148 memory=4081158457089 CPUtime=0.02 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 45 0 0 0 0 2 0 0 20 0 15 0 77358643 15384727552 1038021 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 70.05 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4152084 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+69.6009 s]
/proc/loadavg: 1.99 2.02 1.99 3/226 8330
/proc/meminfo: memFree=7569368/32770624 swapFree=67108860/67108860
[pid=8300] ppid=8297 vsize=15683912 memory=4731224 CPUtime=93.28 cores=1,3,5,7
/proc/8300/stat : 8300 (java) S 8297 8300 6157 0 -1 1077944320 69589 0 0 0 9086 242 0 0 20 0 19 0 77358637 16060325888 1182806 33554432000 4194304 4196468 140728610042160 140728610024704 139928198172407 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
/proc/8300/statm: 3920978 1182806 3265 1 0 3881834 0
[pid=8325] ppid=8300 vsize=216472 memory=160408 CPUtime=2 cores=1,3,5,7
/proc/8325/stat : 8325 (minisat_release) R 8300 8300 6157 0 -1 4202496 32235 0 0 0 194 6 0 0 20 0 1 0 77365396 221667328 40102 33554432000 4194304 4308513 140732147255584 140732147252216 4229619 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22564864 140732147258033 140732147258542 140732147258542 140732147261381 0
/proc/8325/statm: 54118 40102 331 28 0 50358 0
[pid=8300/tid=8302] ppid=8297 vsize=15683912 memory=-7595718148655178334 CPUtime=63.61 cores=1,3,5,7
/proc/8300/task/8302/stat : 8302 (java) S 8297 8300 6157 0 -1 1077944384 26240 0 0 0 6311 50 0 0 20 0 19 0 77358637 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139928170011648 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8303] ppid=8297 vsize=15683912 memory=4731224 CPUtime=3.69 cores=1,3,5,7
/proc/8300/task/8303/stat : 8303 (java) S 8297 8300 6157 0 -1 1077944384 1725 0 0 0 325 44 0 0 20 0 19 0 77358638 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139928202414736 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8304] ppid=8297 vsize=15683912 memory=122804 CPUtime=3.67 cores=1,3,5,7
/proc/8300/task/8304/stat : 8304 (java) S 8297 8300 6157 0 -1 1077944384 1760 0 0 0 322 45 0 0 20 0 19 0 77358638 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139928022710800 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8305] ppid=8297 vsize=15683912 memory=-5059952977386882957 CPUtime=3.7 cores=1,3,5,7
/proc/8300/task/8305/stat : 8305 (java) S 8297 8300 6157 0 -1 1077944384 2304 0 0 0 328 42 0 0 20 0 19 0 77358639 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139927657871760 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8306] ppid=8297 vsize=15683912 memory=1232 CPUtime=3.7 cores=1,3,5,7
/proc/8300/task/8306/stat : 8306 (java) S 8297 8300 6157 0 -1 1077944384 1309 0 0 0 324 46 0 0 20 0 19 0 77358639 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139927656818960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8307] ppid=8297 vsize=15683912 memory=4571828 CPUtime=0.03 cores=1,3,5,7
/proc/8300/task/8307/stat : 8307 (java) S 8297 8300 6157 0 -1 1077944384 1108 0 0 0 3 0 0 0 20 0 19 0 77358640 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926967352176 139928198183554 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8308] ppid=8297 vsize=15683912 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8308/stat : 8308 (java) S 8297 8300 6157 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 77358640 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926880380512 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8309] ppid=8297 vsize=15683912 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8309/stat : 8309 (java) S 8297 8300 6157 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 77358641 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926611944832 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8310] ppid=8297 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8310/stat : 8310 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926237436240 139928198191003 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8311] ppid=8297 vsize=15683912 memory=1012 CPUtime=6.96 cores=1,3,5,7
/proc/8300/task/8311/stat : 8311 (java) S 8297 8300 6157 0 -1 1077944384 12262 0 0 0 694 2 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926966298992 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8312] ppid=8297 vsize=15683912 memory=4140 CPUtime=6.1 cores=1,3,5,7
/proc/8300/task/8312/stat : 8312 (java) S 8297 8300 6157 0 -1 1077944384 7687 0 0 0 608 2 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926965246192 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8313] ppid=8297 vsize=15683912 memory=23052 CPUtime=1.69 cores=1,3,5,7
/proc/8300/task/8313/stat : 8313 (java) S 8297 8300 6157 0 -1 1077944384 13428 0 0 0 165 4 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926964193392 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8314] ppid=8297 vsize=15683912 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8314/stat : 8314 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139925739530464 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8315] ppid=8297 vsize=15683912 memory=2400 CPUtime=0.04 cores=1,3,5,7
/proc/8300/task/8315/stat : 8315 (java) S 8297 8300 6157 0 -1 1077944384 355 0 0 0 1 3 0 0 20 0 19 0 77358643 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139926963141808 139928198183554 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8326] ppid=8297 vsize=15683912 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8326/stat : 8326 (java) S 8297 8300 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77365396 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139927283496640 139928198197017 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8328] ppid=8297 vsize=15683912 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8328/stat : 8328 (java) S 8297 8300 6157 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 77365397 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139925202644656 139928198194333 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8329] ppid=8297 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8329/stat : 8329 (java) S 8297 8300 6157 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 77365397 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139925336866352 139928198194333 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
[pid=8300/tid=8330] ppid=8297 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/8300/task/8330/stat : 8330 (java) S 8297 8300 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77365399 16060325888 1182806 33554432000 4194304 4196468 140728610042160 139924934220960 139928198182613 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14090240 140728610051060 140728610051337 140728610051337 140728610054095 0
Current children cumulated CPU time: 95.28 s
Current children cumulated vsize: 15900384 KiB
Current children cumulated memory: 4891632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+69.6416 s]
# the end of solver process 8300 was just reported to runsolver
# cumulated CPU time of all completed processes: user=92.8231 s, system=2.52456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 69.6416
CPU time (s): 95.3476
CPU user time (s): 92.8231
CPU system time (s): 2.52456
CPU usage (%): 136.912
Max. virtual memory (cumulated for all children) (KiB): 15900384
Max. memory (cumulated for all children) (KiB): 4891632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.8231
system time used= 2.52456
maximum resident set size= 4733800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 59944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7536
involuntary context switches= 251
# summary of solver processes directly reported to runsolver:
# pid: 8300
# total CPU time (s): 95.3476
# total CPU user time (s): 92.8231
# total CPU system time (s): 2.52456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.531694 second user time and 0.613745 second system time
The end