Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | OPT | 86 | 21.5053 | 8.63901 |
| Name | Tal/ Tal-02_c18.xml |
| MD5SUM | 66ad3cf55c90c9564165fed11cad25f4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 86 |
| Best CPU time to get the best result obtained on this benchmark | 3.30776 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 298 |
| Number of constraints | 217 |
| Number of domains | 9 |
| Minimum domain size | 1 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":35},{"size":10,"count":21},{"size":42,"count":47}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":0,"count":128},{"degree":1,"count":45},{"degree":2,"count":37},{"degree":3,"count":7},{"degree":4,"count":8},{"degree":5,"count":19},{"degree":6,"count":15},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":1,"count":69},{"arity":2,"count":68},{"arity":3,"count":23},{"arity":4,"count":9},{"arity":5,"count":14},{"arity":6,"count":13},{"arity":7,"count":11},{"arity":8,"count":8},{"arity":9,"count":2}] |
| Number of extensional constraints | 36 |
| Number of intensional constraints | 171 |
| Distribution of constraint types | [{"type":"extension","count":36},{"type":"intension","count":171},{"type":"count","count":10}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.97/0.75 c Concrete v3.8.1528841891564 running 14.27/5.68 o 92 14.55/5.79 o 90 15.51/6.11 o 88 15.84/6.14 o 86 21.45/8.61 v <instantiation cost="86"> 21.45/8.61 v <list> 21.45/8.61 v c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[5][0] l[5][1] l[5][2] l[5][3] l[6][0] l[6][1] l[6][2] l[6][3] l[7][0] l[7][1] l[7][2] l[8][0] l[8][1] l[8][2] l[9][0] l[9][1] l[10][0] l[10][1] l[11][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[5][0] a[5][1] a[5][2] a[5][3] a[7][0] a[7][1] a[7][2] a[9][0] a[9][1] a[11][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[6][0] i[6][1] i[6][2] i[6][3] i[8][0] i[8][1] i[8][2] i[10][0] i[10][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] 21.45/8.61 v </list> 21.45/8.61 v <values> 21.45/8.61 v 0 0 0 0 0 0 0 16 0 0 16 0 0 0 0 0 0 0 0 16 0 4 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 15 11 13 9 10 12 15 7 2 0 7 0 15 7 2 7 0 0 15 4 3 3 0 15 4 3 3 0 15 4 0 3 15 4 3 0 15 4 0 15 4 0 15 3 15 3 1 1 1 2 0 2 0 1 1 1 1 0 1 2 0 1 1 2 0 1 1 2 0 1 2 4 5 5 0 1 2 3 4 0 1 3 3 0 1 2 0 1 2 2 1 1 1 1 1 1 0 0 21.45/8.61 v </values> 21.45/8.61 v </instantiation> 21.45/8.61 s OPTIMUM FOUND
OK 86
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 (5902 MiB free)
memory of node 1: 16384 MiB (13210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293054-1532306021/watcher-4293054-1532306021 -o /tmp/evaluation-result-4293054-1532306021/solver-4293054-1532306021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=199659997 -superng HOME/instance-4293054-1532306021.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=17814, runsolver pid=17811
Current StackSize limit: 8192 KiB
[startup+0.10126 s]*
/proc/loadavg: 1.74 1.55 1.56 2/212 17871
/proc/meminfo: memFree=19564724/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=9970504 memory=11488 CPUtime=0.07 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 3532 13194 0 0 0 0 5 2 20 0 6 0 48165241 10209796096 2872 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2492626 2872 1337 1 0 2481537 0
[pid=17814/tid=17867] ppid=17811 vsize=9970504 memory=4630099129783847334 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 1077944384 1340 13194 0 0 0 0 5 2 20 0 6 0 48165250 10209796096 2872 33554432000 4194304 4196468 140735992997456 139805386043984 139805414231101 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=9970504 memory=5793855297030838713 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 48165251 10209796096 2872 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=9970504 memory=140046020945536 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 48165251 10209796096 2872 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=9970504 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 48165251 10209796096 2872 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=9970504 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 6 0 48165251 10209796096 2872 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 11488 KiB
[startup+0.213817 s]*
/proc/loadavg: 1.74 1.55 1.56 3/221 17880
/proc/meminfo: memFree=19548160/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10818904 memory=36048 CPUtime=0.24 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 7294 13194 0 0 15 2 5 2 20 0 15 0 48165241 11078557696 9012 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2704726 9012 2967 1 0 2667149 0
[pid=17814/tid=17867] ppid=17811 vsize=10818904 memory=-8540663193526752614 CPUtime=0.17 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 3832 13194 0 0 9 1 5 2 20 0 15 0 48165250 11078557696 9012 33554432000 4194304 4196468 140735992997456 139805386029128 139805394482610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10818904 memory=4211973772225736074 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11078557696 9012 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10818904 memory=140046020945536 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11078557696 9012 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165251 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10818904 memory=140046020945536 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165254 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 33 13194 0 0 0 0 5 2 20 0 15 0 48165254 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804872254752 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165254 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804272486000 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) S 17811 17814 16080 0 -1 1077944384 558 13194 0 0 1 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804838697072 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 57 13194 0 0 0 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10818904 memory=140046020945536 CPUtime=0.1 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 612 13194 0 0 3 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10818904 memory=140046020945536 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165257 11078557696 9012 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 36048 KiB
[startup+0.310629 s]*
/proc/loadavg: 1.74 1.55 1.56 3/221 17880
/proc/meminfo: memFree=19535056/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10819352 memory=47852 CPUtime=0.36 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 10098 13194 0 0 26 3 5 2 20 0 15 0 48165241 11079016448 11963 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2704838 11963 3086 1 0 2667149 0
[pid=17814/tid=17867] ppid=17811 vsize=10819352 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 6595 13194 0 0 17 2 5 2 20 0 15 0 48165250 11079016448 11963 33554432000 4194304 4196468 140735992997456 139805386019232 139805394483107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 11963 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 11963 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10819352 memory=140046020945535 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 33 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804872254752 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10819352 memory=140046020945536 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804272486000 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) S 17811 17814 16080 0 -1 1077944384 564 13194 0 0 2 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804838697072 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 58 13194 0 0 1 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 646 13194 0 0 5 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 11963 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 47852 KiB
[startup+0.700776 s]
/proc/loadavg: 1.74 1.55 1.56 3/221 17880
/proc/meminfo: memFree=19523892/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10819352 memory=83208 CPUtime=0.97 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 17037 13194 0 0 84 6 5 2 20 0 15 0 48165241 11079016448 20802 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2704838 20802 3237 1 0 2667149 0
[pid=17814/tid=17867] ppid=17811 vsize=10819352 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 12320 13194 0 0 53 4 5 2 20 0 15 0 48165250 11079016448 20802 33554432000 4194304 4196468 140735992997456 139805386021120 139805399372883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 20802 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 20802 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165251 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 5 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 33 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804872254752 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165254 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804272486000 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10819352 memory=6655300316396806240 CPUtime=0.17 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) S 17811 17814 16080 0 -1 1077944384 1169 13194 0 0 10 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804838697072 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10819352 memory=3557678080365911397 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 458 13194 0 0 6 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 852 13194 0 0 13 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10819352 memory=280091728806128 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165257 11079016448 20802 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83208 KiB
[startup+1.50083 s]
/proc/loadavg: 1.74 1.55 1.56 3/221 17880
/proc/meminfo: memFree=19480104/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10834252 memory=189308 CPUtime=2.64 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 25294 13194 0 0 245 12 5 2 20 0 15 0 48165241 11094274048 47327 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2708563 47327 3477 1 0 2670221 0
[pid=17814/tid=17867] ppid=17811 vsize=10834252 memory=4132 CPUtime=1.41 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 17681 13194 0 0 127 7 5 2 20 0 15 0 48165250 11094274048 47327 33554432000 4194304 4196468 140735992997456 139805386025280 139805018360613 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10834252 memory=225 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 21 13194 0 0 1 0 5 2 20 0 15 0 48165251 11094274048 47327 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10834252 memory=117 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 21 13194 0 0 1 0 5 2 20 0 15 0 48165251 11094274048 47327 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 53 13194 0 0 1 0 5 2 20 0 15 0 48165251 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 190 13194 0 0 1 0 5 2 20 0 15 0 48165251 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 245 13194 0 0 1 0 5 2 20 0 15 0 48165254 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 33 13194 0 0 0 0 5 2 20 0 15 0 48165254 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804872254816 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 48165254 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804272486016 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10834252 memory=280091728842528 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10834252 memory=7649399392905475889 CPUtime=0.47 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) R 17811 17814 16080 0 -1 4202560 2134 13194 0 0 40 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804838697072 139805399922155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10834252 memory=7 CPUtime=0.37 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 1042 13194 0 0 30 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10834252 memory=2209 CPUtime=0.46 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 1678 13194 0 0 39 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10834252 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10834252 memory=3303 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 48165257 11094274048 47327 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+8.63896 s]
# the end of solver process 17814 was just reported to runsolver
# cumulated CPU time of all completed processes: user=21.0943 s, system=0.410963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40183 s]
/proc/loadavg: 1.84 1.58 1.57 5/221 17880
/proc/meminfo: memFree=19157632/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10918240 memory=440220 CPUtime=16.77 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 74630 13194 0 0 1637 33 5 2 20 0 15 0 48165241 11180277760 110055 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2729560 110055 3519 1 0 2691213 0
[pid=17814/tid=17867] ppid=17811 vsize=10918240 memory=-9174445032661854264 CPUtime=6.19 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 45120 13194 0 0 597 15 5 2 20 0 15 0 48165250 11180277760 110055 33554432000 4194304 4196468 140735992997456 139805386039144 139805022586736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10918240 memory=6944656575208382560 CPUtime=0.11 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 69 13194 0 0 3 1 5 2 20 0 15 0 48165251 11180277760 110055 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10918240 memory=6944656592387989600 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 90 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 110055 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10918240 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 116 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10918240 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 276 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10918240 memory=4580 CPUtime=0.11 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 1935 13194 0 0 4 0 5 2 20 0 15 0 48165254 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 37 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804872254880 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10918240 memory=140045864678830 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 6 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804272486016 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10918240 memory=280091729330960 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10918240 memory=0 CPUtime=4.19 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) R 17811 17814 16080 0 -1 4202560 6358 13194 0 0 410 2 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804838684384 139805397575802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10918240 memory=0 CPUtime=3.96 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) R 17811 17814 16080 0 -1 4202560 10249 13194 0 0 385 4 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804837628224 139805395725140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10918240 memory=0 CPUtime=2.31 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 8172 13194 0 0 220 4 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10918240 memory=3649 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 9 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 110055 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 16.77 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 440220 KiB
[startup+8.00072 s]*
/proc/loadavg: 1.84 1.58 1.57 3/221 17880
/proc/meminfo: memFree=19060424/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10918240 memory=524004 CPUtime=20.63 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 85521 13194 0 0 2021 35 5 2 20 0 15 0 48165241 11180277760 131001 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2729560 131001 3523 1 0 2691213 0
[pid=17814/tid=17867] ppid=17811 vsize=10918240 memory=6791534058613427641 CPUtime=7.78 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 47761 13194 0 0 755 16 5 2 20 0 15 0 48165250 11180277760 131001 33554432000 4194304 4196468 140735992997456 139805386040600 139805022175648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10918240 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 932 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 131001 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10918240 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 105 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 131001 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10918240 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 839 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10918240 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 278 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10918240 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 2042 13194 0 0 4 0 5 2 20 0 15 0 48165254 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10918240 memory=2321942282731860531 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 37 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804872254880 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10918240 memory=3539888909250410808 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 6 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804272486016 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10918240 memory=7158875585474619757 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10918240 memory=0 CPUtime=5.26 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) R 17811 17814 16080 0 -1 4202560 9089 13194 0 0 517 2 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804838675664 139805391802000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10918240 memory=3833749901711391032 CPUtime=5.06 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) R 17811 17814 16080 0 -1 4202560 13392 13194 0 0 495 4 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804837634064 139805394586480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10918240 memory=3976875902587690164 CPUtime=2.37 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 8834 13194 0 0 226 4 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10918240 memory=3539888909250410808 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10918240 memory=3619126722245154484 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 13 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131001 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 20.63 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 524004 KiB
[startup+8.40075 s]
/proc/loadavg: 1.84 1.58 1.57 3/221 17880
/proc/meminfo: memFree=19060424/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10918240 memory=526612 CPUtime=21.22 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 88543 13194 0 0 2080 35 5 2 20 0 15 0 48165241 11180277760 131653 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2729560 131653 3526 1 0 2691213 0
[pid=17814/tid=17867] ppid=17811 vsize=10918240 memory=1584 CPUtime=8.17 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 47893 13194 0 0 794 16 5 2 20 0 15 0 48165250 11180277760 131653 33554432000 4194304 4196468 140735992997456 139805386039296 139805035452912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10918240 memory=928 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 932 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 131653 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10918240 memory=2236 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 105 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 131653 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10918240 memory=4128 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 839 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10918240 memory=2196 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 278 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10918240 memory=523936 CPUtime=0.11 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 2056 13194 0 0 4 0 5 2 20 0 15 0 48165254 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10918240 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 37 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804872254880 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10918240 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 6 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804272486016 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10918240 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10918240 memory=-2461829820114675750 CPUtime=5.37 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) S 17811 17814 16080 0 -1 1077944384 10692 13194 0 0 528 2 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804838697072 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10918240 memory=-7606742951091920751 CPUtime=5.13 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 14189 13194 0 0 502 4 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10918240 memory=0 CPUtime=2.38 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 9307 13194 0 0 227 4 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10918240 memory=4640204490969339242 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10918240 memory=4640489277482942561 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 16 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 131653 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 21.22 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 526612 KiB
[startup+8.60083 s]
/proc/loadavg: 1.84 1.58 1.57 3/221 17880
/proc/meminfo: memFree=19060424/32770624 swapFree=67108860/67108860
[pid=17814] ppid=17811 vsize=10918240 memory=534800 CPUtime=21.45 cores=1,3,5,7
/proc/17814/stat : 17814 (java) S 17811 17814 16080 0 -1 1077944320 90638 13194 0 0 2102 36 5 2 20 0 15 0 48165241 11180277760 133700 33554432000 4194304 4196468 140735992997456 140735992980000 139805414207223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
/proc/17814/statm: 2729560 133700 3526 1 0 2691213 0
[pid=17814/tid=17867] ppid=17811 vsize=10918240 memory=4420 CPUtime=8.36 cores=1,3,5,7
/proc/17814/task/17867/stat : 17867 (java) R 17811 17814 16080 0 -1 4202560 47895 13194 0 0 813 16 5 2 20 0 15 0 48165250 11180277760 133700 33554432000 4194304 4196468 140735992997456 139805386040456 139805035904576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17868] ppid=17811 vsize=10918240 memory=6628 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17868/stat : 17868 (java) S 17811 17814 16080 0 -1 1077944384 938 13194 0 0 4 1 5 2 20 0 15 0 48165251 11180277760 133700 33554432000 4194304 4196468 140735992997456 139805418449296 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17869] ppid=17811 vsize=10918240 memory=8836 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17869/stat : 17869 (java) S 17811 17814 16080 0 -1 1077944384 116 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 133700 33554432000 4194304 4196468 140735992997456 139805348206864 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17870] ppid=17811 vsize=10918240 memory=11044 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17870/stat : 17870 (java) S 17811 17814 16080 0 -1 1077944384 1261 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804985977488 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17871] ppid=17811 vsize=10918240 memory=13252 CPUtime=0.13 cores=1,3,5,7
/proc/17814/task/17871/stat : 17871 (java) S 17811 17814 16080 0 -1 1077944384 287 13194 0 0 5 1 5 2 20 0 15 0 48165251 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804984924688 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17872] ppid=17811 vsize=10918240 memory=15460 CPUtime=0.12 cores=1,3,5,7
/proc/17814/task/17872/stat : 17872 (java) S 17811 17814 16080 0 -1 1077944384 2206 13194 0 0 5 0 5 2 20 0 15 0 48165254 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804873308784 139805414218370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17873] ppid=17811 vsize=10918240 memory=17668 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17873/stat : 17873 (java) S 17811 17814 16080 0 -1 1077944384 37 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804872254880 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17874] ppid=17811 vsize=10918240 memory=17764 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17874/stat : 17874 (java) S 17811 17814 16080 0 -1 1077944384 6 13194 0 0 0 0 5 2 20 0 15 0 48165254 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804272486016 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17875] ppid=17811 vsize=10918240 memory=2983474679701833631 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17875/stat : 17875 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139803965086288 139805414225819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17876] ppid=17811 vsize=10918240 memory=732230140863448994 CPUtime=5.38 cores=1,3,5,7
/proc/17814/task/17876/stat : 17876 (java) S 17811 17814 16080 0 -1 1077944384 10997 13194 0 0 528 3 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804838697072 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17877] ppid=17811 vsize=10918240 memory=7445587259455178843 CPUtime=5.13 cores=1,3,5,7
/proc/17814/task/17877/stat : 17877 (java) S 17811 17814 16080 0 -1 1077944384 14821 13194 0 0 502 4 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804837644272 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17878] ppid=17811 vsize=10918240 memory=2983483862341912667 CPUtime=2.39 cores=1,3,5,7
/proc/17814/task/17878/stat : 17878 (java) S 17811 17814 16080 0 -1 1077944384 9865 13194 0 0 228 4 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804836591984 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17879] ppid=17811 vsize=10918240 memory=6055698175606393121 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17879/stat : 17879 (java) S 17811 17814 16080 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139803931527648 139805414217429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
[pid=17814/tid=17880] ppid=17811 vsize=10918240 memory=6055698175606393144 CPUtime=0.07 cores=1,3,5,7
/proc/17814/task/17880/stat : 17880 (java) S 17811 17814 16080 0 -1 1077944384 16 13194 0 0 0 0 5 2 20 0 15 0 48165257 11180277760 133700 33554432000 4194304 4196468 140735992997456 139804835539888 139805414218370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23625728 140735993002156 140735993005404 140735993005404 140735993008079 0
Current children cumulated CPU time: 21.45 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 534800 KiB
Child status: 0
Real time (s): 8.63901
CPU time (s): 21.5053
CPU user time (s): 21.0943
CPU system time (s): 0.410963
CPU usage (%): 248.933
Max. virtual memory (cumulated for all children) (KiB): 10921112
Max. memory (cumulated for all children) (KiB): 534800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0943
system time used= 0.410963
maximum resident set size= 536960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8558
involuntary context switches= 151
# summary of solver processes directly reported to runsolver:
# pid: 17814
# total CPU time (s): 21.5053
# total CPU user time (s): 21.0943
# total CPU system time (s): 0.410963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077761 second user time and 0.128892 second system time
The end
Begin job on node132 at 2018-07-23 02:33:41 IDJOB=4293054 IDBENCH=141108 IDSOLVER=2751 FILE ID=node132/4293054-1532306021 RUNJOBID= node132-1532296193-16112 PBS_JOBID= 21018987 Free space on /tmp= 55032 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/Tal/Tal-02_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293054-1532306021/watcher-4293054-1532306021 -o /tmp/evaluation-result-4293054-1532306021/solver-4293054-1532306021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=199659997 -superng HOME/instance-4293054-1532306021.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66ad3cf55c90c9564165fed11cad25f4 RANDOM SEED=199659997 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19571416 kB MemAvailable: 30718312 kB Buffers: 256720 kB Cached: 11035876 kB SwapCached: 0 kB Active: 3384340 kB Inactive: 9179368 kB Active(anon): 1273572 kB Inactive(anon): 17028 kB Active(file): 2110768 kB Inactive(file): 9162340 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26508 kB Writeback: 0 kB AnonPages: 1312744 kB Mapped: 49752 kB Shmem: 17056 kB Slab: 329820 kB SReclaimable: 302248 kB SUnreclaim: 27572 kB KernelStack: 3888 kB PageTables: 8244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2153620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1212416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55004 MiB End job on node132 at 2018-07-23 02:33:49