0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.56 c BEGIN-Prog: Mon Jul 23 09:14:05 CEST 2018
0.67/0.56 c PID: 8978
0.67/0.56 c IP: 172.20.3.102
0.67/0.56 c HOST: node102.alineos.net
0.67/0.57 c (0,0) Parsing Begin
1.18/0.84 c (0,0) Parsing End
1.18/0.84 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 30 ctr, max domain size 6
1.18/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.85 c (0,0) Constraint Name Generate Begin
1.18/0.86 c (0,0) Ctr:HOME/instance-4292789-1532330044.xml,AllDifferent:IntVar
1.18/0.86 c (0,0) Constraint Name Generate End
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.86 c (0,0) CSP to CSPinCNF Begin
1.51/1.02 c (0,0) translated 3 (10%) constraints
1.51/1.05 c (0,0) translated 6 (20%) constraints
1.51/1.08 c (0,0) translated 9 (30%) constraints
1.51/1.10 c (0,0) translated 12 (40%) constraints
1.79/1.12 c (0,0) translated 15 (50%) constraints
1.79/1.12 c (0,0) translated 18 (60%) constraints
1.79/1.13 c (0,0) translated 21 (70%) constraints
1.79/1.14 c (0,0) translated 24 (80%) constraints
1.79/1.15 c (0,0) translated 27 (90%) constraints
1.79/1.16 c (0,0) translated 30 (100%) constraints
2.02/1.21 c (0,0) STATISTICS1:HOME/instance-4292789-1532330044.xml,AllDifferent:IntVar,36,350,6,6,6,2,6:290,6:860,6:28;5:8;4:8;3:8;2:298,2:290;1:280,
2.02/1.21 c (0,0) ===========================================
2.02/1.21 c (0,0) Both Encoding selects:
2.02/1.21 c (0,0) Order
2.02/1.21 c (0,0) ===========================================
2.02/1.23 c (0,0) translated 35 (10%) constraints
2.02/1.24 c (0,0) translated 70 (20%) constraints
2.02/1.25 c (0,0) translated 105 (30%) constraints
2.02/1.26 c (0,0) translated 140 (40%) constraints
2.02/1.27 c (0,0) translated 175 (50%) constraints
2.02/1.28 c (0,0) translated 210 (60%) constraints
2.02/1.28 c (0,0) translated 245 (70%) constraints
2.02/1.29 c (0,0) translated 280 (80%) constraints
2.02/1.29 c (0,0) translated 315 (90%) constraints
2.29/1.30 c (0,0) translated 350 (100%) constraints
2.29/1.30 c (0,0) CSP to CSPinCNF End
2.29/1.30 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 350 ctr, max domain size 6
2.29/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.29/1.30 c (0,0) CSPinCNF Propagation Begin
2.29/1.32 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.29/1.32 c (0,0) CSPinCNF Propagation End
2.29/1.32 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 350 ctr, max domain size 6
2.29/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.29/1.32 c (0,0) Simplify CSPinCNF Begin
2.54/1.40 c (0,0) Simplify CSPinCNF End
2.54/1.40 c (0,0) CSP: 36 int (0 aux), 580 bool (580 aux), 930 ctr, max domain size 6
2.54/1.40 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.54/1.40 c (0,0) Calculate Precise Domain Begin
2.54/1.40 c (0,0) 0 values are removed by re-calculation
2.54/1.40 c (0,0) Calculate Precise Domain End
2.54/1.41 c (0,0) CSP: 36 int (0 aux), 580 bool (580 aux), 930 ctr, max domain size 6
2.54/1.41 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.54/1.41 c (0,0) CSPinCNF to SatSolver Begin
2.54/1.47 c (0,0) 93 (10 %) CSP clauses are encoded (760 SAT variables, 536 SAT clauses)
2.54/1.49 c (0,0) 186 (20 %) CSP clauses are encoded (760 SAT variables, 924 SAT clauses)
2.84/1.50 c (0,0) 279 (30 %) CSP clauses are encoded (760 SAT variables, 1312 SAT clauses)
2.84/1.51 c (0,0) 372 (40 %) CSP clauses are encoded (760 SAT variables, 1705 SAT clauses)
2.84/1.52 c (0,0) 465 (50 %) CSP clauses are encoded (760 SAT variables, 2093 SAT clauses)
2.84/1.53 c (1,0) 558 (60 %) CSP clauses are encoded (760 SAT variables, 2481 SAT clauses)
2.84/1.54 c (1,0) 651 (70 %) CSP clauses are encoded (760 SAT variables, 2864 SAT clauses)
2.84/1.54 c (1,0) 744 (80 %) CSP clauses are encoded (760 SAT variables, 3227 SAT clauses)
2.84/1.55 c (1,0) 837 (90 %) CSP clauses are encoded (760 SAT variables, 3600 SAT clauses)
2.84/1.55 c (1,0) 930 (100 %) CSP clauses are encoded (760 SAT variables, 3973 SAT clauses)
2.84/1.55 c (1,0) CSPinCNF to SatSolver End
2.84/1.55 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.84/1.58 c (1,1) STATISTICS2:HOME/instance-4292789-1532330044.xml,AllDifferent:IntVar,616,930,6,6,6,2,6:580,6:1440;2:1160,6:28;5:8;4:8;3:8;2:878,2:580;1:1440,
2.84/1.58 c (1,1) SatSolver.solve Begin
2.84/1.58 c (1,1) 760 bool, 3974 clause
2.84/1.58 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-4292789-1532330044.xml-scop-8978.cnf HOME/instance-4292789-1532330044.xml-scop-8978.cnf.out
3.18/1.61 c (1,0) c This is COMiniSatPS.
3.18/1.61 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.18/1.61 c (1,0) c ============================[ Problem Statistics ]=============================
3.18/1.61 c (1,0) c | |
3.18/1.61 c (1,0) c | Number of variables: 760 |
3.18/1.61 c (1,0) c | Number of clauses: 3974 |
3.18/1.61 c (1,0) c | Parse time: 0.00 s |
3.18/1.61 c (1,0) c | Eliminated clauses: 0.01 Mb |
3.18/1.61 c (1,0) c Reduced to 470 vars, 3684 cls (grow=0)
3.18/1.61 c (1,0) c No iterative elimination performed. (vars=470, c/v ratio=7.8)
3.18/1.61 c (1,0) c | Simplification time: 0.00 s |
3.18/1.61 c (1,0) c | |
3.18/1.61 c (1,0) c ============================[ Search Statistics ]==============================
3.18/1.61 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.18/1.61 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.18/1.61 c (1,0) c ===============================================================================
3.18/1.61 c (1,0) c ===============================================================================
3.18/1.61 c (1,0) c restarts : 1
3.18/1.61 c (1,0) c conflicts : 41 (8681 /sec)
3.18/1.61 c (1,0) c decisions : 53 (0.00 % random) (11222 /sec)
3.18/1.61 c (1,0) c propagations : 1411 (298751 /sec)
3.18/1.61 c (1,0) c conflict literals : 241 (11.72 % deleted)
3.18/1.61 c (1,0) c CPU time : 0.004723 s
3.18/1.61 c (1,0)
3.18/1.61 c (1,0) s UNSATISFIABLE
3.18/1.64 c (1,1) SatSolver.solve End
3.18/1.64 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.64 c (1,1) Show results Begin
3.18/1.64 s UNSATISFIABLE
3.18/1.64 c (1,1) Show results End
3.18/1.64 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.64 c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.18/1.64 c END-Prog: Mon Jul 23 09:14:06 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 (5819 MiB free)
memory of node 1: 16384 MiB (10511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292789-1532330044/watcher-4292789-1532330044 -o /tmp/evaluation-result-4292789-1532330044/solver-4292789-1532330044 -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-4292789-1532330044.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=8978, runsolver pid=8972
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 1.08 1.06 1.39 3/216 9009
/proc/meminfo: memFree=16603632/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15011656 memory=73484 CPUtime=0.11 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 7063 0 0 0 9 2 0 0 20 0 15 0 50567621 15371935744 18371 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3752914 18371 2782 1 0 3715374 0
[pid=8978/tid=8982] ppid=8972 vsize=15011656 memory=-8253362762721355408 CPUtime=0.09 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 5378 0 0 0 8 1 0 0 20 0 15 0 50567621 15371935744 18569 33554432000 4194304 4196468 140730922457520 139762368430880 139762388863806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15011656 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 18635 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 18635 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 18635 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 18635 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567624 15371935744 18635 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 18635 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 18635 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 18635 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) S 8972 8978 8919 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 18635 33554432000 4194304 4196468 140730922457520 139761803151984 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 18635 33554432000 4194304 4196468 140730922457520 139761802099184 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0.01 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) S 8972 8978 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 50567627 15371935744 18635 33554432000 4194304 4196468 140730922457520 139761801046896 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 18635 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 18635 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73484 KiB
[startup+0.21061 s]*
/proc/loadavg: 1.08 1.06 1.39 4/216 9009
/proc/meminfo: memFree=16575944/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15011656 memory=85800 CPUtime=0.26 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 10381 0 0 0 23 3 0 0 20 0 15 0 50567621 15371935744 21450 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3752914 21450 2919 1 0 3715374 0
[pid=8978/tid=8982] ppid=8972 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 8269 0 0 0 18 2 0 0 20 0 15 0 50567621 15371935744 21450 33554432000 4194304 4196468 140730922457520 139762368417344 139762380670309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15011656 memory=342 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 21450 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15011656 memory=140598510611670 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 21450 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 21450 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 21450 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567624 15371935744 21450 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 21450 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 21450 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 21450 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) S 8972 8978 8919 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 50567627 15371935744 21450 33554432000 4194304 4196468 140730922457520 139761803151984 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) S 8972 8978 8919 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 21450 33554432000 4194304 4196468 140730922457520 139761802099184 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0.03 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) R 8972 8978 8919 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 50567627 15371935744 21450 33554432000 4194304 4196468 140730922457520 139761801046896 139762376016296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 21450 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 21450 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85800 KiB
[startup+0.31052 s]*
/proc/loadavg: 1.08 1.06 1.39 3/216 9009
/proc/meminfo: memFree=16568856/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15011656 memory=89972 CPUtime=0.43 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 10997 0 0 0 40 3 0 0 20 0 15 0 50567621 15371935744 22493 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3752914 22493 3026 1 0 3715374 0
[pid=8978/tid=8982] ppid=8972 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 8703 0 0 0 27 2 0 0 20 0 15 0 50567621 15371935744 22493 33554432000 4194304 4196468 140730922457520 139762368430832 139762396648026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15011656 memory=8941 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 22493 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15011656 memory=140598510890387 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 22493 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 22493 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15371935744 22493 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567624 15371935744 22493 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 22493 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15371935744 22493 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15371935744 22493 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) S 8972 8978 8919 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 50567627 15371935744 22493 33554432000 4194304 4196468 140730922457520 139761803151984 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) S 8972 8978 8919 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 50567627 15371935744 22493 33554432000 4194304 4196468 140730922457520 139761802099184 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0.07 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) R 8972 8978 8919 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 50567627 15371935744 22493 33554432000 4194304 4196468 140730922457520 139761801046896 139762388863806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 22493 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15011656 memory=140598510601856 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15371935744 22493 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89972 KiB
[startup+0.702285 s]
/proc/loadavg: 1.08 1.06 1.39 3/216 9009
/proc/meminfo: memFree=16518860/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15020052 memory=129288 CPUtime=0.95 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 18078 0 0 0 90 5 0 0 20 0 15 0 50567621 15380533248 32322 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3755013 32322 3152 1 0 3716398 0
[pid=8978/tid=8982] ppid=8972 vsize=15020052 memory=33 CPUtime=0.65 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 15429 0 0 0 61 4 0 0 20 0 15 0 50567621 15380533248 32322 33554432000 4194304 4196468 140730922457520 139762368456136 139762378020413 0 4 0 25189583 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15380533248 32322 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15380533248 32322 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15380533248 32322 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15380533248 32322 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15020052 memory=179218717619836 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50567624 15380533248 32322 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15020052 memory=268690 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15380533248 32322 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15380533248 32322 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15380533248 32322 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15020052 memory=7809523229951467570 CPUtime=0.05 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) R 8972 8978 8919 0 -1 4202560 458 0 0 0 5 0 0 0 20 0 15 0 50567627 15380533248 32322 33554432000 4194304 4196468 140730922457520 139761803133096 139762380112629 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) S 8972 8978 8919 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 15 0 50567627 15380533248 32322 33554432000 4194304 4196468 140730922457520 139761802099184 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15020052 memory=-3472574513799858009 CPUtime=0.15 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) S 8972 8978 8919 0 -1 1077944384 443 0 0 0 15 0 0 0 20 0 15 0 50567627 15380533248 32322 33554432000 4194304 4196468 140730922457520 139761801046896 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15020052 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15380533248 32322 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15380533248 32322 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129288 KiB
[startup+1.50072 s]
/proc/loadavg: 1.08 1.06 1.39 4/216 9009
/proc/meminfo: memFree=16467124/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15026264 memory=179820 CPUtime=2.84 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 22453 0 0 0 277 7 0 0 20 0 15 0 50567621 15386894336 44955 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3756566 44955 3216 1 0 3717422 0
[pid=8978/tid=8982] ppid=8972 vsize=15026264 memory=16408 CPUtime=1.44 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 16796 0 0 0 138 6 0 0 20 0 15 0 50567621 15386894336 44955 33554432000 4194304 4196468 140730922457520 139762368462536 139761884199934 0 4 0 25189583 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15026264 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 44955 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15026264 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 44955 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15026264 memory=9169 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 44955 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15026264 memory=21517 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 44955 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15026264 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50567624 15386894336 44955 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15026264 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15386894336 44955 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15026264 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15386894336 44955 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15026264 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15386894336 44955 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15026264 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) R 8972 8978 8919 0 -1 4202560 920 0 0 0 33 0 0 0 20 0 15 0 50567627 15386894336 44955 33554432000 4194304 4196468 140730922457520 139761803137888 139762374222160 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15026264 memory=179218717718908 CPUtime=0.37 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) R 8972 8978 8919 0 -1 4202560 815 0 0 0 37 0 0 0 20 0 15 0 50567627 15386894336 44955 33554432000 4194304 4196468 140730922457520 139761802083024 139762377384704 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15026264 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) S 8972 8978 8919 0 -1 1077944384 2582 0 0 0 67 0 0 0 20 0 15 0 50567627 15386894336 44955 33554432000 4194304 4196468 140730922457520 139761801046896 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15026264 memory=10 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15386894336 44955 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15026264 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15386894336 44955 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 179820 KiB
[startup+1.65207 s]
# the end of solver process 8978 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.17974 s, system=0.093168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 1.08 1.06 1.39 4/216 9009
/proc/meminfo: memFree=16467124/32770624 swapFree=67108860/67108860
[pid=8978] ppid=8972 vsize=15026264 memory=191312 CPUtime=3.18 cores=1,3,5,7
/proc/8978/stat : 8978 (java) S 8972 8978 8919 0 -1 1077944320 22763 0 0 0 310 8 0 0 20 0 15 0 50567621 15386894336 47828 33554432000 4194304 4196468 140730922457520 140730922440064 139762396626679 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
/proc/8978/statm: 3756566 47828 3216 1 0 3717422 0
[pid=8978/tid=8982] ppid=8972 vsize=15026264 memory=7524486278333819988 CPUtime=1.54 cores=1,3,5,7
/proc/8978/task/8982/stat : 8982 (java) R 8972 8978 8919 0 -1 4202560 16945 0 0 0 148 6 0 0 20 0 15 0 50567621 15386894336 47828 33554432000 4194304 4196468 140730922457520 139762368466000 139762396638614 0 4 0 25189583 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8984] ppid=8972 vsize=15026264 memory=7012777866212561494 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8984/stat : 8984 (java) S 8972 8978 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 47828 33554432000 4194304 4196468 140730922457520 139762400869264 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8985] ppid=8972 vsize=15026264 memory=7007707949394126417 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8985/stat : 8985 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 47828 33554432000 4194304 4196468 140730922457520 139762199644944 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8986] ppid=8972 vsize=15026264 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8986/stat : 8986 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 47828 33554432000 4194304 4196468 140730922457520 139762198592656 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8988] ppid=8972 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8988/stat : 8988 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567623 15386894336 47828 33554432000 4194304 4196468 140730922457520 139762197539856 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8992] ppid=8972 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8992/stat : 8992 (java) S 8972 8978 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50567624 15386894336 47828 33554432000 4194304 4196468 140730922457520 139761804204144 139762396637826 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8994] ppid=8972 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8994/stat : 8994 (java) S 8972 8978 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50567625 15386894336 47828 33554432000 4194304 4196468 140730922457520 139760953713440 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8996] ppid=8972 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8996/stat : 8996 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567625 15386894336 47828 33554432000 4194304 4196468 140730922457520 139760718832752 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8998] ppid=8972 vsize=15026264 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/8978/task/8998/stat : 8998 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567627 15386894336 47828 33554432000 4194304 4196468 140730922457520 139760344324176 139762396645275 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=8999] ppid=8972 vsize=15026264 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/8978/task/8999/stat : 8999 (java) S 8972 8978 8919 0 -1 1077944384 952 0 0 0 41 0 0 0 20 0 15 0 50567627 15386894336 47828 33554432000 4194304 4196468 140730922457520 139761803151984 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9000] ppid=8972 vsize=15026264 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/8978/task/9000/stat : 9000 (java) R 8972 8978 8919 0 -1 4202560 840 0 0 0 46 0 0 0 20 0 15 0 50567627 15386894336 47828 33554432000 4194304 4196468 140730922457520 139761802099184 139762376320784 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9001] ppid=8972 vsize=15026264 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/8978/task/9001/stat : 9001 (java) S 8972 8978 8919 0 -1 1077944384 2687 0 0 0 73 0 0 0 20 0 15 0 50567627 15386894336 47828 33554432000 4194304 4196468 140730922457520 139761801041728 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9006] ppid=8972 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9006/stat : 9006 (java) S 8972 8978 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50567628 15386894336 47828 33554432000 4194304 4196468 140730922457520 139759846419424 139762396636885 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
[pid=8978/tid=9008] ppid=8972 vsize=15026264 memory=3329 CPUtime=0 cores=1,3,5,7
/proc/8978/task/9008/stat : 9008 (java) S 8972 8978 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50567628 15386894336 47828 33554432000 4194304 4196468 140730922457520 139761799993776 139762396637826 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140730922460148 140730922460425 140730922460425 140730922463183 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 191312 KiB
Child status: 0
Real time (s): 1.65212
CPU time (s): 3.27291
CPU user time (s): 3.17974
CPU system time (s): 0.093168
CPU usage (%): 198.103
Max. virtual memory (cumulated for all children) (KiB): 15026264
Max. memory (cumulated for all children) (KiB): 191312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.17974
system time used= 0.093168
maximum resident set size= 204984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23746
page faults= 0
swaps= 0
block input operations= 280
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3504
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 8978
# total CPU time (s): 3.27291
# total CPU user time (s): 3.17974
# total CPU system time (s): 0.093168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030861 second user time and 0.062825 second system time
The end