0.55/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:04:41 CEST 2018
0.67/0.54 c PID: 16345
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.82 c (0,0) Parsing End
1.21/0.83 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 12
1.21/0.83 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.21/0.83 c (0,0) Constraint Name Generate Begin
1.21/0.83 c (0,0) Ctr:HOME/instance-4294248-1532354680.xml,Add:Element:Eq:IntVar:Num
1.21/0.83 c (0,0) Constraint Name Generate End
1.21/0.83 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.83 c (0,0) CSP to CSPinCNF Begin
1.37/0.96 c (0,0) translated 2 (10%) constraints
1.37/0.98 c (0,0) translated 4 (20%) constraints
1.37/1.00 c (0,0) translated 6 (30%) constraints
1.56/1.02 c (0,0) translated 8 (40%) constraints
1.56/1.03 c (0,0) translated 9 (50%) constraints
1.56/1.04 c (0,0) translated 11 (60%) constraints
1.56/1.05 c (0,0) translated 13 (70%) constraints
1.56/1.06 c (0,0) translated 15 (80%) constraints
1.56/1.06 c (0,0) translated 17 (90%) constraints
1.56/1.06 c (0,0) translated 18 (100%) constraints
1.85/1.11 c (0,0) STATISTICS1:HOME/instance-4294248-1532354680.xml,Add:Element:Eq:IntVar:Num,24,150,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:26;9:26;8:26;7:26;6:170;5:26,3:144;1:6,2:12;1:432,
1.85/1.11 c (0,0) ===========================================
1.85/1.11 c (0,0) Both Encoding selects:
1.85/1.11 c (0,0) Order
1.85/1.11 c (0,0) ===========================================
1.85/1.14 c (0,0) translated 15 (10%) constraints
1.85/1.15 c (0,0) translated 30 (20%) constraints
1.85/1.17 c (0,0) translated 45 (30%) constraints
1.85/1.18 c (0,0) translated 60 (40%) constraints
1.85/1.19 c (0,0) translated 75 (50%) constraints
2.05/1.20 c (0,0) translated 90 (60%) constraints
2.05/1.21 c (0,0) translated 105 (70%) constraints
2.05/1.21 c (0,0) translated 120 (80%) constraints
2.05/1.22 c (0,0) translated 135 (90%) constraints
2.05/1.22 c (0,0) translated 150 (100%) constraints
2.05/1.23 c (0,0) CSP to CSPinCNF End
2.05/1.23 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 444 ctr, max domain size 10
2.05/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.23 c (0,0) CSPinCNF Propagation Begin
2.05/1.27 c (0,0) 0 values, 78 unsatisfiable literals, and 102 valid clauses are removed
2.05/1.27 c (0,0) CSPinCNF Propagation End
2.05/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.27 c (0,0) Simplify CSPinCNF Begin
2.05/1.27 c (0,0) Simplify CSPinCNF End
2.05/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.27 c (0,0) Calculate Precise Domain Begin
2.05/1.28 c (0,0) 0 values are removed by re-calculation
2.05/1.28 c (0,0) Calculate Precise Domain End
2.05/1.28 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.05/1.28 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.05/1.28 c (0,0) CSPinCNF to SatSolver Begin
2.29/1.30 c (0,0) 35 (10 %) CSP clauses are encoded (210 SAT variables, 148 SAT clauses)
2.29/1.31 c (0,0) 69 (20 %) CSP clauses are encoded (210 SAT variables, 182 SAT clauses)
2.29/1.31 c (0,0) 103 (30 %) CSP clauses are encoded (210 SAT variables, 216 SAT clauses)
2.29/1.32 c (0,0) 137 (40 %) CSP clauses are encoded (210 SAT variables, 250 SAT clauses)
2.29/1.32 c (0,0) 171 (50 %) CSP clauses are encoded (210 SAT variables, 284 SAT clauses)
2.29/1.32 c (0,0) 206 (60 %) CSP clauses are encoded (210 SAT variables, 319 SAT clauses)
2.29/1.32 c (0,0) 240 (70 %) CSP clauses are encoded (210 SAT variables, 353 SAT clauses)
2.29/1.33 c (0,0) 274 (80 %) CSP clauses are encoded (210 SAT variables, 387 SAT clauses)
2.29/1.33 c (0,0) 308 (90 %) CSP clauses are encoded (210 SAT variables, 421 SAT clauses)
2.29/1.34 c (0,0) 342 (100 %) CSP clauses are encoded (210 SAT variables, 518 SAT clauses)
2.29/1.34 c (0,0) CSPinCNF to SatSolver End
2.29/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.29/1.36 c (0,0) STATISTICS2:HOME/instance-4294248-1532354680.xml,Add:Element:Eq:IntVar:Num,96,342,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:40;9:36;8:32;7:28;6:264;5:20;2:330,3:66;2:264;1:12,2:12;1:726,
2.29/1.36 c (0,0) SatSolver.solve Begin
2.29/1.36 c (0,0) 210 bool, 522 clause
2.29/1.36 c (0,0) 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-4294248-1532354680.xml-scop-16345.cnf HOME/instance-4294248-1532354680.xml-scop-16345.cnf.out
2.29/1.38 c (0,0) c This is COMiniSatPS.
2.29/1.38 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2.29/1.38 c (0,0) c ============================[ Problem Statistics ]=============================
2.29/1.38 c (0,0) c | |
2.29/1.38 c (0,0) c | Number of variables: 210 |
2.29/1.38 c (0,0) c | Number of clauses: 522 |
2.29/1.38 c (0,0) c | Parse time: 0.00 s |
2.29/1.38 c (0,0) c | Eliminated clauses: 0.00 Mb |
2.29/1.38 c (0,0) c Reduced to 98 vars, 318 cls (grow=0)
2.29/1.38 c (0,0) c No iterative elimination performed. (vars=98, c/v ratio=3.2)
2.29/1.38 c (0,0) c | Simplification time: 0.00 s |
2.29/1.38 c (0,0) c | |
2.29/1.38 c (0,0) c ============================[ Search Statistics ]==============================
2.29/1.38 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2.29/1.38 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.29/1.38 c (0,0) c ===============================================================================
2.29/1.38 c (0,0) c ===============================================================================
2.29/1.38 c (0,0) c restarts : 1
2.29/1.38 c (0,0) c conflicts : 288 (58836 /sec)
2.29/1.38 c (0,0) c decisions : 346 (0.00 % random) (70684 /sec)
2.29/1.38 c (0,0) c propagations : 7781 (1589581 /sec)
2.29/1.38 c (0,0) c conflict literals : 1786 (28.30 % deleted)
2.29/1.38 c (0,0) c CPU time : 0.004895 s
2.29/1.38 c (0,0)
2.29/1.38 c (0,0) s UNSATISFIABLE
2.53/1.42 c (0,0) SatSolver.solve End
2.53/1.42 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.53/1.42 c (0,0) Show results Begin
2.53/1.42 s UNSATISFIABLE
2.53/1.42 c (0,0) Show results End
2.53/1.42 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.53/1.42 c (0,0) 0,0,0,0,0,0,0,0,0,STOP-AFTER(ALL)
2.53/1.42 c END-Prog: Mon Jul 23 16:04:41 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 (5559 MiB free)
memory of node 1: 16384 MiB (10506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294248-1532354680/watcher-4294248-1532354680 -o /tmp/evaluation-result-4294248-1532354680/solver-4294248-1532354680 -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-4294248-1532354680.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
Starting watchdog thread
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=16345, runsolver pid=16342
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.92 2.03 2.05 4/220 16360
/proc/meminfo: memFree=16390760/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15011656 memory=73040 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 6942 0 0 0 9 2 0 0 20 0 15 0 53031171 15371935744 18260 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3752914 18260 2781 1 0 3715374 0
[pid=16345/tid=16347] ppid=16342 vsize=15011656 memory=-6871259845000215376 CPUtime=0.08 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 5198 0 0 0 7 1 0 0 20 0 15 0 53031171 15371935744 18392 33554432000 4194304 4196468 140731342877808 140090048561544 140090057025387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 18458 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 18458 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 18458 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 18458 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031174 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) S 16342 16345 8919 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088844425968 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0.01 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) S 16342 16345 8919 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 53031177 15371935744 18458 33554432000 4194304 4196468 140731342877808 140088842320368 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 18458 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15371935744 18524 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73040 KiB
[startup+0.210441 s]*
/proc/loadavg: 1.92 2.03 2.05 3/220 16360
/proc/meminfo: memFree=16376512/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15011656 memory=85592 CPUtime=0.26 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 10370 0 0 0 23 3 0 0 20 0 15 0 53031171 15371935744 21398 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3752914 21398 2917 1 0 3715374 0
[pid=16345/tid=16347] ppid=16342 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 8261 0 0 0 18 2 0 0 20 0 15 0 53031171 15371935744 21398 33554432000 4194304 4196468 140731342877808 140090048574944 140090060830076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 21398 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15011656 memory=140502512678745 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 21398 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 21398 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 21398 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031174 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) R 16342 16345 8919 0 -1 4202560 318 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088844425968 140090055912720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) R 16342 16345 8919 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0.03 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) S 16342 16345 8919 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 15 0 53031177 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088842320368 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 21398 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15371935744 21398 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85592 KiB
[startup+0.310487 s]*
/proc/loadavg: 1.92 2.03 2.05 3/220 16360
/proc/meminfo: memFree=16373100/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15011656 memory=89656 CPUtime=0.44 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 11001 0 0 0 40 4 0 0 20 0 15 0 53031171 15371935744 22414 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3752914 22414 2994 1 0 3715374 0
[pid=16345/tid=16347] ppid=16342 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 8691 0 0 0 27 3 0 0 20 0 15 0 53031171 15371935744 22414 33554432000 4194304 4196468 140731342877808 140090048553712 140090061915198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 22414 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15011656 memory=140502512671317 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 22414 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 22414 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15371935744 22414 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031174 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) S 16342 16345 8919 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 53031177 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088844425968 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) S 16342 16345 8919 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 53031177 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0.07 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) S 16342 16345 8919 0 -1 1077944384 354 0 0 0 7 0 0 0 20 0 15 0 53031177 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088842320368 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15371935744 22414 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15011656 memory=140502512363136 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15371935744 22414 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89656 KiB
[startup+0.700689 s]
/proc/loadavg: 1.92 2.03 2.05 4/220 16360
/proc/meminfo: memFree=16348420/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15020052 memory=130156 CPUtime=1.01 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 18254 0 0 0 95 6 0 0 20 0 15 0 53031171 15380533248 32539 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3755013 32539 3166 1 0 3716398 0
[pid=16345/tid=16347] ppid=16342 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 15501 0 0 0 62 5 0 0 20 0 15 0 53031171 15380533248 32539 33554432000 4194304 4196468 140731342877808 140090048583856 140090060830046 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 32539 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 32539 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 32539 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15020052 memory=210733711250239 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 32539 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53031174 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) S 16342 16345 8919 0 -1 1077944384 609 0 0 0 9 0 0 0 20 0 15 0 53031177 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088844425968 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15020052 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) S 16342 16345 8919 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 53031177 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15020052 memory=6944656592387989600 CPUtime=0.16 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) S 16342 16345 8919 0 -1 1077944384 490 0 0 0 16 0 0 0 20 0 15 0 53031177 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088842320368 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15380533248 32539 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15380533248 32539 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130156 KiB
[startup+1.43287 s]
# the end of solver process 16345 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.48077 s, system=0.099564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800778 s]
/proc/loadavg: 1.92 2.03 2.05 4/220 16360
/proc/meminfo: memFree=16348420/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15020052 memory=134348 CPUtime=1.21 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 18765 0 0 0 114 7 0 0 20 0 15 0 53031171 15380533248 33587 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3755013 33587 3170 1 0 3716398 0
[pid=16345/tid=16347] ppid=16342 vsize=15020052 memory=7597685182856913236 CPUtime=0.77 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 15828 0 0 0 72 5 0 0 20 0 15 0 53031171 15380533248 33587 33554432000 4194304 4196468 140731342877808 140090048585232 140090076761494 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15020052 memory=8320808402720012085 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 33587 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15020052 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 33587 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 33587 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15380533248 33587 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15020052 memory=14 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53031174 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15020052 memory=115 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15020052 memory=281004812350916 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15020052 memory=5792281476173485931 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15020052 memory=7368008160208777825 CPUtime=0.1 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) R 16342 16345 8919 0 -1 1077944384 619 0 0 0 10 0 0 0 20 0 15 0 53031177 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088844425968 140090076760706 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15020052 memory=6009589096440817774 CPUtime=0.1 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) S 16342 16345 8919 0 -1 1077944384 363 0 0 0 10 0 0 0 20 0 15 0 53031177 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088843373520 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15020052 memory=7800344859672537426 CPUtime=0.2 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) R 16342 16345 8919 0 -1 4202560 615 0 0 0 20 0 0 0 20 0 15 0 53031177 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088842320368 140090069846395 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15020052 memory=-8407828599587782557 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15380533248 33587 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15020052 memory=-7518891959079781826 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15380533248 33587 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 134348 KiB
[startup+1.20084 s]
/proc/loadavg: 1.92 2.03 2.05 3/220 16360
/proc/meminfo: memFree=16319016/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15022100 memory=156856 CPUtime=2.05 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 21297 0 0 0 197 8 0 0 20 0 15 0 53031171 15382630400 39214 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3755525 39214 3197 1 0 3716910 0
[pid=16345/tid=16347] ppid=16342 vsize=15022100 memory=288291094943498819 CPUtime=1.17 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 16500 0 0 0 111 6 0 0 20 0 15 0 53031171 15382630400 39214 33554432000 4194304 4196468 140731342877808 140090048587456 140090076761494 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15022100 memory=4411328835744956448 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15382630400 39214 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031173 15382630400 39214 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15382630400 39214 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031173 15382630400 39214 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53031174 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031175 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031175 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15022100 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) R 16342 16345 8919 0 -1 4202560 668 0 0 0 16 0 0 0 20 0 15 0 53031177 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088844413520 140090057321645 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15022100 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) R 16342 16345 8919 0 -1 1077944384 594 0 0 0 19 0 0 0 20 0 15 0 53031177 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15022100 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) R 16342 16345 8919 0 -1 4202560 2194 0 0 0 49 0 0 0 20 0 15 0 53031177 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088842318160 140090076761494 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031177 15382630400 39214 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031178 15382630400 39214 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 156856 KiB
[startup+1.40065 s]
/proc/loadavg: 1.92 2.03 2.05 3/220 16360
/proc/meminfo: memFree=16319016/32770624 swapFree=67108860/67108860
[pid=16345] ppid=16342 vsize=15354176 memory=177064 CPUtime=2.53 cores=1,3,5,7
/proc/16345/stat : 16345 (java) S 16342 16345 8919 0 -1 1077944320 22363 457 0 0 244 9 0 0 20 0 16 0 53031171 15722676224 44266 33554432000 4194304 4196468 140731342877808 140731342860352 140090076749559 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
/proc/16345/statm: 3838544 44266 3217 1 0 3799400 0
[pid=16345/tid=16347] ppid=16342 vsize=15354176 memory=326351 CPUtime=1.36 cores=1,3,5,7
/proc/16345/task/16347/stat : 16347 (java) R 16342 16345 8919 0 -1 4202560 17090 457 0 0 130 6 0 0 20 0 16 0 53031171 15722676224 44266 33554432000 4194304 4196468 140731342877808 140090048580488 140090076771485 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16348] ppid=16342 vsize=15354176 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16348/stat : 16348 (java) S 16342 16345 8919 0 -1 1077944384 2 457 0 0 0 0 0 0 20 0 16 0 53031173 15722676224 44266 33554432000 4194304 4196468 140731342877808 140090080992272 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16349] ppid=16342 vsize=15354176 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16349/stat : 16349 (java) S 16342 16345 8919 0 -1 1077944384 1 457 0 0 0 0 0 0 20 0 16 0 53031173 15722676224 44266 33554432000 4194304 4196468 140731342877808 140089895148688 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16350] ppid=16342 vsize=15354176 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16350/stat : 16350 (java) S 16342 16345 8919 0 -1 1077944384 2 457 0 0 0 0 0 0 20 0 16 0 53031173 15722676224 44266 33554432000 4194304 4196468 140731342877808 140089894095632 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16351] ppid=16342 vsize=15354176 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16351/stat : 16351 (java) S 16342 16345 8919 0 -1 1077944384 2 457 0 0 0 0 0 0 20 0 16 0 53031173 15722676224 44266 33554432000 4194304 4196468 140731342877808 140089893043088 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16352] ppid=16342 vsize=15354176 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16352/stat : 16352 (java) S 16342 16345 8919 0 -1 1077944384 5 457 0 0 0 0 0 0 20 0 16 0 53031174 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088845478128 140090076760706 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16353] ppid=16342 vsize=15354176 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16353/stat : 16353 (java) S 16342 16345 8919 0 -1 1077944384 13 457 0 0 0 0 0 0 20 0 16 0 53031175 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088746960032 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16354] ppid=16342 vsize=15354176 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16354/stat : 16354 (java) S 16342 16345 8919 0 -1 1077944384 1 457 0 0 0 0 0 0 20 0 16 0 53031175 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088478524144 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16355] ppid=16342 vsize=15354176 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16355/stat : 16355 (java) S 16342 16345 8919 0 -1 1077944384 3 457 0 0 0 0 0 0 20 0 16 0 53031177 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088104015824 140090076768155 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16356] ppid=16342 vsize=15354176 memory=-6009903513463800988 CPUtime=0.22 cores=1,3,5,7
/proc/16345/task/16356/stat : 16356 (java) S 16342 16345 8919 0 -1 1077944384 707 457 0 0 22 0 0 0 20 0 16 0 53031177 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088844425968 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16357] ppid=16342 vsize=15354176 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16345/task/16357/stat : 16357 (java) S 16342 16345 8919 0 -1 1077944384 684 457 0 0 26 1 0 0 20 0 16 0 53031177 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088843373424 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16358] ppid=16342 vsize=15354176 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/16345/task/16358/stat : 16358 (java) S 16342 16345 8919 0 -1 1077944384 2500 457 0 0 64 0 0 0 20 0 16 0 53031177 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088842320368 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16359] ppid=16342 vsize=15354176 memory=4785954420080779295 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16359/stat : 16359 (java) S 16342 16345 8919 0 -1 1077944384 3 457 0 0 0 0 0 0 20 0 16 0 53031177 15722676224 44266 33554432000 4194304 4196468 140731342877808 140087606111072 140090076759765 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
[pid=16345/tid=16360] ppid=16342 vsize=15354176 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/16345/task/16360/stat : 16360 (java) S 16342 16345 8919 0 -1 1077944384 1 457 0 0 0 0 0 0 20 0 16 0 53031178 15722676224 44266 33554432000 4194304 4196468 140731342877808 140088841267760 140090076760706 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36061184 140731342881780 140731342882057 140731342882057 140731342884815 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 177064 KiB
Child status: 0
Real time (s): 1.43292
CPU time (s): 2.58033
CPU user time (s): 2.48077
CPU system time (s): 0.099564
CPU usage (%): 180.076
Max. virtual memory (cumulated for all children) (KiB): 15354176
Max. memory (cumulated for all children) (KiB): 177064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.48077
system time used= 0.099564
maximum resident set size= 182140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3242
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 16345
# total CPU time (s): 2.58033
# total CPU user time (s): 2.48077
# total CPU system time (s): 0.099564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026599 second user time and 0.065476 second system time
The end