0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Jul 23 16:51:14 CEST 2018
0.66/0.54 c PID: 13129
0.66/0.54 c IP: 172.20.3.105
0.66/0.54 c HOST: node105.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.43/0.91 c (0,0) Parsing End
1.43/0.92 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 231 ctr, max domain size 8
1.43/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.92 c (0,0) Constraint Name Generate Begin
1.43/0.93 c (0,0) Ctr:HOME/instance-4294730-1532357474.xml,ExtensionConflict:ExtensionSupport:IntVar
1.43/0.93 c (0,0) Constraint Name Generate End
1.43/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.93 c (0,0) CSP to CSPinCNF Begin
1.97/1.25 c (0,0) translated 24 (10%) constraints
2.28/1.31 c (0,0) translated 47 (20%) constraints
2.28/1.35 c (0,0) translated 70 (30%) constraints
2.28/1.38 c (0,0) translated 93 (40%) constraints
2.60/1.41 c (0,0) translated 116 (50%) constraints
2.60/1.43 c (0,0) translated 139 (60%) constraints
2.60/1.45 c (0,0) translated 162 (70%) constraints
2.91/1.56 c (1,1) translated 185 (80%) constraints
2.91/1.59 c (1,1) translated 208 (90%) constraints
3.25/1.61 c (1,1) translated 231 (100%) constraints
3.25/1.65 c (1,1) STATISTICS1:HOME/instance-4294730-1532357474.xml,ExtensionConflict:ExtensionSupport:IntVar,120,1960,-1,8,9,1,,8:6818;2:266,9:7;4:1519;3:84;2:350,1:7084;0:7,
3.25/1.65 c (1,1) ===========================================
3.25/1.65 c (1,1) Order
3.25/1.65 c (1,1) ===========================================
3.25/1.67 c (1,1) translated 196 (10%) constraints
3.25/1.68 c (1,1) translated 392 (20%) constraints
3.25/1.69 c (1,1) translated 588 (30%) constraints
3.58/1.70 c (1,1) translated 784 (40%) constraints
3.58/1.71 c (1,1) translated 980 (50%) constraints
3.58/1.72 c (1,1) translated 1176 (60%) constraints
3.58/1.73 c (1,1) translated 1372 (70%) constraints
3.58/1.74 c (1,1) translated 1568 (80%) constraints
3.58/1.75 c (1,1) translated 1764 (90%) constraints
3.58/1.76 c (1,1) translated 1960 (100%) constraints
3.58/1.76 c (1,1) CSP to CSPinCNF End
3.58/1.76 c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.58/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.58/1.76 c (1,1) CSPinCNF Propagation Begin
3.90/1.82 c (1,1) 0 values, 455 unsatisfiable literals, and 0 valid clauses are removed
3.90/1.82 c (1,1) CSPinCNF Propagation End
3.90/1.82 c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.90/1.82 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.90/1.82 c (1,1) Simplify CSPinCNF Begin
3.90/1.83 c (1,1) Simplify CSPinCNF End
3.90/1.83 c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.90/1.83 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.90/1.83 c (1,1) Calculate Precise Domain Begin
3.90/1.83 c (1,1) 0 values are removed by re-calculation
3.90/1.83 c (1,1) Calculate Precise Domain End
3.90/1.83 c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.90/1.83 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.90/1.83 c (1,1) CSPinCNF to SatSolver Begin
3.90/1.87 c (1,1) 196 (10 %) CSP clauses are encoded (504 SAT variables, 579 SAT clauses)
3.90/1.89 c (1,1) 392 (20 %) CSP clauses are encoded (504 SAT variables, 775 SAT clauses)
3.90/1.89 c (1,1) 588 (30 %) CSP clauses are encoded (504 SAT variables, 971 SAT clauses)
3.90/1.89 c (1,1) 784 (40 %) CSP clauses are encoded (504 SAT variables, 1167 SAT clauses)
3.90/1.89 c (1,1) 980 (50 %) CSP clauses are encoded (504 SAT variables, 1363 SAT clauses)
4.26/1.90 c (1,1) 1176 (60 %) CSP clauses are encoded (504 SAT variables, 1559 SAT clauses)
4.26/1.90 c (1,1) 1372 (70 %) CSP clauses are encoded (504 SAT variables, 1755 SAT clauses)
4.26/1.90 c (1,1) 1568 (80 %) CSP clauses are encoded (504 SAT variables, 1951 SAT clauses)
4.26/1.91 c (1,1) 1764 (90 %) CSP clauses are encoded (504 SAT variables, 2147 SAT clauses)
4.26/1.91 c (1,1) 1960 (100 %) CSP clauses are encoded (504 SAT variables, 2343 SAT clauses)
4.26/1.91 c (1,1) CSPinCNF to SatSolver End
4.26/1.91 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.26/1.93 c (1,1) STATISTICS2:HOME/instance-4294730-1532357474.xml,ExtensionConflict:ExtensionSupport:IntVar,120,1960,-1,8,8,1,,8:6370;2:266,8:7;4:1295;3:84;2:574,1:6636,
4.26/1.93 c (1,1) SatSolver.solve Begin
4.26/1.93 c (1,1) 504 bool, 2344 clause
4.26/1.93 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-4294730-1532357474.xml-scop-13129.cnf HOME/instance-4294730-1532357474.xml-scop-13129.cnf.out
4.26/1.97 c (1,0) c This is COMiniSatPS.
4.26/1.97 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.26/1.97 c (1,0) c ============================[ Problem Statistics ]=============================
4.26/1.97 c (1,0) c | |
4.26/1.97 c (1,0) c | Number of variables: 504 |
4.26/1.97 c (1,0) c | Number of clauses: 2344 |
4.26/1.97 c (1,0) c | Parse time: 0.00 s |
4.26/1.97 c (1,0) c | Eliminated clauses: 0.00 Mb |
4.26/1.97 c (1,0) c Reduced to 441 vars, 2208 cls (grow=0)
4.26/1.97 c (1,0) c No iterative elimination performed. (vars=441, c/v ratio=5.0)
4.26/1.97 c (1,0) c | Simplification time: 0.00 s |
4.26/1.97 c (1,0) c | |
4.26/1.97 c (1,0) c ============================[ Search Statistics ]==============================
4.26/1.97 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.26/1.97 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.26/1.97 c (1,0) c ===============================================================================
4.26/1.97 c (1,0) c ===============================================================================
4.26/1.98 c (1,0) c restarts : 5
4.26/1.98 c (1,0) c conflicts : 4640 (214934 /sec)
4.26/1.98 c (1,0) c decisions : 6933 (0.00 % random) (321151 /sec)
4.26/1.98 c (1,0) c propagations : 47158 (2184454 /sec)
4.26/1.98 c (1,0) c conflict literals : 35573 (8.08 % deleted)
4.26/1.98 c (1,0) c CPU time : 0.021588 s
4.26/1.98 c (1,0)
4.26/1.98 c (1,0) s UNSATISFIABLE
4.26/2.00 c (1,1) SatSolver.solve End
4.26/2.00 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.26/2.00 c (1,1) Show results Begin
4.26/2.00 s UNSATISFIABLE
4.26/2.00 c (1,1) Show results End
4.26/2.00 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.26/2.00 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL)
4.26/2.00 c END-Prog: Mon Jul 23 16:51:16 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 (1982 MiB free)
memory of node 1: 16384 MiB (11576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294730-1532357474/watcher-4294730-1532357474 -o /tmp/evaluation-result-4294730-1532357474/solver-4294730-1532357474 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294730-1532357474.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13129, runsolver pid=13126
[startup+0.100167 s]*
/proc/loadavg: 2.82 2.56 2.28 4/220 13144
/proc/meminfo: memFree=13823696/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15011656 memory=73888 CPUtime=0.12 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 6668 0 0 0 10 2 0 0 20 0 15 0 53310523 15371935744 18472 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3752914 18472 2757 1 0 3715374 0
[pid=13129/tid=13131] ppid=13126 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 4929 0 0 0 8 1 0 0 20 0 15 0 53310523 15371935744 18604 33554432000 4194304 4196468 140726589132288 140014500637072 140014509087568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 18604 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 18604 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 18604 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 18604 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310526 15371935744 18604 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 18604 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 18670 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) S 13126 13129 2271 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140013499144944 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140013498092400 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0.01 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 18670 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73888 KiB
[startup+0.210575 s]*
/proc/loadavg: 2.82 2.56 2.28 3/220 13144
/proc/meminfo: memFree=13809620/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15011656 memory=86448 CPUtime=0.26 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 10013 0 0 0 23 3 0 0 20 0 15 0 53310523 15371935744 21612 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3752914 21612 2918 1 0 3715374 0
[pid=13129/tid=13131] ppid=13126 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 7937 0 0 0 18 2 0 0 20 0 15 0 53310523 15371935744 21612 33554432000 4194304 4196468 140726589132288 140014500636592 140014004616398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 21612 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15011656 memory=288370752382940800 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310526 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 21612 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) R 13126 13129 2271 0 -1 4202560 312 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013499145040 140014507973904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) R 13126 13129 2271 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013498083904 140014506678560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0.03 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) R 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 21612 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86448 KiB
[startup+0.310575 s]*
/proc/loadavg: 2.82 2.56 2.28 3/220 13144
/proc/meminfo: memFree=13806332/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15011656 memory=89928 CPUtime=0.43 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 10553 0 0 0 40 3 0 0 20 0 15 0 53310523 15371935744 22482 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3752914 22482 2984 1 0 3715374 0
[pid=13129/tid=13131] ppid=13126 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 8313 0 0 0 27 3 0 0 20 0 15 0 53310523 15371935744 22482 33554432000 4194304 4196468 140726589132288 140014500614672 140014510374307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 22482 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310526 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15011656 memory=140376231229056 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15371935744 22482 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) S 13126 13129 2271 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013499144944 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) S 13126 13129 2271 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013498092400 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 299 0 0 0 7 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15371935744 22482 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89928 KiB
[startup+0.700753 s]
/proc/loadavg: 2.82 2.56 2.28 4/220 13144
/proc/meminfo: memFree=13781528/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15020052 memory=129600 CPUtime=1 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 17658 0 0 0 94 6 0 0 20 0 15 0 53310523 15380533248 32400 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3755013 32400 3122 1 0 3716398 0
[pid=13129/tid=13131] ppid=13126 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 15003 0 0 0 62 5 0 0 20 0 15 0 53310523 15380533248 32400 33554432000 4194304 4196468 140726589132288 140014500645360 140014512854373 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15380533248 32400 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15020052 memory=280752214550304 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53310526 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15380533248 32400 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15020052 memory=8384 CPUtime=0.08 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) S 13126 13129 2271 0 -1 1077944384 607 0 0 0 8 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013499144944 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15020052 memory=7307210974946176466 CPUtime=0.05 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) S 13126 13129 2271 0 -1 1077944384 259 0 0 0 5 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013498092400 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) R 13126 13129 2271 0 -1 4202560 449 0 0 0 17 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013497039344 140014521907579 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15380533248 32400 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129600 KiB
[startup+1.50135 s]
/proc/loadavg: 2.82 2.56 2.28 3/220 13144
/proc/meminfo: memFree=13752548/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15024148 memory=194728 CPUtime=2.91 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 22113 0 0 0 282 9 0 0 20 0 15 0 53310523 15384727552 48682 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3756037 48682 3201 1 0 3717422 0
[pid=13129/tid=13131] ppid=13126 vsize=15024148 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 16188 0 0 0 140 7 0 0 20 0 15 0 53310523 15384727552 48682 33554432000 4194304 4196468 140726589132288 140014500641280 140014512891230 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 48682 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53310526 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15024148 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15384727552 48682 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15024148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) R 13126 13129 2271 0 -1 4202560 1120 0 0 0 38 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013499125960 140014512307531 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15024148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) R 13126 13129 2271 0 -1 4202560 953 0 0 0 38 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013498073416 140014509511040 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15024148 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 2524 0 0 0 65 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15024148 memory=280752214555712 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 48682 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 194728 KiB
[startup+2.10236 s]
# the end of solver process 13129 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.5466 s, system=0.132668 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60137 s]
/proc/loadavg: 2.82 2.56 2.28 3/220 13144
/proc/meminfo: memFree=13752548/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15024148 memory=205524 CPUtime=3.25 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 22759 0 0 0 316 9 0 0 20 0 15 0 53310523 15384727552 51381 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3756037 51381 3201 1 0 3717422 0
[pid=13129/tid=13131] ppid=13126 vsize=15024148 memory=6944656575208382560 CPUtime=1.56 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) R 13126 13129 2271 0 -1 4202560 16219 0 0 0 149 7 0 0 20 0 15 0 53310523 15384727552 51381 33554432000 4194304 4196468 140726589132288 140014500640736 140014011212461 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 51381 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 51381 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 51381 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310525 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53310526 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013500197104 140014528821890 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15024148 memory=-8826033242812282048 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310527 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15024148 memory=4715410141804852778 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310527 15384727552 51893 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15024148 memory=-8124364409528160384 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140012472326096 140014528829339 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15024148 memory=-8253362762723522712 CPUtime=0.48 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) R 13126 13129 2271 0 -1 4202560 1145 0 0 0 48 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013499125960 140014512307527 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15024148 memory=-8826033242812282048 CPUtime=0.48 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) R 13126 13129 2271 0 -1 4202560 1452 0 0 0 48 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013498073416 140014508497441 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15024148 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 2602 0 0 0 69 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15024148 memory=196794797644719 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13144] ppid=13126 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13129/task/13144/stat : 13144 (java) S 13126 13129 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310530 15384727552 51893 33554432000 4194304 4196468 140726589132288 140013495986736 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 205524 KiB
[startup+2.00393 s]*
/proc/loadavg: 2.83 2.56 2.28 3/221 13150
/proc/meminfo: memFree=13600272/32770624 swapFree=67108860/67108860
[pid=13129] ppid=13126 vsize=15419712 memory=294928 CPUtime=4.58 cores=1,3,5,7
/proc/13129/stat : 13129 (java) S 13126 13129 2271 0 -1 1077944320 25320 688 0 0 444 12 2 0 20 0 16 0 53310523 15789785088 73732 33554432000 4194304 4196468 140726589132288 140726589114832 140014528810743 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
/proc/13129/statm: 3854928 73732 3218 1 0 3815784 0
[pid=13129/tid=13131] ppid=13126 vsize=15419712 memory=591154767701475604 CPUtime=1.98 cores=1,3,5,7
/proc/13129/task/13131/stat : 13131 (java) S 13126 13129 2271 0 -1 1077944384 16902 688 0 0 187 9 2 0 20 0 16 0 53310523 15789785088 73732 33554432000 4194304 4196468 140726589132288 140014500654224 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13132] ppid=13126 vsize=15419712 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13132/stat : 13132 (java) S 13126 13129 2271 0 -1 1077944384 2 688 0 0 0 0 2 0 20 0 16 0 53310525 15789785088 73732 33554432000 4194304 4196468 140726589132288 140014533053456 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13133] ppid=13126 vsize=15419712 memory=140376231240241 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13133/stat : 13133 (java) S 13126 13129 2271 0 -1 1077944384 2 688 0 0 0 0 2 0 20 0 16 0 53310525 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013989084304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13134] ppid=13126 vsize=15419712 memory=-8412658744800154483 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13134/stat : 13134 (java) S 13126 13129 2271 0 -1 1077944384 1 688 0 0 0 0 2 0 20 0 16 0 53310525 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013988031248 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13135] ppid=13126 vsize=15419712 memory=-8412652161523748723 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13135/stat : 13135 (java) S 13126 13129 2271 0 -1 1077944384 1 688 0 0 0 0 2 0 20 0 16 0 53310525 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013986978704 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13136] ppid=13126 vsize=15419712 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13136/stat : 13136 (java) S 13126 13129 2271 0 -1 1077944384 5 688 0 0 0 0 2 0 20 0 16 0 53310526 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013500197312 140014528821890 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13137] ppid=13126 vsize=15419712 memory=7023173872967631466 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13137/stat : 13137 (java) S 13126 13129 2271 0 -1 1077944384 13 688 0 0 0 0 2 0 20 0 16 0 53310527 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013115270304 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13138] ppid=13126 vsize=15419712 memory=8110268427993965958 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13138/stat : 13138 (java) S 13126 13129 2271 0 -1 1077944384 1 688 0 0 0 0 2 0 20 0 16 0 53310527 15789785088 73732 33554432000 4194304 4196468 140726589132288 140012846834416 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13139] ppid=13126 vsize=15419712 memory=-8033973737701895300 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13139/stat : 13139 (java) S 13126 13129 2271 0 -1 1077944384 23 688 0 0 0 0 2 0 20 0 16 0 53310530 15789785088 73732 33554432000 4194304 4196468 140726589132288 140012472324864 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13140] ppid=13126 vsize=15419712 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/13129/task/13140/stat : 13140 (java) R 13126 13129 2271 0 -1 4202560 1824 688 0 0 89 0 2 0 20 0 16 0 53310530 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013499130968 140014508497407 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13141] ppid=13126 vsize=15419712 memory=3472328296225127011 CPUtime=0.85 cores=1,3,5,7
/proc/13129/task/13141/stat : 13141 (java) S 13126 13129 2271 0 -1 1077944384 1639 688 0 0 83 0 2 0 20 0 16 0 53310530 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013498076912 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13142] ppid=13126 vsize=15419712 memory=7236950419639419056 CPUtime=0.84 cores=1,3,5,7
/proc/13129/task/13142/stat : 13142 (java) S 13126 13129 2271 0 -1 1077944384 2832 688 0 0 82 0 2 0 20 0 16 0 53310530 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013497039344 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13143] ppid=13126 vsize=15419712 memory=4207609243482280713 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13143/stat : 13143 (java) S 13126 13129 2271 0 -1 1077944384 3 688 0 0 0 0 2 0 20 0 16 0 53310530 15789785088 73732 33554432000 4194304 4196468 140726589132288 140011974421344 140014528820949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13146] ppid=13126 vsize=15419712 memory=16100372959728920 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13146/stat : 13146 (java) S 13126 13129 2271 0 -1 1077944384 25 688 0 0 0 0 2 0 20 0 16 0 53310718 15789785088 73732 33554432000 4194304 4196468 140726589132288 140013479719440 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
[pid=13129/tid=13150] ppid=13126 vsize=15419712 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13129/task/13150/stat : 13150 (java) S 13126 13129 2271 0 -1 1077944384 4 688 0 0 0 0 2 0 20 0 16 0 53310721 15789785088 73732 33554432000 4194304 4196468 140726589132288 140011169113648 140014528821890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140726589133811 140726589134089 140726589134089 140726589136847 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 15419712 KiB
Current children cumulated memory: 294928 KiB
Child status: 0
Real time (s): 2.10242
CPU time (s): 4.67927
CPU user time (s): 4.5466
CPU system time (s): 0.132668
CPU usage (%): 222.566
Max. virtual memory (cumulated for all children) (KiB): 15419712
Max. memory (cumulated for all children) (KiB): 294928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5466
system time used= 0.132668
maximum resident set size= 295480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3429
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 13129
# total CPU time (s): 4.67927
# total CPU user time (s): 4.5466
# total CPU system time (s): 0.132668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037282 second user time and 0.067984 second system time
The end