0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 12:18:35 CEST 2018
0.66/0.55 c PID: 10970
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
1.40/0.93 c (0,0) Parsing End
1.40/0.94 c (0,0) CSP: 48 int (0 aux), 12 bool (0 aux), 37 ctr, max domain size 15
1.40/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.94 c (0,0) Constraint Name Generate Begin
1.40/0.94 c (0,0) Ctr:HOME/instance-4293188-1532341115.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.40/0.94 c (0,0) Constraint Name Generate End
1.40/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.94 c (0,0) CSP to CSPinCNF Begin
1.57/1.02 c (0,0) translated 4 (10%) constraints
1.57/1.02 c (0,0) translated 8 (20%) constraints
1.57/1.03 c (0,0) translated 12 (30%) constraints
1.57/1.03 c (0,0) translated 15 (40%) constraints
1.57/1.04 c (0,0) translated 19 (50%) constraints
1.57/1.04 c (0,0) translated 23 (60%) constraints
1.74/1.12 c (0,0) translated 26 (70%) constraints
1.74/1.17 c (0,0) translated 30 (80%) constraints
1.97/1.21 c (0,0) translated 34 (90%) constraints
1.97/1.24 c (0,0) translated 37 (100%) constraints
2.27/1.36 c (0,0) STATISTICS1:HOME/instance-4293188-1532341115.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,104,256,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22;1:2,14:184;13:184;11:92;10:46;9:46;2:638;1:24,4:66;3:55;2:110;1:25,3:264;2:24;1:374;0:12,
2.27/1.36 c (0,0) ===========================================
2.27/1.36 c (0,0) Both Encoding selects:
2.27/1.36 c (0,0) Order
2.27/1.36 c (0,0) ===========================================
2.27/1.37 c (0,0) translated 26 (10%) constraints
2.27/1.37 c (0,0) translated 52 (20%) constraints
2.27/1.38 c (0,0) translated 77 (30%) constraints
2.27/1.38 c (0,0) translated 103 (40%) constraints
2.27/1.38 c (0,0) translated 128 (50%) constraints
2.27/1.38 c (0,0) translated 154 (60%) constraints
2.27/1.39 c (0,0) translated 180 (70%) constraints
2.27/1.39 c (0,0) translated 205 (80%) constraints
2.27/1.39 c (0,0) translated 231 (90%) constraints
2.27/1.40 c (0,0) translated 256 (100%) constraints
2.27/1.40 c (0,0) CSP to CSPinCNF End
2.56/1.40 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 256 ctr, max domain size 14
2.56/1.40 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.56/1.40 c (0,0) CSPinCNF Propagation Begin
2.56/1.46 c (0,0) 0 values, 11 unsatisfiable literals, and 3 valid clauses are removed
2.56/1.46 c (0,0) CSPinCNF Propagation End
2.56/1.46 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 253 ctr, max domain size 14
2.56/1.46 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.56/1.46 c (0,0) Simplify CSPinCNF Begin
2.82/1.50 c (0,0) Simplify CSPinCNF End
2.82/1.50 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.82/1.50 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.50 c (0,0) Calculate Precise Domain Begin
2.82/1.51 c (0,0) 0 values are removed by re-calculation
2.82/1.51 c (0,0) Calculate Precise Domain End
2.82/1.51 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.82/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.51 c (0,0) CSPinCNF to SatSolver Begin
2.82/1.54 c (1,1) 52 (10 %) CSP clauses are encoded (616 SAT variables, 301 SAT clauses)
2.82/1.54 c (1,1) 104 (20 %) CSP clauses are encoded (616 SAT variables, 353 SAT clauses)
2.82/1.55 c (1,1) 156 (30 %) CSP clauses are encoded (616 SAT variables, 405 SAT clauses)
2.82/1.56 c (1,1) 207 (40 %) CSP clauses are encoded (616 SAT variables, 653 SAT clauses)
2.82/1.58 c (1,1) 259 (50 %) CSP clauses are encoded (616 SAT variables, 1254 SAT clauses)
2.82/1.59 c (1,1) 311 (60 %) CSP clauses are encoded (616 SAT variables, 1699 SAT clauses)
3.13/1.60 c (1,1) 362 (70 %) CSP clauses are encoded (616 SAT variables, 2324 SAT clauses)
3.13/1.61 c (1,1) 414 (80 %) CSP clauses are encoded (616 SAT variables, 3125 SAT clauses)
3.13/1.62 c (1,1) 466 (90 %) CSP clauses are encoded (616 SAT variables, 3720 SAT clauses)
3.13/1.64 c (1,1) 517 (100 %) CSP clauses are encoded (616 SAT variables, 4551 SAT clauses)
3.13/1.64 c (1,1) CSPinCNF to SatSolver End
3.13/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.13/1.66 c (1,1) STATISTICS2:HOME/instance-4293188-1532341115.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,368,517,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22,14:184;13:184;11:90;10:46;9:46;2:1166;1:22,4:66;3:44;2:385;1:22,3:264;2:22;1:902,
3.13/1.66 c (1,1) SatSolver.solve Begin
3.13/1.66 c (1,1) 616 bool, 4575 clause
3.13/1.66 c (1,1) 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-4293188-1532341115.xml-scop-10970.cnf HOME/instance-4293188-1532341115.xml-scop-10970.cnf.out
3.13/1.69 c (1,0) c This is COMiniSatPS.
3.13/1.69 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.13/1.69 c (1,0) c ============================[ Problem Statistics ]=============================
3.13/1.69 c (1,0) c | |
3.13/1.69 c (1,0) c | Number of variables: 616 |
3.13/1.69 c (1,0) c | Number of clauses: 4575 |
3.13/1.69 c (1,0) c | Parse time: 0.00 s |
3.13/1.69 c (1,0) c | Eliminated clauses: 0.00 Mb |
3.13/1.69 c (1,0) c Reduced to 437 vars, 4212 cls (grow=0)
3.13/1.69 c (1,0) c No iterative elimination performed. (vars=437, c/v ratio=9.6)
3.13/1.69 c (1,0) c | Simplification time: 0.00 s |
3.13/1.69 c (1,0) c | |
3.13/1.69 c (1,0) c ============================[ Search Statistics ]==============================
3.13/1.69 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.13/1.69 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.13/1.69 c (1,0) c ===============================================================================
3.13/1.69 c (1,0) c ===============================================================================
3.13/1.69 c (1,0) c restarts : 1
3.13/1.69 c (1,0) c conflicts : 25 (3237 /sec)
3.13/1.69 c (1,0) c decisions : 57 (0.00 % random) (7381 /sec)
3.13/1.69 c (1,0) c propagations : 793 (102680 /sec)
3.13/1.69 c (1,0) c conflict literals : 156 (11.86 % deleted)
3.13/1.69 c (1,0) c CPU time : 0.007723 s
3.13/1.69 c (1,0)
3.13/1.69 c (1,0) s UNSATISFIABLE
3.44/1.72 c (1,1) SatSolver.solve End
3.44/1.72 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
3.44/1.72 c (1,1) Show results Begin
3.44/1.72 s UNSATISFIABLE
3.44/1.72 c (1,1) Show results End
3.44/1.72 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
3.44/1.73 c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.44/1.73 c END-Prog: Mon Jul 23 12:18:37 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 (5516 MiB free)
memory of node 1: 16384 MiB (10509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293188-1532341115/watcher-4293188-1532341115 -o /tmp/evaluation-result-4293188-1532341115/solver-4293188-1532341115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293188-1532341115.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10970, runsolver pid=10967
Current StackSize limit: 8192 KiB
[startup+0.103208 s]*
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16347476/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15011656 memory=76412 CPUtime=0.11 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 6849 0 0 0 9 2 0 0 20 0 15 0 51674643 15371935744 19103 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3752914 19103 2758 1 0 3715374 0
[pid=10970/tid=10972] ppid=10967 vsize=15011656 memory=-6583029468848503632 CPUtime=0.09 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 5096 0 0 0 7 2 0 0 20 0 15 0 51674643 15371935744 19301 33554432000 4194304 4196468 140727527155792 140326461317512 140326475726847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 19301 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 19301 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 19301 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 19301 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674646 15371935744 19301 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 19301 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 19301 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 19366 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) S 10967 10970 8919 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 19366 33554432000 4194304 4196468 140727527155792 140325526637168 140326489516674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 19366 33554432000 4194304 4196468 140727527155792 140325525584368 140326489516674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0.01 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 51674649 15371935744 19366 33554432000 4194304 4196468 140727527155792 140325524532080 140326468815435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 19366 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674650 15371935744 19366 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 76412 KiB
[startup+0.2106 s]*
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16334668/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15011656 memory=88204 CPUtime=0.26 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 9955 0 0 0 23 3 0 0 20 0 15 0 51674643 15371935744 22051 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3752914 22051 2876 1 0 3715374 0
[pid=10970/tid=10972] ppid=10967 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 7861 0 0 0 17 2 0 0 20 0 15 0 51674643 15371935744 22051 33554432000 4194304 4196468 140727527155792 140326461331376 140326489517462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22051 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15011656 memory=139626549097048 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22051 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674646 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 22051 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22051 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325526637264 140326489515733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) R 10967 10970 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325525584368 140326482490569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0.03 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 15 0 51674649 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325524532080 140326489526874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22051 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674650 15371935744 22051 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88204 KiB
[startup+0.310598 s]*
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16331000/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15011656 memory=91672 CPUtime=0.42 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 10483 0 0 0 39 3 0 0 20 0 15 0 51674643 15371935744 22918 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3752914 22918 2984 1 0 3715374 0
[pid=10970/tid=10972] ppid=10967 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) S 10967 10970 8919 0 -1 1077944384 8230 0 0 0 27 2 0 0 20 0 15 0 51674643 15371935744 22918 33554432000 4194304 4196468 140727527155792 140326461333408 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22918 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15011656 memory=139626549097047 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22918 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674646 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15371935744 22918 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22918 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 4202560 501 0 0 0 1 0 0 0 20 0 15 0 51674649 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325526637168 140326481794976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) R 10967 10970 8919 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 15 0 51674649 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325525584368 140326489516674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0.07 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 298 0 0 0 7 0 0 0 20 0 15 0 51674649 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325524532080 140325991370873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15371935744 22918 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15011656 memory=139626549085824 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674650 15371935744 22918 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91672 KiB
[startup+0.700722 s]
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16306568/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15020052 memory=131848 CPUtime=1.01 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 17692 0 0 0 95 6 0 0 20 0 15 0 51674643 15380533248 32962 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3755013 32962 3165 1 0 3716398 0
[pid=10970/tid=10972] ppid=10967 vsize=15020052 memory=186772290027072 CPUtime=0.67 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 14990 0 0 0 62 5 0 0 20 0 15 0 51674643 15380533248 32962 33554432000 4194304 4196468 140727527155792 140326461338912 140326473549157 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15380533248 32962 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15380533248 32962 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51674646 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15380533248 32962 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15380533248 32962 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 15 0 51674649 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325526637168 140326489516674 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15020052 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) R 10967 10970 8919 0 -1 4202560 347 0 0 0 10 0 0 0 20 0 15 0 51674649 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325525584368 140326489516674 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 425 0 0 0 16 0 0 0 20 0 15 0 51674649 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325524532080 140326489526874 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15380533248 32962 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674650 15380533248 32962 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 131848 KiB
[startup+1.50073 s]
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16277032/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15024148 memory=175040 CPUtime=2.82 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 21798 0 0 0 273 9 0 0 20 0 15 0 51674643 15384727552 43760 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3756037 43760 3202 1 0 3717422 0
[pid=10970/tid=10972] ppid=10967 vsize=15024148 memory=5794836780235444327 CPUtime=1.46 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 16411 0 0 0 140 6 0 0 20 0 15 0 51674643 15384727552 43760 33554432000 4194304 4196468 140727527155792 140326461343888 140326489517462 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15024148 memory=6298673690012635239 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15384727552 43760 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15024148 memory=7589521214631602279 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15384727552 43760 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15024148 memory=7812730931209136468 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15024148 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15024148 memory=7956561401557117010 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51674646 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15024148 memory=3976740254982563666 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15384727552 43760 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15024148 memory=279252868006128 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15384727552 43760 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15024148 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 4202560 785 0 0 0 28 0 0 0 20 0 15 0 51674649 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325526637168 140326489517462 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15024148 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) R 10967 10970 8919 0 -1 1077944384 644 0 0 0 33 0 0 0 20 0 15 0 51674649 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325525584464 140326489515733 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15024148 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 2616 0 0 0 70 0 0 0 20 0 15 0 51674649 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325524532080 140326489517462 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15024148 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15384727552 43760 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15024148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674650 15384727552 43760 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 175040 KiB
[startup+1.74692 s]
# the end of solver process 10970 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.42426 s, system=0.115376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60621 s]
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16277032/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15026264 memory=184952 CPUtime=3.13 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 22291 0 0 0 304 9 0 0 20 0 15 0 51674643 15386894336 46238 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3756566 46238 3213 1 0 3717422 0
[pid=10970/tid=10972] ppid=10967 vsize=15026264 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 16633 0 0 0 150 7 0 0 20 0 15 0 51674643 15386894336 46238 33554432000 4194304 4196468 140727527155792 140326461341008 140326489517462 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15386894336 46238 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15026264 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15386894336 46238 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674645 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15026264 memory=12081 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674645 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51674646 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15026264 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51674647 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15026264 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51674647 15386894336 46238 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15026264 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15386894336 46238 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15026264 memory=-6945504543650622756 CPUtime=0.35 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 4202560 856 0 0 0 34 1 0 0 20 0 15 0 51674649 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325526623072 140326468762102 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15026264 memory=6944656592455360608 CPUtime=0.41 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) R 10967 10970 8919 0 -1 4202560 665 0 0 0 41 0 0 0 20 0 15 0 51674649 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325525561408 140326473905227 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15026264 memory=279252868148800 CPUtime=0.77 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) R 10967 10970 8919 0 -1 4202560 2795 0 0 0 77 0 0 0 20 0 15 0 51674649 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325524532080 140326489526874 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15026264 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51674649 15386894336 46238 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51674650 15386894336 46238 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 184952 KiB
[startup+1.70222 s]
/proc/loadavg: 2.00 2.02 2.05 3/220 10985
/proc/meminfo: memFree=16277032/32770624 swapFree=67108860/67108860
[pid=10970] ppid=10967 vsize=15356224 memory=204228 CPUtime=3.44 cores=1,3,5,7
/proc/10970/stat : 10970 (java) S 10967 10970 8919 0 -1 1077944320 23032 666 0 0 334 10 0 0 20 0 16 0 51674643 15724773376 51057 33554432000 4194304 4196468 140727527155792 140727527138336 140326489505527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
/proc/10970/statm: 3839056 51057 3218 1 0 3799912 0
[pid=10970/tid=10972] ppid=10967 vsize=15356224 memory=13773960120851 CPUtime=1.66 cores=1,3,5,7
/proc/10970/task/10972/stat : 10972 (java) R 10967 10970 8919 0 -1 4202560 16908 666 0 0 159 7 0 0 20 0 16 0 51674643 15724773376 51057 33554432000 4194304 4196468 140727527155792 140326461320448 140326472879360 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10973] ppid=10967 vsize=15356224 memory=1 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10973/stat : 10973 (java) S 10967 10970 8919 0 -1 1077944384 1 666 0 0 0 0 0 0 20 0 16 0 51674645 15724773376 51057 33554432000 4194304 4196468 140727527155792 140326493748112 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10974] ppid=10967 vsize=15356224 memory=279252868020000 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10974/stat : 10974 (java) S 10967 10970 8919 0 -1 1077944384 2 666 0 0 0 0 0 0 20 0 16 0 51674645 15724773376 51057 33554432000 4194304 4196468 140727527155792 140326314044176 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10975] ppid=10967 vsize=15356224 memory=186727998182839 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10975/stat : 10975 (java) S 10967 10970 8919 0 -1 1077944384 1 666 0 0 0 0 0 0 20 0 16 0 51674645 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325948980368 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10976] ppid=10967 vsize=15356224 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10976/stat : 10976 (java) S 10967 10970 8919 0 -1 1077944384 2 666 0 0 0 0 0 0 20 0 16 0 51674645 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325947927568 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10977] ppid=10967 vsize=15356224 memory=139626434037408 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10977/stat : 10977 (java) S 10967 10970 8919 0 -1 1077944384 5 666 0 0 0 0 0 0 20 0 16 0 51674646 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325527689328 140326489516674 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10978] ppid=10967 vsize=15356224 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10978/stat : 10978 (java) S 10967 10970 8919 0 -1 1077944384 13 666 0 0 0 0 0 0 20 0 16 0 51674647 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325037269792 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10979] ppid=10967 vsize=15356224 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10979/stat : 10979 (java) S 10967 10970 8919 0 -1 1077944384 1 666 0 0 0 0 0 0 20 0 16 0 51674647 15724773376 51057 33554432000 4194304 4196468 140727527155792 140324768834672 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10980] ppid=10967 vsize=15356224 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10980/stat : 10980 (java) S 10967 10970 8919 0 -1 1077944384 3 666 0 0 0 0 0 0 20 0 16 0 51674649 15724773376 51057 33554432000 4194304 4196468 140727527155792 140324394326096 140326489524123 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10981] ppid=10967 vsize=15356224 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/10970/task/10981/stat : 10981 (java) R 10967 10970 8919 0 -1 4202560 1187 666 0 0 43 1 0 0 20 0 16 0 51674649 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325526618280 140326474403514 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10982] ppid=10967 vsize=15356224 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/10970/task/10982/stat : 10982 (java) S 10967 10970 8919 0 -1 1077944384 701 666 0 0 49 0 0 0 20 0 16 0 51674649 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325525584368 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10983] ppid=10967 vsize=15356224 memory=2209 CPUtime=0.81 cores=1,3,5,7
/proc/10970/task/10983/stat : 10983 (java) S 10967 10970 8919 0 -1 1077944384 2857 666 0 0 81 0 0 0 20 0 16 0 51674649 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325524532080 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10984] ppid=10967 vsize=15356224 memory=26660 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10984/stat : 10984 (java) S 10967 10970 8919 0 -1 1077944384 3 666 0 0 0 0 0 0 20 0 16 0 51674649 15724773376 51057 33554432000 4194304 4196468 140727527155792 140323896421344 140326489515733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
[pid=10970/tid=10985] ppid=10967 vsize=15356224 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10970/task/10985/stat : 10985 (java) S 10967 10970 8919 0 -1 1077944384 2 666 0 0 0 0 0 0 20 0 16 0 51674650 15724773376 51057 33554432000 4194304 4196468 140727527155792 140325523478960 140326489516674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27729920 140727527158772 140727527159049 140727527159049 140727527161807 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 15356224 KiB
Current children cumulated memory: 204228 KiB
Child status: 0
Real time (s): 1.74696
CPU time (s): 3.53964
CPU user time (s): 3.42426
CPU system time (s): 0.115376
CPU usage (%): 202.617
Max. virtual memory (cumulated for all children) (KiB): 15356224
Max. memory (cumulated for all children) (KiB): 204228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42426
system time used= 0.115376
maximum resident set size= 209956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3941
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 10970
# total CPU time (s): 3.53964
# total CPU user time (s): 3.42426
# total CPU system time (s): 0.115376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033157 second user time and 0.061291 second system time
The end