0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Jul 23 16:04:38 CEST 2018
0.66/0.54 c PID: 16264
0.66/0.54 c IP: 172.20.3.102
0.66/0.54 c HOST: node102.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.21/0.87 c (0,0) Parsing End
1.21/0.88 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 32
1.21/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) Constraint Name Generate Begin
1.21/0.88 c (0,0) Ctr:HOME/instance-4294239-1532354677.xml,Add:Element:Eq:IntVar:Num
1.21/0.88 c (0,0) Constraint Name Generate End
1.21/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) CSP to CSPinCNF Begin
1.58/1.08 c (0,0) translated 5 (10%) constraints
1.87/1.16 c (0,0) translated 10 (20%) constraints
2.11/1.20 c (0,0) translated 15 (30%) constraints
2.11/1.23 c (0,0) translated 20 (40%) constraints
2.11/1.25 c (0,0) translated 24 (50%) constraints
2.11/1.27 c (0,0) translated 29 (60%) constraints
2.11/1.29 c (0,0) translated 34 (70%) constraints
2.11/1.29 c (0,0) translated 39 (80%) constraints
2.11/1.29 c (0,0) translated 44 (90%) constraints
2.11/1.29 c (0,0) translated 48 (100%) constraints
2.39/1.33 c (0,0) STATISTICS1:HOME/instance-4294239-1532354677.xml,Add:Element:Eq:IntVar:Num,64,1040,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:66;29:66;28:66;27:66;26:66;25:66;24:66;23:66;22:66;21:66;20:66;19:66;18:66;17:66;16:1090;15:66,3:1024;1:16,2:32;1:3072,
2.39/1.33 c (0,0) ===========================================
2.39/1.33 c (0,0) Both Encoding selects:
2.39/1.33 c (0,0) Order
2.39/1.33 c (0,0) ===========================================
2.39/1.39 c (0,0) translated 104 (10%) constraints
2.64/1.42 c (0,0) translated 208 (20%) constraints
2.64/1.45 c (0,0) translated 312 (30%) constraints
2.64/1.48 c (0,0) translated 416 (40%) constraints
2.64/1.50 c (0,0) translated 520 (50%) constraints
2.96/1.51 c (0,0) translated 624 (60%) constraints
2.96/1.53 c (1,0) translated 728 (70%) constraints
2.96/1.54 c (1,1) translated 832 (80%) constraints
2.96/1.55 c (1,1) translated 936 (90%) constraints
2.96/1.57 c (1,1) translated 1040 (100%) constraints
2.96/1.57 c (1,1) CSP to CSPinCNF End
2.96/1.58 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 3104 ctr, max domain size 30
2.96/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.96/1.58 c (1,1) CSPinCNF Propagation Begin
3.26/1.64 c (1,1) 0 values, 368 unsatisfiable literals, and 432 valid clauses are removed
3.26/1.64 c (1,1) CSPinCNF Propagation End
3.26/1.64 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.64 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.64 c (1,1) Simplify CSPinCNF Begin
3.26/1.65 c (1,1) Simplify CSPinCNF End
3.26/1.65 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.65 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.65 c (1,1) Calculate Precise Domain Begin
3.26/1.66 c (1,1) 0 values are removed by re-calculation
3.26/1.66 c (1,1) Calculate Precise Domain End
3.26/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.59/1.72 c (1,1) 268 (10 %) CSP clauses are encoded (1680 SAT variables, 1371 SAT clauses)
3.59/1.73 c (1,1) 535 (20 %) CSP clauses are encoded (1680 SAT variables, 1638 SAT clauses)
3.59/1.73 c (1,1) 802 (30 %) CSP clauses are encoded (1680 SAT variables, 1905 SAT clauses)
3.59/1.74 c (1,1) 1069 (40 %) CSP clauses are encoded (1680 SAT variables, 2172 SAT clauses)
3.59/1.74 c (1,1) 1336 (50 %) CSP clauses are encoded (1680 SAT variables, 2439 SAT clauses)
3.59/1.75 c (1,1) 1604 (60 %) CSP clauses are encoded (1680 SAT variables, 2707 SAT clauses)
3.59/1.75 c (1,1) 1871 (70 %) CSP clauses are encoded (1680 SAT variables, 2974 SAT clauses)
3.59/1.76 c (1,1) 2138 (80 %) CSP clauses are encoded (1680 SAT variables, 3241 SAT clauses)
3.59/1.76 c (1,1) 2405 (90 %) CSP clauses are encoded (1680 SAT variables, 3508 SAT clauses)
3.59/1.78 c (1,1) 2672 (100 %) CSP clauses are encoded (1680 SAT variables, 4418 SAT clauses)
3.59/1.78 c (1,1) CSPinCNF to SatSolver End
3.59/1.78 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.95/1.81 c (1,1) STATISTICS2:HOME/instance-4294239-1532354677.xml,Add:Element:Eq:IntVar:Num,576,2672,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:120;29:116;28:112;27:108;26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:1984;15:60;2:2640,3:656;2:1984;1:32,2:32;1:5936,
3.95/1.81 c (1,1) SatSolver.solve Begin
3.95/1.81 c (1,1) 1680 bool, 4432 clause
3.95/1.81 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-4294239-1532354677.xml-scop-16264.cnf HOME/instance-4294239-1532354677.xml-scop-16264.cnf.out
4.10/1.97 c (1,0) c This is COMiniSatPS.
4.10/1.97 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.10/1.97 c (1,0) c ============================[ Problem Statistics ]=============================
4.10/1.97 c (1,0) c | |
4.10/1.97 c (1,0) c | Number of variables: 1680 |
4.10/1.97 c (1,0) c | Number of clauses: 4432 |
4.10/1.97 c (1,0) c | Parse time: 0.00 s |
4.10/1.97 c (1,0) c | Eliminated clauses: 0.02 Mb |
4.10/1.97 c (1,0) c Reduced to 981 vars, 3085 cls (grow=0)
4.10/1.97 c (1,0) c No iterative elimination performed. (vars=981, c/v ratio=3.1)
4.10/1.97 c (1,0) c | Simplification time: 0.00 s |
4.10/1.97 c (1,0) c | |
4.10/1.97 c (1,0) c ============================[ Search Statistics ]==============================
4.10/1.97 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.10/1.97 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.10/1.97 c (1,0) c ===============================================================================
4.10/1.97 c (1,0) c ===============================================================================
4.10/1.97 c (1,0) c restarts : 6
4.10/1.97 c (1,0) c conflicts : 4777 (32536 /sec)
4.10/1.97 c (1,0) c decisions : 6852 (0.00 % random) (46669 /sec)
4.10/1.97 c (1,0) c propagations : 570463 (3885432 /sec)
4.10/1.97 c (1,0) c conflict literals : 158372 (27.43 % deleted)
4.10/1.97 c (1,0) c CPU time : 0.146821 s
4.10/1.97 c (1,0)
4.10/1.97 c (1,0) s SATISFIABLE
4.10/1.99 c (1,1) SatSolver.solve End
4.10/1.99 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.10/1.99 c (1,1) Show results Begin
4.10/2.00 c (1,1) p[0] = 21
4.10/2.00 c (1,1) p[1] = 19
4.10/2.00 c (1,1) p[2] = 20
4.10/2.00 c (1,1) p[3] = 17
4.10/2.00 c (1,1) p[4] = 8
4.10/2.00 c (1,1) p[5] = 4
4.10/2.00 c (1,1) p[6] = 30
4.10/2.00 c (1,1) p[7] = 25
4.10/2.00 c (1,1) p[8] = 6
4.10/2.00 c (1,1) p[9] = 0
4.10/2.00 c (1,1) p[10] = 31
4.10/2.00 c (1,1) p[11] = 24
4.10/2.00 c (1,1) p[12] = 13
4.10/2.00 c (1,1) p[13] = 5
4.10/2.00 c (1,1) p[14] = 11
4.10/2.00 c (1,1) p[15] = 2
4.10/2.00 c (1,1) p[16] = 28
4.10/2.00 c (1,1) p[17] = 18
4.10/2.00 c (1,1) p[18] = 14
4.10/2.00 c (1,1) p[19] = 3
4.10/2.00 c (1,1) p[20] = 22
4.10/2.00 c (1,1) p[21] = 10
4.10/2.00 c (1,1) p[22] = 29
4.10/2.00 c (1,1) p[23] = 16
4.10/2.00 c (1,1) p[24] = 15
4.10/2.00 c (1,1) p[25] = 1
4.10/2.00 c (1,1) p[26] = 27
4.10/2.00 c (1,1) p[27] = 12
4.10/2.00 c (1,1) p[28] = 23
4.10/2.00 c (1,1) p[29] = 7
4.10/2.00 c (1,1) p[30] = 26
4.10/2.00 c (1,1) p[31] = 9
4.10/2.00 c (1,1) v[0] = 5
4.10/2.00 c (1,1) v[1] = 13
4.10/2.00 c (1,1) v[2] = 8
4.10/2.00 c (1,1) v[3] = 10
4.10/2.00 c (1,1) v[4] = 3
4.10/2.00 c (1,1) v[5] = 7
4.10/2.00 c (1,1) v[6] = 5
4.10/2.00 c (1,1) v[7] = 15
4.10/2.00 c (1,1) v[8] = 3
4.10/2.00 c (1,1) v[9] = 16
4.10/2.00 c (1,1) v[10] = 11
4.10/2.00 c (1,1) v[11] = 8
4.10/2.00 c (1,1) v[12] = 14
4.10/2.00 c (1,1) v[13] = 7
4.10/2.00 c (1,1) v[14] = 10
4.10/2.00 c (1,1) v[15] = 13
4.10/2.00 c (1,1) v[16] = 12
4.10/2.00 c (1,1) v[17] = 2
4.10/2.00 c (1,1) v[18] = 9
4.10/2.00 c (1,1) v[19] = 1
4.10/2.00 c (1,1) v[20] = 2
4.10/2.00 c (1,1) v[21] = 1
4.10/2.00 c (1,1) v[22] = 11
4.10/2.00 c (1,1) v[23] = 15
4.10/2.00 c (1,1) v[24] = 6
4.10/2.00 c (1,1) v[25] = 4
4.10/2.00 c (1,1) v[26] = 16
4.10/2.00 c (1,1) v[27] = 14
4.10/2.00 c (1,1) v[28] = 9
4.10/2.00 c (1,1) v[29] = 12
4.10/2.00 c (1,1) v[30] = 4
4.10/2.00 c (1,1) v[31] = 6
4.10/2.00 s SATISFIABLE
4.10/2.00 v <instantiation>
4.10/2.00 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] v[24] v[25] v[26] v[27] v[28] v[29] v[30] v[31] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31]</list>
4.10/2.00 v <values>5 13 8 10 3 7 5 15 3 16 11 8 14 7 10 13 12 2 9 1 2 1 11 15 6 4 16 14 9 12 4 6 21 19 20 17 8 4 30 25 6 0 31 24 13 5 11 2 28 18 14 3 22 10 29 16 15 1 27 12 23 7 26 9</values>
4.10/2.00 v </instantiation>
4.10/2.00 c (1,1) Show results End
4.10/2.00 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.10/2.00 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL)
4.10/2.00 c END-Prog: Mon Jul 23 16:04:39 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 (5565 MiB free)
memory of node 1: 16384 MiB (10506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294239-1532354677/watcher-4294239-1532354677 -o /tmp/evaluation-result-4294239-1532354677/solver-4294239-1532354677 -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-4294239-1532354677.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=16264, runsolver pid=16261
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 2.00 2.05 2.06 3/220 16279
/proc/meminfo: memFree=16396300/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15011656 memory=74204 CPUtime=0.11 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 6711 0 0 0 9 2 0 0 20 0 15 0 53030898 15371935744 18551 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3752914 18551 2782 1 0 3715374 0
[pid=16264/tid=16266] ppid=16261 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 4977 0 0 0 7 2 0 0 20 0 15 0 53030898 15371935744 18683 33554432000 4194304 4196468 140733212483264 139902203367816 139902211831538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 18749 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 18749 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 18749 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 18749 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 18749 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 18749 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15371935744 18749 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 18749 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) S 16261 16264 8919 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 18749 33554432000 4194304 4196468 140733212483264 139901268712304 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 18749 33554432000 4194304 4196468 140733212483264 139901267659504 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) S 16261 16264 8919 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 18749 33554432000 4194304 4196468 140733212483264 139901266606704 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 18749 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15371935744 18815 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74204 KiB
[startup+0.210533 s]*
/proc/loadavg: 2.00 2.05 2.06 3/220 16279
/proc/meminfo: memFree=16382844/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15011656 memory=85992 CPUtime=0.25 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 9915 0 0 0 22 3 0 0 20 0 15 0 53030898 15371935744 21498 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3752914 21498 2918 1 0 3715374 0
[pid=16264/tid=16266] ppid=16261 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 7822 0 0 0 17 3 0 0 20 0 15 0 53030898 15371935744 21498 33554432000 4194304 4196468 140733212483264 139902203381680 139901731417224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 21498 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15011656 memory=139870272112473 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 21498 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 21498 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 21498 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 21498 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 21498 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15371935744 21498 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 21498 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) R 16261 16264 8919 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 53030904 15371935744 21498 33554432000 4194304 4196468 140733212483264 139901268712304 139902231566978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) R 16261 16264 8919 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 21498 33554432000 4194304 4196468 140733212483264 139901267659504 139902217218560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0.03 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) S 16261 16264 8919 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 53030904 15371935744 21498 33554432000 4194304 4196468 140733212483264 139901266606704 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 21498 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15371935744 21498 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85992 KiB
[startup+0.310611 s]*
/proc/loadavg: 2.00 2.05 2.06 3/220 16279
/proc/meminfo: memFree=16379184/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15011656 memory=89532 CPUtime=0.43 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 10461 0 0 0 40 3 0 0 20 0 15 0 53030898 15371935744 22383 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3752914 22383 2982 1 0 3715374 0
[pid=16264/tid=16266] ppid=16261 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 8215 0 0 0 27 3 0 0 20 0 15 0 53030898 15371935744 22383 33554432000 4194304 4196468 140733212483264 139902203385136 139902211830606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 22383 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15011656 memory=139870272105045 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 22383 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 22383 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15371935744 22383 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 22383 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15371935744 22383 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15371935744 22383 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 22383 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) S 16261 16264 8919 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 53030904 15371935744 22383 33554432000 4194304 4196468 140733212483264 139901268712304 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) S 16261 16264 8919 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 53030904 15371935744 22383 33554432000 4194304 4196468 140733212483264 139901267659504 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0.07 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) S 16261 16264 8919 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 53030904 15371935744 22383 33554432000 4194304 4196468 140733212483264 139901266606704 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15371935744 22383 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15011656 memory=139870271796864 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15371935744 22383 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89532 KiB
[startup+0.700784 s]
/proc/loadavg: 2.00 2.05 2.06 3/220 16279
/proc/meminfo: memFree=16355000/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15020052 memory=129728 CPUtime=1.01 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 17724 0 0 0 96 5 0 0 20 0 15 0 53030898 15380533248 32432 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3755013 32432 3155 1 0 3716398 0
[pid=16264/tid=16266] ppid=16261 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 15006 0 0 0 63 4 0 0 20 0 15 0 53030898 15380533248 32432 33554432000 4194304 4196468 140733212483264 139902203391776 139902231567766 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15380533248 32432 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15380533248 32497 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15380533248 32497 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15020052 memory=209753586291438 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15380533248 32497 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53030901 15380533248 32497 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15380533248 32497 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15380533248 32497 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15380533248 32497 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) S 16261 16264 8919 0 -1 1077944384 649 0 0 0 9 0 0 0 20 0 15 0 53030904 15380533248 32497 33554432000 4194304 4196468 140733212483264 139901268712304 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15020052 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) S 16261 16264 8919 0 -1 1077944384 282 0 0 0 7 0 0 0 20 0 15 0 53030904 15380533248 32497 33554432000 4194304 4196468 140733212483264 139901267659504 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15020052 memory=6944656592387989600 CPUtime=0.15 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) R 16261 16264 8919 0 -1 4202560 447 0 0 0 15 0 0 0 20 0 15 0 53030904 15380533248 32497 33554432000 4194304 4196468 140733212483264 139901266606704 139902224660534 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15380533248 32497 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15380533248 32497 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129728 KiB
[startup+1.50479 s]
/proc/loadavg: 2.00 2.05 2.06 4/220 16279
/proc/meminfo: memFree=16325844/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15022100 memory=186388 CPUtime=2.96 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 21641 0 0 0 287 9 0 0 20 0 15 0 53030898 15382630400 46597 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3755525 46597 3202 1 0 3716910 0
[pid=16264/tid=16266] ppid=16261 vsize=15022100 memory=126 CPUtime=1.47 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 16068 0 0 0 141 6 0 0 20 0 15 0 53030898 15382630400 46597 33554432000 4194304 4196468 140733212483264 139902203385760 139901732472278 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 46597 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 46597 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 46597 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 46597 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53030901 15382630400 46597 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15022100 memory=279740346812512 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15382630400 46597 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15022100 memory=279740346853936 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15382630400 46597 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15022100 memory=139870173810224 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15382630400 46597 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15022100 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) R 16261 16264 8919 0 -1 4202560 1012 0 0 0 43 0 0 0 20 0 15 0 53030904 15382630400 46597 33554432000 4194304 4196468 140733212483264 139901268697696 139902217164568 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15022100 memory=6298673690012636262 CPUtime=0.37 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) R 16261 16264 8919 0 -1 4202560 795 0 0 0 36 1 0 0 20 0 15 0 53030904 15382630400 46597 33554432000 4194304 4196468 140733212483264 139901267646560 139902213077222 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15022100 memory=6008734720004089702 CPUtime=0.65 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) S 16261 16264 8919 0 -1 1077944384 2425 0 0 0 65 0 0 0 20 0 15 0 53030904 15382630400 46597 33554432000 4194304 4196468 140733212483264 139901266606704 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15022100 memory=7589518993982449255 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15382630400 46597 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15022100 memory=7589518993982449255 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15382630400 46597 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 186388 KiB
[startup+2.01503 s]
# the end of solver process 16264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.21408 s, system=0.114045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60323 s]
/proc/loadavg: 2.00 2.05 2.06 4/220 16279
/proc/meminfo: memFree=16325844/32770624 swapFree=67108860/67108860
[pid=16264] ppid=16261 vsize=15022100 memory=199636 CPUtime=3.26 cores=1,3,5,7
/proc/16264/stat : 16264 (java) S 16261 16264 8919 0 -1 1077944320 21830 0 0 0 317 9 0 0 20 0 15 0 53030898 15382630400 49909 33554432000 4194304 4196468 140733212483264 140733212465808 139902231555831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
/proc/16264/statm: 3755525 49909 3207 1 0 3716910 0
[pid=16264/tid=16266] ppid=16261 vsize=15022100 memory=6933690305039933585 CPUtime=1.56 cores=1,3,5,7
/proc/16264/task/16266/stat : 16266 (java) R 16261 16264 8919 0 -1 4202560 16130 0 0 0 150 6 0 0 20 0 15 0 53030898 15382630400 49909 33554432000 4194304 4196468 140733212483264 139902203393248 139902231567766 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16267] ppid=16261 vsize=15022100 memory=139870173514983 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16267/stat : 16267 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 49909 33554432000 4194304 4196468 140733212483264 139902235798672 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16268] ppid=16261 vsize=15022100 memory=3467964497785413696 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16268/stat : 16268 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 49909 33554432000 4194304 4196468 140733212483264 139902053886992 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16269] ppid=16261 vsize=15022100 memory=5787217147460014437 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16269/stat : 16269 (java) S 16261 16264 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 49909 33554432000 4194304 4196468 140733212483264 139902052834192 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16270] ppid=16261 vsize=15022100 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16270/stat : 16270 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030900 15382630400 49909 33554432000 4194304 4196468 140733212483264 139902051781392 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16271] ppid=16261 vsize=15022100 memory=7811871126067767892 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16271/stat : 16271 (java) S 16261 16264 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53030901 15382630400 49909 33554432000 4194304 4196468 140733212483264 139901269764464 139902231566978 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16272] ppid=16261 vsize=15022100 memory=5787220424116494930 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16272/stat : 16272 (java) S 16261 16264 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53030901 15382630400 49909 33554432000 4194304 4196468 140733212483264 139900775031840 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16273] ppid=16261 vsize=15022100 memory=7302135314614015845 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16273/stat : 16273 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030902 15382630400 49909 33554432000 4194304 4196468 140733212483264 139900506596208 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16274] ppid=16261 vsize=15022100 memory=8320808402720012085 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16274/stat : 16274 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15382630400 49909 33554432000 4194304 4196468 140733212483264 139900132087632 139902231574427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16275] ppid=16261 vsize=15022100 memory=5524 CPUtime=0.53 cores=1,3,5,7
/proc/16264/task/16275/stat : 16275 (java) R 16261 16264 8919 0 -1 4202560 1077 0 0 0 53 0 0 0 20 0 15 0 53030904 15382630400 49909 33554432000 4194304 4196468 140733212483264 139901268693536 139902210905632 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16276] ppid=16261 vsize=15022100 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/16264/task/16276/stat : 16276 (java) R 16261 16264 8919 0 -1 1077944384 824 0 0 0 45 1 0 0 20 0 15 0 53030904 15382630400 49909 33554432000 4194304 4196468 140733212483264 139901267659504 139902231566978 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16277] ppid=16261 vsize=15022100 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16264/task/16277/stat : 16277 (java) S 16261 16264 8919 0 -1 1077944384 2459 0 0 0 67 0 0 0 20 0 15 0 53030904 15382630400 49909 33554432000 4194304 4196468 140733212483264 139901266606704 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16278] ppid=16261 vsize=15022100 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16278/stat : 16278 (java) S 16261 16264 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53030904 15382630400 49909 33554432000 4194304 4196468 140733212483264 139899634182880 139902231566037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
[pid=16264/tid=16279] ppid=16261 vsize=15022100 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/16264/task/16279/stat : 16279 (java) S 16261 16264 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53030905 15382630400 49909 33554432000 4194304 4196468 140733212483264 139901265554096 139902231566978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140733212488692 140733212488969 140733212488969 140733212491727 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 199636 KiB
[startup+2.00525 s]*
/proc/loadavg: 2.00 2.05 2.06 6/222 16285
/proc/meminfo: memFree=16215056/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.01507
CPU time (s): 4.32813
CPU user time (s): 4.21408
CPU system time (s): 0.114045
CPU usage (%): 214.788
Max. virtual memory (cumulated for all children) (KiB): 15681864
Max. memory (cumulated for all children) (KiB): 244620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.21408
system time used= 0.114045
maximum resident set size= 249588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3623
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 16264
# total CPU time (s): 4.32813
# total CPU user time (s): 4.21408
# total CPU system time (s): 0.114045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03013 second user time and 0.066495 second system time
The end