0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:48:09 CEST 2018
0.67/0.54 c PID: 10993
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.48/1.44 c (0,0) Parsing End
3.48/1.46 c (0,0) CSP: 1440 int (0 aux), 0 bool (0 aux), 865 ctr, max domain size 60
3.48/1.46 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.48/1.46 c (0,0) Constraint Name Generate Begin
3.48/1.47 c (0,0) Ctr:HOME/instance-4294496-1532357288.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.48/1.47 c (0,0) Constraint Name Generate End
3.48/1.47 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.48/1.47 c (0,0) CSP to CSPinCNF Begin
6.69/2.51 c (1,1) translated 87 (10%) constraints
13.05/6.25 c (5,5) translated 173 (20%) constraints
14.00/6.51 c (5,5) translated 260 (30%) constraints
14.61/6.74 c (6,6) translated 346 (40%) constraints
15.23/6.92 c (6,6) translated 433 (50%) constraints
15.56/7.09 c (6,6) translated 519 (60%) constraints
16.12/7.28 c (6,6) translated 606 (70%) constraints
16.75/7.45 c (6,6) translated 692 (80%) constraints
17.35/7.62 c (7,6) translated 779 (90%) constraints
17.65/7.79 c (7,7) translated 865 (100%) constraints
20.16/8.54 c (8,7) STATISTICS1:HOME/instance-4294496-1532357288.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6646,85714,60,60,60,2,60:20272;59:402;58:357;57:363;56:369;55:751;7:900;6:900,60:140974;59:1461;58:1260;57:1260;56:1260;55:2493;7:6840;6:6120;2:23538,60:24;8:360;7:360;6:240;4:526;3:49744;2:34366;1:94,2:24314;1:179778;0:720,
20.16/8.54 c (8,7) ===========================================
20.16/8.54 c (8,7) Order
20.16/8.54 c (8,7) ===========================================
21.08/8.89 c (8,8) translated 8572 (10%) constraints
21.82/9.12 c (8,8) translated 17143 (20%) constraints
22.37/9.49 c (8,8) translated 25715 (30%) constraints
23.36/10.09 c (9,9) translated 34286 (40%) constraints
23.98/10.67 c (10,9) translated 42857 (50%) constraints
24.59/11.23 c (10,10) translated 51429 (60%) constraints
25.09/11.79 c (11,11) translated 60000 (70%) constraints
25.84/12.30 c (11,11) translated 68572 (80%) constraints
26.44/12.51 c (11,11) translated 77143 (90%) constraints
26.60/12.63 c (12,11) translated 85714 (100%) constraints
26.60/12.63 c (12,11) CSP to CSPinCNF End
26.60/12.66 c (12,11) CSP: 1440 int (0 aux), 48406 bool (48406 aux), 172114 ctr, max domain size 60
26.60/12.66 c (12,11) Heap : 1836 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
26.60/12.66 c (12,11) CSPinCNF Propagation Begin
28.73/13.75 c (13,12) 327 values, 2963 unsatisfiable literals, and 2151 valid clauses are removed
28.73/13.75 c (13,12) CSPinCNF Propagation End
28.73/13.76 c (13,12) CSP: 1677 int (237 aux), 48169 bool (48169 aux), 169963 ctr, max domain size 60
28.73/13.76 c (13,12) Heap : 2492 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
28.73/13.76 c (13,12) Simplify CSPinCNF Begin
31.34/15.08 c (14,14) Simplify CSPinCNF End
31.65/15.11 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
31.65/15.11 c (14,14) Heap : 365 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
31.65/15.11 c (14,14) Calculate Precise Domain Begin
31.65/15.11 c (14,14) 0 values are removed by re-calculation
31.65/15.11 c (14,14) Calculate Precise Domain End
31.65/15.14 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
31.65/15.14 c (14,14) Heap : 365 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.65/15.14 c (14,14) CSPinCNF to SatSolver Begin
35.16/17.71 c (17,16) 21670 (10 %) CSP clauses are encoded (141106 SAT variables, 906932 SAT clauses)
38.27/20.20 c (19,18) 43340 (20 %) CSP clauses are encoded (141106 SAT variables, 1770074 SAT clauses)
40.98/22.53 c (22,21) 65010 (30 %) CSP clauses are encoded (141106 SAT variables, 2592868 SAT clauses)
41.08/22.68 c (22,21) 86679 (40 %) CSP clauses are encoded (141106 SAT variables, 2630297 SAT clauses)
41.18/22.78 c (22,21) 108349 (50 %) CSP clauses are encoded (141106 SAT variables, 2651967 SAT clauses)
41.54/23.19 c (22,21) 130019 (60 %) CSP clauses are encoded (141106 SAT variables, 2673637 SAT clauses)
41.54/23.19 c (22,21) 151688 (70 %) CSP clauses are encoded (141106 SAT variables, 2695306 SAT clauses)
41.55/23.23 c (22,21) 173358 (80 %) CSP clauses are encoded (141106 SAT variables, 2716976 SAT clauses)
41.65/23.33 c (22,21) 195028 (90 %) CSP clauses are encoded (141106 SAT variables, 2738646 SAT clauses)
42.04/23.65 c (23,22) 216697 (100 %) CSP clauses are encoded (141106 SAT variables, 2834212 SAT clauses)
42.04/23.65 c (23,22) CSPinCNF to SatSolver End
42.04/23.65 c (23,22) Heap : 1536 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
42.99/24.24 c (23,22) STATISTICS2:HOME/instance-4294496-1532357288.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,96580,216697,60,60,60,2,60:35902;59:768;58:1451;57:1371;56:1395;55:2867;7:1800;6:1800,60:248724;59:2626;58:4848;57:4428;56:4380;55:8662;7:8640;6:7920;2:244988,60:6;55:17;53:1;7:360;6:600;4:526;3:48010;2:167083;1:94,2:47354;1:440508,
42.99/24.24 c (23,22) SatSolver.solve Begin
42.99/24.24 c (23,22) 141106 bool, 2834213 clause
42.99/24.24 c (23,22) 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-4294496-1532357288.xml-scop-10993.cnf HOME/instance-4294496-1532357288.xml-scop-10993.cnf.out
43.87/25.01 c (24,0) receiving signal SIGTERM
43.87/25.01 s UNKNOWN
43.87/25.02 c (24,22) SatSolver is killed by some reasons.
43.87/25.02 c (24,22) 0,0,12,13,14,14,23,TO,TO,STOP-AFTER(DIMACS)
43.87/25.02 c END-Prog: Mon Jul 23 16:48:33 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 (1996 MiB free)
memory of node 1: 16384 MiB (11578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294496-1532357288/watcher-4294496-1532357288 -o /tmp/evaluation-result-4294496-1532357288/solver-4294496-1532357288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294496-1532357288.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=10993, runsolver pid=10990
[startup+0.100137 s]*
/proc/loadavg: 2.44 2.21 2.13 3/220 11008
/proc/meminfo: memFree=13841108/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15011656 memory=71832 CPUtime=0.11 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 6635 0 0 0 10 1 0 0 20 0 15 0 53292006 15371935744 17958 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3752914 17958 2780 1 0 3715374 0
[pid=10993/tid=10995] ppid=10990 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 4873 0 0 0 8 1 0 0 20 0 15 0 53292007 15371935744 18090 33554432000 4194304 4196468 140729444689392 140023165768072 140023174231915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 18090 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 18090 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 18090 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 18090 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 18090 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 18156 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15371935744 18156 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) S 10990 10993 2271 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140022029171440 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140022028118896 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0.01 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 18156 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71832 KiB
[startup+0.210545 s]*
/proc/loadavg: 2.44 2.21 2.13 3/220 11008
/proc/meminfo: memFree=13827404/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15011656 memory=83616 CPUtime=0.26 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 9887 0 0 0 24 2 0 0 20 0 15 0 53292006 15371935744 20904 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3752914 20904 2895 1 0 3715374 0
[pid=10993/tid=10995] ppid=10990 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 7773 0 0 0 18 2 0 0 20 0 15 0 53292007 15371935744 20904 33554432000 4194304 4196468 140729444689392 140023165783872 140023177999717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 20904 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15011656 memory=288370153708115584 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 20904 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15371935744 20904 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) R 10990 10993 2271 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022029171440 140023193967234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) R 10990 10993 2271 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022028118896 140023177456523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0.03 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) R 10990 10993 2271 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022027065840 140023173079535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) R 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 20904 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83616 KiB
[startup+0.310689 s]*
/proc/loadavg: 2.44 2.21 2.13 3/220 11008
/proc/meminfo: memFree=13823248/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15011656 memory=87684 CPUtime=0.44 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 10509 0 0 0 41 3 0 0 20 0 15 0 53292006 15371935744 21921 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3752914 21921 2988 1 0 3715374 0
[pid=10993/tid=10995] ppid=10990 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 8205 0 0 0 28 2 0 0 20 0 15 0 53292007 15371935744 21921 33554432000 4194304 4196468 140729444689392 140023165783712 140023175329637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 21921 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15371935744 21921 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15011656 memory=139777556403840 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15371935744 21921 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) S 10990 10993 2271 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022029171440 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) S 10990 10993 2271 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022028118896 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 344 0 0 0 7 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292013 15371935744 21921 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87684 KiB
[startup+0.706469 s]
/proc/loadavg: 2.44 2.21 2.13 3/220 11008
/proc/meminfo: memFree=13798692/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15019976 memory=130204 CPUtime=1.08 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 17719 0 0 0 103 5 0 0 20 0 15 0 53292006 15380455424 32551 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3754994 32551 3157 1 0 3716398 0
[pid=10993/tid=10995] ppid=10990 vsize=15019976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 14797 0 0 0 64 4 0 0 20 0 15 0 53292007 15380455424 32551 33554432000 4194304 4196468 140729444689392 140023165786048 140023178036574 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15019976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15380455424 32551 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15019976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15019976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15019976 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15019976 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53292010 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15019976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15380455424 32551 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15019976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15380455424 32551 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15019976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15019976 memory=8384 CPUtime=0.11 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) R 10990 10993 2271 0 -1 4202560 732 0 0 0 11 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022029161232 140023186245536 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15019976 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) R 10990 10993 2271 0 -1 4202560 284 0 0 0 8 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022028109472 140023178602865 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15019976 memory=1424 CPUtime=0.19 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 551 0 0 0 19 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15019976 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15019976 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292013 15380455424 32551 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 130204 KiB
[startup+1.50151 s]
/proc/loadavg: 2.44 2.21 2.13 6/220 11008
/proc/meminfo: memFree=13720976/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15022100 memory=221940 CPUtime=3.74 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 22562 0 0 0 366 8 0 0 20 0 15 0 53292006 15382630400 55485 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3755525 55485 3204 1 0 3716910 0
[pid=10993/tid=10995] ppid=10990 vsize=15022100 memory=13570392392808141 CPUtime=1.46 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 15640 0 0 0 141 5 0 0 20 0 15 0 53292007 15382630400 55485 33554432000 4194304 4196468 140729444689392 140023165771120 140023180027438 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15382630400 55485 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15382630400 55485 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15382630400 55485 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15382630400 55485 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53292010 15382630400 55485 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
################
# More data... #
################
[pid=10993/tid=11001] ppid=10990 vsize=15024148 memory=13570392392808141 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15384727552 145178 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15024148 memory=250196 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15384727552 145178 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15024148 memory=0 CPUtime=2.15 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) R 10990 10993 2271 0 -1 4202560 3402 0 0 0 215 0 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140022029163952 140023171550839 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15024148 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) R 10990 10993 2271 0 -1 4202560 2356 0 0 0 203 1 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140022028118896 140023175773888 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15024148 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 3602 0 0 0 104 1 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 145178 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 8.21 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 580712 KiB
[startup+6.30149 s]
/proc/loadavg: 2.40 2.21 2.12 4/220 11008
/proc/meminfo: memFree=11563352/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15024148 memory=2409956 CPUtime=13.36 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 30073 0 0 0 1294 42 0 0 20 0 15 0 53292006 15384727552 602489 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3756037 602489 3214 1 0 3717422 0
[pid=10993/tid=10995] ppid=10990 vsize=15024148 memory=2385604 CPUtime=6.13 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 17515 0 0 0 576 37 0 0 20 0 15 0 53292007 15384727552 602489 33554432000 4194304 4196468 140729444689392 140023165788512 140022669521490 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15024148 memory=1087448 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53292008 15384727552 602489 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15024148 memory=1253480 CPUtime=0 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53292008 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15024148 memory=1167320 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53292010 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15024148 memory=452268 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15384727552 602489 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15384727552 602489 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15024148 memory=2071256 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15024148 memory=13898514172380 CPUtime=3.01 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) R 10990 10993 2271 0 -1 4202560 3764 0 0 0 300 1 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022029162768 140023175868623 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15024148 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) R 10990 10993 2271 0 -1 4202560 3236 0 0 0 278 1 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022028104920 140023178880374 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15024148 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 4195 0 0 0 137 2 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15024148 memory=1450088 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15024148 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 602489 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 13.36 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2409956 KiB
[startup+12.7007 s]
/proc/loadavg: 2.49 2.24 2.13 3/220 11008
/proc/meminfo: memFree=10812140/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15024148 memory=3091944 CPUtime=26.79 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 41642 0 0 0 2621 58 0 0 20 0 15 0 53292006 15384727552 772986 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3756037 772986 3226 1 0 3717422 0
[pid=10993/tid=10995] ppid=10990 vsize=15024148 memory=17188 CPUtime=12.43 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) R 10990 10993 2271 0 -1 4202560 18496 0 0 0 1197 46 0 0 20 0 15 0 53292007 15384727552 772986 33554432000 4194304 4196468 140729444689392 140023165794688 140022666034039 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15024148 memory=279554859004288 CPUtime=0.08 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 43 0 0 0 7 1 0 0 20 0 15 0 53292008 15384727552 772986 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15024148 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 75 0 0 0 5 0 0 0 20 0 15 0 53292008 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15024148 memory=6944652177228980320 CPUtime=0.05 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 116 0 0 0 4 1 0 0 20 0 15 0 53292008 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15024148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 107 0 0 0 7 1 0 0 20 0 15 0 53292008 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15024148 memory=3094368 CPUtime=0.01 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 53292010 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15024148 memory=847 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53292010 15384727552 772986 33554432000 4194304 4196468 140729444689392 140021772313760 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15024148 memory=2644 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53292011 15384727552 772986 33554432000 4194304 4196468 140729444689392 140021638091504 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15024148 memory=2110128036301300 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15024148 memory=0 CPUtime=6.22 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) R 10990 10993 2271 0 -1 4202560 7182 0 0 0 621 1 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022029157872 140023193968022 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15024148 memory=3091228 CPUtime=6.08 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) R 10990 10993 2271 0 -1 4202560 7956 0 0 0 606 2 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022028118896 140023178348749 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15024148 memory=-6438865889672082020 CPUtime=1.73 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 6290 0 0 0 170 3 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15024148 memory=56 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53292013 15384727552 772986 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3091944 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0007 s]*
/proc/loadavg: 2.41 2.23 2.13 3/225 11014
/proc/meminfo: memFree=10165608/32770624 swapFree=67108860/67108860
[pid=10993] ppid=10990 vsize=15683912 memory=3468876 CPUtime=43.13 cores=1,3,5,7
/proc/10993/stat : 10993 (java) S 10990 10993 2271 0 -1 1077944320 54359 0 0 0 4199 114 0 0 20 0 19 0 53292006 16060325888 867219 33554432000 4194304 4196468 140729444689392 140729444671936 140023193956087 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
/proc/10993/statm: 3920978 867219 3268 1 0 3881834 0
[pid=11009] ppid=10993 vsize=254312 memory=208804 CPUtime=0.74 cores=1,3,5,7
/proc/11009/stat : 11009 (minisat_release) R 10993 10993 2271 0 -1 4202496 40174 0 0 0 67 7 0 0 20 0 1 0 53294433 260415488 52201 33554432000 4194304 4308513 140723056823824 140723056820968 4248293 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15745024 140723056829103 140723056829614 140723056829614 140723056832453 0
/proc/11009/statm: 63578 52201 316 28 0 59818 0
[pid=10993/tid=10995] ppid=10990 vsize=15683912 memory=7883960649037381690 CPUtime=23.28 cores=1,3,5,7
/proc/10993/task/10995/stat : 10995 (java) S 10990 10993 2271 0 -1 1077944384 21664 0 0 0 2273 55 0 0 20 0 19 0 53292007 16060325888 867219 33554432000 4194304 4196468 140729444689392 140023165795328 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10996] ppid=10990 vsize=15683912 memory=13647 CPUtime=0.67 cores=1,3,5,7
/proc/10993/task/10996/stat : 10996 (java) S 10990 10993 2271 0 -1 1077944384 344 0 0 0 55 12 0 0 20 0 19 0 53292008 16060325888 867219 33554432000 4194304 4196468 140729444689392 140023198198800 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10997] ppid=10990 vsize=15683912 memory=303207043935095481 CPUtime=0.65 cores=1,3,5,7
/proc/10993/task/10997/stat : 10997 (java) S 10990 10993 2271 0 -1 1077944384 537 0 0 0 53 12 0 0 20 0 19 0 53292008 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022989282448 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10998] ppid=10990 vsize=15683912 memory=2319389199166747697 CPUtime=0.65 cores=1,3,5,7
/proc/10993/task/10998/stat : 10998 (java) S 10990 10993 2271 0 -1 1077944384 648 0 0 0 53 12 0 0 20 0 19 0 53292008 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022988229392 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=10999] ppid=10990 vsize=15683912 memory=3473034339519695795 CPUtime=0.68 cores=1,3,5,7
/proc/10993/task/10999/stat : 10999 (java) S 10990 10993 2271 0 -1 1077944384 2164 0 0 0 56 12 0 0 20 0 19 0 53292008 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022987176848 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11000] ppid=10990 vsize=15683912 memory=4049638975045972223 CPUtime=0.02 cores=1,3,5,7
/proc/10993/task/11000/stat : 11000 (java) S 10990 10993 2271 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 19 0 53292010 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022030223600 140023193967234 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11001] ppid=10990 vsize=15683912 memory=7523945318796579681 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11001/stat : 11001 (java) S 10990 10993 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53292010 16060325888 867219 33554432000 4194304 4196468 140729444689392 140021772313824 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11002] ppid=10990 vsize=15683912 memory=7649399375607640369 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11002/stat : 11002 (java) S 10990 10993 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53292011 16060325888 867219 33554432000 4194304 4196468 140729444689392 140021638091520 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11003] ppid=10990 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11003/stat : 11003 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140021263587280 140023193974683 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11004] ppid=10990 vsize=15683912 memory=3467824627998865717 CPUtime=7.65 cores=1,3,5,7
/proc/10993/task/11004/stat : 11004 (java) S 10990 10993 2271 0 -1 1077944384 9232 0 0 0 763 2 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022029171440 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11005] ppid=10990 vsize=15683912 memory=3472470285759613877 CPUtime=7.51 cores=1,3,5,7
/proc/10993/task/11005/stat : 11005 (java) S 10990 10993 2271 0 -1 1077944384 10233 0 0 0 749 2 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022028118896 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11006] ppid=10990 vsize=15683912 memory=2319389199166877746 CPUtime=1.92 cores=1,3,5,7
/proc/10993/task/11006/stat : 11006 (java) S 10990 10993 2271 0 -1 1077944384 7457 0 0 0 189 3 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022027065840 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11007] ppid=10990 vsize=15683912 memory=279554985938080 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11007/stat : 11007 (java) S 10990 10993 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140020765682528 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11008] ppid=10990 vsize=15683912 memory=139777429639167 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11008/stat : 11008 (java) S 10990 10993 2271 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 19 0 53292013 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022026013232 140023193967234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11010] ppid=10990 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11010/stat : 11010 (java) S 10990 10993 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 53294433 16060325888 867219 33554432000 4194304 4196468 140729444689392 140022980523328 140023193980697 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11012] ppid=10990 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11012/stat : 11012 (java) S 10990 10993 2271 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 53294433 16060325888 867219 33554432000 4194304 4196468 140729444689392 140020228795696 140023193978013 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11013] ppid=10990 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11013/stat : 11013 (java) S 10990 10993 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53294433 16060325888 867219 33554432000 4194304 4196468 140729444689392 140020363018160 140023193978013 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
[pid=10993/tid=11014] ppid=10990 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10993/task/11014/stat : 11014 (java) S 10990 10993 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53294435 16060325888 867219 33554432000 4194304 4196468 140729444689392 140019960373024 140023193966293 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38055936 140729444692979 140729444693257 140729444693257 140729444696015 0
Current children cumulated CPU time: 43.87 s
Current children cumulated vsize: 15938224 KiB
Current children cumulated memory: 3677680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0519 s]
# the end of solver process 10993 was just reported to runsolver
# cumulated CPU time of all completed processes: user=42.6702 s, system=1.26414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0519
CPU time (s): 43.9343
CPU user time (s): 42.6702
CPU system time (s): 1.26414
CPU usage (%): 175.373
Max. virtual memory (cumulated for all children) (KiB): 15938224
Max. memory (cumulated for all children) (KiB): 3677680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6702
system time used= 1.26414
maximum resident set size= 3472408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6461
involuntary context switches= 106
# summary of solver processes directly reported to runsolver:
# pid: 10993
# total CPU time (s): 43.9343
# total CPU user time (s): 42.6702
# total CPU system time (s): 1.26414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172613 second user time and 0.292789 second system time
The end