Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 5.8973498 | 1.99078 |
Name | CostasArray/CostasArray-m1-s1/ CostasArray-11.xml |
MD5SUM | 3fcfeb53ce07eb54a5be36acb820af5a |
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.128225 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 63 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 11 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":11,"count":11},{"size":20,"count":52}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":52},{"degree":10,"count":2},{"degree":11,"count":9}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":3,"count":53},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 53 |
Distribution of constraint types | [{"type":"intension","count":53},{"type":"allDifferent","count":9}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.26 c seed: 1199195110 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 22000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 0.82/0.59 c Parsing done, starting search... 5.56/1.96 s SATISFIABLE 5.56/1.96 v <instantiation> 5.56/1.96 v <list> 5.56/1.96 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] 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] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] 5.56/1.96 v </list> 5.56/1.96 v <values> 5.56/1.96 v 11 10 5 1 3 9 2 6 4 7 8 1 5 4 -2 -6 7 -4 2 -3 -1 6 9 2 -8 1 3 -2 -1 -4 10 7 -4 -1 -3 5 -5 -2 8 1 3 -5 -1 2 -6 2 8 -1 -3 -4 1 9 4 1 -6 -5 5 6 -2 -7 7 3 -3 5.56/1.96 v </values> 5.56/1.96 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 (12354 MiB free) memory of node 1: 16384 MiB (9069 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285108-1503414971/watcher-4285108-1503414971 -o /tmp/evaluation-result-4285108-1503414971/solver-4285108-1503414971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503411506-1783 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1199195110 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285108-1503414971.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 Current StackSize limit: 8192 KiB solver pid=3489, runsolver pid=3486 [startup+0.100143 s]* /proc/loadavg: 3.26 6.96 7.99 1/200 3509 /proc/meminfo: memFree=21922472/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26000852 memory=31636 CPUtime=0.12 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 8323 0 0 0 10 2 0 0 20 0 20 0 174577905 26624872448 7909 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6500213 7909 3404 1 0 6487932 0 [pid=3489/tid=3491] ppid=3486 vsize=26000852 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) R 3486 3489 1756 0 -1 4202560 6252 0 0 0 7 1 0 0 20 0 20 0 174577905 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769695561312 139769675425118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26000852 memory=140377908127360 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 7909 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577907 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174577908 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768097650336 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174577908 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768096597232 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) S 3486 3489 1756 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768094492912 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768093440368 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768092387312 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) R 3486 3489 1756 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 20 0 174577910 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768091334768 139769675526408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577911 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577911 26624872448 7909 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31636 KiB [startup+0.21044 s]* /proc/loadavg: 3.26 6.96 7.99 2/200 3509 /proc/meminfo: memFree=21912112/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26000852 memory=41152 CPUtime=0.29 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 9369 0 0 0 26 3 0 0 20 0 20 0 174577905 26624872448 10288 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6500213 10288 3621 1 0 6487932 0 [pid=3489/tid=3491] ppid=3486 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) R 3486 3489 1756 0 -1 4202560 6908 0 0 0 17 2 0 0 20 0 20 0 174577905 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769695569712 139769691366557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26000852 memory=13941 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26000852 memory=140377908129500 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624872448 10288 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174577907 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174577908 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768097650336 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174577908 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768096597232 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) S 3486 3489 1756 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768094492912 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) S 3486 3489 1756 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 174577910 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768093440368 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) S 3486 3489 1756 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 174577910 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768092387312 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) S 3486 3489 1756 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 20 0 174577910 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768091334768 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577911 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577911 26624872448 10288 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 41152 KiB [startup+0.309931 s]* /proc/loadavg: 3.26 6.96 7.99 2/200 3509 /proc/meminfo: memFree=21903676/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26000872 memory=50016 CPUtime=0.48 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 10703 0 0 0 44 4 0 0 20 0 20 0 174577905 26624892928 12504 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6500218 12504 3721 1 0 6487932 0 [pid=3489/tid=3491] ppid=3486 vsize=26000872 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) R 3486 3489 1756 0 -1 4202560 7682 0 0 0 26 2 0 0 20 0 20 0 174577905 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769695564400 139769691366557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26000872 memory=140377784939439 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26000872 memory=140377784941744 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26000872 memory=140377784944048 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26624892928 12504 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174577907 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=26000872 memory=280755569895056 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174577908 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768097650336 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=26000872 memory=280755569901968 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174577908 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768096597232 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=26000872 memory=280755569843248 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577910 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=26000872 memory=280755569915792 CPUtime=0.02 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) S 3486 3489 1756 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 174577910 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768094492912 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=26000872 memory=280755569922704 CPUtime=0.02 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) S 3486 3489 1756 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 174577910 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768093440368 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=26000872 memory=280755569920400 CPUtime=0.03 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) S 3486 3489 1756 0 -1 1077944384 208 0 0 0 3 0 0 0 20 0 20 0 174577910 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768092387312 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=26000872 memory=280755569937008 CPUtime=0.08 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) S 3486 3489 1756 0 -1 1077944384 549 0 0 0 8 0 0 0 20 0 20 0 174577910 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768091334768 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577911 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577911 26624892928 12504 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 50016 KiB [startup+0.700879 s] /proc/loadavg: 3.26 6.96 7.99 3/200 3509 /proc/meminfo: memFree=21891004/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26004968 memory=77988 CPUtime=1.14 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 13084 0 0 0 109 5 0 0 20 0 20 0 174577905 26629087232 19497 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6501242 19497 3761 1 0 6488956 0 [pid=3489/tid=3491] ppid=3486 vsize=26004968 memory=0 CPUtime=0.66 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) R 3486 3489 1756 0 -1 4202560 9316 0 0 0 63 3 0 0 20 0 20 0 174577905 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769695562704 139769691368221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26004968 memory=792 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26004968 memory=1204 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26004968 memory=1728 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26004968 memory=1440 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26004968 memory=15880 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174577906 26629087232 19497 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26004968 memory=16432 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174577907 26629087232 19497 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 ################ # More data... # ################ [pid=3489/tid=3508] ppid=3486 vsize=26073580 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 174577911 26699345920 50784 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26073580 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 174577911 26699345920 50784 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 3.94 s Current children cumulated vsize: 26073580 KiB Current children cumulated memory: 203136 KiB [startup+1.99073 s] # the end of solver process 3489 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.67986 s, system=0.217487 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60111 s] /proc/loadavg: 3.26 6.96 7.99 5/200 3509 /proc/meminfo: memFree=21823792/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26142192 memory=213384 CPUtime=4.1 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 30402 0 0 0 398 12 0 0 20 0 22 0 174577905 26769604608 53346 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6535548 53346 3803 1 0 6523262 0 [pid=3489/tid=3491] ppid=3486 vsize=26142192 memory=0 CPUtime=1.56 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) R 3486 3489 1756 0 -1 4202560 12541 0 0 0 149 7 0 0 20 0 22 0 174577905 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769695570944 139769325692666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26142192 memory=4096 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26142192 memory=140377785152960 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 174577906 26769604608 53346 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 22 0 174577907 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 174577908 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768097650336 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=26142192 memory=12352325946124 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 174577908 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768096597232 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=26142192 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 174577910 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=26142192 memory=14699577932514657 CPUtime=0.58 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) S 3486 3489 1756 0 -1 1077944384 3889 0 0 0 57 1 0 0 20 0 22 0 174577910 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768094492912 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=26142192 memory=0 CPUtime=0.68 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) S 3486 3489 1756 0 -1 1077944384 3797 0 0 0 67 1 0 0 20 0 22 0 174577910 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768093440368 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=26142192 memory=0 CPUtime=0.67 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) S 3486 3489 1756 0 -1 1077944384 3807 0 0 0 66 1 0 0 20 0 22 0 174577910 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768092387312 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=26142192 memory=0 CPUtime=0.56 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) R 3486 3489 1756 0 -1 4202560 4900 0 0 0 55 1 0 0 20 0 22 0 174577910 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768091334768 139769683585612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 174577911 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 174577911 26769604608 53346 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 4.1 s Current children cumulated vsize: 26142192 KiB Current children cumulated memory: 213384 KiB [startup+1.80107 s] /proc/loadavg: 3.26 6.96 7.99 5/200 3509 /proc/meminfo: memFree=21823792/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=26943008 memory=236808 CPUtime=4.81 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 32822 0 0 0 467 14 0 0 20 0 34 0 174577905 27589640192 59202 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6735752 59202 3817 1 0 6723466 0 [pid=3489/tid=3491] ppid=3486 vsize=26943008 memory=8112282956445269571 CPUtime=1.67 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) S 3486 3489 1756 0 -1 1077944384 13078 0 0 0 160 7 0 0 20 0 34 0 174577905 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769695582016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=26943008 memory=803 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=26943008 memory=280755570032304 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=26943008 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=26943008 memory=14136627979093342 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=26943008 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=26943008 memory=7737558338806116722 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=26943008 memory=5795117241467496816 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=26943008 memory=5859271421084128616 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 34 0 174577906 27589640192 59202 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=26943008 memory=140377784951310 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 34 0 174577907 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=26943008 memory=280755570206080 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 34 0 174577908 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768097650400 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=26943008 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 34 0 174577908 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768096597248 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=26943008 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 174577910 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=26943008 memory=7158579636338846566 CPUtime=0.64 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) R 3486 3489 1756 0 -1 1077944384 3926 0 0 0 63 1 0 0 20 0 34 0 174577910 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768094485936 139769691354837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=26943008 memory=6945507666079274341 CPUtime=0.72 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) R 3486 3489 1756 0 -1 4202560 3805 0 0 0 71 1 0 0 20 0 34 0 174577910 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768093433560 139769677039684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=26943008 memory=2428 CPUtime=0.72 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) R 3486 3489 1756 0 -1 4202560 3818 0 0 0 71 1 0 0 20 0 34 0 174577910 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768092387440 139769674768056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=26943008 memory=1292 CPUtime=0.59 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) R 3486 3489 1756 0 -1 4202560 5803 0 0 0 58 1 0 0 20 0 34 0 174577910 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768091331504 139769672908183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=26943008 memory=1728 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 174577911 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=26943008 memory=12136 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 174577911 27589640192 59202 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 4.81 s Current children cumulated vsize: 26943008 KiB Current children cumulated memory: 236808 KiB [startup+1.90115 s] /proc/loadavg: 3.26 6.96 7.99 5/200 3509 /proc/meminfo: memFree=21823792/32770624 swapFree=67108860/67108860 [pid=3489] ppid=3486 vsize=27011656 memory=240660 CPUtime=5.56 cores=0-7 /proc/3489/stat : 3489 (java) S 3486 3489 1756 0 -1 1077944320 36262 0 0 0 539 17 0 0 20 0 35 0 174577905 27659935744 60165 33554432000 4194304 4196468 140727663237840 140727663220384 139769691344631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 /proc/3489/statm: 6752914 60165 3817 1 0 6740107 0 [pid=3489/tid=3491] ppid=3486 vsize=27011656 memory=0 CPUtime=1.67 cores=0-7 /proc/3489/task/3491/stat : 3491 (java) S 3486 3489 1756 0 -1 1077944384 13084 0 0 0 160 7 0 0 20 0 35 0 174577905 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769695582336 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3492] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3492/stat : 3492 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769647897616 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3493] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3493/stat : 3493 (java) S 3486 3489 1756 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769646845072 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3494] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3494/stat : 3494 (java) S 3486 3489 1756 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769645792016 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3495] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3495/stat : 3495 (java) S 3486 3489 1756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769246514064 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3496] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3496/stat : 3496 (java) S 3486 3489 1756 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769245461008 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3497] ppid=3486 vsize=27011656 memory=0 CPUtime=0 cores=0-7 /proc/3489/task/3497/stat : 3497 (java) S 3486 3489 1756 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769244408464 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3498] ppid=3486 vsize=27011656 memory=175100 CPUtime=0 cores=0-7 /proc/3489/task/3498/stat : 3498 (java) S 3486 3489 1756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769243355408 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3499] ppid=3486 vsize=27011656 memory=280755570052320 CPUtime=0 cores=0-7 /proc/3489/task/3499/stat : 3499 (java) S 3486 3489 1756 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 35 0 174577906 27659935744 60165 33554432000 4194304 4196468 140727663237840 139769242302864 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3500] ppid=3486 vsize=27011656 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/3489/task/3500/stat : 3500 (java) S 3486 3489 1756 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 35 0 174577907 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768098704112 139769691355778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3501] ppid=3486 vsize=27011656 memory=280755570053824 CPUtime=0 cores=0-7 /proc/3489/task/3501/stat : 3501 (java) S 3486 3489 1756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 35 0 174577908 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768097650400 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3502] ppid=3486 vsize=27011656 memory=280755570054016 CPUtime=0 cores=0-7 /proc/3489/task/3502/stat : 3502 (java) S 3486 3489 1756 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 35 0 174577908 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768096597248 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3503] ppid=3486 vsize=27011656 memory=280755570054208 CPUtime=0 cores=0-7 /proc/3489/task/3503/stat : 3503 (java) S 3486 3489 1756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 174577910 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768095545808 139769691363227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3504] ppid=3486 vsize=27011656 memory=280755570032320 CPUtime=0.69 cores=0-7 /proc/3489/task/3504/stat : 3504 (java) R 3486 3489 1756 0 -1 4202560 4442 0 0 0 68 1 0 0 20 0 35 0 174577910 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768094480288 139769691365978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3505] ppid=3486 vsize=27011656 memory=280755569755936 CPUtime=0.77 cores=0-7 /proc/3489/task/3505/stat : 3505 (java) R 3486 3489 1756 0 -1 4202560 3860 0 0 0 76 1 0 0 20 0 35 0 174577910 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768093430960 139769672865810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3506] ppid=3486 vsize=27011656 memory=280755569756128 CPUtime=0.79 cores=0-7 /proc/3489/task/3506/stat : 3506 (java) R 3486 3489 1756 0 -1 4202560 4094 0 0 0 78 1 0 0 20 0 35 0 174577910 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768092370512 139769677360332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3507] ppid=3486 vsize=27011656 memory=280755569756320 CPUtime=0.68 cores=0-7 /proc/3489/task/3507/stat : 3507 (java) R 3486 3489 1756 0 -1 4202560 8128 0 0 0 65 3 0 0 20 0 35 0 174577910 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768091332560 139769691365978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3508] ppid=3486 vsize=27011656 memory=280755569756512 CPUtime=0 cores=0-7 /proc/3489/task/3508/stat : 3508 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 174577911 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768090282976 139769691354837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 [pid=3489/tid=3509] ppid=3486 vsize=27011656 memory=140377785082080 CPUtime=0 cores=0-7 /proc/3489/task/3509/stat : 3509 (java) S 3486 3489 1756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 174577911 27659935744 60165 33554432000 4194304 4196468 140727663237840 139768089230512 139769691355778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19365888 140727663244385 140727663244571 140727663244571 140727663247311 0 Current children cumulated CPU time: 5.56 s Current children cumulated vsize: 27011656 KiB Current children cumulated memory: 240660 KiB Child status: 0 Real time (s): 1.99078 CPU time (s): 5.89735 CPU user time (s): 5.67986 CPU system time (s): 0.217487 CPU usage (%): 296.232 Max. virtual memory (cumulated for all children) (KiB): 27011656 Max. memory (cumulated for all children) (KiB): 240660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.67986 system time used= 0.217487 maximum resident set size= 271012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37242 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4989 involuntary context switches= 50 # summary of solver processes directly reported to runsolver: # pid: 3489 # total CPU time (s): 5.89735 # total CPU user time (s): 5.67986 # total CPU system time (s): 0.217487 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035796 second user time and 0.056251 second system time The end
Begin job on node148 at 2017-08-22 17:01:50 IDJOB=4285108 IDBENCH=120410 IDSOLVER=2681 FILE ID=node148/4285108-1503414971 RUNJOBID= node148-1503411506-1783 PBS_JOBID= 20632117 Free space on /tmp= 61644 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-11.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-4285108-1503414971/watcher-4285108-1503414971 -o /tmp/evaluation-result-4285108-1503414971/solver-4285108-1503414971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503411506-1783 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1199195110 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285108-1503414971.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fcfeb53ce07eb54a5be36acb820af5a RANDOM SEED=1199195110 node148.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.19 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.19 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.19 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.19 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: 21939424 kB MemAvailable: 31942704 kB Buffers: 304512 kB Cached: 9978016 kB SwapCached: 0 kB Active: 1719728 kB Inactive: 8615136 kB Active(anon): 4024 kB Inactive(anon): 92788 kB Active(file): 1715704 kB Inactive(file): 8522348 kB Unevictable: 7760 kB Mlocked: 7760 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42500 kB Writeback: 4 kB AnonPages: 60204 kB Mapped: 55080 kB Shmem: 41608 kB Slab: 189520 kB SReclaimable: 162124 kB SUnreclaim: 27396 kB KernelStack: 3184 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341680 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61600 MiB End job on node148 at 2017-08-22 17:01:52