0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 11:21:21 CEST 2018
0.67/0.54 c PID: 3282
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.81 c (0,0) Parsing End
1.21/0.81 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 24 ctr, max domain size 5
1.21/0.81 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.21/0.82 c (0,0) Constraint Name Generate Begin
1.21/0.82 c (0,0) Ctr:HOME/instance-4292862-1532337681.xml,AllDifferent:IntVar
1.21/0.82 c (0,0) Constraint Name Generate End
1.21/0.82 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.21/0.82 c (0,0) CSP to CSPinCNF Begin
1.37/0.97 c (0,0) translated 3 (10%) constraints
1.37/0.99 c (0,0) translated 5 (20%) constraints
1.57/1.02 c (0,0) translated 8 (30%) constraints
1.57/1.03 c (0,0) translated 10 (40%) constraints
1.57/1.05 c (0,0) translated 12 (50%) constraints
1.57/1.06 c (0,0) translated 15 (60%) constraints
1.57/1.07 c (0,0) translated 17 (70%) constraints
1.57/1.07 c (0,0) translated 20 (80%) constraints
1.57/1.08 c (0,0) translated 22 (90%) constraints
1.57/1.09 c (0,0) translated 24 (100%) constraints
1.87/1.14 c (0,0) STATISTICS1:HOME/instance-4292862-1532337681.xml,AllDifferent:IntVar,25,208,5,5,5,2,5:160,5:512,5:24;4:8;3:8;2:168,2:160;1:192,
1.87/1.14 c (0,0) ===========================================
1.87/1.14 c (0,0) Order
1.87/1.14 c (0,0) ===========================================
1.87/1.16 c (0,0) translated 21 (10%) constraints
1.87/1.16 c (0,0) translated 42 (20%) constraints
1.87/1.18 c (0,0) translated 63 (30%) constraints
1.87/1.18 c (0,0) translated 84 (40%) constraints
1.87/1.19 c (0,0) translated 104 (50%) constraints
1.87/1.19 c (0,0) translated 125 (60%) constraints
2.08/1.20 c (0,0) translated 146 (70%) constraints
2.08/1.20 c (0,0) translated 167 (80%) constraints
2.08/1.21 c (0,0) translated 188 (90%) constraints
2.08/1.21 c (0,0) translated 208 (100%) constraints
2.08/1.22 c (0,0) CSP to CSPinCNF End
2.08/1.22 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 208 ctr, max domain size 5
2.08/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.08/1.22 c (0,0) CSPinCNF Propagation Begin
2.08/1.23 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.08/1.23 c (0,0) CSPinCNF Propagation End
2.08/1.23 c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 208 ctr, max domain size 5
2.08/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.08/1.23 c (0,0) Simplify CSPinCNF Begin
2.08/1.29 c (0,0) Simplify CSPinCNF End
2.08/1.30 c (0,0) CSP: 25 int (0 aux), 320 bool (320 aux), 528 ctr, max domain size 5
2.33/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.33/1.30 c (0,0) Calculate Precise Domain Begin
2.33/1.30 c (0,0) 0 values are removed by re-calculation
2.33/1.30 c (0,0) Calculate Precise Domain End
2.33/1.30 c (0,0) CSP: 25 int (0 aux), 320 bool (320 aux), 528 ctr, max domain size 5
2.33/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.33/1.30 c (0,0) CSPinCNF to SatSolver Begin
2.33/1.35 c (0,0) 53 (10 %) CSP clauses are encoded (420 SAT variables, 259 SAT clauses)
2.33/1.36 c (0,0) 106 (20 %) CSP clauses are encoded (420 SAT variables, 444 SAT clauses)
2.33/1.37 c (0,0) 159 (30 %) CSP clauses are encoded (420 SAT variables, 633 SAT clauses)
2.33/1.38 c (0,0) 212 (40 %) CSP clauses are encoded (420 SAT variables, 814 SAT clauses)
2.33/1.39 c (0,0) 264 (50 %) CSP clauses are encoded (420 SAT variables, 994 SAT clauses)
2.33/1.40 c (0,0) 317 (60 %) CSP clauses are encoded (420 SAT variables, 1183 SAT clauses)
2.58/1.40 c (0,0) 370 (70 %) CSP clauses are encoded (420 SAT variables, 1368 SAT clauses)
2.58/1.41 c (0,0) 423 (80 %) CSP clauses are encoded (420 SAT variables, 1537 SAT clauses)
2.58/1.42 c (0,0) 476 (90 %) CSP clauses are encoded (420 SAT variables, 1710 SAT clauses)
2.58/1.42 c (0,0) 528 (100 %) CSP clauses are encoded (420 SAT variables, 1882 SAT clauses)
2.58/1.42 c (0,0) CSPinCNF to SatSolver End
2.58/1.42 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.58/1.44 c (0,0) STATISTICS2:HOME/instance-4292862-1532337681.xml,AllDifferent:IntVar,345,528,5,5,5,2,5:320,5:832;2:640,5:24;4:8;3:8;2:488,2:320;1:832,
2.58/1.44 c (0,0) SatSolver.solve Begin
2.58/1.44 c (0,0) 420 bool, 1883 clause
2.58/1.44 c (0,0) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4292862-1532337681.xml-scop-3282.cnf HOME/instance-4292862-1532337681.xml-scop-3282.cnf.out
2.58/1.46 c (0,0) c This is COMiniSatPS.
2.58/1.46 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2.58/1.46 c (0,0) c ============================[ Problem Statistics ]=============================
2.58/1.46 c (0,0) c | |
2.58/1.46 c (0,0) c | Number of variables: 420 |
2.58/1.46 c (0,0) c | Number of clauses: 1883 |
2.58/1.46 c (0,0) c | Parse time: 0.00 s |
2.58/1.46 c (0,0) c | Eliminated clauses: 0.00 Mb |
2.58/1.46 c (0,0) c Reduced to 260 vars, 1723 cls (grow=0)
2.58/1.46 c (0,0) c No iterative elimination performed. (vars=260, c/v ratio=6.6)
2.58/1.46 c (0,0) c | Simplification time: 0.00 s |
2.58/1.47 c (0,0) c | |
2.58/1.47 c (0,0) c ============================[ Search Statistics ]==============================
2.58/1.47 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2.58/1.47 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.58/1.47 c (0,0) c ===============================================================================
2.58/1.47 c (0,0) c ===============================================================================
2.58/1.47 c (0,0) c restarts : 1
2.58/1.47 c (0,0) c conflicts : 11 (5206 /sec)
2.58/1.47 c (0,0) c decisions : 22 (0.00 % random) (10412 /sec)
2.58/1.47 c (0,0) c propagations : 438 (207288 /sec)
2.58/1.47 c (0,0) c conflict literals : 76 (1.30 % deleted)
2.58/1.47 c (0,0) c CPU time : 0.002113 s
2.58/1.47 c (0,0)
2.58/1.47 c (0,0) s SATISFIABLE
2.84/1.50 c (0,0) SatSolver.solve End
2.84/1.50 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.84/1.50 c (0,0) Show results Begin
2.84/1.51 c (0,0) x[0][0] = 0
2.84/1.51 c (0,0) x[0][1] = 4
2.84/1.51 c (0,0) x[0][2] = 3
2.84/1.51 c (0,0) x[0][3] = 1
2.84/1.51 c (0,0) x[0][4] = 2
2.84/1.51 c (0,0) x[1][0] = 3
2.84/1.51 c (0,0) x[1][1] = 1
2.84/1.51 c (0,0) x[1][2] = 2
2.84/1.51 c (0,0) x[1][3] = 0
2.84/1.51 c (0,0) x[1][4] = 4
2.84/1.51 c (0,0) x[2][0] = 2
2.84/1.51 c (0,0) x[2][1] = 0
2.84/1.51 c (0,0) x[2][2] = 4
2.84/1.51 c (0,0) x[2][3] = 3
2.84/1.51 c (0,0) x[2][4] = 1
2.84/1.51 c (0,0) x[3][0] = 4
2.84/1.51 c (0,0) x[3][1] = 3
2.84/1.51 c (0,0) x[3][2] = 1
2.84/1.51 c (0,0) x[3][3] = 2
2.84/1.51 c (0,0) x[3][4] = 0
2.84/1.51 c (0,0) x[4][0] = 1
2.84/1.51 c (0,0) x[4][1] = 2
2.84/1.51 c (0,0) x[4][2] = 0
2.84/1.51 c (0,0) x[4][3] = 4
2.84/1.51 c (0,0) x[4][4] = 3
2.84/1.51 s SATISFIABLE
2.84/1.51 v <instantiation>
2.84/1.51 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4]</list>
2.84/1.51 v <values>0 4 3 1 2 3 1 2 0 4 2 0 4 3 1 4 3 1 2 0 1 2 0 4 3</values>
2.84/1.51 v </instantiation>
2.84/1.51 c (0,0) Show results End
2.84/1.51 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.84/1.51 c (0,0) 0,0,0,0,0,0,0,0,0,STOP-AFTER(ALL)
2.84/1.51 c END-Prog: Mon Jul 23 11:21:22 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 (3912 MiB free)
memory of node 1: 16384 MiB (11588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292862-1532337681/watcher-4292862-1532337681 -o /tmp/evaluation-result-4292862-1532337681/solver-4292862-1532337681 -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-4292862-1532337681.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=3282, runsolver pid=3279
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.04 2.05 3/221 3297
/proc/meminfo: memFree=15811356/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15011656 memory=73680 CPUtime=0.11 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 6592 0 0 0 9 2 0 0 20 0 15 0 51331224 15371935744 18420 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3752914 18420 2780 1 0 3715374 0
[pid=3282/tid=3284] ppid=3279 vsize=15011656 memory=4138987972196406163 CPUtime=0.09 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 4906 0 0 0 8 1 0 0 20 0 15 0 51331224 15371935744 18618 33554432000 4194304 4196468 140735170748224 139870125453704 139870146358871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331225 15371935744 18618 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 18684 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331228 15371935744 18684 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 18684 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) S 3279 3282 2271 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869190675056 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0.01 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) S 3279 3282 2271 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 51331230 15371935744 18684 33554432000 4194304 4196468 140735170748224 139869188569968 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 18684 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331231 15371935744 18750 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73680 KiB
[startup+0.210608 s]*
/proc/loadavg: 2.00 2.04 2.05 3/221 3297
/proc/meminfo: memFree=15797280/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15011656 memory=85992 CPUtime=0.26 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 9918 0 0 0 23 3 0 0 20 0 15 0 51331224 15371935744 21498 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3752914 21498 2893 1 0 3715374 0
[pid=3282/tid=3284] ppid=3279 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 7822 0 0 0 18 2 0 0 20 0 15 0 51331224 15371935744 21498 33554432000 4194304 4196468 140735170748224 139870125465168 139870153653654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331225 15371935744 21498 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15011656 memory=139917016592730 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 21498 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331228 15371935744 21498 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 21498 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) R 3279 3282 2271 0 -1 4202560 451 0 0 0 1 0 0 0 20 0 15 0 51331230 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869190675056 139870138800853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) R 3279 3282 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0.03 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) R 3279 3282 2271 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 51331230 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869188569968 139870145878846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 21498 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331231 15371935744 21498 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85992 KiB
[startup+0.310755 s]*
/proc/loadavg: 2.00 2.04 2.05 3/221 3297
/proc/meminfo: memFree=15793620/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15011656 memory=89536 CPUtime=0.44 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 10490 0 0 0 41 3 0 0 20 0 15 0 51331224 15371935744 22384 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3752914 22384 2997 1 0 3715374 0
[pid=3282/tid=3284] ppid=3279 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 8214 0 0 0 27 2 0 0 20 0 15 0 51331224 15371935744 22384 33554432000 4194304 4196468 140735170748224 139870125458256 139870153663645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331225 15371935744 22384 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51331227 15371935744 22384 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15011656 memory=139917016577664 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331228 15371935744 22384 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 22384 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) S 3279 3282 2271 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 15 0 51331230 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869190675056 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) S 3279 3282 2271 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 51331230 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15011656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) S 3279 3282 2271 0 -1 1077944384 322 0 0 0 8 0 0 0 20 0 15 0 51331230 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869188569968 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15371935744 22384 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331231 15371935744 22384 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89536 KiB
[startup+0.70074 s]
/proc/loadavg: 2.00 2.04 2.05 5/221 3297
/proc/meminfo: memFree=15766148/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15020052 memory=129880 CPUtime=1.02 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 17736 0 0 0 96 6 0 0 20 0 15 0 51331224 15380533248 32470 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3755013 32470 3156 1 0 3716398 0
[pid=3282/tid=3284] ppid=3279 vsize=15020052 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 15021 0 0 0 62 5 0 0 20 0 15 0 51331224 15380533248 32470 33554432000 4194304 4196468 140735170748224 139870125477664 139870153663645 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331225 15380533248 32470 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15380533248 32470 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331226 15380533248 32470 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15020052 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51331226 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15020052 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51331227 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15020052 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51331227 15380533248 32505 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331228 15380533248 32505 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15380533248 32505 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15020052 memory=8380 CPUtime=0.1 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) S 3279 3282 2271 0 -1 1077944384 780 0 0 0 10 0 0 0 20 0 15 0 51331230 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869190675056 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15020052 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) S 3279 3282 2271 0 -1 1077944384 145 0 0 0 6 0 0 0 20 0 15 0 51331230 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15020052 memory=1424 CPUtime=0.16 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) S 3279 3282 2271 0 -1 1077944384 450 0 0 0 16 0 0 0 20 0 15 0 51331230 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869188569968 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15020052 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51331230 15380533248 32505 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15020052 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51331231 15380533248 32505 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129880 KiB
[startup+1.50077 s]
/proc/loadavg: 2.00 2.04 2.05 4/221 3297
/proc/meminfo: memFree=15734888/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15354176 memory=186432 CPUtime=2.84 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 22176 521 0 0 275 9 0 0 20 0 17 0 51331224 15722676224 46608 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3838544 46608 3218 1 0 3799400 0
[pid=3282/tid=3284] ppid=3279 vsize=15354176 memory=16099269136376078 CPUtime=1.46 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 16649 521 0 0 140 6 0 0 20 0 17 0 51331224 15722676224 46608 33554432000 4194304 4196468 140735170748224 139870125479600 139870135205305 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331225 15722676224 46608 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 5 521 0 0 0 0 0 0 20 0 17 0 51331227 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 521 0 0 0 0 0 0 20 0 17 0 51331227 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331228 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 521 0 0 0 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15354176 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) S 3279 3282 2271 0 -1 1077944384 932 521 0 0 31 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869190675056 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15354176 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) S 3279 3282 2271 0 -1 1077944384 563 521 0 0 34 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15354176 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) S 3279 3282 2271 0 -1 1077944384 2582 521 0 0 67 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869188569968 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 521 0 0 0 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15354176 memory=279833762682052 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331231 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 186432 KiB
[startup+1.53256 s]
# the end of solver process 3282 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.78209 s, system=0.102517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50077 s]
/proc/loadavg: 2.00 2.04 2.05 4/221 3297
/proc/meminfo: memFree=15734888/32770624 swapFree=67108860/67108860
[pid=3282] ppid=3279 vsize=15354176 memory=186432 CPUtime=2.84 cores=1,3,5,7
/proc/3282/stat : 3282 (java) S 3279 3282 2271 0 -1 1077944320 22176 521 0 0 275 9 0 0 20 0 17 0 51331224 15722676224 46608 33554432000 4194304 4196468 140735170748224 140735170730768 139870153641719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
/proc/3282/statm: 3838544 46608 3218 1 0 3799400 0
[pid=3282/tid=3284] ppid=3279 vsize=15354176 memory=16099269136376078 CPUtime=1.46 cores=1,3,5,7
/proc/3282/task/3284/stat : 3284 (java) R 3279 3282 2271 0 -1 4202560 16649 521 0 0 140 6 0 0 20 0 17 0 51331224 15722676224 46608 33554432000 4194304 4196468 140735170748224 139870125479600 139870135205305 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3285] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3285/stat : 3285 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331225 15722676224 46608 33554432000 4194304 4196468 140735170748224 139870157884304 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3286] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3286/stat : 3286 (java) S 3279 3282 2271 0 -1 1077944384 2 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869975972624 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3287] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3287/stat : 3287 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869974920336 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3288] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3288/stat : 3288 (java) S 3279 3282 2271 0 -1 1077944384 2 521 0 0 0 0 0 0 20 0 17 0 51331226 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869973867536 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3289] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3289/stat : 3289 (java) S 3279 3282 2271 0 -1 1077944384 5 521 0 0 0 0 0 0 20 0 17 0 51331227 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869191727216 139870153652866 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3290] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3290/stat : 3290 (java) S 3279 3282 2271 0 -1 1077944384 13 521 0 0 0 0 0 0 20 0 17 0 51331227 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868696994592 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3291] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3291/stat : 3291 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331228 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868428559472 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3292] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3292/stat : 3292 (java) S 3279 3282 2271 0 -1 1077944384 3 521 0 0 0 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139868054050896 139870153660315 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3293] ppid=3279 vsize=15354176 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/3282/task/3293/stat : 3293 (java) S 3279 3282 2271 0 -1 1077944384 932 521 0 0 31 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869190675056 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3294] ppid=3279 vsize=15354176 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/3282/task/3294/stat : 3294 (java) S 3279 3282 2271 0 -1 1077944384 563 521 0 0 34 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869189622256 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3295] ppid=3279 vsize=15354176 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3282/task/3295/stat : 3295 (java) S 3279 3282 2271 0 -1 1077944384 2582 521 0 0 67 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869188569968 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3296] ppid=3279 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3296/stat : 3296 (java) S 3279 3282 2271 0 -1 1077944384 3 521 0 0 0 0 0 0 20 0 17 0 51331230 15722676224 46608 33554432000 4194304 4196468 140735170748224 139867556146144 139870153651925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
[pid=3282/tid=3297] ppid=3279 vsize=15354176 memory=279833762682052 CPUtime=0 cores=1,3,5,7
/proc/3282/task/3297/stat : 3297 (java) S 3279 3282 2271 0 -1 1077944384 1 521 0 0 0 0 0 0 20 0 17 0 51331231 15722676224 46608 33554432000 4194304 4196468 140735170748224 139869187516848 139870153652866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9039872 140735170749427 140735170749705 140735170749705 140735170752463 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 186432 KiB
Child status: 0
Real time (s): 1.53261
CPU time (s): 2.8846
CPU user time (s): 2.78209
CPU system time (s): 0.102517
CPU usage (%): 188.215
Max. virtual memory (cumulated for all children) (KiB): 15354176
Max. memory (cumulated for all children) (KiB): 186432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.78209
system time used= 0.102517
maximum resident set size= 191292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3278
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 3282
# total CPU time (s): 2.8846
# total CPU user time (s): 2.78209
# total CPU system time (s): 0.102517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041544 second user time and 0.052968 second system time
The end