0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 18:05:33 CEST 2018
0.66/0.55 c PID: 18325
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.44/1.40 c (0,0) Parsing End
3.44/1.42 c (0,0) CSP: 1200 int (0 aux), 0 bool (0 aux), 741 ctr, max domain size 60
3.44/1.42 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.44/1.42 c (0,0) Constraint Name Generate Begin
3.44/1.43 c (0,0) Ctr:HOME/instance-4294549-1532361933.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.44/1.43 c (0,0) Constraint Name Generate End
3.44/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.44/1.43 c (0,0) CSP to CSPinCNF Begin
6.44/2.40 c (1,1) translated 75 (10%) constraints
12.54/5.44 c (4,4) translated 149 (20%) constraints
13.21/5.68 c (5,5) translated 223 (30%) constraints
13.85/5.84 c (5,5) translated 297 (40%) constraints
14.15/6.00 c (5,5) translated 371 (50%) constraints
14.81/6.14 c (5,5) translated 445 (60%) constraints
15.13/6.28 c (5,5) translated 519 (70%) constraints
15.72/6.42 c (5,5) translated 593 (80%) constraints
16.03/6.57 c (6,6) translated 667 (90%) constraints
16.61/6.70 c (6,6) translated 741 (100%) constraints
18.45/7.35 c (6,6) STATISTICS1:HOME/instance-4294549-1532361933.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4909,68724,60,60,60,2,60:17143;59:350;58:302;57:307;56:625;6:600;5:600,60:116133;59:1227;58:1029;57:1029;56:2036;6:4800;5:4200;2:16527,60:20;7:300;6:300;5:240;4:409;3:40263;2:27109;1:83,2:19927;1:143127;0:600,
18.45/7.35 c (6,6) ===========================================
18.45/7.35 c (6,6) Both Encoding selects:
18.45/7.35 c (6,6) Order
18.45/7.35 c (6,6) ===========================================
19.43/7.62 c (7,7) translated 6873 (10%) constraints
19.88/7.84 c (7,7) translated 13745 (20%) constraints
20.70/8.13 c (7,7) translated 20618 (30%) constraints
22.28/8.77 c (8,8) translated 27490 (40%) constraints
22.94/9.25 c (8,8) translated 34362 (50%) constraints
23.47/9.72 c (9,9) translated 41235 (60%) constraints
23.88/10.16 c (9,9) translated 48107 (70%) constraints
24.37/10.61 c (10,9) translated 54980 (80%) constraints
24.94/10.83 c (10,10) translated 61852 (90%) constraints
25.24/10.96 c (10,10) translated 68724 (100%) constraints
25.24/10.96 c (10,10) CSP to CSPinCNF End
25.24/10.98 c (10,10) CSP: 1200 int (0 aux), 39709 bool (39709 aux), 140724 ctr, max domain size 60
25.24/10.98 c (10,10) Heap : 988 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.24/10.98 c (10,10) CSPinCNF Propagation Begin
27.06/11.80 c (11,11) 188 values, 2276 unsatisfiable literals, and 1614 valid clauses are removed
27.06/11.80 c (11,11) CSPinCNF Propagation End
27.06/11.81 c (11,11) CSP: 1338 int (138 aux), 39571 bool (39571 aux), 139110 ctr, max domain size 60
27.06/11.81 c (11,11) Heap : 1485 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.06/11.81 c (11,11) Simplify CSPinCNF Begin
28.55/12.70 c (12,12) Simplify CSPinCNF End
28.55/12.73 c (12,12) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
28.55/12.73 c (12,12) Heap : 1981 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.55/12.73 c (12,12) Calculate Precise Domain Begin
28.55/12.74 c (12,12) 0 values are removed by re-calculation
28.55/12.74 c (12,12) Calculate Precise Domain End
28.55/12.77 c (12,12) CSP: 1338 int (138 aux), 77906 bool (77906 aux), 177445 ctr, max domain size 60
28.55/12.77 c (12,12) Heap : 1981 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
28.55/12.77 c (12,12) CSPinCNF to SatSolver Begin
32.98/15.04 c (14,14) 17745 (10 %) CSP clauses are encoded (115868 SAT variables, 745573 SAT clauses)
34.72/16.70 c (16,15) 35489 (20 %) CSP clauses are encoded (115868 SAT variables, 1455110 SAT clauses)
36.92/18.53 c (18,17) 53234 (30 %) CSP clauses are encoded (115868 SAT variables, 2162909 SAT clauses)
37.02/18.64 c (18,17) 70978 (40 %) CSP clauses are encoded (115868 SAT variables, 2191169 SAT clauses)
37.12/18.72 c (18,17) 88723 (50 %) CSP clauses are encoded (115868 SAT variables, 2208914 SAT clauses)
37.12/18.79 c (18,17) 106467 (60 %) CSP clauses are encoded (115868 SAT variables, 2226658 SAT clauses)
37.22/18.87 c (18,17) 124212 (70 %) CSP clauses are encoded (115868 SAT variables, 2244403 SAT clauses)
37.32/18.94 c (18,17) 141956 (80 %) CSP clauses are encoded (115868 SAT variables, 2262147 SAT clauses)
37.43/19.02 c (18,17) 159701 (90 %) CSP clauses are encoded (115868 SAT variables, 2279892 SAT clauses)
37.67/19.25 c (18,18) 177445 (100 %) CSP clauses are encoded (115868 SAT variables, 2357336 SAT clauses)
37.67/19.25 c (18,18) CSPinCNF to SatSolver End
37.67/19.25 c (18,18) Heap : 2051 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
38.63/19.71 c (19,18) STATISTICS2:HOME/instance-4294549-1532361933.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,79244,177445,60,60,60,2,60:30958;59:670;58:1249;57:1162;56:2388;6:1200;5:1200,60:208691;59:2227;58:4057;57:3649;56:7216;6:6000;5:5400;2:200017,60:5;56:14;54:1;6:300;5:540;4:409;3:38887;2:137206;1:83,2:38827;1:359603,
38.63/19.71 c (19,18) SatSolver.solve Begin
38.63/19.71 c (19,18) 115868 bool, 2357337 clause
38.63/19.72 c (19,18) 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-4294549-1532361933.xml-scop-18325.cnf HOME/instance-4294549-1532361933.xml-scop-18325.cnf.out
39.38/20.40 c (19,0) receiving signal SIGTERM
39.38/20.40 s UNKNOWN
39.38/20.41 c (19,18) SatSolver is killed by some reasons.
39.38/20.41 c (19,18) 0,0,10,11,12,12,18,TO,TO,STOP-AFTER(DIMACS)
39.38/20.41 c END-Prog: Mon Jul 23 18:05:53 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 (5802 MiB free)
memory of node 1: 16384 MiB (8099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294549-1532361933/watcher-4294549-1532361933 -o /tmp/evaluation-result-4294549-1532361933/solver-4294549-1532361933 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294549-1532361933.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18325, runsolver pid=18322
[startup+0.10012 s]*
/proc/loadavg: 2.92 2.34 2.16 3/221 18340
/proc/meminfo: memFree=14175856/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15011656 memory=72292 CPUtime=0.11 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 6240 0 0 0 9 2 0 0 20 0 15 0 53756458 15371935744 18073 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3752914 18073 2776 1 0 3715374 0
[pid=18325/tid=18327] ppid=18322 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 4443 0 0 0 7 2 0 0 20 0 15 0 53756458 15371935744 18205 33554432000 4194304 4196468 140720386594624 140071816245640 140071824709415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 18205 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 18205 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 18205 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 18205 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756461 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 18205 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) S 18322 18325 8919 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070904838384 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070903785840 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0.01 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) S 18322 18325 8919 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 53756464 15371935744 18205 33554432000 4194304 4196468 140720386594624 140070902732784 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 18205 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 18271 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72292 KiB
[startup+0.210802 s]*
/proc/loadavg: 2.92 2.34 2.16 4/221 18340
/proc/meminfo: memFree=14159120/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15011656 memory=88080 CPUtime=0.25 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 10440 0 0 0 22 3 0 0 20 0 15 0 53756458 15371935744 22020 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3752914 22020 2877 1 0 3715374 0
[pid=18325/tid=18327] ppid=18322 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 8342 0 0 0 18 2 0 0 20 0 15 0 53756458 15371935744 22020 33554432000 4194304 4196468 140720386594624 140071816217216 140071828514142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 22020 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15011656 memory=3906791161354266272 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 22020 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 22020 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 22020 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756461 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 22020 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) S 18322 18325 8919 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070904838384 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) S 18322 18325 8919 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070903785840 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0.03 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) R 18322 18325 8919 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 53756464 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070902732784 140071822588222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 22020 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 22020 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88080 KiB
[startup+0.310333 s]*
/proc/loadavg: 2.92 2.34 2.16 3/221 18340
/proc/meminfo: memFree=14155336/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15011656 memory=92040 CPUtime=0.42 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 10985 0 0 0 39 3 0 0 20 0 15 0 53756458 15371935744 23010 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3752914 23010 3019 1 0 3715374 0
[pid=18325/tid=18327] ppid=18322 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 8691 0 0 0 27 3 0 0 20 0 15 0 53756458 15371935744 23010 33554432000 4194304 4196468 140720386594624 140071816237808 140071844455581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 23010 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15011656 memory=3834733567316338336 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 23010 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 23010 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15371935744 23010 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756461 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15371935744 23010 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) R 18322 18325 8919 0 -1 4202560 545 0 0 0 2 0 0 0 20 0 15 0 53756464 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070904838384 140071844445590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) R 18322 18325 8919 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 53756464 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070903785936 140071844443861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0.07 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) R 18322 18325 8919 0 -1 4202560 338 0 0 0 7 0 0 0 20 0 15 0 53756464 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070902732784 140071828514142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 23010 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15011656 memory=140348913624704 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15371935744 23010 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92040 KiB
[startup+0.701303 s]
/proc/loadavg: 2.92 2.34 2.16 3/221 18340
/proc/meminfo: memFree=14133632/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15017928 memory=128740 CPUtime=1.01 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 17435 0 0 0 95 6 0 0 20 0 15 0 53756458 15378358272 32185 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3754482 32185 3120 1 0 3715886 0
[pid=18325/tid=18327] ppid=18322 vsize=15017928 memory=219084134308603 CPUtime=0.68 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 14700 0 0 0 63 5 0 0 20 0 15 0 53756458 15378358272 32185 33554432000 4194304 4196468 140720386594624 140071816269472 140071315590128 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15017928 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15378358272 32185 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15378358272 32185 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15378358272 32185 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15378358272 32185 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53756461 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15378358272 32185 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) R 18322 18325 8919 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 53756464 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070904838384 140071823672112 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15017928 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) R 18322 18325 8919 0 -1 4202560 121 0 0 0 5 0 0 0 20 0 15 0 53756464 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070903775440 140071823789528 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) R 18322 18325 8919 0 -1 4202560 505 0 0 0 17 0 0 0 20 0 15 0 53756464 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070902729720 140071822733425 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15378358272 32185 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15378358272 32185 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128740 KiB
[startup+1.50236 s]
/proc/loadavg: 2.92 2.34 2.16 6/221 18340
/proc/meminfo: memFree=14063948/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15022100 memory=216552 CPUtime=3.75 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 22565 0 0 0 366 9 0 0 20 0 15 0 53756458 15382630400 54138 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3755525 54138 3200 1 0 3716910 0
[pid=18325/tid=18327] ppid=18322 vsize=15022100 memory=5794836780235445602 CPUtime=1.46 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 15673 0 0 0 140 6 0 0 20 0 15 0 53756458 15382630400 54138 33554432000 4194304 4196468 140720386594624 140071816265712 140071315564539 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15022100 memory=6298673690012636514 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15382630400 54138 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15022100 memory=7661576588054063462 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15382630400 54138 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15022100 memory=8098997592344193363 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15382630400 54138 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15022100 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15382630400 54138 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15022100 memory=7810478057519212376 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53756461 15382630400 54138 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
################
# More data... #
################
[pid=18325/tid=18333] ppid=18322 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15024148 memory=470096 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15384727552 147991 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15024148 memory=280697587644192 CPUtime=2.26 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) R 18322 18325 8919 0 -1 4202560 3143 0 0 0 225 1 0 0 20 0 15 0 53756464 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070904822096 140071822028817 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15024148 memory=219039037165357 CPUtime=2.25 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) R 18322 18325 8919 0 -1 4202560 1777 0 0 0 225 0 0 0 20 0 15 0 53756464 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070903773520 140071829351055 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15024148 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) S 18322 18325 8919 0 -1 1077944384 3480 0 0 0 105 1 0 0 20 0 15 0 53756464 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070902732784 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15024148 memory=140348793849504 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 147991 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 147991 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 591964 KiB
[startup+6.30726 s]
/proc/loadavg: 2.92 2.35 2.16 5/221 18340
/proc/meminfo: memFree=12147588/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15024148 memory=2172808 CPUtime=15.43 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 31466 0 0 0 1501 42 0 0 20 0 15 0 53756458 15384727552 543202 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3756037 543202 3211 1 0 3717422 0
[pid=18325/tid=18327] ppid=18322 vsize=15024148 memory=280695440358304 CPUtime=6.25 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 17420 0 0 0 589 36 0 0 20 0 15 0 53756458 15384727552 543202 33554432000 4194304 4196468 140720386594624 140071816270160 140071319571551 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15024148 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15384727552 543202 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15024148 memory=280697588356768 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756460 15384727552 543202 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15024148 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15384727552 543202 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15024148 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756460 15384727552 543202 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53756461 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15024148 memory=280697587700352 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070426240672 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15024148 memory=280697587772832 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15024148 memory=280697587698624 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15384727552 543202 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15024148 memory=6791534058613427641 CPUtime=3.88 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) R 18322 18325 8919 0 -1 4202560 5953 0 0 0 386 2 0 0 20 0 15 0 53756464 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070904825456 140071829342843 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15024148 memory=15872 CPUtime=3.75 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) R 18322 18325 8919 0 -1 4202560 2646 0 0 0 374 1 0 0 20 0 15 0 53756464 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070903767712 140071827919719 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15024148 memory=4048 CPUtime=1.51 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) R 18322 18325 8919 0 -1 4202560 4105 0 0 0 150 1 0 0 20 0 15 0 53756464 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070902728800 140071823412763 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15024148 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 543202 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15024148 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 543202 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 15.43 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2172808 KiB
[startup+12.7008 s]
/proc/loadavg: 2.93 2.36 2.17 5/221 18340
/proc/meminfo: memFree=11139116/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15024148 memory=3101984 CPUtime=28.55 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 37438 0 0 0 2791 64 0 0 20 0 15 0 53756458 15384727552 775496 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3756037 775496 3222 1 0 3717422 0
[pid=18325/tid=18327] ppid=18322 vsize=15024148 memory=3101984 CPUtime=12.53 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) R 18322 18325 8919 0 -1 4202560 18728 0 0 0 1204 49 0 0 20 0 15 0 53756458 15384727552 775496 33554432000 4194304 4196468 140720386594624 140071816269792 140071319571551 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15024148 memory=4140 CPUtime=0.09 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 64 0 0 0 8 1 0 0 20 0 15 0 53756460 15384727552 775496 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15024148 memory=17168 CPUtime=0.09 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 38 0 0 0 8 1 0 0 20 0 15 0 53756460 15384727552 775496 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15024148 memory=1296 CPUtime=0.09 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 43 0 0 0 8 1 0 0 20 0 15 0 53756460 15384727552 775496 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15024148 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 91 0 0 0 8 1 0 0 20 0 15 0 53756460 15384727552 775496 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15024148 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 53756461 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15024148 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070426240736 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15024148 memory=2882604 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53756462 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070157804784 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15024148 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756464 15384727552 775496 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15024148 memory=2577700 CPUtime=6.95 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) R 18322 18325 8919 0 -1 4202560 7574 0 0 0 693 2 0 0 20 0 15 0 53756464 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070904821840 140071827930395 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15024148 memory=4140 CPUtime=6.75 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) R 18322 18325 8919 0 -1 4202560 4744 0 0 0 673 2 0 0 20 0 15 0 53756464 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070903776672 140071829541279 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15024148 memory=3100780 CPUtime=1.86 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) S 18322 18325 8919 0 -1 1077944384 4799 0 0 0 184 2 0 0 20 0 15 0 53756464 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070902732784 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15024148 memory=2847744 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 775496 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15024148 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53756465 15384727552 775496 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3101984 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+20.4009 s]
/proc/loadavg: 2.86 2.37 2.17 3/226 18346
/proc/meminfo: memFree=10719492/32770624 swapFree=67108860/67108860
[pid=18325] ppid=18322 vsize=15683912 memory=3391264 CPUtime=38.73 cores=0,2,4,6
/proc/18325/stat : 18325 (java) S 18322 18325 8919 0 -1 1077944320 48525 0 0 0 3770 103 0 0 20 0 19 0 53756458 16060325888 847816 33554432000 4194304 4196468 140720386594624 140720386577168 140071844433655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
/proc/18325/statm: 3920978 847816 3265 1 0 3881834 0
[pid=18341] ppid=18325 vsize=227580 memory=178276 CPUtime=0.65 cores=0,2,4,6
/proc/18341/stat : 18341 (minisat_release) R 18325 18325 8919 0 -1 4202496 34333 0 0 0 58 7 0 0 20 0 1 0 53758431 233041920 44569 33554432000 4194304 4308513 140734769261216 140734769258360 140646050270181 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 28979200 140734769263279 140734769263790 140734769263790 140734769266629 0
/proc/18341/statm: 56895 44569 316 28 0 53135 0
[pid=18325/tid=18327] ppid=18322 vsize=15683912 memory=6944656592387989600 CPUtime=19.22 cores=0,2,4,6
/proc/18325/task/18327/stat : 18327 (java) S 18322 18325 8919 0 -1 1077944384 22385 0 0 0 1865 57 0 0 20 0 19 0 53756458 16060325888 847816 33554432000 4194304 4196468 140720386594624 140071816272896 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18328] ppid=18322 vsize=15683912 memory=6944656592455359580 CPUtime=0.45 cores=0,2,4,6
/proc/18325/task/18328/stat : 18328 (java) S 18322 18325 8919 0 -1 1077944384 203 0 0 0 36 9 0 0 20 0 19 0 53756460 16060325888 847816 33554432000 4194304 4196468 140720386594624 140071848675856 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18329] ppid=18322 vsize=15683912 memory=6944656592455359580 CPUtime=0.45 cores=0,2,4,6
/proc/18325/task/18329/stat : 18329 (java) S 18322 18325 8919 0 -1 1077944384 180 0 0 0 36 9 0 0 20 0 19 0 53756460 16060325888 847816 33554432000 4194304 4196468 140720386594624 140071639759504 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18330] ppid=18322 vsize=15683912 memory=6944661883318589546 CPUtime=0.43 cores=0,2,4,6
/proc/18325/task/18330/stat : 18330 (java) S 18322 18325 8919 0 -1 1077944384 199 0 0 0 35 8 0 0 20 0 19 0 53756460 16060325888 847816 33554432000 4194304 4196468 140720386594624 140071638706448 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18331] ppid=18322 vsize=15683912 memory=280697588355568 CPUtime=0.45 cores=0,2,4,6
/proc/18325/task/18331/stat : 18331 (java) S 18322 18325 8919 0 -1 1077944384 253 0 0 0 36 9 0 0 20 0 19 0 53756460 16060325888 847816 33554432000 4194304 4196468 140720386594624 140071637653904 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18332] ppid=18322 vsize=15683912 memory=7306916055891837008 CPUtime=0.01 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (java) S 18322 18325 8919 0 -1 1077944384 1020 0 0 0 1 0 0 0 20 0 19 0 53756461 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070905891568 140071844444802 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18333] ppid=18322 vsize=15683912 memory=288289965417431852 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18333/stat : 18333 (java) S 18322 18325 8919 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 53756462 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070426240736 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18334] ppid=18322 vsize=15683912 memory=4278821441991096096 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18334/stat : 18334 (java) S 18322 18325 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53756462 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070157804800 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18335] ppid=18322 vsize=15683912 memory=7230674613692508569 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18335/stat : 18335 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53756464 16060325888 847816 33554432000 4194304 4196468 140720386594624 140069783296464 140071844452251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18336] ppid=18322 vsize=15683912 memory=7230674613692508569 CPUtime=8.01 cores=0,2,4,6
/proc/18325/task/18336/stat : 18336 (java) S 18322 18325 8919 0 -1 1077944384 9970 0 0 0 799 2 0 0 20 0 19 0 53756464 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070904838384 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18337] ppid=18322 vsize=15683912 memory=288230574492221466 CPUtime=7.59 cores=0,2,4,6
/proc/18325/task/18337/stat : 18337 (java) S 18322 18325 8919 0 -1 1077944384 7251 0 0 0 757 2 0 0 20 0 19 0 53756464 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070903785840 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18338] ppid=18322 vsize=15683912 memory=288230621803970871 CPUtime=2.01 cores=0,2,4,6
/proc/18325/task/18338/stat : 18338 (java) S 18322 18325 8919 0 -1 1077944384 5632 0 0 0 199 2 0 0 20 0 19 0 53756464 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070902732784 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18339] ppid=18322 vsize=15683912 memory=16105853321218399 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18339/stat : 18339 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53756465 16060325888 847816 33554432000 4194304 4196468 140720386594624 140069285390688 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18340] ppid=18322 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18340/stat : 18340 (java) S 18322 18325 8919 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 53756465 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070901681200 140071844444802 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18342] ppid=18322 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18342/stat : 18342 (java) S 18322 18325 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 53758431 16060325888 847816 33554432000 4194304 4196468 140720386594624 140070816147264 140071844458265 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18344] ppid=18322 vsize=15683912 memory=140348794445855 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18344/stat : 18344 (java) S 18322 18325 8919 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 53758432 16060325888 847816 33554432000 4194304 4196468 140720386594624 140068748504880 140071844455581 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18345] ppid=18322 vsize=15683912 memory=280697588894400 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18345/stat : 18345 (java) S 18322 18325 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53758432 16060325888 847816 33554432000 4194304 4196468 140720386594624 140068882726320 140071844455581 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
[pid=18325/tid=18346] ppid=18322 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18346/stat : 18346 (java) S 18322 18325 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53758434 16060325888 847816 33554432000 4194304 4196468 140720386594624 140068480081184 140071844443861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10244096 140720386601972 140720386602249 140720386602249 140720386605007 0
Current children cumulated CPU time: 39.38 s
Current children cumulated vsize: 15911492 KiB
Current children cumulated memory: 3569540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+20.4414 s]
# the end of solver process 18325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.2961 s, system=1.15548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 20.4414
CPU time (s): 39.4516
CPU user time (s): 38.2961
CPU system time (s): 1.15548
CPU usage (%): 192.998
Max. virtual memory (cumulated for all children) (KiB): 15911492
Max. memory (cumulated for all children) (KiB): 3569540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2961
system time used= 1.15548
maximum resident set size= 3393780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5905
involuntary context switches= 128
# summary of solver processes directly reported to runsolver:
# pid: 18325
# total CPU time (s): 39.4516
# total CPU user time (s): 38.2961
# total CPU system time (s): 1.15548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160959 second user time and 0.230295 second system time
The end