Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19975.1 | 2520.44 |
Name | Quasigroups/ QuasiGroup-7-14_c18.xml |
MD5SUM | 4dff686a8a5225f7abc28d59168fc0d9 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 392 |
Number of constraints | 366 |
Number of domains | 1 |
Minimum domain size | 14 |
Maximum domain size | 14 |
Distribution of domain sizes | [{"size":14,"count":378}] |
Minimum variable degree | 0 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":0,"count":14},{"degree":2,"count":182},{"degree":28,"count":14},{"degree":29,"count":182}] |
Minimum constraint arity | 14 |
Maximum constraint arity | 196 |
Distribution of constraint arities | [{"arity":14,"count":1},{"arity":16,"count":364},{"arity":196,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":364}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-08-14 0.66/0.55 c seed: 1342952946 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.52/0.97 c Parsing done, starting search... 19971.75/2520.11 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 (13109 MiB free) memory of node 1: 16384 MiB (11111 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309088-1534395635/watcher-4309088-1534395635 -o /tmp/evaluation-result-4309088-1534395635/solver-4309088-1534395635 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534393095-31499 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1342952946 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309088-1534395635.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=31867, runsolver pid=31864 [startup+0.100106 s]* /proc/loadavg: 8.09 8.61 8.75 3/200 31887 /proc/meminfo: memFree=24785756/32770624 swapFree=67108524/67108860 [pid=31867] ppid=31864 vsize=26103420 memory=30220 CPUtime=0.12 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 7020 0 0 0 10 2 0 0 20 0 20 0 257126705 26729902080 7555 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6525855 7555 3136 1 0 6487932 0 [pid=31867/tid=31869] ppid=31864 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) R 31864 31867 31472 0 -1 4202560 5108 0 0 0 8 1 0 0 20 0 20 0 257126705 26729902080 7555 33554432000 4194304 4196468 140726926016096 140042254433824 140042230515456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=26103420 memory=139971471771264 CPUtime=0 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 7621 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 7621 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31879] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31879/stat : 31879 (java) S 31864 31867 31472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 7621 33554432000 4194304 4196468 140726926016096 140040992535968 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31880] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31880/stat : 31880 (java) S 31864 31867 31472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 7621 33554432000 4194304 4196468 140726926016096 140040991483376 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31881] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31881/stat : 31881 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040990431952 140042250258331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31882] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31882/stat : 31882 (java) S 31864 31867 31472 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040989378544 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31883] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31883/stat : 31883 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040988326000 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31884] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31884/stat : 31884 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040987273456 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31885] ppid=31864 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31867/task/31885/stat : 31885 (java) S 31864 31867 31472 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040986220912 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31886] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31886/stat : 31886 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040985168608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31887] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31887/stat : 31887 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 7687 33554432000 4194304 4196468 140726926016096 140040984116144 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30220 KiB [startup+0.209706 s]* /proc/loadavg: 8.09 8.61 8.75 3/200 31887 /proc/meminfo: memFree=24772408/32770624 swapFree=67108524/67108860 [pid=31867] ppid=31864 vsize=26103420 memory=43308 CPUtime=0.3 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 10490 0 0 0 27 3 0 0 20 0 20 0 257126705 26729902080 10827 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6525855 10827 3349 1 0 6487932 0 [pid=31867/tid=31869] ppid=31864 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) R 31864 31867 31472 0 -1 4202560 8270 0 0 0 18 2 0 0 20 0 20 0 257126705 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042254463584 140041856127164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=26103420 memory=10949 CPUtime=0 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=26103420 memory=139971471801184 CPUtime=0 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 10827 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31879] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31879/stat : 31879 (java) S 31864 31867 31472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040992535968 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31880] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31880/stat : 31880 (java) S 31864 31867 31472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040991483376 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31881] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31881/stat : 31881 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040990431952 140042250258331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31882] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31882/stat : 31882 (java) S 31864 31867 31472 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040989378544 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31883] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31883/stat : 31883 (java) S 31864 31867 31472 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040988326000 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31884] ppid=31864 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31867/task/31884/stat : 31884 (java) S 31864 31867 31472 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040987273456 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31885] ppid=31864 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/31867/task/31885/stat : 31885 (java) R 31864 31867 31472 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040986217280 140042228606120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31886] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31886/stat : 31886 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040985168608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31887] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31887/stat : 31887 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 10827 33554432000 4194304 4196468 140726926016096 140040984116144 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43308 KiB [startup+0.3094 s]* /proc/loadavg: 8.09 8.61 8.75 2/200 31887 /proc/meminfo: memFree=24768996/32770624 swapFree=67108524/67108860 [pid=31867] ppid=31864 vsize=26103420 memory=46864 CPUtime=0.43 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 10897 0 0 0 40 3 0 0 20 0 20 0 257126705 26729902080 11716 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6525855 11716 3385 1 0 6487932 0 [pid=31867/tid=31869] ppid=31864 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) R 31864 31867 31472 0 -1 4202560 8599 0 0 0 27 2 0 0 20 0 20 0 257126705 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042254438736 140042230514891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=26103420 memory=139971373659055 CPUtime=0 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=26103420 memory=139971373661360 CPUtime=0 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=26103420 memory=139971373663664 CPUtime=0 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26729902080 11716 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31879] ppid=31864 vsize=26103420 memory=279942747334288 CPUtime=0 cores=0-7 /proc/31867/task/31879/stat : 31879 (java) S 31864 31867 31472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040992535968 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31880] ppid=31864 vsize=26103420 memory=279942747341200 CPUtime=0 cores=0-7 /proc/31867/task/31880/stat : 31880 (java) S 31864 31867 31472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257126708 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040991483376 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31881] ppid=31864 vsize=26103420 memory=279942747282480 CPUtime=0 cores=0-7 /proc/31867/task/31881/stat : 31881 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040990431952 140042250258331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31882] ppid=31864 vsize=26103420 memory=279942747355024 CPUtime=0 cores=0-7 /proc/31867/task/31882/stat : 31882 (java) S 31864 31867 31472 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040989378544 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31883] ppid=31864 vsize=26103420 memory=279942747361936 CPUtime=0.01 cores=0-7 /proc/31867/task/31883/stat : 31883 (java) S 31864 31867 31472 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040988326000 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31884] ppid=31864 vsize=26103420 memory=279942747359632 CPUtime=0.01 cores=0-7 /proc/31867/task/31884/stat : 31884 (java) S 31864 31867 31472 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040987273456 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31885] ppid=31864 vsize=26103420 memory=279942747376240 CPUtime=0.08 cores=0-7 /proc/31867/task/31885/stat : 31885 (java) S 31864 31867 31472 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040986220912 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31886] ppid=31864 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31886/stat : 31886 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040985168608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31887] ppid=31864 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31867/task/31887/stat : 31887 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126711 26729902080 11716 33554432000 4194304 4196468 140726926016096 140040984116144 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46864 KiB [startup+0.700859 s] /proc/loadavg: 8.09 8.61 8.75 3/200 31887 /proc/meminfo: memFree=24745044/32770624 swapFree=67108524/67108860 [pid=31867] ppid=31864 vsize=26105488 memory=85600 CPUtime=1 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 17855 0 0 0 94 6 0 0 20 0 20 0 257126705 26732019712 21400 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6526372 21400 3490 1 0 6488444 0 [pid=31867/tid=31869] ppid=31864 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) R 31864 31867 31472 0 -1 4202560 15059 0 0 0 63 4 0 0 20 0 20 0 257126705 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042254463904 140042250261661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=26105488 memory=3516 CPUtime=0 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=26105488 memory=872 CPUtime=0 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=26105488 memory=1288 CPUtime=0 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=26105488 memory=1088 CPUtime=0 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=26105488 memory=14888 CPUtime=0 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257126706 26732019712 21400 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=26105488 memory=38760 CPUtime=0 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257126708 26732019712 21400 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 ################ # More data... # ################ [pid=31867] ppid=31864 vsize=27051756 memory=763492 CPUtime=19971.8 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 1387142 0 0 0 1996523 652 0 0 20 0 34 0 257126705 27700998144 190873 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6762939 190873 3608 1 0 6724490 0 [pid=31867/tid=31869] ppid=31864 vsize=27051756 memory=6791534058613427641 CPUtime=2.68 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) S 31864 31867 31472 0 -1 1077944384 22869 0 0 0 260 8 0 0 20 0 34 0 257126705 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042254477200 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=27051756 memory=4126316290023845779 CPUtime=7.32 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 75746 0 0 0 702 30 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=27051756 memory=1724 CPUtime=7.33 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 83600 0 0 0 702 31 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=27051756 memory=4004 CPUtime=7.34 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 84793 0 0 0 703 31 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=27051756 memory=3516 CPUtime=7.3 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 85772 0 0 0 702 28 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=27051756 memory=872 CPUtime=7.32 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 82242 0 0 0 700 32 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=27051756 memory=1288 CPUtime=7.34 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 85097 0 0 0 704 30 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=27051756 memory=1088 CPUtime=7.37 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 90134 0 0 0 706 31 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=27051756 memory=14888 CPUtime=7.25 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 81601 0 0 0 695 30 0 0 20 0 34 0 257126706 27700998144 190873 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=27051756 memory=1740 CPUtime=5.78 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 151313 0 0 0 495 83 0 0 20 0 34 0 257126708 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31879] ppid=31864 vsize=27051756 memory=11192 CPUtime=0 cores=0-7 /proc/31867/task/31879/stat : 31879 (java) S 31864 31867 31472 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 34 0 257126708 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040992536032 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31880] ppid=31864 vsize=27051756 memory=752 CPUtime=0 cores=0-7 /proc/31867/task/31880/stat : 31880 (java) S 31864 31867 31472 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 34 0 257126708 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040991483392 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31881] ppid=31864 vsize=27051756 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31867/task/31881/stat : 31881 (java) S 31864 31867 31472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040990431952 140042250258331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31882] ppid=31864 vsize=27051756 memory=1120 CPUtime=1.6 cores=0-7 /proc/31867/task/31882/stat : 31882 (java) S 31864 31867 31472 0 -1 1077944384 6122 0 0 0 157 3 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040989378544 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31883] ppid=31864 vsize=27051756 memory=6112 CPUtime=1.35 cores=0-7 /proc/31867/task/31883/stat : 31883 (java) S 31864 31867 31472 0 -1 1077944384 5268 0 0 0 134 1 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040988326000 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31884] ppid=31864 vsize=27051756 memory=1724 CPUtime=1.43 cores=0-7 /proc/31867/task/31884/stat : 31884 (java) S 31864 31867 31472 0 -1 1077944384 7052 0 0 0 142 1 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040987273456 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31885] ppid=31864 vsize=27051756 memory=4004 CPUtime=0.98 cores=0-7 /proc/31867/task/31885/stat : 31885 (java) S 31864 31867 31472 0 -1 1077944384 9070 0 0 0 96 2 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040986220912 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31886] ppid=31864 vsize=27051756 memory=3516 CPUtime=0 cores=0-7 /proc/31867/task/31886/stat : 31886 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040985168608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31887] ppid=31864 vsize=27051756 memory=872 CPUtime=0.75 cores=0-7 /proc/31867/task/31887/stat : 31887 (java) S 31864 31867 31472 0 -1 1077944384 7534 0 0 0 48 27 0 0 20 0 34 0 257126711 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040984116144 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31888] ppid=31864 vsize=27051756 memory=1288 CPUtime=0 cores=0-7 /proc/31867/task/31888/stat : 31888 (java) S 31864 31867 31472 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 34 0 257126938 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040972772608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31889] ppid=31864 vsize=27051756 memory=1088 CPUtime=3.53 cores=0-7 /proc/31867/task/31889/stat : 31889 (java) R 31864 31867 31472 0 -1 1077944384 20499 0 0 0 143 210 0 0 20 0 34 0 257126959 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040969623200 140042250250882 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31890] ppid=31864 vsize=27051756 memory=765032 CPUtime=2486.06 cores=0-7 /proc/31867/task/31890/stat : 31890 (java) R 31864 31867 31472 0 -1 4202560 63366 0 0 0 248565 41 0 0 20 0 34 0 257126975 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040898331552 140041865390756 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31891] ppid=31864 vsize=27051756 memory=765032 CPUtime=2485.86 cores=0-7 /proc/31867/task/31891/stat : 31891 (java) R 31864 31867 31472 0 -1 4202560 61352 0 0 0 248553 33 0 0 20 0 34 0 257126976 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040897282016 140041866316107 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31892] ppid=31864 vsize=27051756 memory=15258134151170443 CPUtime=2487.6 cores=0-7 /proc/31867/task/31892/stat : 31892 (java) R 31864 31867 31472 0 -1 4202560 60754 0 0 0 248719 41 0 0 20 0 34 0 257126976 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040896226464 140041865818291 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31893] ppid=31864 vsize=27051756 memory=1120 CPUtime=0.05 cores=0-7 /proc/31867/task/31893/stat : 31893 (java) S 31864 31867 31472 0 -1 1077944384 68 0 0 0 5 0 0 0 20 0 34 0 257126982 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040893084704 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31894] ppid=31864 vsize=27051756 memory=6112 CPUtime=2486.75 cores=0-7 /proc/31867/task/31894/stat : 31894 (java) R 31864 31867 31472 0 -1 4202560 59583 0 0 0 248636 39 0 0 20 0 34 0 257126982 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040892026224 140041865834774 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31895] ppid=31864 vsize=27051756 memory=1724 CPUtime=0.06 cores=0-7 /proc/31867/task/31895/stat : 31895 (java) S 31864 31867 31472 0 -1 1077944384 39 0 0 0 6 0 0 0 20 0 34 0 257126982 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040890979616 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31896] ppid=31864 vsize=27051756 memory=4004 CPUtime=0.05 cores=0-7 /proc/31867/task/31896/stat : 31896 (java) S 31864 31867 31472 0 -1 1077944384 54 0 0 0 5 0 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040889927072 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31897] ppid=31864 vsize=27051756 memory=3516 CPUtime=2486.45 cores=0-7 /proc/31867/task/31897/stat : 31897 (java) R 31864 31867 31472 0 -1 4202560 58979 0 0 0 248604 41 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040888868840 140041866268940 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31898] ppid=31864 vsize=27051756 memory=872 CPUtime=2487.22 cores=0-7 /proc/31867/task/31898/stat : 31898 (java) R 31864 31867 31472 0 -1 4202560 61773 0 0 0 248682 40 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040887813024 140041866513280 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31899] ppid=31864 vsize=27051756 memory=1288 CPUtime=0 cores=0-7 /proc/31867/task/31899/stat : 31899 (java) S 31864 31867 31472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040886768416 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31900] ppid=31864 vsize=27051756 memory=1088 CPUtime=2487.54 cores=0-7 /proc/31867/task/31900/stat : 31900 (java) R 31864 31867 31472 0 -1 4202560 58702 0 0 0 248716 38 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040885710048 140041860721324 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31901] ppid=31864 vsize=27051756 memory=14888 CPUtime=2487.24 cores=0-7 /proc/31867/task/31901/stat : 31901 (java) R 31864 31867 31472 0 -1 4202560 62293 0 0 0 248686 38 0 0 20 0 34 0 257126983 27700998144 190873 33554432000 4194304 4196468 140726926016096 140040884655392 140041860720623 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 Current children cumulated CPU time: 19971.8 s Current children cumulated vsize: 27051756 KiB Current children cumulated memory: 763492 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.44 s] # the end of solver process 31867 was just reported to runsolver # cumulated CPU time of all completed processes: user=19968.5 s, system=6.54057 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 8.52 8.79 8.81 9/213 31955 /proc/meminfo: memFree=24048724/32770624 swapFree=67108524/67108860 [pid=31867] ppid=31864 vsize=27783960 memory=769308 CPUtime=19974.9 cores=0-7 /proc/31867/stat : 31867 (java) S 31864 31867 31472 0 -1 1077944320 1390888 0 0 0 1996835 652 0 0 20 0 45 0 257126705 28450775040 192327 33554432000 4194304 4196468 140726926016096 140726925998640 140042250239735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 /proc/31867/statm: 6945990 192327 3611 1 0 6907541 0 [pid=31867/tid=31869] ppid=31864 vsize=27783960 memory=804 CPUtime=2.68 cores=0-7 /proc/31867/task/31869/stat : 31869 (java) S 31864 31867 31472 0 -1 1077944384 22869 0 0 0 260 8 0 0 20 0 45 0 257126705 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042254477200 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31870] ppid=31864 vsize=27783960 memory=1696 CPUtime=7.32 cores=0-7 /proc/31867/task/31870/stat : 31870 (java) S 31864 31867 31472 0 -1 1077944384 75750 0 0 0 702 30 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042202860304 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31871] ppid=31864 vsize=27783960 memory=920 CPUtime=7.33 cores=0-7 /proc/31867/task/31871/stat : 31871 (java) S 31864 31867 31472 0 -1 1077944384 83600 0 0 0 702 31 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042201807760 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31872] ppid=31864 vsize=27783960 memory=4126316290023845779 CPUtime=7.34 cores=0-7 /proc/31867/task/31872/stat : 31872 (java) S 31864 31867 31472 0 -1 1077944384 84793 0 0 0 703 31 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042200755216 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31873] ppid=31864 vsize=27783960 memory=6112 CPUtime=7.3 cores=0-7 /proc/31867/task/31873/stat : 31873 (java) S 31864 31867 31472 0 -1 1077944384 85772 0 0 0 702 28 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042199702672 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31874] ppid=31864 vsize=27783960 memory=1724 CPUtime=7.32 cores=0-7 /proc/31867/task/31874/stat : 31874 (java) S 31864 31867 31472 0 -1 1077944384 82267 0 0 0 700 32 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042198649104 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31875] ppid=31864 vsize=27783960 memory=4004 CPUtime=7.34 cores=0-7 /proc/31867/task/31875/stat : 31875 (java) S 31864 31867 31472 0 -1 1077944384 85097 0 0 0 704 30 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042197596560 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31876] ppid=31864 vsize=27783960 memory=3516 CPUtime=7.37 cores=0-7 /proc/31867/task/31876/stat : 31876 (java) S 31864 31867 31472 0 -1 1077944384 90134 0 0 0 706 31 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042196544016 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31877] ppid=31864 vsize=27783960 memory=872 CPUtime=7.26 cores=0-7 /proc/31867/task/31877/stat : 31877 (java) S 31864 31867 31472 0 -1 1077944384 81609 0 0 0 696 30 0 0 20 0 45 0 257126706 28450775040 192327 33554432000 4194304 4196468 140726926016096 140042195491472 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31878] ppid=31864 vsize=27783960 memory=1288 CPUtime=5.78 cores=0-7 /proc/31867/task/31878/stat : 31878 (java) S 31864 31867 31472 0 -1 1077944384 151313 0 0 0 495 83 0 0 20 0 45 0 257126708 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040993589744 140042250250882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31879] ppid=31864 vsize=27783960 memory=1088 CPUtime=0 cores=0-7 /proc/31867/task/31879/stat : 31879 (java) S 31864 31867 31472 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 45 0 257126708 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040992536032 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31880] ppid=31864 vsize=27783960 memory=2180 CPUtime=0 cores=0-7 /proc/31867/task/31880/stat : 31880 (java) S 31864 31867 31472 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 45 0 257126708 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040991483392 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31881] ppid=31864 vsize=27783960 memory=924 CPUtime=0 cores=0-7 /proc/31867/task/31881/stat : 31881 (java) S 31864 31867 31472 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040990431952 140042250258331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31882] ppid=31864 vsize=27783960 memory=1576 CPUtime=1.71 cores=0-7 /proc/31867/task/31882/stat : 31882 (java) S 31864 31867 31472 0 -1 1077944384 7230 0 0 0 168 3 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040989378544 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31883] ppid=31864 vsize=27783960 memory=6791534058613427641 CPUtime=1.36 cores=0-7 /proc/31867/task/31883/stat : 31883 (java) R 31864 31867 31472 0 -1 1077944384 5305 0 0 0 135 1 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040988326000 140042250250882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31884] ppid=31864 vsize=27783960 memory=1932 CPUtime=1.43 cores=0-7 /proc/31867/task/31884/stat : 31884 (java) S 31864 31867 31472 0 -1 1077944384 7057 0 0 0 142 1 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040987273456 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31885] ppid=31864 vsize=27783960 memory=763492 CPUtime=1.01 cores=0-7 /proc/31867/task/31885/stat : 31885 (java) R 31864 31867 31472 0 -1 1077944384 9668 0 0 0 99 2 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040986220720 140042250249941 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31886] ppid=31864 vsize=27783960 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31867/task/31886/stat : 31886 (java) S 31864 31867 31472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040985168608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31887] ppid=31864 vsize=27783960 memory=4126316290023845779 CPUtime=0.75 cores=0-7 /proc/31867/task/31887/stat : 31887 (java) S 31864 31867 31472 0 -1 1077944384 7536 0 0 0 48 27 0 0 20 0 45 0 257126711 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040984116144 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31888] ppid=31864 vsize=27783960 memory=301793952548530551 CPUtime=0 cores=0-7 /proc/31867/task/31888/stat : 31888 (java) S 31864 31867 31472 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 45 0 257126938 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040972772608 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31889] ppid=31864 vsize=27783960 memory=288286697014447770 CPUtime=3.53 cores=0-7 /proc/31867/task/31889/stat : 31889 (java) R 31864 31867 31472 0 -1 4202560 20539 0 0 0 143 210 0 0 20 0 45 0 257126959 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040969623088 140042234320222 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31890] ppid=31864 vsize=27783960 memory=1724 CPUtime=2486.4 cores=0-7 /proc/31867/task/31890/stat : 31890 (java) R 31864 31867 31472 0 -1 4202560 63366 0 0 0 248599 41 0 0 20 0 45 0 257126975 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040898335296 140041866545595 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31891] ppid=31864 vsize=27783960 memory=4004 CPUtime=2486.23 cores=0-7 /proc/31867/task/31891/stat : 31891 (java) R 31864 31867 31472 0 -1 4202560 61352 0 0 0 248590 33 0 0 20 0 45 0 257126976 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040897282088 140041866268379 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31892] ppid=31864 vsize=27783960 memory=3516 CPUtime=2487.98 cores=0-7 /proc/31867/task/31892/stat : 31892 (java) R 31864 31867 31472 0 -1 4202560 60754 0 0 0 248757 41 0 0 20 0 45 0 257126976 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040896226872 140041866434522 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31893] ppid=31864 vsize=27783960 memory=872 CPUtime=0.05 cores=0-7 /proc/31867/task/31893/stat : 31893 (java) S 31864 31867 31472 0 -1 1077944384 94 0 0 0 5 0 0 0 20 0 45 0 257126982 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040893084704 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31894] ppid=31864 vsize=27783960 memory=1288 CPUtime=2487.13 cores=0-7 /proc/31867/task/31894/stat : 31894 (java) R 31864 31867 31472 0 -1 4202560 59583 0 0 0 248674 39 0 0 20 0 45 0 257126982 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040892028456 140041866316523 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31895] ppid=31864 vsize=27783960 memory=1088 CPUtime=0.08 cores=0-7 /proc/31867/task/31895/stat : 31895 (java) S 31864 31867 31472 0 -1 1077944384 401 0 0 0 8 0 0 0 20 0 45 0 257126982 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040890975840 140042250250882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31896] ppid=31864 vsize=27783960 memory=14888 CPUtime=0.05 cores=0-7 /proc/31867/task/31896/stat : 31896 (java) S 31864 31867 31472 0 -1 1077944384 80 0 0 0 5 0 0 0 20 0 45 0 257126983 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040889927072 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31897] ppid=31864 vsize=27783960 memory=38804 CPUtime=2486.75 cores=0-7 /proc/31867/task/31897/stat : 31897 (java) R 31864 31867 31472 0 -1 4202560 58979 0 0 0 248634 41 0 0 20 0 45 0 257126983 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040888866760 140041866316700 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31898] ppid=31864 vsize=27783960 memory=3312 CPUtime=2487.57 cores=0-7 /proc/31867/task/31898/stat : 31898 (java) R 31864 31867 31472 0 -1 4202560 61773 0 0 0 248717 40 0 0 20 0 45 0 257126983 28450775040 192327 33554432000 4194304 4196468 140726926016096 140040887813432 140041865390701 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31899] ppid=31864 vsize=27783960 memory=0 CPUtime=0.01 cores=0-7 /proc/31867/task/31899/stat : 31899 (java) S 31864 31867 31472 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 45 0 257126983 28450775040 192335 33554432000 4194304 4196468 140726926016096 140040886768432 140042250249941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31900] ppid=31864 vsize=27783960 memory=7811326901987075922 CPUtime=2487.91 cores=0-7 /proc/31867/task/31900/stat : 31900 (java) R 31864 31867 31472 0 -1 4202560 58702 0 0 0 248753 38 0 0 20 0 45 0 257126983 28450775040 192317 33554432000 4194304 4196468 140726926016096 140040885710184 140041866316187 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 [pid=31867/tid=31901] ppid=31864 vsize=27783960 memory=764004 CPUtime=2487.63 cores=0-7 /proc/31867/task/31901/stat : 31901 (java) R 31864 31867 31472 0 -1 4202560 62294 0 0 0 248725 38 0 0 20 0 45 0 257126983 28450775040 192317 33554432000 4194304 4196468 140726926016096 140040884655904 140041866819217 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 34435072 140726926017613 140726926017797 140726926017797 140726926020559 0 Current children cumulated CPU time: 19974.9 s Current children cumulated vsize: 27783960 KiB Current children cumulated memory: 769308 KiB Child status: 143 Real time (s): 2520.44 CPU time (s): 19975.1 CPU user time (s): 19968.5 CPU system time (s): 6.54057 CPU usage (%): 792.523 Max. virtual memory (cumulated for all children) (KiB): 27783960 Max. memory (cumulated for all children) (KiB): 1473944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19968.5 system time used= 6.54057 maximum resident set size= 1475992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1390959 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 650659 involuntary context switches= 428350 # summary of solver processes directly reported to runsolver: # pid: 31867 # total CPU time (s): 19975.1 # total CPU user time (s): 19968.5 # total CPU system time (s): 6.54057 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.9713 second user time and 33.141 second system time The end
Begin job on node107 at 2018-08-16 07:00:35 IDJOB=4309088 IDBENCH=141615 IDSOLVER=2793 FILE ID=node107/4309088-1534395635 RUNJOBID= node107-1534393095-31499 PBS_JOBID= 21038323 Free space on /tmp= 50628 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-14_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-4309088-1534395635/watcher-4309088-1534395635 -o /tmp/evaluation-result-4309088-1534395635/solver-4309088-1534395635 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534393095-31499 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1342952946 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309088-1534395635.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4dff686a8a5225f7abc28d59168fc0d9 RANDOM SEED=1342952946 node107.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.40 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.40 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.40 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.40 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: 24802360 kB MemAvailable: 31890624 kB Buffers: 227300 kB Cached: 7110652 kB SwapCached: 20 kB Active: 3966744 kB Inactive: 3426916 kB Active(anon): 4680 kB Inactive(anon): 111352 kB Active(file): 3962064 kB Inactive(file): 3315564 kB Unevictable: 6972 kB Mlocked: 6972 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 35784 kB Writeback: 0 kB AnonPages: 208460 kB Mapped: 54924 kB Shmem: 57824 kB Slab: 268188 kB SReclaimable: 239096 kB SUnreclaim: 29092 kB KernelStack: 3584 kB PageTables: 5780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 50592 MiB End job on node107 at 2018-08-16 07:42:36