Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 9.7202902 | 3.4765501 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-048.xml |
MD5SUM | 7adabca14a9e2cab4a49f4d8c4ab1203 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.101219 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 96 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 48 |
Maximum domain size | 2304 |
Distribution of domain sizes | [{"size":48,"count":48},{"size":2304,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":4,"count":47},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":6},{"arity":48,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 49 |
Distribution of constraint types | [{"type":"intension","count":49},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.30/0.25 c version: 2017-08-22 0.30/0.25 c seed: 1466706509 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 22000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 1.72/1.12 c Parsing done, starting search... 9.54/3.45 s SATISFIABLE 9.54/3.45 v <instantiation> 9.54/3.45 v <list> 9.54/3.45 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] 9.54/3.45 v </list> 9.54/3.45 v <values> 9.54/3.45 v 1 7 8 9 10 11 12 13 14 15 20 24 29 30 31 32 33 34 35 42 43 44 45 46 2 3 4 5 6 16 17 18 19 21 22 23 25 26 27 28 36 37 38 39 40 41 47 48 1 49 64 81 100 121 144 169 196 225 400 576 841 900 961 1024 1089 1156 1225 1764 1849 1936 2025 2116 4 9 16 25 36 256 289 324 361 441 484 529 625 676 729 784 1296 1369 1444 1521 1600 1681 2209 2304 9.54/3.45 v </values> 9.54/3.45 v </instantiation>
OK
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 (9595 MiB free) memory of node 1: 16384 MiB (11327 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285299-1503420513/watcher-4285299-1503420513 -o /tmp/evaluation-result-4285299-1503420513/solver-4285299-1503420513 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503413660-22926 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1466706509 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285299-1503420513.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23705, runsolver pid=23702 Current StackSize limit: 8192 KiB [startup+0.100124 s]* /proc/loadavg: 7.94 8.48 8.54 2/199 23725 /proc/meminfo: memFree=21407964/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=26000852 memory=31460 CPUtime=0.12 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 8323 0 0 0 10 2 0 0 20 0 20 0 175138703 26624872448 7865 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6500213 7865 3410 1 0 6487932 0 [pid=23705/tid=23707] ppid=23702 vsize=26000852 memory=8185181755396759191 CPUtime=0.09 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) R 23702 23705 22899 0 -1 4202560 6246 0 0 0 8 1 0 0 20 0 20 0 175138704 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432282130528 140432261331248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=26000852 memory=732369961901112293 CPUtime=0 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432230558736 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=26000852 memory=139823563658880 CPUtime=0 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432225294992 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 7865 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138706 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175138706 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431019947680 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175138707 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431018894576 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) S 23702 23705 22899 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431016790256 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431015737712 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431014684656 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) R 23702 23705 22899 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431013632112 140432256564688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 7865 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31460 KiB [startup+0.210574 s]* /proc/loadavg: 7.94 8.48 8.54 6/199 23725 /proc/meminfo: memFree=21399092/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=26000884 memory=41272 CPUtime=0.3 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 9402 0 0 0 27 3 0 0 20 0 20 0 175138703 26624905216 10318 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6500213 10318 3628 1 0 6487932 0 [pid=23705/tid=23707] ppid=23702 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) D 23702 23705 22899 0 -1 1077944384 6924 0 0 0 17 2 0 0 20 0 20 0 175138704 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432282147168 140432270617133 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=26000884 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624905216 10318 33554432000 4194304 4196468 140731978120640 140432230558736 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=26000884 memory=288370199715370624 CPUtime=0 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624905216 10318 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432225294992 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138705 26624872448 10318 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175138706 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175138706 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431019947680 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=26000884 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175138707 26624905216 10318 33554432000 4194304 4196468 140731978120640 140431018894576 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=26000884 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624905216 10318 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) S 23702 23705 22899 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431016790256 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) S 23702 23705 22899 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431015737712 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) S 23702 23705 22899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431014684656 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) S 23702 23705 22899 0 -1 1077944384 427 0 0 0 5 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431013632112 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624872448 10318 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26000884 KiB Current children cumulated memory: 41272 KiB [startup+0.310409 s]* /proc/loadavg: 7.94 8.48 8.54 2/199 23725 /proc/meminfo: memFree=21391788/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=26000872 memory=49160 CPUtime=0.48 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 10586 0 0 0 44 4 0 0 20 0 20 0 175138703 26624892928 12290 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6500218 12290 3716 1 0 6487932 0 [pid=23705/tid=23707] ppid=23702 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) R 23702 23705 22899 0 -1 4202560 7683 0 0 0 26 3 0 0 20 0 20 0 175138704 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432282167472 140432259805212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432230558736 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=26000872 memory=139823465722799 CPUtime=0 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432225294992 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=26000872 memory=139823465725104 CPUtime=0 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26000872 memory=139823465727408 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138705 26624892928 12290 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175138706 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=26000872 memory=279646931461776 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175138706 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431019947680 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=26000872 memory=279646931468688 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175138707 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431018894576 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=26000872 memory=279646931409968 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=26000872 memory=279646931482512 CPUtime=0.02 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) S 23702 23705 22899 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431016790256 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=26000872 memory=279646931489424 CPUtime=0.03 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) S 23702 23705 22899 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431015737712 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=26000872 memory=279646931487120 CPUtime=0.02 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) S 23702 23705 22899 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431014684656 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=26000872 memory=279646931503680 CPUtime=0.08 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) R 23702 23705 22899 0 -1 4202560 519 0 0 0 8 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431013632112 140432263619706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138709 26624892928 12290 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49160 KiB [startup+0.700917 s] /proc/loadavg: 7.94 8.48 8.54 2/199 23725 /proc/meminfo: memFree=21378016/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=26002920 memory=71384 CPUtime=1.21 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 13485 0 0 0 116 5 0 0 20 0 20 0 175138703 26626990080 17846 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6500730 17846 3769 1 0 6488444 0 [pid=23705/tid=23707] ppid=23702 vsize=26002920 memory=6226015792373518944 CPUtime=0.67 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) R 23702 23705 22899 0 -1 4202560 8610 0 0 0 64 3 0 0 20 0 20 0 175138704 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432282174024 140431894030272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=26002920 memory=101893804177752 CPUtime=0 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432230558736 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=26002920 memory=139823465748690 CPUtime=0 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432225294992 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26002920 memory=1732 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175138705 26626990080 17846 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26002920 memory=1948 CPUtime=0 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175138706 26626990080 17846 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 ################ # More data... # ################ [pid=23705/tid=23714] ppid=23702 vsize=26809880 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 32 0 175138705 27453317120 64119 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26809880 memory=279646126292749 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 32 0 175138705 27453317120 64119 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26809880 memory=1108 CPUtime=0.01 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 32 0 175138706 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=26809880 memory=288230591722422566 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 32 0 175138706 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431019947744 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=26809880 memory=14979974872434507 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 32 0 175138707 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431018894592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=26809880 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=26809880 memory=71548 CPUtime=1.15 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) R 23702 23705 22899 0 -1 4202560 4283 0 0 0 114 1 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431016780048 140432258635448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=26809880 memory=15876 CPUtime=1.04 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) R 23702 23705 22899 0 -1 4202560 3367 0 0 0 103 1 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431015723808 140432255162064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=26809880 memory=27000 CPUtime=0.99 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) R 23702 23705 22899 0 -1 4202560 2967 0 0 0 98 1 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431014670768 140432262337448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=26809880 memory=4052 CPUtime=0.7 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) R 23702 23705 22899 0 -1 4202560 6018 0 0 0 69 1 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431013627968 140432256852850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=26809880 memory=16236 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=26809880 memory=1796 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 32 0 175138709 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23726] ppid=23702 vsize=26809880 memory=644 CPUtime=0 cores=0-7 /proc/23705/task/23726/stat : 23726 (java) S 23702 23705 22899 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 32 0 175138981 27453317120 64119 33554432000 4194304 4196468 140731978120640 140431003333632 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23727] ppid=23702 vsize=26809880 memory=33 CPUtime=0 cores=0-7 /proc/23705/task/23727/stat : 23727 (java) R 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 32 0 175138993 27453317120 64119 33554432000 4194304 4196468 140731978120640 140430796645584 140432277949058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23728] ppid=23702 vsize=26809880 memory=56 CPUtime=0.05 cores=0-7 /proc/23705/task/23728/stat : 23728 (java) R 23702 23705 22899 0 -1 4202560 88 0 0 0 5 0 0 0 20 0 32 0 175139002 27453317120 64119 33554432000 4194304 4196468 140731978120640 140430793485416 140431891516260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23729] ppid=23702 vsize=26809880 memory=0 CPUtime=0.07 cores=0-7 /proc/23705/task/23729/stat : 23729 (java) R 23702 23705 22899 0 -1 4202560 87 0 0 0 7 0 0 0 20 0 32 0 175139003 27453317120 64119 33554432000 4194304 4196468 140731978120640 140430792432448 140431891497510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23730] ppid=23702 vsize=26809880 memory=-8172468297011507069 CPUtime=0.05 cores=0-7 /proc/23705/task/23730/stat : 23730 (java) R 23702 23705 22899 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 32 0 175139004 27453317120 64119 33554432000 4194304 4196468 140731978120640 140430791379280 140431891443008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 7.39 s Current children cumulated vsize: 26809880 KiB Current children cumulated memory: 256476 KiB [startup+3.4765 s] # the end of solver process 23705 was just reported to runsolver # cumulated CPU time of all completed processes: user=9.51968 s, system=0.200615 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20703 s] /proc/loadavg: 7.94 8.48 8.54 2/203 23729 /proc/meminfo: memFree=21188836/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=26945092 memory=263024 CPUtime=8.01 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 34644 0 0 0 787 14 0 0 20 0 34 0 175138703 27591774208 65756 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6736273 65756 3829 1 0 6723466 0 [pid=23705/tid=23707] ppid=23702 vsize=26945092 memory=0 CPUtime=2.96 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) S 23702 23705 22899 0 -1 1077944384 14672 0 0 0 290 6 0 0 20 0 34 0 175138704 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432282175616 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=26945092 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432230558736 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=26945092 memory=-8689539942354613440 CPUtime=0.01 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=26945092 memory=7307184289356141161 CPUtime=0.01 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=26945092 memory=7380385388137112419 CPUtime=0.01 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=26945092 memory=239404 CPUtime=0.01 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=26945092 memory=-8412652160765825907 CPUtime=0.01 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) S 23702 23705 22899 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432225294992 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=26945092 memory=8328453600958622283 CPUtime=0.01 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=26945092 memory=-8634980985311628903 CPUtime=0 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 34 0 175138705 27591774208 65756 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=26945092 memory=7100839878645619564 CPUtime=0.01 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 34 0 175138706 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431021001456 140432277949058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=26945092 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 34 0 175138706 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431019947744 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=26945092 memory=279646931731552 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 34 0 175138707 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431018894592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=26945092 memory=739410898434139232 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=26945092 memory=8514701219730523551 CPUtime=1.19 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) R 23702 23705 22899 0 -1 1077944384 4297 0 0 0 118 1 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431016771984 140432277948117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=26945092 memory=7668892832980162666 CPUtime=1.09 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) R 23702 23705 22899 0 -1 4202560 3377 0 0 0 108 1 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431015725320 140432257591888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=26945092 memory=6226339092127377002 CPUtime=1.05 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) R 23702 23705 22899 0 -1 4202560 2976 0 0 0 104 1 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431014670624 140432259482070 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=26945092 memory=7523652840197680227 CPUtime=0.76 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) R 23702 23705 22899 0 -1 1077944384 6500 0 0 0 75 1 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431013629920 140432277948117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=26945092 memory=4638778402844725328 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=26945092 memory=4640467252704989264 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 34 0 175138709 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23726] ppid=23702 vsize=26945092 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/23705/task/23726/stat : 23726 (java) R 23702 23705 22899 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 34 0 175138981 27591774208 65756 33554432000 4194304 4196468 140731978120640 140431003333632 140432277948117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23727] ppid=23702 vsize=26945092 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/23705/task/23727/stat : 23727 (java) S 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 175138993 27591774208 65756 33554432000 4194304 4196468 140731978120640 140430796645584 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23728] ppid=23702 vsize=26945092 memory=14981065844462237 CPUtime=0.1 cores=0-7 /proc/23705/task/23728/stat : 23728 (java) R 23702 23705 22899 0 -1 4202560 135 0 0 0 10 0 0 0 20 0 34 0 175139002 27591774208 65756 33554432000 4194304 4196468 140731978120640 140430793489752 140431891505045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23729] ppid=23702 vsize=26945092 memory=0 CPUtime=0.11 cores=0-7 /proc/23705/task/23729/stat : 23729 (java) R 23702 23705 22899 0 -1 4202560 89 0 0 0 11 0 0 0 20 0 34 0 175139003 27591774208 65756 33554432000 4194304 4196468 140731978120640 140430792439760 140431891485416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23730] ppid=23702 vsize=26945092 memory=0 CPUtime=0.1 cores=0-7 /proc/23705/task/23730/stat : 23730 (java) R 23702 23705 22899 0 -1 4202560 48 0 0 0 10 0 0 0 20 0 34 0 175139004 27591774208 65756 33554432000 4194304 4196468 140731978120640 140430791383816 140431891490755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 8.01 s Current children cumulated vsize: 26945092 KiB Current children cumulated memory: 263024 KiB [startup+3.40623 s] /proc/loadavg: 7.94 8.48 8.54 2/203 23729 /proc/meminfo: memFree=21188836/32770624 swapFree=67108860/67108860 [pid=23705] ppid=23702 vsize=27477604 memory=286976 CPUtime=9.54 cores=0-7 /proc/23705/stat : 23705 (java) S 23702 23705 22899 0 -1 1077944320 35310 0 0 0 936 18 0 0 20 0 42 0 175138703 28137066496 71744 33554432000 4194304 4196468 140731978120640 140731978103184 140432277937911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 /proc/23705/statm: 6869401 71744 3837 1 0 6856594 0 [pid=23705/tid=23707] ppid=23702 vsize=27477604 memory=0 CPUtime=2.96 cores=0-7 /proc/23705/task/23707/stat : 23707 (java) S 23702 23705 22899 0 -1 1077944384 14672 0 0 0 290 6 0 0 20 0 42 0 175138704 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432282175616 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23708] ppid=23702 vsize=27477604 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23708/stat : 23708 (java) S 23702 23705 22899 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432230558752 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23709] ppid=23702 vsize=27477604 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23709/stat : 23709 (java) S 23702 23705 22899 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432229506192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23710] ppid=23702 vsize=27477604 memory=0 CPUtime=0.02 cores=0-7 /proc/23705/task/23710/stat : 23710 (java) S 23702 23705 22899 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432228453136 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23711] ppid=23702 vsize=27477604 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23711/stat : 23711 (java) S 23702 23705 22899 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432227400592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23712] ppid=23702 vsize=27477604 memory=0 CPUtime=0.01 cores=0-7 /proc/23705/task/23712/stat : 23712 (java) S 23702 23705 22899 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432226347536 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23713] ppid=23702 vsize=27477604 memory=0 CPUtime=0.02 cores=0-7 /proc/23705/task/23713/stat : 23713 (java) R 23702 23705 22899 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432225294888 140432270566119 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23714] ppid=23702 vsize=27477604 memory=0 CPUtime=0.02 cores=0-7 /proc/23705/task/23714/stat : 23714 (java) S 23702 23705 22899 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432224241936 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23715] ppid=23702 vsize=27477604 memory=56 CPUtime=0.01 cores=0-7 /proc/23705/task/23715/stat : 23715 (java) S 23702 23705 22899 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 42 0 175138705 28137066496 71744 33554432000 4194304 4196468 140731978120640 140432223189392 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23716] ppid=23702 vsize=27477604 memory=3290 CPUtime=0.01 cores=0-7 /proc/23705/task/23716/stat : 23716 (java) S 23702 23705 22899 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 42 0 175138706 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431020999744 140432277948117 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23717] ppid=23702 vsize=27477604 memory=15681 CPUtime=0 cores=0-7 /proc/23705/task/23717/stat : 23717 (java) S 23702 23705 22899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 42 0 175138706 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431019947744 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23718] ppid=23702 vsize=27477604 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23718/stat : 23718 (java) S 23702 23705 22899 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 42 0 175138707 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431018894592 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23719] ppid=23702 vsize=27477604 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23719/stat : 23719 (java) S 23702 23705 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431017843152 140432277956507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23720] ppid=23702 vsize=27477604 memory=0 CPUtime=1.28 cores=0-7 /proc/23705/task/23720/stat : 23720 (java) S 23702 23705 22899 0 -1 1077944384 4308 0 0 0 127 1 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431016775248 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23721] ppid=23702 vsize=27477604 memory=0 CPUtime=1.26 cores=0-7 /proc/23705/task/23721/stat : 23721 (java) S 23702 23705 22899 0 -1 1077944384 3589 0 0 0 125 1 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431015720192 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23722] ppid=23702 vsize=27477604 memory=0 CPUtime=1.23 cores=0-7 /proc/23705/task/23722/stat : 23722 (java) S 23702 23705 22899 0 -1 1077944384 3007 0 0 0 122 1 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431014664464 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23723] ppid=23702 vsize=27477604 memory=0 CPUtime=0.77 cores=0-7 /proc/23705/task/23723/stat : 23723 (java) S 23702 23705 22899 0 -1 1077944384 6509 0 0 0 76 1 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431013632112 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23724] ppid=23702 vsize=27477604 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23724/stat : 23724 (java) S 23702 23705 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431012580320 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23725] ppid=23702 vsize=27477604 memory=0 CPUtime=0 cores=0-7 /proc/23705/task/23725/stat : 23725 (java) S 23702 23705 22899 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 42 0 175138709 28137066496 71744 33554432000 4194304 4196468 140731978120640 140431011527856 140432277949058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23727] ppid=23702 vsize=27477604 memory=239404 CPUtime=0 cores=0-7 /proc/23705/task/23727/stat : 23727 (java) S 23702 23705 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 42 0 175138993 28137066496 71744 33554432000 4194304 4196468 140731978120640 140430796645280 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23728] ppid=23702 vsize=27477604 memory=0 CPUtime=0.2 cores=0-7 /proc/23705/task/23728/stat : 23728 (java) S 23702 23705 22899 0 -1 1077944384 135 0 0 0 20 0 0 0 20 0 42 0 175139002 28137066496 71744 33554432000 4194304 4196468 140731978120640 140430793495472 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23729] ppid=23702 vsize=27477604 memory=0 CPUtime=0.23 cores=0-7 /proc/23705/task/23729/stat : 23729 (java) S 23702 23705 22899 0 -1 1077944384 113 0 0 0 23 0 0 0 20 0 42 0 175139003 28137066496 71744 33554432000 4194304 4196468 140731978120640 140430792442928 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 [pid=23705/tid=23730] ppid=23702 vsize=27477604 memory=7302140670638057298 CPUtime=0.19 cores=0-7 /proc/23705/task/23730/stat : 23730 (java) S 23702 23705 22899 0 -1 1077944384 51 0 0 0 19 0 0 0 20 0 42 0 175139004 28137066496 71744 33554432000 4194304 4196468 140731978120640 140430791389872 140432277948117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30035968 140731978122337 140731978122523 140731978122523 140731978125263 0 Current children cumulated CPU time: 9.54 s Current children cumulated vsize: 27477604 KiB Current children cumulated memory: 286976 KiB Child status: 0 Real time (s): 3.47655 CPU time (s): 9.72029 CPU user time (s): 9.51968 CPU system time (s): 0.200615 CPU usage (%): 279.596 Max. virtual memory (cumulated for all children) (KiB): 27477604 Max. memory (cumulated for all children) (KiB): 286976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.51968 system time used= 0.200615 maximum resident set size= 299504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36045 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5115 involuntary context switches= 160 # summary of solver processes directly reported to runsolver: # pid: 23705 # total CPU time (s): 9.72029 # total CPU user time (s): 9.51968 # total CPU system time (s): 0.200615 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046803 second user time and 0.078904 second system time The end
Begin job on node113 at 2017-08-22 18:34:12 IDJOB=4285299 IDBENCH=122882 IDSOLVER=2681 FILE ID=node113/4285299-1503420513 RUNJOBID= node113-1503413660-22926 PBS_JOBID= 20632122 Free space on /tmp= 60796 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-048.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285299-1503420513/watcher-4285299-1503420513 -o /tmp/evaluation-result-4285299-1503420513/solver-4285299-1503420513 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503413660-22926 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1466706509 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285299-1503420513.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7adabca14a9e2cab4a49f4d8c4ab1203 RANDOM SEED=1466706509 node113.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.89 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.89 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.89 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.89 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: 21426576 kB MemAvailable: 31944628 kB Buffers: 272952 kB Cached: 10525984 kB SwapCached: 0 kB Active: 2319688 kB Inactive: 8533404 kB Active(anon): 4548 kB Inactive(anon): 94080 kB Active(file): 2315140 kB Inactive(file): 8439324 kB Unevictable: 7716 kB Mlocked: 7716 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42300 kB Writeback: 4 kB AnonPages: 62300 kB Mapped: 54716 kB Shmem: 41608 kB Slab: 185708 kB SReclaimable: 158848 kB SUnreclaim: 26860 kB KernelStack: 3168 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 342164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 60756 MiB End job on node113 at 2017-08-22 18:34:16