Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 19972.2 | 2520.29 |
Name | MagicHexagon/ MagicHexagon-05-0006_c18.xml |
MD5SUM | c9b27afa5f83f52385759d74be3b3eae |
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 | 2321.49 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 81 |
Number of constraints | 34 |
Number of domains | 1 |
Minimum domain size | 61 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":61,"count":61}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 61 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1705431499 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 1.20/0.86 c Parsing done, starting search... 19970.09/2520.03 s UNKNOWN
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 (8328 MiB free) memory of node 1: 16384 MiB (14815 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291272-1532673840/watcher-4291272-1532673840 -o /tmp/evaluation-result-4291272-1532673840/solver-4291272-1532673840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532666250-8980 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1705431499 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291272-1532673840.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=9672, runsolver pid=9669 [startup+0.10013 s]* /proc/loadavg: 7.58 8.49 8.70 2/200 9692 /proc/meminfo: memFree=23681376/32770624 swapFree=67108404/67108860 [pid=9672] ppid=9669 vsize=26103424 memory=32092 CPUtime=0.11 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 6980 0 0 0 10 1 0 0 20 0 20 0 84947131 26729906176 8023 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6525856 8023 3137 1 0 6487932 0 [pid=9672/tid=9674] ppid=9669 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) R 9669 9672 8953 0 -1 4202560 5143 0 0 0 8 0 0 0 20 0 20 0 84947132 26729906176 8155 33554432000 4194304 4196468 140731926261008 140264410779976 140264398818110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=26103424 memory=139722974811776 CPUtime=0 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 8155 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9684] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9684/stat : 9684 (java) S 9669 9672 8953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263398733344 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9685] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9685/stat : 9685 (java) S 9669 9672 8953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84947135 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263397680496 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9686] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9686/stat : 9686 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263396628816 140264406599579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9687] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9687/stat : 9687 (java) S 9669 9672 8953 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263395576176 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9688] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9688/stat : 9688 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263394523376 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9689] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9689/stat : 9689 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263393470576 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9690] ppid=9669 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9672/task/9690/stat : 9690 (java) S 9669 9672 8953 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263392417776 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9691] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9691/stat : 9691 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263391366240 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9692] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9692/stat : 9692 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 8221 33554432000 4194304 4196468 140731926261008 140263390313520 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 32092 KiB [startup+0.210169 s]* /proc/loadavg: 7.58 8.49 8.70 3/200 9692 /proc/meminfo: memFree=23667980/32770624 swapFree=67108404/67108860 [pid=9672] ppid=9669 vsize=26103424 memory=43876 CPUtime=0.3 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 10124 0 0 0 28 2 0 0 20 0 20 0 84947131 26729906176 10969 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6525856 10969 3343 1 0 6487932 0 [pid=9672/tid=9674] ppid=9669 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) R 9669 9672 8953 0 -1 4202560 7910 0 0 0 19 1 0 0 20 0 20 0 84947132 26729906176 10969 33554432000 4194304 4196468 140731926261008 140264410810384 140264398818110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=26103424 memory=9326 CPUtime=0 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=26103424 memory=139722974821256 CPUtime=0 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9684] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9684/stat : 9684 (java) S 9669 9672 8953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263398733344 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9685] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9685/stat : 9685 (java) S 9669 9672 8953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84947135 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263397680496 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9686] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9686/stat : 9686 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263396628816 140264406599579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9687] ppid=9669 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/9672/task/9687/stat : 9687 (java) S 9669 9672 8953 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263395576176 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9688] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9688/stat : 9688 (java) S 9669 9672 8953 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263394523376 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9689] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9689/stat : 9689 (java) S 9669 9672 8953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263393470576 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9690] ppid=9669 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/9672/task/9690/stat : 9690 (java) R 9669 9672 8953 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263392417904 140264398818110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9691] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9691/stat : 9691 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263391366240 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9692] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9692/stat : 9692 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 10969 33554432000 4194304 4196468 140731926261008 140263390313520 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43876 KiB [startup+0.309563 s]* /proc/loadavg: 7.58 8.49 8.70 3/200 9692 /proc/meminfo: memFree=23665004/32770624 swapFree=67108404/67108860 [pid=9672] ppid=9669 vsize=26103424 memory=47432 CPUtime=0.43 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 10524 0 0 0 41 2 0 0 20 0 20 0 84947131 26729906176 11858 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6525856 11858 3378 1 0 6487932 0 [pid=9672/tid=9674] ppid=9669 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) R 9669 9672 8953 0 -1 4202560 8230 0 0 0 28 1 0 0 20 0 20 0 84947132 26729906176 11858 33554432000 4194304 4196468 140731926261008 140264410790336 140264386856666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=26103424 memory=139722869535663 CPUtime=0 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=26103424 memory=139722869537968 CPUtime=0 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=26103424 memory=139722869540272 CPUtime=0 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9684] ppid=9669 vsize=26103424 memory=279445739087504 CPUtime=0 cores=0-7 /proc/9672/task/9684/stat : 9684 (java) S 9669 9672 8953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84947134 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263398733344 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9685] ppid=9669 vsize=26103424 memory=279445739094416 CPUtime=0 cores=0-7 /proc/9672/task/9685/stat : 9685 (java) S 9669 9672 8953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84947135 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263397680496 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9686] ppid=9669 vsize=26103424 memory=279445739035696 CPUtime=0 cores=0-7 /proc/9672/task/9686/stat : 9686 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263396628816 140264406599579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9687] ppid=9669 vsize=26103424 memory=279445739108240 CPUtime=0.02 cores=0-7 /proc/9672/task/9687/stat : 9687 (java) S 9669 9672 8953 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263395576176 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9688] ppid=9669 vsize=26103424 memory=279445739115152 CPUtime=0 cores=0-7 /proc/9672/task/9688/stat : 9688 (java) S 9669 9672 8953 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263394523376 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9689] ppid=9669 vsize=26103424 memory=279445739112848 CPUtime=0.01 cores=0-7 /proc/9672/task/9689/stat : 9689 (java) S 9669 9672 8953 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263393470576 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9690] ppid=9669 vsize=26103424 memory=279445739129456 CPUtime=0.07 cores=0-7 /proc/9672/task/9690/stat : 9690 (java) S 9669 9672 8953 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263392417776 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9691] ppid=9669 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9691/stat : 9691 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263391366240 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9692] ppid=9669 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/9672/task/9692/stat : 9692 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947137 26729906176 11858 33554432000 4194304 4196468 140731926261008 140263390313520 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 47432 KiB [startup+0.700847 s] /proc/loadavg: 7.58 8.49 8.70 3/200 9692 /proc/meminfo: memFree=23641540/32770624 swapFree=67108404/67108860 [pid=9672] ppid=9669 vsize=26105492 memory=87608 CPUtime=0.99 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 17276 0 0 0 94 5 0 0 20 0 20 0 84947131 26732023808 21902 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6526373 21902 3463 1 0 6488444 0 [pid=9672/tid=9674] ppid=9669 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) R 9669 9672 8953 0 -1 4202560 14611 0 0 0 63 4 0 0 20 0 20 0 84947132 26732023808 21902 33554432000 4194304 4196468 140731926261008 140264410803648 140264406602909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=26105492 memory=5372 CPUtime=0 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=26105492 memory=1440 CPUtime=0 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=26105492 memory=4612 CPUtime=0 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=26105492 memory=1200 CPUtime=0 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=26105492 memory=15876 CPUtime=0 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84947133 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=26105492 memory=4044 CPUtime=0 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84947134 26732023808 21902 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 ################ # More data... # ################ [pid=9672] ppid=9669 vsize=27051760 memory=1545416 CPUtime=19970.1 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 2059910 0 0 0 1996074 935 0 0 20 0 34 0 84947131 27701002240 386354 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6762940 386354 3608 1 0 6724490 0 [pid=9672/tid=9674] ppid=9669 vsize=27051760 memory=1545416 CPUtime=2.4 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) S 9669 9672 8953 0 -1 1077944384 22820 0 0 0 232 8 0 0 20 0 34 0 84947132 27701002240 386354 33554432000 4194304 4196468 140731926261008 140264410818448 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=27051760 memory=4872558044660077418 CPUtime=6.16 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 146593 0 0 0 568 48 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=27051760 memory=24956 CPUtime=6.16 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 127434 0 0 0 576 40 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=27051760 memory=2396 CPUtime=6.14 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 133257 0 0 0 576 38 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=27051760 memory=1300 CPUtime=6.16 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 146974 0 0 0 575 41 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=27051760 memory=1732 CPUtime=6.14 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 134955 0 0 0 578 36 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=27051760 memory=1716 CPUtime=6.16 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 138369 0 0 0 576 40 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=27051760 memory=796 CPUtime=6.12 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 135947 0 0 0 571 41 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=27051760 memory=11008 CPUtime=6.13 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 134996 0 0 0 573 40 0 0 20 0 34 0 84947133 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=27051760 memory=1008 CPUtime=6.11 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 204994 0 0 0 509 102 0 0 20 0 34 0 84947134 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9684] ppid=9669 vsize=27051760 memory=1952 CPUtime=0 cores=0-7 /proc/9672/task/9684/stat : 9684 (java) S 9669 9672 8953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 34 0 84947134 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263398733408 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9685] ppid=9669 vsize=27051760 memory=8556 CPUtime=0 cores=0-7 /proc/9672/task/9685/stat : 9685 (java) S 9669 9672 8953 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 34 0 84947135 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263397680512 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9686] ppid=9669 vsize=27051760 memory=1228 CPUtime=0 cores=0-7 /proc/9672/task/9686/stat : 9686 (java) S 9669 9672 8953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263396628816 140264406599579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9687] ppid=9669 vsize=27051760 memory=5372 CPUtime=1.36 cores=0-7 /proc/9672/task/9687/stat : 9687 (java) S 9669 9672 8953 0 -1 1077944384 6408 0 0 0 135 1 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263395576176 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9688] ppid=9669 vsize=27051760 memory=1440 CPUtime=1.21 cores=0-7 /proc/9672/task/9688/stat : 9688 (java) S 9669 9672 8953 0 -1 1077944384 5598 0 0 0 120 1 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263394523376 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9689] ppid=9669 vsize=27051760 memory=8112282956445269571 CPUtime=1.32 cores=0-7 /proc/9672/task/9689/stat : 9689 (java) S 9669 9672 8953 0 -1 1077944384 6281 0 0 0 131 1 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263393470576 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9690] ppid=9669 vsize=27051760 memory=796 CPUtime=0.9 cores=0-7 /proc/9672/task/9690/stat : 9690 (java) S 9669 9672 8953 0 -1 1077944384 11757 0 0 0 88 2 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263392417776 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9691] ppid=9669 vsize=27051760 memory=11008 CPUtime=0 cores=0-7 /proc/9672/task/9691/stat : 9691 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263391366240 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9692] ppid=9669 vsize=27051760 memory=1008 CPUtime=0.76 cores=0-7 /proc/9672/task/9692/stat : 9692 (java) S 9669 9672 8953 0 -1 1077944384 10385 0 0 0 54 22 0 0 20 0 34 0 84947137 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263390313520 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9693] ppid=9669 vsize=27051760 memory=1952 CPUtime=0 cores=0-7 /proc/9672/task/9693/stat : 9693 (java) S 9669 9672 8953 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 34 0 84947335 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263376868480 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9694] ppid=9669 vsize=27051760 memory=8556 CPUtime=1.81 cores=0-7 /proc/9672/task/9694/stat : 9694 (java) S 9669 9672 8953 0 -1 1077944384 25474 0 0 0 56 125 0 0 20 0 34 0 84947356 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263375815968 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9695] ppid=9669 vsize=27051760 memory=1545416 CPUtime=2487.7 cores=0-7 /proc/9672/task/9695/stat : 9695 (java) R 9669 9672 8953 0 -1 4202560 80691 0 0 0 248708 62 0 0 20 0 34 0 84947372 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263372657776 140264054589009 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9696] ppid=9669 vsize=27051760 memory=288230583166042426 CPUtime=2486.54 cores=0-7 /proc/9672/task/9696/stat : 9696 (java) R 9669 9672 8953 0 -1 4202560 79258 0 0 0 248592 62 0 0 20 0 34 0 84947373 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263371605784 140264049608995 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9697] ppid=9669 vsize=27051760 memory=13847469322668609 CPUtime=0 cores=0-7 /proc/9672/task/9697/stat : 9697 (java) S 9669 9672 8953 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 34 0 84947373 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263370560288 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9698] ppid=9669 vsize=27051760 memory=1300 CPUtime=0.02 cores=0-7 /proc/9672/task/9698/stat : 9698 (java) S 9669 9672 8953 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263367410336 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9699] ppid=9669 vsize=27051760 memory=1732 CPUtime=0.02 cores=0-7 /proc/9672/task/9699/stat : 9699 (java) S 9669 9672 8953 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263366358560 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9700] ppid=9669 vsize=27051760 memory=1716 CPUtime=2488.99 cores=0-7 /proc/9672/task/9700/stat : 9700 (java) R 9669 9672 8953 0 -1 4202560 90264 0 0 0 248833 66 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140263365300816 140264049608521 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9701] ppid=9669 vsize=27051760 memory=8112282956445269571 CPUtime=2487.21 cores=0-7 /proc/9672/task/9701/stat : 9701 (java) R 9669 9672 8953 0 -1 4202560 83643 0 0 0 248660 61 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262576211512 140264053938874 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9702] ppid=9669 vsize=27051760 memory=5372 CPUtime=2486.37 cores=0-7 /proc/9672/task/9702/stat : 9702 (java) R 9669 9672 8953 0 -1 4202560 74987 0 0 0 248580 57 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262575158712 140264054585789 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9703] ppid=9669 vsize=27051760 memory=1440 CPUtime=2492.04 cores=0-7 /proc/9672/task/9703/stat : 9703 (java) R 9669 9672 8953 0 -1 4202560 88799 0 0 0 249140 64 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262574106424 140264049608586 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9704] ppid=9669 vsize=27051760 memory=4612 CPUtime=2488.74 cores=0-7 /proc/9672/task/9704/stat : 9704 (java) R 9669 9672 8953 0 -1 4202560 82649 0 0 0 248809 65 0 0 20 0 34 0 84947380 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262573053720 140264049609145 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9705] ppid=9669 vsize=27051760 memory=1200 CPUtime=2487.22 cores=0-7 /proc/9672/task/9705/stat : 9705 (java) R 9669 9672 8953 0 -1 4202560 85738 0 0 0 248658 64 0 0 20 0 34 0 84947386 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262572000752 140264054586012 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9706] ppid=9669 vsize=27051760 memory=15876 CPUtime=0 cores=0-7 /proc/9672/task/9706/stat : 9706 (java) S 9669 9672 8953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 84947386 27701002240 386354 33554432000 4194304 4196468 140731926261008 140262570955424 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 Current children cumulated CPU time: 19970.1 s Current children cumulated vsize: 27051760 KiB Current children cumulated memory: 1545416 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.29 s] # the end of solver process 9672 was just reported to runsolver # cumulated CPU time of all completed processes: user=19962.8 s, system=9.36665 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 9.23 9.01 8.85 10/212 9764 /proc/meminfo: memFree=22165780/32770624 swapFree=67108404/67108860 [pid=9672] ppid=9669 vsize=27651864 memory=1546660 CPUtime=19971.5 cores=0-7 /proc/9672/stat : 9672 (java) S 9669 9672 8953 0 -1 1077944320 2061849 0 0 0 1996217 935 0 0 20 0 44 0 84947131 28315508736 386665 33554432000 4194304 4196468 140731926261008 140731926243552 140264406580983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 /proc/9672/statm: 6912966 386665 3610 1 0 6874516 0 [pid=9672/tid=9674] ppid=9669 vsize=27651864 memory=14516 CPUtime=2.4 cores=0-7 /proc/9672/task/9674/stat : 9674 (java) S 9669 9672 8953 0 -1 1077944384 22820 0 0 0 232 8 0 0 20 0 44 0 84947132 28315508736 386665 33554432000 4194304 4196468 140731926261008 140264410818448 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9675] ppid=9669 vsize=27651864 memory=16240 CPUtime=6.16 cores=0-7 /proc/9672/task/9675/stat : 9675 (java) S 9669 9672 8953 0 -1 1077944384 146593 0 0 0 568 48 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263964331152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9676] ppid=9669 vsize=27651864 memory=1792 CPUtime=6.16 cores=0-7 /proc/9672/task/9676/stat : 9676 (java) S 9669 9672 8953 0 -1 1077944384 127437 0 0 0 576 40 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263963278352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9677] ppid=9669 vsize=27651864 memory=644 CPUtime=6.14 cores=0-7 /proc/9672/task/9677/stat : 9677 (java) S 9669 9672 8953 0 -1 1077944384 133260 0 0 0 576 38 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263962225552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9678] ppid=9669 vsize=27651864 memory=956 CPUtime=6.16 cores=0-7 /proc/9672/task/9678/stat : 9678 (java) S 9669 9672 8953 0 -1 1077944384 146979 0 0 0 575 41 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263961172752 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9679] ppid=9669 vsize=27651864 memory=1232 CPUtime=6.14 cores=0-7 /proc/9672/task/9679/stat : 9679 (java) S 9669 9672 8953 0 -1 1077944384 134957 0 0 0 578 36 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263960119952 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9680] ppid=9669 vsize=27651864 memory=2336 CPUtime=6.16 cores=0-7 /proc/9672/task/9680/stat : 9680 (java) S 9669 9672 8953 0 -1 1077944384 138379 0 0 0 576 40 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263959067152 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9681] ppid=9669 vsize=27651864 memory=1580 CPUtime=6.12 cores=0-7 /proc/9672/task/9681/stat : 9681 (java) S 9669 9672 8953 0 -1 1077944384 135951 0 0 0 571 41 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263958014352 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9682] ppid=9669 vsize=27651864 memory=0 CPUtime=6.13 cores=0-7 /proc/9672/task/9682/stat : 9682 (java) S 9669 9672 8953 0 -1 1077944384 134996 0 0 0 573 40 0 0 20 0 44 0 84947133 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263956961552 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9683] ppid=9669 vsize=27651864 memory=288230574492221466 CPUtime=6.11 cores=0-7 /proc/9672/task/9683/stat : 9683 (java) S 9669 9672 8953 0 -1 1077944384 204995 0 0 0 509 102 0 0 20 0 44 0 84947134 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263399787376 140264406592130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9684] ppid=9669 vsize=27651864 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/9672/task/9684/stat : 9684 (java) S 9669 9672 8953 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 44 0 84947134 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263398733408 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9685] ppid=9669 vsize=27651864 memory=13847469322668609 CPUtime=0 cores=0-7 /proc/9672/task/9685/stat : 9685 (java) S 9669 9672 8953 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 44 0 84947135 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263397680512 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9686] ppid=9669 vsize=27651864 memory=13847469322668609 CPUtime=0 cores=0-7 /proc/9672/task/9686/stat : 9686 (java) S 9669 9672 8953 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263396628816 140264406599579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9687] ppid=9669 vsize=27651864 memory=7284 CPUtime=1.37 cores=0-7 /proc/9672/task/9687/stat : 9687 (java) S 9669 9672 8953 0 -1 1077944384 6483 0 0 0 136 1 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263395576176 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9688] ppid=9669 vsize=27651864 memory=840 CPUtime=1.22 cores=0-7 /proc/9672/task/9688/stat : 9688 (java) S 9669 9672 8953 0 -1 1077944384 5604 0 0 0 121 1 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263394523376 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9689] ppid=9669 vsize=27651864 memory=1796 CPUtime=1.32 cores=0-7 /proc/9672/task/9689/stat : 9689 (java) S 9669 9672 8953 0 -1 1077944384 6281 0 0 0 131 1 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263393470576 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9690] ppid=9669 vsize=27651864 memory=912 CPUtime=0.91 cores=0-7 /proc/9672/task/9690/stat : 9690 (java) S 9669 9672 8953 0 -1 1077944384 12308 0 0 0 89 2 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263392417776 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9691] ppid=9669 vsize=27651864 memory=5792 CPUtime=0 cores=0-7 /proc/9672/task/9691/stat : 9691 (java) S 9669 9672 8953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263391366240 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9692] ppid=9669 vsize=27651864 memory=4104 CPUtime=0.76 cores=0-7 /proc/9672/task/9692/stat : 9692 (java) S 9669 9672 8953 0 -1 1077944384 10385 0 0 0 54 22 0 0 20 0 44 0 84947137 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263390313520 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9693] ppid=9669 vsize=27651864 memory=1404 CPUtime=0 cores=0-7 /proc/9672/task/9693/stat : 9693 (java) S 9669 9672 8953 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 44 0 84947335 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263376868480 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9694] ppid=9669 vsize=27651864 memory=4088 CPUtime=1.81 cores=0-7 /proc/9672/task/9694/stat : 9694 (java) S 9669 9672 8953 0 -1 1077944384 25494 0 0 0 56 125 0 0 20 0 44 0 84947356 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263375815856 140264406592130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9695] ppid=9669 vsize=27651864 memory=1545416 CPUtime=2487.87 cores=0-7 /proc/9672/task/9695/stat : 9695 (java) R 9669 9672 8953 0 -1 4202560 80703 0 0 0 248724 63 0 0 20 0 44 0 84947372 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263372661568 140264054216965 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9696] ppid=9669 vsize=27651864 memory=302022857024864570 CPUtime=2486.71 cores=0-7 /proc/9672/task/9696/stat : 9696 (java) S 9669 9672 8953 0 -1 1077944384 79276 0 0 0 248609 62 0 0 20 0 44 0 84947373 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263371605120 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9697] ppid=9669 vsize=27651864 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9672/task/9697/stat : 9697 (java) S 9669 9672 8953 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 44 0 84947373 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263370560304 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9698] ppid=9669 vsize=27651864 memory=279445739491536 CPUtime=0.02 cores=0-7 /proc/9672/task/9698/stat : 9698 (java) S 9669 9672 8953 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263367409760 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9699] ppid=9669 vsize=27651864 memory=6944656592455360604 CPUtime=0.04 cores=0-7 /proc/9672/task/9699/stat : 9699 (java) R 9669 9672 8953 0 -1 1077944384 257 0 0 0 4 0 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263366348288 140264406591189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9700] ppid=9669 vsize=27651864 memory=3436 CPUtime=2489.16 cores=0-7 /proc/9672/task/9700/stat : 9700 (java) R 9669 9672 8953 0 -1 4202560 90283 0 0 0 248850 66 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140263365301248 140264053688316 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9701] ppid=9669 vsize=27651864 memory=279445739491632 CPUtime=2487.39 cores=0-7 /proc/9672/task/9701/stat : 9701 (java) S 9669 9672 8953 0 -1 1077944384 83644 0 0 0 248678 61 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262576211312 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9702] ppid=9669 vsize=27651864 memory=7666928009595479395 CPUtime=2486.53 cores=0-7 /proc/9672/task/9702/stat : 9702 (java) S 9669 9672 8953 0 -1 1077944384 75005 0 0 0 248596 57 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262575158656 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9703] ppid=9669 vsize=27651864 memory=9234 CPUtime=2492.22 cores=0-7 /proc/9672/task/9703/stat : 9703 (java) R 9669 9672 8953 0 -1 4202560 88818 0 0 0 249158 64 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262574108592 140264054212142 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9704] ppid=9669 vsize=27651864 memory=22251 CPUtime=2488.92 cores=0-7 /proc/9672/task/9704/stat : 9704 (java) R 9669 9672 8953 0 -1 4202560 82671 0 0 0 248827 65 0 0 20 0 44 0 84947380 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262573056912 140264053938908 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9705] ppid=9669 vsize=27651864 memory=17306 CPUtime=2487.39 cores=0-7 /proc/9672/task/9705/stat : 9705 (java) S 9669 9672 8953 0 -1 1077944384 85757 0 0 0 248675 64 0 0 20 0 44 0 84947386 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262572000256 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 [pid=9672/tid=9706] ppid=9669 vsize=27651864 memory=-6352457606704495574 CPUtime=0.01 cores=0-7 /proc/9672/task/9706/stat : 9706 (java) S 9669 9672 8953 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 44 0 84947386 28315508736 386665 33554432000 4194304 4196468 140731926261008 140262570955440 140264406591189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140731926262861 140731926263045 140731926263045 140731926265807 0 Current children cumulated CPU time: 19971.5 s Current children cumulated vsize: 27651864 KiB Current children cumulated memory: 1546660 KiB Child status: 143 Real time (s): 2520.29 CPU time (s): 19972.2 CPU user time (s): 19962.8 CPU system time (s): 9.36665 CPU usage (%): 792.455 Max. virtual memory (cumulated for all children) (KiB): 27651864 Max. memory (cumulated for all children) (KiB): 1663444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19962.8 system time used= 9.36665 maximum resident set size= 1663444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2062211 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 722499 involuntary context switches= 437259 # summary of solver processes directly reported to runsolver: # pid: 9672 # total CPU time (s): 19972.2 # total CPU user time (s): 19962.8 # total CPU system time (s): 9.36665 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.0044 second user time and 32.864 second system time The end
Begin job on node148 at 2018-07-27 08:44:00 IDJOB=4291272 IDBENCH=141564 IDSOLVER=2745 FILE ID=node148/4291272-1532673840 RUNJOBID= node148-1532666250-8980 PBS_JOBID= 21022241 Free space on /tmp= 43264 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-05-0006_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291272-1532673840/watcher-4291272-1532673840 -o /tmp/evaluation-result-4291272-1532673840/solver-4291272-1532673840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532666250-8980 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1705431499 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291272-1532673840.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c9b27afa5f83f52385759d74be3b3eae RANDOM SEED=1705431499 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.50 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.50 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.50 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.50 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: 23698896 kB MemAvailable: 31927968 kB Buffers: 195512 kB Cached: 8169052 kB SwapCached: 352 kB Active: 1980116 kB Inactive: 6436600 kB Active(anon): 5772 kB Inactive(anon): 74340 kB Active(file): 1974344 kB Inactive(file): 6362260 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 35992 kB Writeback: 0 kB AnonPages: 62232 kB Mapped: 41320 kB Shmem: 25016 kB Slab: 348788 kB SReclaimable: 320928 kB SUnreclaim: 27860 kB KernelStack: 3552 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325692 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 43228 MiB End job on node148 at 2018-07-27 09:26:00