Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19970.6 | 2520.28 |
Name | MagicHexagon/ MagicHexagon-04-0003_c18.xml |
MD5SUM | dd4ed178c47046d12ce38b3d0d17c272 |
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 | 1.99571 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 49 |
Number of constraints | 28 |
Number of domains | 1 |
Minimum domain size | 37 |
Maximum domain size | 37 |
Distribution of domain sizes | [{"size":37,"count":37}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 37 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"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":21}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-08-14 0.66/0.56 c seed: 2041407982 0.66/0.56 c timeout: 20160 0.66/0.56 c memlimit: 22000 0.66/0.56 c nbcore: 8 0.66/0.59 c Parsing instance... 1.17/0.85 c Parsing done, starting search... 19968.54/2520.09 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 (11160 MiB free) memory of node 1: 16384 MiB (13056 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309038-1534391915/watcher-4309038-1534391915 -o /tmp/evaluation-result-4309038-1534391915/solver-4309038-1534391915 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534382705-12708 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2041407982 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309038-1534391915.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=13633, runsolver pid=13630 Current StackSize limit: 8192 KiB [startup+0.10057 s]* /proc/loadavg: 8.68 8.96 8.93 3/203 13653 /proc/meminfo: memFree=24782184/32770624 swapFree=67108856/67108860 [pid=13633] ppid=13630 vsize=26103420 memory=29096 CPUtime=0.1 cores=0-7 /proc/13633/stat : 13633 (java) S 13630 13633 12681 0 -1 1077944320 6738 0 0 0 9 1 0 0 20 0 20 0 256754638 26729902080 7274 33554432000 4194304 4196468 140720758853232 140720758835776 139951559814903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 /proc/13633/statm: 6525855 7274 3137 1 0 6487932 0 [pid=13633/tid=13635] ppid=13630 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13633/task/13635/stat : 13635 (java) R 13630 13633 12681 0 -1 4202560 4818 0 0 0 8 1 0 0 20 0 20 0 256754638 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951564028296 139951543001712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=26103420 memory=140221844125312 CPUtime=0 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 7274 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754640 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13645] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13645/stat : 13645 (java) S 13630 13633 12681 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950753240736 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13646] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13646/stat : 13646 (java) S 13630 13633 12681 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950752187632 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13647] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13647/stat : 13647 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950751136208 139951559833499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13648] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13648/stat : 13648 (java) S 13630 13633 12681 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950750083312 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13649] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13649/stat : 13649 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950749030768 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13650] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13650/stat : 13650 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950747977712 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13651] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13651/stat : 13651 (java) S 13630 13633 12681 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950746925168 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13652] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13652/stat : 13652 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950745873376 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13653] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13653/stat : 13653 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 7274 33554432000 4194304 4196468 140720758853232 139950744820912 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 29096 KiB [startup+0.210509 s]* /proc/loadavg: 8.68 8.96 8.93 4/203 13653 /proc/meminfo: memFree=24768344/32770624 swapFree=67108856/67108860 [pid=13633] ppid=13630 vsize=26103420 memory=42824 CPUtime=0.28 cores=0-7 /proc/13633/stat : 13633 (java) S 13630 13633 12681 0 -1 1077944320 10397 0 0 0 26 2 0 0 20 0 20 0 256754638 26729902080 10706 33554432000 4194304 4196468 140720758853232 140720758835776 139951559814903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 /proc/13633/statm: 6525855 10706 3336 1 0 6487932 0 [pid=13633/tid=13635] ppid=13630 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/13633/task/13635/stat : 13635 (java) R 13630 13633 12681 0 -1 4202560 8168 0 0 0 18 1 0 0 20 0 20 0 256754638 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951564036960 139951559826838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=26103420 memory=3385 CPUtime=0 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=26103420 memory=288370597995837056 CPUtime=0 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 10771 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754640 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13645] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13645/stat : 13645 (java) S 13630 13633 12681 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950753240736 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13646] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13646/stat : 13646 (java) S 13630 13633 12681 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950752187632 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13647] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13647/stat : 13647 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950751136208 139951559833499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13648] ppid=13630 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/13633/task/13648/stat : 13648 (java) S 13630 13633 12681 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 256754643 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950750083312 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13649] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13649/stat : 13649 (java) S 13630 13633 12681 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950749030768 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13650] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13650/stat : 13650 (java) S 13630 13633 12681 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950747977712 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13651] ppid=13630 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/13633/task/13651/stat : 13651 (java) R 13630 13633 12681 0 -1 4202560 297 0 0 0 6 0 0 0 20 0 20 0 256754643 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950746919744 139951539530521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13652] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13652/stat : 13652 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950745873376 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13653] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13653/stat : 13653 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 10771 33554432000 4194304 4196468 140720758853232 139950744820912 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 Current children cumulated CPU time: 0.28 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 42824 KiB [startup+0.310691 s]* /proc/loadavg: 8.68 8.96 8.93 2/203 13653 /proc/meminfo: memFree=24764188/32770624 swapFree=67108856/67108860 [pid=13633] ppid=13630 vsize=26103420 memory=46576 CPUtime=0.42 cores=0-7 /proc/13633/stat : 13633 (java) S 13630 13633 12681 0 -1 1077944320 10851 0 0 0 39 3 0 0 20 0 20 0 256754638 26729902080 11644 33554432000 4194304 4196468 140720758853232 140720758835776 139951559814903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 /proc/13633/statm: 6525855 11644 3374 1 0 6487932 0 [pid=13633/tid=13635] ppid=13630 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/13633/task/13635/stat : 13635 (java) R 13630 13633 12681 0 -1 4202560 8527 0 0 0 28 2 0 0 20 0 20 0 256754638 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951564003848 139951544980551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=26103420 memory=140221689721775 CPUtime=0 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=26103420 memory=140221689724080 CPUtime=0 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=26103420 memory=140221689726384 CPUtime=0 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26729902080 11644 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754640 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13645] ppid=13630 vsize=26103420 memory=280443379459728 CPUtime=0 cores=0-7 /proc/13633/task/13645/stat : 13645 (java) S 13630 13633 12681 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950753240736 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13646] ppid=13630 vsize=26103420 memory=280443379466640 CPUtime=0 cores=0-7 /proc/13633/task/13646/stat : 13646 (java) S 13630 13633 12681 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256754641 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950752187632 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13647] ppid=13630 vsize=26103420 memory=280443379407920 CPUtime=0 cores=0-7 /proc/13633/task/13647/stat : 13647 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950751136208 139951559833499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13648] ppid=13630 vsize=26103420 memory=280443379480464 CPUtime=0.01 cores=0-7 /proc/13633/task/13648/stat : 13648 (java) S 13630 13633 12681 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 256754643 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950750083312 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13649] ppid=13630 vsize=26103420 memory=280443379487376 CPUtime=0.01 cores=0-7 /proc/13633/task/13649/stat : 13649 (java) S 13630 13633 12681 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 256754643 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950749030768 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13650] ppid=13630 vsize=26103420 memory=280443379485072 CPUtime=0 cores=0-7 /proc/13633/task/13650/stat : 13650 (java) S 13630 13633 12681 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 256754643 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950747977712 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13651] ppid=13630 vsize=26103420 memory=280443379501680 CPUtime=0.07 cores=0-7 /proc/13633/task/13651/stat : 13651 (java) S 13630 13633 12681 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 20 0 256754643 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950746925168 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13652] ppid=13630 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13652/stat : 13652 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950745873376 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13653] ppid=13630 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/13633/task/13653/stat : 13653 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754644 26729902080 11644 33554432000 4194304 4196468 140720758853232 139950744820912 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46576 KiB [startup+0.700907 s] /proc/loadavg: 8.68 8.96 8.93 2/203 13653 /proc/meminfo: memFree=24741284/32770624 swapFree=67108856/67108860 [pid=13633] ppid=13630 vsize=26105488 memory=85460 CPUtime=0.97 cores=0-7 /proc/13633/stat : 13633 (java) S 13630 13633 12681 0 -1 1077944320 17791 0 0 0 92 5 0 0 20 0 20 0 256754638 26732019712 21365 33554432000 4194304 4196468 140720758853232 140720758835776 139951559814903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 /proc/13633/statm: 6526372 21365 3483 1 0 6488444 0 [pid=13633/tid=13635] ppid=13630 vsize=26105488 memory=0 CPUtime=0.66 cores=0-7 /proc/13633/task/13635/stat : 13635 (java) R 13630 13633 12681 0 -1 4202560 15018 0 0 0 63 3 0 0 20 0 20 0 256754638 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951564047088 139951543895390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=26105488 memory=1108 CPUtime=0 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=26105488 memory=10784 CPUtime=0 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=26105488 memory=872 CPUtime=0 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=26105488 memory=4280 CPUtime=0 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=26105488 memory=14888 CPUtime=0 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754639 26732019712 21365 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=26105488 memory=38736 CPUtime=0 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256754640 26732019712 21365 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 ################ # More data... # ################ /proc/13633/task/13635/stat : 13635 (java) S 13630 13633 12681 0 -1 1077944384 26264 0 0 0 209 7 0 0 20 0 35 0 256754638 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951564052368 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=27118320 memory=4872558044660077418 CPUtime=5.84 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 158761 0 0 0 541 43 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=27118320 memory=924 CPUtime=5.85 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 150471 0 0 0 543 42 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=27118320 memory=2188 CPUtime=5.91 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 150218 0 0 0 550 41 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=27118320 memory=3984 CPUtime=5.86 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 150950 0 0 0 546 40 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=27118320 memory=2024 CPUtime=5.87 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 153249 0 0 0 545 42 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=27118320 memory=7288 CPUtime=5.87 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 153636 0 0 0 546 41 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=27118320 memory=804 CPUtime=5.88 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 161929 0 0 0 548 40 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=27118320 memory=1696 CPUtime=5.87 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 145619 0 0 0 547 40 0 0 20 0 35 0 256754639 27769159680 440581 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=27118320 memory=6791534058613427641 CPUtime=6.57 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 233162 0 0 0 543 114 0 0 20 0 35 0 256754640 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13645] ppid=13630 vsize=27118320 memory=7288 CPUtime=0 cores=0-7 /proc/13633/task/13645/stat : 13645 (java) S 13630 13633 12681 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 35 0 256754641 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950753240800 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13646] ppid=13630 vsize=27118320 memory=804 CPUtime=0 cores=0-7 /proc/13633/task/13646/stat : 13646 (java) S 13630 13633 12681 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 35 0 256754641 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950752187648 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13647] ppid=13630 vsize=27118320 memory=1696 CPUtime=0 cores=0-7 /proc/13633/task/13647/stat : 13647 (java) S 13630 13633 12681 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 35 0 256754643 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950751136208 139951559833499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13648] ppid=13630 vsize=27118320 memory=916 CPUtime=1.44 cores=0-7 /proc/13633/task/13648/stat : 13648 (java) S 13630 13633 12681 0 -1 1077944384 3543 0 0 0 142 2 0 0 20 0 35 0 256754643 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950750083312 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13649] ppid=13630 vsize=27118320 memory=5788 CPUtime=1.29 cores=0-7 /proc/13633/task/13649/stat : 13649 (java) S 13630 13633 12681 0 -1 1077944384 7665 0 0 0 127 2 0 0 20 0 35 0 256754643 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950749030768 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13650] ppid=13630 vsize=27118320 memory=1404 CPUtime=1.28 cores=0-7 /proc/13633/task/13650/stat : 13650 (java) S 13630 13633 12681 0 -1 1077944384 4805 0 0 0 127 1 0 0 20 0 35 0 256754643 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950747977712 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13651] ppid=13630 vsize=27118320 memory=4124 CPUtime=0.82 cores=0-7 /proc/13633/task/13651/stat : 13651 (java) S 13630 13633 12681 0 -1 1077944384 16765 0 0 0 80 2 0 0 20 0 35 0 256754643 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950746925168 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13652] ppid=13630 vsize=27118320 memory=1762324 CPUtime=0 cores=0-7 /proc/13633/task/13652/stat : 13652 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 35 0 256754644 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950745873376 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13653] ppid=13630 vsize=27118320 memory=6791534058613427641 CPUtime=0.72 cores=0-7 /proc/13633/task/13653/stat : 13653 (java) S 13630 13633 12681 0 -1 1077944384 12257 0 0 0 50 22 0 0 20 0 35 0 256754644 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950744820912 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13654] ppid=13630 vsize=27118320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13633/task/13654/stat : 13654 (java) S 13630 13633 12681 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 35 0 256754817 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950733476864 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13655] ppid=13630 vsize=27118320 memory=924 CPUtime=1.85 cores=0-7 /proc/13633/task/13655/stat : 13655 (java) S 13630 13633 12681 0 -1 1077944384 24324 0 0 0 40 145 0 0 20 0 35 0 256754835 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950730327456 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13656] ppid=13630 vsize=27118320 memory=2188 CPUtime=2 cores=0-7 /proc/13633/task/13656/stat : 13656 (java) S 13630 13633 12681 0 -1 1077944384 380 0 0 0 199 1 0 0 20 0 35 0 256754855 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950727177136 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13657] ppid=13630 vsize=27118320 memory=1762324 CPUtime=2486.93 cores=0-7 /proc/13633/task/13657/stat : 13657 (java) R 13630 13633 12681 0 -1 4202560 89265 0 0 0 248616 77 0 0 20 0 35 0 256754856 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950726119936 139951200167248 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13658] ppid=13630 vsize=27118320 memory=804 CPUtime=2488.72 cores=0-7 /proc/13633/task/13658/stat : 13658 (java) R 13630 13633 12681 0 -1 4202560 98285 0 0 0 248796 76 0 0 20 0 35 0 256754856 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950725064248 139951200758405 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13659] ppid=13630 vsize=27118320 memory=1696 CPUtime=2488.41 cores=0-7 /proc/13633/task/13659/stat : 13659 (java) R 13630 13633 12681 0 -1 4202560 92672 0 0 0 248768 73 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950721914344 139951199901733 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13660] ppid=13630 vsize=27118320 memory=916 CPUtime=2487.71 cores=0-7 /proc/13633/task/13660/stat : 13660 (java) R 13630 13633 12681 0 -1 4202560 92656 0 0 0 248698 73 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950720862176 139951200274942 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13661] ppid=13630 vsize=27118320 memory=5788 CPUtime=2488.72 cores=0-7 /proc/13633/task/13661/stat : 13661 (java) R 13630 13633 12681 0 -1 4202560 95487 0 0 0 248799 73 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950719809768 139951200758902 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13662] ppid=13630 vsize=27118320 memory=1404 CPUtime=2488.56 cores=0-7 /proc/13633/task/13662/stat : 13662 (java) R 13630 13633 12681 0 -1 4202560 85770 0 0 0 248785 71 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950718756208 139951200758510 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13663] ppid=13630 vsize=27118320 memory=4124 CPUtime=0.02 cores=0-7 /proc/13633/task/13663/stat : 13663 (java) S 13630 13633 12681 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950717711664 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13664] ppid=13630 vsize=27118320 memory=1762324 CPUtime=2488.59 cores=0-7 /proc/13633/task/13664/stat : 13664 (java) R 13630 13633 12681 0 -1 4202560 94503 0 0 0 248782 77 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950716651320 139951200758201 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13665] ppid=13630 vsize=27118320 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13633/task/13665/stat : 13665 (java) S 13630 13633 12681 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 35 0 256754863 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950715606048 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13666] ppid=13630 vsize=27118320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13633/task/13666/stat : 13666 (java) S 13630 13633 12681 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 35 0 256754866 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950714552992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13667] ppid=13630 vsize=27118320 memory=14888 CPUtime=2485.55 cores=0-7 /proc/13633/task/13667/stat : 13667 (java) R 13630 13633 12681 0 -1 4202560 93689 0 0 0 248477 78 0 0 20 0 35 0 256754867 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950713492720 139951196124036 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13668] ppid=13630 vsize=27118320 memory=1762324 CPUtime=0 cores=0-7 /proc/13633/task/13668/stat : 13668 (java) S 13630 13633 12681 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 35 0 256754867 27769159680 440581 33554432000 4194304 4196468 140720758853232 139950712448432 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 Current children cumulated CPU time: 19968.5 s Current children cumulated vsize: 27118320 KiB Current children cumulated memory: 1762324 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.28 s] # the end of solver process 13633 was just reported to runsolver # cumulated CPU time of all completed processes: user=19960.1 s, system=10.5418 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 9.06 8.92 8.92 9/217 13742 /proc/meminfo: memFree=23044848/32770624 swapFree=67108856/67108860 [pid=13633] ppid=13630 vsize=27718424 memory=1763280 CPUtime=19970 cores=0-7 /proc/13633/stat : 13633 (java) S 13630 13633 12681 0 -1 1077944320 2300881 0 0 0 1995952 1052 0 0 20 0 45 0 256754638 28383666176 440820 33554432000 4194304 4196468 140720758853232 140720758835776 139951559814903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 /proc/13633/statm: 6929606 440820 3610 1 0 6891157 0 [pid=13633/tid=13635] ppid=13630 vsize=27718424 memory=3332 CPUtime=2.16 cores=0-7 /proc/13633/task/13635/stat : 13635 (java) S 13630 13633 12681 0 -1 1077944384 26264 0 0 0 209 7 0 0 20 0 45 0 256754638 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951564052368 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13636] ppid=13630 vsize=27718424 memory=1732 CPUtime=5.84 cores=0-7 /proc/13633/task/13636/stat : 13636 (java) S 13630 13633 12681 0 -1 1077944384 158761 0 0 0 541 43 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951512435728 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13637] ppid=13630 vsize=27718424 memory=4872558044660077418 CPUtime=5.85 cores=0-7 /proc/13633/task/13637/stat : 13637 (java) S 13630 13633 12681 0 -1 1077944384 150471 0 0 0 543 42 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951511383184 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13638] ppid=13630 vsize=27718424 memory=288230596050944315 CPUtime=5.91 cores=0-7 /proc/13633/task/13638/stat : 13638 (java) S 13630 13633 12681 0 -1 1077944384 150218 0 0 0 550 41 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951115467536 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13639] ppid=13630 vsize=27718424 memory=16100360058046859 CPUtime=5.86 cores=0-7 /proc/13633/task/13639/stat : 13639 (java) S 13630 13633 12681 0 -1 1077944384 150950 0 0 0 546 40 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951114414992 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13640] ppid=13630 vsize=27718424 memory=1732 CPUtime=5.87 cores=0-7 /proc/13633/task/13640/stat : 13640 (java) S 13630 13633 12681 0 -1 1077944384 153249 0 0 0 545 42 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951113361936 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13641] ppid=13630 vsize=27718424 memory=1172 CPUtime=5.87 cores=0-7 /proc/13633/task/13641/stat : 13641 (java) S 13630 13633 12681 0 -1 1077944384 153636 0 0 0 546 41 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951112309392 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13642] ppid=13630 vsize=27718424 memory=500 CPUtime=5.88 cores=0-7 /proc/13633/task/13642/stat : 13642 (java) S 13630 13633 12681 0 -1 1077944384 161929 0 0 0 548 40 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951111256336 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13643] ppid=13630 vsize=27718424 memory=928 CPUtime=5.87 cores=0-7 /proc/13633/task/13643/stat : 13643 (java) S 13630 13633 12681 0 -1 1077944384 145619 0 0 0 547 40 0 0 20 0 45 0 256754639 28383666176 440820 33554432000 4194304 4196468 140720758853232 139951110203792 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13644] ppid=13630 vsize=27718424 memory=1762324 CPUtime=6.57 cores=0-7 /proc/13633/task/13644/stat : 13644 (java) S 13630 13633 12681 0 -1 1077944384 233162 0 0 0 543 114 0 0 20 0 45 0 256754640 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950754294512 139951559826050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13645] ppid=13630 vsize=27718424 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13633/task/13645/stat : 13645 (java) S 13630 13633 12681 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 45 0 256754641 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950753240800 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13646] ppid=13630 vsize=27718424 memory=1920 CPUtime=0 cores=0-7 /proc/13633/task/13646/stat : 13646 (java) S 13630 13633 12681 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 256754641 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950752187648 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13647] ppid=13630 vsize=27718424 memory=1192 CPUtime=0 cores=0-7 /proc/13633/task/13647/stat : 13647 (java) S 13630 13633 12681 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 45 0 256754643 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950751136208 139951559833499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13648] ppid=13630 vsize=27718424 memory=1616 CPUtime=1.48 cores=0-7 /proc/13633/task/13648/stat : 13648 (java) R 13630 13633 12681 0 -1 1077944384 3584 0 0 0 146 2 0 0 20 0 45 0 256754643 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950750083312 139951559826050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13649] ppid=13630 vsize=27718424 memory=1384 CPUtime=1.29 cores=0-7 /proc/13633/task/13649/stat : 13649 (java) S 13630 13633 12681 0 -1 1077944384 7667 0 0 0 127 2 0 0 20 0 45 0 256754643 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950749030768 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13650] ppid=13630 vsize=27718424 memory=1762324 CPUtime=1.28 cores=0-7 /proc/13633/task/13650/stat : 13650 (java) S 13630 13633 12681 0 -1 1077944384 4913 0 0 0 127 1 0 0 20 0 45 0 256754643 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950747977712 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13651] ppid=13630 vsize=27718424 memory=6791534058613427641 CPUtime=0.83 cores=0-7 /proc/13633/task/13651/stat : 13651 (java) R 13630 13633 12681 0 -1 4202560 17107 0 0 0 81 2 0 0 20 0 45 0 256754643 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950746925168 139951545495601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13652] ppid=13630 vsize=27718424 memory=500 CPUtime=0 cores=0-7 /proc/13633/task/13652/stat : 13652 (java) S 13630 13633 12681 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 256754644 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950745873376 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13653] ppid=13630 vsize=27718424 memory=928 CPUtime=0.72 cores=0-7 /proc/13633/task/13653/stat : 13653 (java) S 13630 13633 12681 0 -1 1077944384 12257 0 0 0 50 22 0 0 20 0 45 0 256754644 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950744820912 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13654] ppid=13630 vsize=27718424 memory=2336 CPUtime=0 cores=0-7 /proc/13633/task/13654/stat : 13654 (java) S 13630 13633 12681 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 45 0 256754817 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950733476864 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13655] ppid=13630 vsize=27718424 memory=1580 CPUtime=1.85 cores=0-7 /proc/13633/task/13655/stat : 13655 (java) S 13630 13633 12681 0 -1 1077944384 24343 0 0 0 40 145 0 0 20 0 45 0 256754835 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950730327344 139951559826050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13656] ppid=13630 vsize=27718424 memory=924 CPUtime=2.01 cores=0-7 /proc/13633/task/13656/stat : 13656 (java) S 13630 13633 12681 0 -1 1077944384 581 0 0 0 200 1 0 0 20 0 45 0 256754855 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950727177136 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13657] ppid=13630 vsize=27718424 memory=2188 CPUtime=2487.11 cores=0-7 /proc/13633/task/13657/stat : 13657 (java) R 13630 13633 12681 0 -1 4202560 89266 0 0 0 248634 77 0 0 20 0 45 0 256754856 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950726117160 139951200167473 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13658] ppid=13630 vsize=27718424 memory=3984 CPUtime=2488.9 cores=0-7 /proc/13633/task/13658/stat : 13658 (java) R 13630 13633 12681 0 -1 4202560 98286 0 0 0 248814 76 0 0 20 0 45 0 256754856 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950725064112 139951200167378 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13659] ppid=13630 vsize=27718424 memory=2024 CPUtime=2488.59 cores=0-7 /proc/13633/task/13659/stat : 13659 (java) R 13630 13633 12681 0 -1 4202560 92672 0 0 0 248786 73 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950721913896 139951200758440 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13660] ppid=13630 vsize=27718424 memory=1762324 CPUtime=2487.84 cores=0-7 /proc/13633/task/13660/stat : 13660 (java) R 13630 13633 12681 0 -1 4202560 92658 0 0 0 248711 73 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950720862384 139951199878897 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13661] ppid=13630 vsize=27718424 memory=1762324 CPUtime=2488.91 cores=0-7 /proc/13633/task/13661/stat : 13661 (java) R 13630 13633 12681 0 -1 4202560 95488 0 0 0 248818 73 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950719809768 139951199968938 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13662] ppid=13630 vsize=27718424 memory=2424 CPUtime=2488.75 cores=0-7 /proc/13633/task/13662/stat : 13662 (java) R 13630 13633 12681 0 -1 4202560 85770 0 0 0 248804 71 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950718756264 139951199879328 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13663] ppid=13630 vsize=27718424 memory=1832 CPUtime=0.02 cores=0-7 /proc/13633/task/13663/stat : 13663 (java) R 13630 13633 12681 0 -1 4202560 424 0 0 0 2 0 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950717703296 139951559826838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13664] ppid=13630 vsize=27718424 memory=1920 CPUtime=2488.77 cores=0-7 /proc/13633/task/13664/stat : 13664 (java) R 13630 13633 12681 0 -1 4202560 94504 0 0 0 248800 77 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950716651240 139951199879015 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13665] ppid=13630 vsize=27718424 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13633/task/13665/stat : 13665 (java) S 13630 13633 12681 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 45 0 256754863 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950715605472 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13666] ppid=13630 vsize=27718424 memory=31602423 CPUtime=0 cores=0-7 /proc/13633/task/13666/stat : 13666 (java) S 13630 13633 12681 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 45 0 256754866 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950714552592 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13667] ppid=13630 vsize=27718424 memory=19773178 CPUtime=2485.74 cores=0-7 /proc/13633/task/13667/stat : 13667 (java) R 13630 13633 12681 0 -1 4202560 93690 0 0 0 248496 78 0 0 20 0 45 0 256754867 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950713493040 139951199994193 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 [pid=13633/tid=13668] ppid=13630 vsize=27718424 memory=28025914543 CPUtime=0 cores=0-7 /proc/13633/task/13668/stat : 13668 (java) S 13630 13633 12681 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 45 0 256754867 28383666176 440820 33554432000 4194304 4196468 140720758853232 139950712448432 139951559825109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20791296 140720758854733 140720758854917 140720758854917 140720758857679 0 Current children cumulated CPU time: 19970 s Current children cumulated vsize: 27718424 KiB Current children cumulated memory: 1763280 KiB Child status: 143 Real time (s): 2520.28 CPU time (s): 19970.6 CPU user time (s): 19960.1 CPU system time (s): 10.5418 CPU usage (%): 792.396 Max. virtual memory (cumulated for all children) (KiB): 27718424 Max. memory (cumulated for all children) (KiB): 1763280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19960.1 system time used= 10.5418 maximum resident set size= 1765024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2301347 page faults= 0 swaps= 0 block input operations= 0 block output operations= 5024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 755991 involuntary context switches= 453092 # summary of solver processes directly reported to runsolver: # pid: 13633 # total CPU time (s): 19970.6 # total CPU user time (s): 19960.1 # total CPU system time (s): 10.5418 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.3855 second user time and 30.9972 second system time The end
Begin job on node132 at 2018-08-16 05:58:35 IDJOB=4309038 IDBENCH=141567 IDSOLVER=2793 FILE ID=node132/4309038-1534391915 RUNJOBID= node132-1534382705-12708 PBS_JOBID= 21038303 Free space on /tmp= 47092 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-04-0003_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-4309038-1534391915/watcher-4309038-1534391915 -o /tmp/evaluation-result-4309038-1534391915/solver-4309038-1534391915 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534382705-12708 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2041407982 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309038-1534391915.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= dd4ed178c47046d12ce38b3d0d17c272 RANDOM SEED=2041407982 node132.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.65 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.65 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.65 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.65 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: 24798496 kB MemAvailable: 31893332 kB Buffers: 241944 kB Cached: 7108632 kB SwapCached: 4 kB Active: 3919328 kB Inactive: 3488252 kB Active(anon): 6564 kB Inactive(anon): 110860 kB Active(file): 3912764 kB Inactive(file): 3377392 kB Unevictable: 6984 kB Mlocked: 6984 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 35772 kB Writeback: 0 kB AnonPages: 62760 kB Mapped: 58860 kB Shmem: 58012 kB Slab: 260848 kB SReclaimable: 233140 kB SUnreclaim: 27708 kB KernelStack: 3584 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358784 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 47056 MiB End job on node132 at 2018-08-16 06:40:35