Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | OPT | 6 | 6.4906001 | 1.94918 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml |
MD5SUM | 7be818acedb52ac703edcbfe3be7901c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 0.032563999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 56 |
Number of constraints | 47 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 51 |
Distribution of domain sizes | [{"size":2,"count":25},{"size":3,"count":25},{"size":10,"count":1},{"size":51,"count":5}] |
Minimum variable degree | 1 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":22},{"degree":3,"count":8},{"degree":4,"count":12},{"degree":6,"count":1},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":17},{"arity":3,"count":12},{"arity":5,"count":4},{"arity":6,"count":1},{"arity":7,"count":4},{"arity":10,"count":9}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 16 |
Distribution of constraint types | [{"type":"extension","count":21},{"type":"intension","count":16},{"type":"sum","count":6},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 1610494639 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 0.87/0.60 c Parsing done, starting search... 4.19/1.65 o 4 4.19/1.66 o 5 4.19/1.66 o 6 6.31/1.92 s OPTIMUM FOUND 6.31/1.92 v <instantiation> 6.31/1.92 v <list> 6.31/1.92 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] ws[0] ws[1] ws[2] ws[3] ws[4] z 6.31/1.92 v </list> 6.31/1.92 v <values> 6.31/1.92 v 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 0 1 2 4 5 6 6 6.31/1.92 v </values> 6.31/1.92 v </instantiation>
OK 6
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 (8935 MiB free) memory of node 1: 16384 MiB (9845 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285014-1503413425/watcher-4285014-1503413425 -o /tmp/evaluation-result-4285014-1503413425/solver-4285014-1503413425 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503404997-4622 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1610494639 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285014-1503413425.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=5133, runsolver pid=5130 [startup+0.100144 s]* /proc/loadavg: 8.36 8.77 8.81 2/198 5153 /proc/meminfo: memFree=19211932/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=26000852 memory=31920 CPUtime=0.12 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 8393 0 0 0 11 1 0 0 20 0 20 0 174413889 26624872448 7980 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6500213 7980 3412 1 0 6487932 0 [pid=5133/tid=5135] ppid=5130 vsize=26000852 memory=4353742182401864602 CPUtime=0.09 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) R 5130 5133 4595 0 -1 4202560 6348 0 0 0 8 1 0 0 20 0 20 0 174413889 26624872448 7980 33554432000 4194304 4196468 140722630978496 140273311839840 140273291703646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=26000852 memory=732370804997553125 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=26000852 memory=140666660099712 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413891 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174413892 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272434394272 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174413892 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272433341168 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) S 5130 5133 4595 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272431237872 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272430185328 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272429132272 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) S 5130 5133 4595 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272428079728 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413895 26624872448 7980 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31920 KiB [startup+0.209635 s]* /proc/loadavg: 8.36 8.77 8.81 5/198 5153 /proc/meminfo: memFree=19204176/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=26000852 memory=40804 CPUtime=0.29 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 9379 0 0 0 27 2 0 0 20 0 20 0 174413889 26624872448 10201 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6500213 10201 3605 1 0 6487932 0 [pid=5133/tid=5135] ppid=5130 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) R 5130 5133 4595 0 -1 4202560 6972 0 0 0 18 1 0 0 20 0 20 0 174413889 26624872448 10201 33554432000 4194304 4196468 140722630978496 140273311828464 140273291703646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=26000852 memory=140666660941591 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413890 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174413891 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174413892 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272434394272 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174413892 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272433341168 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413894 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) S 5130 5133 4595 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 20 0 174413894 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272431237872 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) S 5130 5133 4595 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 174413894 26624872448 10201 33554432000 4194304 4196468 140722630978496 140272430185328 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=26000884 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) S 5130 5133 4595 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 174413894 26624905216 10201 33554432000 4194304 4196468 140722630978496 140272429132272 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=26000884 memory=0 CPUtime=0.05 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) S 5130 5133 4595 0 -1 1077944384 386 0 0 0 5 0 0 0 20 0 20 0 174413894 26624905216 10201 33554432000 4194304 4196468 140722630978496 140272428079728 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=26000884 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413894 26624905216 10201 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=26000884 memory=-1 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413895 26624905216 10201 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 40804 KiB [startup+0.309483 s]* /proc/loadavg: 8.36 8.77 8.81 2/198 5153 /proc/meminfo: memFree=19196856/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=26000872 memory=49148 CPUtime=0.47 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 10606 0 0 0 44 3 0 0 20 0 20 0 174413889 26624892928 12287 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6500218 12287 3695 1 0 6487932 0 [pid=5133/tid=5135] ppid=5130 vsize=26000872 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) R 5130 5133 4595 0 -1 4202560 7740 0 0 0 26 2 0 0 20 0 20 0 174413889 26624892928 12287 33554432000 4194304 4196468 140722630978496 140273311834640 140273307635094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=26000872 memory=140666554381231 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=26000872 memory=140666554383536 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=26000872 memory=140666554385840 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413890 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174413891 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=26000872 memory=281333108778640 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174413892 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272434394272 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=26000872 memory=281333108785552 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174413892 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272433341168 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=26000872 memory=281333108726832 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=26000872 memory=281333108799376 CPUtime=0.02 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) S 5130 5133 4595 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272431237872 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=26000872 memory=281333108806288 CPUtime=0.03 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) S 5130 5133 4595 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272430185328 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=26000872 memory=281333108803984 CPUtime=0.03 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) S 5130 5133 4595 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272429132272 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=26000872 memory=281333108820544 CPUtime=0.08 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) R 5130 5133 4595 0 -1 4202560 411 0 0 0 8 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272428079728 140273291703646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413894 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413895 26624892928 12287 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49148 KiB [startup+0.700805 s] /proc/loadavg: 8.36 8.77 8.81 5/198 5153 /proc/meminfo: memFree=19183580/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=26004968 memory=81244 CPUtime=1.26 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 13909 0 0 0 121 5 0 0 20 0 20 0 174413889 26629087232 20311 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6501242 20311 3769 1 0 6488956 0 [pid=5133/tid=5135] ppid=5130 vsize=26004968 memory=5787221622547431520 CPUtime=0.67 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) R 5130 5133 4595 0 -1 4202560 9361 0 0 0 64 3 0 0 20 0 20 0 174413889 26629087232 20311 33554432000 4194304 4196468 140722630978496 140273311858960 140273307645085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=26004968 memory=22127671519296 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20311 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=26004968 memory=140666554388550 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=26004968 memory=1840 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174413890 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=26004968 memory=12136 CPUtime=0 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174413891 26629087232 20331 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 ################ # More data... # ################ [pid=5133/tid=5152] ppid=5130 vsize=26142192 memory=7085680916006201682 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 174413894 26769604608 54454 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=26142192 memory=140670955067007 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 174413895 26769604608 54454 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 3.83 s Current children cumulated vsize: 26142192 KiB Current children cumulated memory: 217816 KiB [startup+1.94911 s] # the end of solver process 5133 was just reported to runsolver # cumulated CPU time of all completed processes: user=6.292 s, system=0.198609 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60114 s] /proc/loadavg: 8.36 8.77 8.81 6/198 5153 /proc/meminfo: memFree=19114948/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=26876444 memory=240140 CPUtime=4.19 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 34629 0 0 0 406 13 0 0 20 0 33 0 174413889 27521478656 60035 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6719111 60035 3824 1 0 6706825 0 [pid=5133/tid=5135] ppid=5130 vsize=26876444 memory=6933690287860520088 CPUtime=1.52 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) S 5130 5133 4595 0 -1 1077944384 12882 0 0 0 147 5 0 0 20 0 33 0 174413889 27521478656 60035 33554432000 4194304 4196468 140722630978496 140273311860544 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=26876444 memory=-9181546050914066336 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=26876444 memory=-7739291840220455296 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=26876444 memory=7100839852556452247 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=26876444 memory=8514726395714956677 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=26876444 memory=-8995268955501530231 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=26876444 memory=4279135704013972374 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=26876444 memory=-9104981472004229005 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 33 0 174413890 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=26876444 memory=7811845871576248168 CPUtime=0.01 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 33 0 174413891 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=26876444 memory=7085964658827880549 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 33 0 174413892 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272434394336 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=26876444 memory=212 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 33 0 174413892 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272433341184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=26876444 memory=140666554497729 CPUtime=0.56 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) R 5130 5133 4595 0 -1 4202560 4688 0 0 0 54 2 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272431227664 140273285645946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=26876444 memory=0 CPUtime=0.62 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) R 5130 5133 4595 0 -1 4202560 4158 0 0 0 61 1 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272430171872 140273291529113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=26876444 memory=-8486080722631693414 CPUtime=0.66 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) R 5130 5133 4595 0 -1 4202560 4999 0 0 0 65 1 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272429113504 140273285640168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=26876444 memory=-7023579799431922829 CPUtime=0.6 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) S 5130 5133 4595 0 -1 1077944384 5567 0 0 0 59 1 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272428077520 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=26876444 memory=3047711553219693942 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 174413894 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=26876444 memory=4426639978525455914 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 174413895 27521478656 60035 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 4.19 s Current children cumulated vsize: 26876444 KiB Current children cumulated memory: 240140 KiB [startup+1.8041 s] /proc/loadavg: 8.36 8.77 8.81 6/198 5153 /proc/meminfo: memFree=19114948/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=27743860 memory=244900 CPUtime=5.66 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 38662 0 0 0 550 16 0 0 20 0 46 0 174413889 28409712640 61225 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6935965 61225 3828 1 0 6923158 0 [pid=5133/tid=5135] ppid=5130 vsize=27743860 memory=8328453600958622283 CPUtime=1.52 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) S 5130 5133 4595 0 -1 1077944384 12887 0 0 0 147 5 0 0 20 0 46 0 174413889 28409712640 61225 33554432000 4194304 4196468 140722630978496 140273311860864 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=27743860 memory=-8412652160765825907 CPUtime=0 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=27743860 memory=7100839878645619564 CPUtime=0 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=27743860 memory=-8634980985311628903 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=27743860 memory=-8918990855134196790 CPUtime=0 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=27743860 memory=6944656591801717918 CPUtime=0 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=27743860 memory=4209357772117481859 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=27743860 memory=-3689385055762157364 CPUtime=0 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=27743860 memory=-7812193691855986592 CPUtime=0 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 46 0 174413890 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=27743860 memory=-5587046532246807594 CPUtime=0.01 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) S 5130 5133 4595 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 46 0 174413891 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272435448048 140273307634306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=27743860 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 174413892 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272434394336 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=27743860 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 174413892 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272433341184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=27743860 memory=7100839852926015589 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=27743860 memory=4040 CPUtime=0.64 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) R 5130 5133 4595 0 -1 4202560 5074 0 0 0 62 2 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272431223632 140273291109118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=27743860 memory=1792 CPUtime=0.7 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) R 5130 5133 4595 0 -1 4202560 4848 0 0 0 69 1 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272430172112 140273299863094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=27743860 memory=640 CPUtime=0.74 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) R 5130 5133 4595 0 -1 4202560 5252 0 0 0 73 1 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272429113680 140273285640179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=27743860 memory=960 CPUtime=0.66 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) R 5130 5133 4595 0 -1 1077944384 7637 0 0 0 65 1 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272428075456 140273307633365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=27743860 memory=1232 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 174413894 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=27743860 memory=2468 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 174413895 28409712640 61225 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 5.66 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 244900 KiB [startup+1.90089 s] /proc/loadavg: 8.36 8.77 8.81 6/198 5153 /proc/meminfo: memFree=19114948/32770624 swapFree=67108860/67108860 [pid=5133] ppid=5130 vsize=27743860 memory=269908 CPUtime=6.31 cores=0-7 /proc/5133/stat : 5133 (java) S 5130 5133 4595 0 -1 1077944320 39512 0 0 0 613 18 0 0 20 0 45 0 174413889 28409712640 67477 33554432000 4194304 4196468 140722630978496 140722630961040 140273307623159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 /proc/5133/statm: 6935965 67477 3847 1 0 6923158 0 [pid=5133/tid=5135] ppid=5130 vsize=27743860 memory=0 CPUtime=1.52 cores=0-7 /proc/5133/task/5135/stat : 5135 (java) S 5130 5133 4595 0 -1 1077944384 12887 0 0 0 147 5 0 0 20 0 45 0 174413889 28409712640 67477 33554432000 4194304 4196468 140722630978496 140273311860864 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5136] ppid=5130 vsize=27743860 memory=2241 CPUtime=0.01 cores=0-7 /proc/5133/task/5136/stat : 5136 (java) S 5130 5133 4595 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272865401360 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5137] ppid=5130 vsize=27743860 memory=2244 CPUtime=0.01 cores=0-7 /proc/5133/task/5137/stat : 5137 (java) S 5130 5133 4595 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272864348816 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5138] ppid=5130 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5138/stat : 5138 (java) S 5130 5133 4595 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272863295760 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5139] ppid=5130 vsize=27743860 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5139/stat : 5139 (java) S 5130 5133 4595 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272862243216 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5140] ppid=5130 vsize=27743860 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5140/stat : 5140 (java) S 5130 5133 4595 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272861191184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5141] ppid=5130 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5141/stat : 5141 (java) S 5130 5133 4595 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272860138640 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5142] ppid=5130 vsize=27743860 memory=0 CPUtime=0.01 cores=0-7 /proc/5133/task/5142/stat : 5142 (java) S 5130 5133 4595 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272859085584 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5143] ppid=5130 vsize=27743860 memory=7302140670654900050 CPUtime=0.01 cores=0-7 /proc/5133/task/5143/stat : 5143 (java) S 5130 5133 4595 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 45 0 174413890 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272858033040 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5144] ppid=5130 vsize=27743860 memory=7301857172715104592 CPUtime=0.02 cores=0-7 /proc/5133/task/5144/stat : 5144 (java) R 5130 5133 4595 0 -1 4202560 233 0 0 0 2 0 0 0 20 0 45 0 174413891 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272435446336 140273292154819 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5145] ppid=5130 vsize=27743860 memory=7085680916006201682 CPUtime=0 cores=0-7 /proc/5133/task/5145/stat : 5145 (java) S 5130 5133 4595 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 45 0 174413892 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272434394336 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5146] ppid=5130 vsize=27743860 memory=207424 CPUtime=0 cores=0-7 /proc/5133/task/5146/stat : 5146 (java) S 5130 5133 4595 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 174413892 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272433341184 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5147] ppid=5130 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/5133/task/5147/stat : 5147 (java) S 5130 5133 4595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272432289744 140273307641755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5148] ppid=5130 vsize=27743860 memory=442 CPUtime=0.68 cores=0-7 /proc/5133/task/5148/stat : 5148 (java) S 5130 5133 4595 0 -1 1077944384 5084 0 0 0 66 2 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272431218016 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5149] ppid=5130 vsize=27743860 memory=92 CPUtime=0.71 cores=0-7 /proc/5133/task/5149/stat : 5149 (java) S 5130 5133 4595 0 -1 1077944384 4850 0 0 0 70 1 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272430169312 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5150] ppid=5130 vsize=27743860 memory=113 CPUtime=0.79 cores=0-7 /proc/5133/task/5150/stat : 5150 (java) R 5130 5133 4595 0 -1 4202560 5588 0 0 0 78 1 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272429118152 140273289142481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5151] ppid=5130 vsize=27743860 memory=19416 CPUtime=0.69 cores=0-7 /proc/5133/task/5151/stat : 5151 (java) S 5130 5133 4595 0 -1 1077944384 7700 0 0 0 68 1 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272428076928 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5152] ppid=5130 vsize=27743860 memory=1 CPUtime=0 cores=0-7 /proc/5133/task/5152/stat : 5152 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 174413894 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272427026912 140273307633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 [pid=5133/tid=5153] ppid=5130 vsize=27743860 memory=281333108909552 CPUtime=0 cores=0-7 /proc/5133/task/5153/stat : 5153 (java) S 5130 5133 4595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 174413895 28409712640 67477 33554432000 4194304 4196468 140722630978496 140272425974448 140273307634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722630984801 140722630984987 140722630984987 140722630987727 0 Current children cumulated CPU time: 6.31 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 269908 KiB Child status: 0 Real time (s): 1.94918 CPU time (s): 6.4906 CPU user time (s): 6.292 CPU system time (s): 0.198609 CPU usage (%): 332.991 Max. virtual memory (cumulated for all children) (KiB): 27743860 Max. memory (cumulated for all children) (KiB): 269908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.292 system time used= 0.198609 maximum resident set size= 279752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39686 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= 5786 involuntary context switches= 125 # summary of solver processes directly reported to runsolver: # pid: 5133 # total CPU time (s): 6.4906 # total CPU user time (s): 6.292 # total CPU system time (s): 0.198609 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036136 second user time and 0.051762 second system time The end
Begin job on node105 at 2017-08-22 16:36:04 IDJOB=4285014 IDBENCH=115924 IDSOLVER=2681 FILE ID=node105/4285014-1503413425 RUNJOBID= node105-1503404997-4622 PBS_JOBID= 20632115 Free space on /tmp= 60032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-03.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-4285014-1503413425/watcher-4285014-1503413425 -o /tmp/evaluation-result-4285014-1503413425/solver-4285014-1503413425 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503404997-4622 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1610494639 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285014-1503413425.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7be818acedb52ac703edcbfe3be7901c RANDOM SEED=1610494639 node105.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.17 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.17 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.17 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.17 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: 19232032 kB MemAvailable: 31936536 kB Buffers: 251036 kB Cached: 12723256 kB SwapCached: 0 kB Active: 3243040 kB Inactive: 9784508 kB Active(anon): 3608 kB Inactive(anon): 94016 kB Active(file): 3239432 kB Inactive(file): 9690492 kB Unevictable: 7328 kB Mlocked: 7328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42220 kB Writeback: 4 kB AnonPages: 60576 kB Mapped: 54828 kB Shmem: 41612 kB Slab: 207260 kB SReclaimable: 180832 kB SUnreclaim: 26428 kB KernelStack: 3152 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 340640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59992 MiB End job on node105 at 2017-08-22 16:36:06