Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19798.6 | 2520.34 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml |
MD5SUM | 51c3d091a7e4b0716a15e9a29832b849 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 548030622 |
Best CPU time to get the best result obtained on this benchmark | 3009.19 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7232 |
Number of constraints | 4665 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 135 |
Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
Minimum variable degree | 2 |
Maximum variable degree | 2178 |
Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
Number of extensional constraints | 2177 |
Number of intensional constraints | 2488 |
Distribution of constraint types | [{"type":"extension","count":2177},{"type":"intension","count":2488}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 402436563 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 37.95/21.09 c Parsing done, starting search... 19796.51/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 (14048 MiB free) memory of node 1: 16384 MiB (9904 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309289-1534373381/watcher-4309289-1534373381 -o /tmp/evaluation-result-4309289-1534373381/solver-4309289-1534373381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534373381-17970 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 402436563 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309289-1534373381.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=17987, runsolver pid=17984 [startup+0.100882 s]* /proc/loadavg: 9.09 9.01 8.89 3/203 18007 /proc/meminfo: memFree=24512324/32770624 swapFree=67108688/67108860 [pid=17987] ppid=17984 vsize=26103420 memory=31164 CPUtime=0.11 cores=0-7 /proc/17987/stat : 17987 (java) S 17984 17987 17943 0 -1 1077944320 7250 0 0 0 10 1 0 0 20 0 20 0 254901365 26729902080 7791 33554432000 4194304 4196468 140732924753680 140732924736224 139865934442231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 /proc/17987/statm: 6525855 7791 3139 1 0 6487932 0 [pid=17987/tid=17989] ppid=17984 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17987/task/17989/stat : 17989 (java) R 17984 17987 17943 0 -1 4202560 5422 0 0 0 8 1 0 0 20 0 20 0 254901365 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865938648352 139865918485861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17990] ppid=17984 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17987/task/17990/stat : 17990 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865887062800 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17991] ppid=17984 vsize=26103420 memory=139960177165952 CPUtime=0 cores=0-7 /proc/17987/task/17991/stat : 17991 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865886010256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17992] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17992/stat : 17992 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865884957712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17993] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17993/stat : 17993 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865883905168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17994] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17994/stat : 17994 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865882851600 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17995] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/17995/stat : 17995 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865881799056 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17996] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17996/stat : 17996 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865880746512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17997] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17997/stat : 17997 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865879693968 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17998] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17998/stat : 17998 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865262864880 139865934453378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17999] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17999/stat : 17999 (java) S 17984 17987 17943 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865261811104 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18000] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18000/stat : 18000 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865260758512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18001] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18001/stat : 18001 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865259707088 139865934460827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18002] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18002/stat : 18002 (java) S 17984 17987 17943 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865258653680 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18003] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18003/stat : 18003 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865257601136 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18004] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18004/stat : 18004 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865256548592 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18005] ppid=17984 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/17987/task/18005/stat : 18005 (java) R 17984 17987 17943 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865255496048 139865914685001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18006] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18006/stat : 18006 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865254443744 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18007] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/18007/stat : 18007 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 7932 33554432000 4194304 4196468 140732924753680 139865253391280 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 31164 KiB [startup+0.210471 s]* /proc/loadavg: 9.09 9.01 8.89 3/203 18007 /proc/meminfo: memFree=24499860/32770624 swapFree=67108688/67108860 [pid=17987] ppid=17984 vsize=26103420 memory=43028 CPUtime=0.3 cores=0-7 /proc/17987/stat : 17987 (java) S 17984 17987 17943 0 -1 1077944320 10425 0 0 0 28 2 0 0 20 0 20 0 254901365 26729902080 10757 33554432000 4194304 4196468 140732924753680 140732924736224 139865934442231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 /proc/17987/statm: 6525855 10757 3325 1 0 6487932 0 [pid=17987/tid=17989] ppid=17984 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/17987/task/17989/stat : 17989 (java) R 17984 17987 17943 0 -1 4202560 8191 0 0 0 18 2 0 0 20 0 20 0 254901365 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865938667792 139865918522718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17990] ppid=17984 vsize=26103420 memory=13976 CPUtime=0 cores=0-7 /proc/17987/task/17990/stat : 17990 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865887062800 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17991] ppid=17984 vsize=26103420 memory=3904821547292460704 CPUtime=0 cores=0-7 /proc/17987/task/17991/stat : 17991 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865886010256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17992] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/17992/stat : 17992 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865884957712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17993] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17993/stat : 17993 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865883905168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17994] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17994/stat : 17994 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865882851600 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17995] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/17995/stat : 17995 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865881799056 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17996] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17996/stat : 17996 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865880746512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17997] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17997/stat : 17997 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865879693968 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17998] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17998/stat : 17998 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865262864880 139865934453378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17999] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17999/stat : 17999 (java) S 17984 17987 17943 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865261811104 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18000] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18000/stat : 18000 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865260758512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18001] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18001/stat : 18001 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865259707088 139865934460827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18002] ppid=17984 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/17987/task/18002/stat : 18002 (java) S 17984 17987 17943 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865258653680 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18003] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18003/stat : 18003 (java) S 17984 17987 17943 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865257601136 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18004] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18004/stat : 18004 (java) S 17984 17987 17943 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865256548592 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18005] ppid=17984 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/17987/task/18005/stat : 18005 (java) R 17984 17987 17943 0 -1 4202560 310 0 0 0 6 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865255490400 139865913743979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18006] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18006/stat : 18006 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865254443744 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18007] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/18007/stat : 18007 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 10757 33554432000 4194304 4196468 140732924753680 139865253391280 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43028 KiB [startup+0.31066 s]* /proc/loadavg: 9.09 9.01 8.89 3/203 18007 /proc/meminfo: memFree=24495448/32770624 swapFree=67108688/67108860 [pid=17987] ppid=17984 vsize=26103420 memory=46288 CPUtime=0.43 cores=0-7 /proc/17987/stat : 17987 (java) S 17984 17987 17943 0 -1 1077944320 10856 0 0 0 41 2 0 0 20 0 20 0 254901365 26729902080 11572 33554432000 4194304 4196468 140732924753680 140732924736224 139865934442231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 /proc/17987/statm: 6525855 11572 3326 1 0 6487932 0 [pid=17987/tid=17989] ppid=17984 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17987/task/17989/stat : 17989 (java) R 17984 17987 17943 0 -1 4202560 8533 0 0 0 28 2 0 0 20 0 20 0 254901365 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865938644816 139865918522718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17990] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17990/stat : 17990 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865887062800 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17991] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17991/stat : 17991 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865886010256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17992] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17992/stat : 17992 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865884957712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17993] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17993/stat : 17993 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865883905168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17994] ppid=17984 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/17987/task/17994/stat : 17994 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865882851600 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17995] ppid=17984 vsize=26103420 memory=139960032261039 CPUtime=0 cores=0-7 /proc/17987/task/17995/stat : 17995 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865881799056 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17996] ppid=17984 vsize=26103420 memory=139960032263344 CPUtime=0 cores=0-7 /proc/17987/task/17996/stat : 17996 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865880746512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17997] ppid=17984 vsize=26103420 memory=139960032265648 CPUtime=0 cores=0-7 /proc/17987/task/17997/stat : 17997 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865879693968 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17998] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17998/stat : 17998 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865262864880 139865934453378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17999] ppid=17984 vsize=26103420 memory=279920064538256 CPUtime=0 cores=0-7 /proc/17987/task/17999/stat : 17999 (java) S 17984 17987 17943 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865261811104 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18000] ppid=17984 vsize=26103420 memory=279920064545168 CPUtime=0 cores=0-7 /proc/17987/task/18000/stat : 18000 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254901368 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865260758512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18001] ppid=17984 vsize=26103420 memory=279920064486448 CPUtime=0 cores=0-7 /proc/17987/task/18001/stat : 18001 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865259707088 139865934460827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18002] ppid=17984 vsize=26103420 memory=279920064558992 CPUtime=0.02 cores=0-7 /proc/17987/task/18002/stat : 18002 (java) S 17984 17987 17943 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865258653680 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18003] ppid=17984 vsize=26103420 memory=279920064565904 CPUtime=0 cores=0-7 /proc/17987/task/18003/stat : 18003 (java) S 17984 17987 17943 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865257601136 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18004] ppid=17984 vsize=26103420 memory=279920064563600 CPUtime=0 cores=0-7 /proc/17987/task/18004/stat : 18004 (java) S 17984 17987 17943 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865256548592 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18005] ppid=17984 vsize=26103420 memory=279920064580208 CPUtime=0.08 cores=0-7 /proc/17987/task/18005/stat : 18005 (java) S 17984 17987 17943 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865255496048 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18006] ppid=17984 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/18006/stat : 18006 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865254443744 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18007] ppid=17984 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/17987/task/18007/stat : 18007 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901371 26729902080 11572 33554432000 4194304 4196468 140732924753680 139865253391280 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46288 KiB [startup+0.700867 s] /proc/loadavg: 9.09 9.01 8.89 2/203 18007 /proc/meminfo: memFree=24471512/32770624 swapFree=67108688/67108860 [pid=17987] ppid=17984 vsize=26105488 memory=87732 CPUtime=0.99 cores=0-7 /proc/17987/stat : 17987 (java) S 17984 17987 17943 0 -1 1077944320 17810 0 0 0 94 5 0 0 20 0 20 0 254901365 26732019712 21933 33554432000 4194304 4196468 140732924753680 140732924736224 139865934442231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 /proc/17987/statm: 6526372 21933 3497 1 0 6488444 0 [pid=17987/tid=17989] ppid=17984 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/17987/task/17989/stat : 17989 (java) R 17984 17987 17943 0 -1 4202560 15023 0 0 0 63 4 0 0 20 0 20 0 254901365 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865938662152 139865918522718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17990] ppid=17984 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17990/stat : 17990 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865887062800 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17991] ppid=17984 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17991/stat : 17991 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865886010256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17992] ppid=17984 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/17987/task/17992/stat : 17992 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865884957712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17993] ppid=17984 vsize=26105488 memory=1220 CPUtime=0 cores=0-7 /proc/17987/task/17993/stat : 17993 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865883905168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17994] ppid=17984 vsize=26105488 memory=1612 CPUtime=0 cores=0-7 /proc/17987/task/17994/stat : 17994 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865882851600 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17995] ppid=17984 vsize=26105488 memory=1808 CPUtime=0 cores=0-7 /proc/17987/task/17995/stat : 17995 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865881799056 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17996] ppid=17984 vsize=26105488 memory=8704 CPUtime=0 cores=0-7 /proc/17987/task/17996/stat : 17996 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865880746512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17997] ppid=17984 vsize=26105488 memory=14884 CPUtime=0 cores=0-7 /proc/17987/task/17997/stat : 17997 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254901366 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865879693968 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17998] ppid=17984 vsize=26105488 memory=15784 CPUtime=0 cores=0-7 /proc/17987/task/17998/stat : 17998 (java) S 17984 17987 17943 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254901368 26732019712 21933 33554432000 4194304 4196468 140732924753680 139865262864880 139865934453378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 ################ # More data... # ################ [pid=17987/tid=17999] ppid=17984 vsize=27320060 memory=1172 CPUtime=0 cores=0-7 /proc/17987/task/17999/stat : 17999 (java) S 17984 17987 17943 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 38 0 254901368 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865261811168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18000] ppid=17984 vsize=27320060 memory=38432 CPUtime=0 cores=0-7 /proc/17987/task/18000/stat : 18000 (java) S 17984 17987 17943 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 38 0 254901368 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865260758528 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18001] ppid=17984 vsize=27320060 memory=3360 CPUtime=0 cores=0-7 /proc/17987/task/18001/stat : 18001 (java) S 17984 17987 17943 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865259707088 139865934460827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18002] ppid=17984 vsize=27320060 memory=496 CPUtime=4.05 cores=0-7 /proc/17987/task/18002/stat : 18002 (java) S 17984 17987 17943 0 -1 1077944384 26853 0 0 0 399 6 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865258653680 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18003] ppid=17984 vsize=27320060 memory=1624 CPUtime=3.72 cores=0-7 /proc/17987/task/18003/stat : 18003 (java) S 17984 17987 17943 0 -1 1077944384 18267 0 0 0 367 5 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865257601136 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18004] ppid=17984 vsize=27320060 memory=928 CPUtime=4.37 cores=0-7 /proc/17987/task/18004/stat : 18004 (java) S 17984 17987 17943 0 -1 1077944384 25754 0 0 0 431 6 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865256548592 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18005] ppid=17984 vsize=27320060 memory=2332 CPUtime=1.65 cores=0-7 /proc/17987/task/18005/stat : 18005 (java) S 17984 17987 17943 0 -1 1077944384 26688 0 0 0 159 6 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865255496048 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18006] ppid=17984 vsize=27320060 memory=924 CPUtime=0 cores=0-7 /proc/17987/task/18006/stat : 18006 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865254443744 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18007] ppid=17984 vsize=27320060 memory=6791534058613427641 CPUtime=1.07 cores=0-7 /proc/17987/task/18007/stat : 18007 (java) S 17984 17987 17943 0 -1 1077944384 3711 0 0 0 47 60 0 0 20 0 38 0 254901371 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865253391280 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18015] ppid=17984 vsize=27320060 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17987/task/18015/stat : 18015 (java) S 17984 17987 17943 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 38 0 254905897 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865239950592 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18016] ppid=17984 vsize=27320060 memory=6791534058613427641 CPUtime=5.29 cores=0-7 /proc/17987/task/18016/stat : 18016 (java) R 17984 17987 17943 0 -1 1077944384 9367 0 0 0 298 231 0 0 20 0 38 0 254905914 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865236801184 139865934453378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18017] ppid=17984 vsize=27320060 memory=1172 CPUtime=2431.07 cores=0-7 /proc/17987/task/18017/stat : 18017 (java) R 17984 17987 17943 0 -1 4202560 108272 0 0 0 242910 197 0 0 20 0 38 0 254905930 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865233645008 139865571190637 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18018] ppid=17984 vsize=27320060 memory=38432 CPUtime=2421.41 cores=0-7 /proc/17987/task/18018/stat : 18018 (java) R 17984 17987 17943 0 -1 4202560 92949 0 0 0 241898 243 0 0 20 0 38 0 254905931 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865232590664 139865572584884 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18019] ppid=17984 vsize=27320060 memory=12786892 CPUtime=0 cores=0-7 /proc/17987/task/18019/stat : 18019 (java) S 17984 17987 17943 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 38 0 254905931 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865231545264 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18020] ppid=17984 vsize=27320060 memory=496 CPUtime=8.44 cores=0-7 /proc/17987/task/18020/stat : 18020 (java) S 17984 17987 17943 0 -1 1077944384 3140 0 0 0 832 12 0 0 20 0 38 0 254905938 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865230492720 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18021] ppid=17984 vsize=27320060 memory=1624 CPUtime=2423.08 cores=0-7 /proc/17987/task/18021/stat : 18021 (java) R 17984 17987 17943 0 -1 4202560 81079 0 0 0 242079 229 0 0 20 0 38 0 254905938 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865229431960 139865571118382 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18022] ppid=17984 vsize=27320060 memory=928 CPUtime=2430.73 cores=0-7 /proc/17987/task/18022/stat : 18022 (java) R 17984 17987 17943 0 -1 4202560 87095 0 0 0 242854 219 0 0 20 0 38 0 254905938 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865228379752 139865571118430 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18023] ppid=17984 vsize=27320060 memory=2332 CPUtime=2438.46 cores=0-7 /proc/17987/task/18023/stat : 18023 (java) R 17984 17987 17943 0 -1 4202560 163502 0 0 0 243598 248 0 0 20 0 38 0 254905938 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865227326960 139865571271601 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18024] ppid=17984 vsize=27320060 memory=0 CPUtime=8.52 cores=0-7 /proc/17987/task/18024/stat : 18024 (java) S 17984 17987 17943 0 -1 1077944384 2408 0 0 0 837 15 0 0 20 0 38 0 254905939 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865226282544 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18025] ppid=17984 vsize=27320060 memory=0 CPUtime=8.49 cores=0-7 /proc/17987/task/18025/stat : 18025 (java) S 17984 17987 17943 0 -1 1077944384 3180 0 0 0 836 13 0 0 20 0 38 0 254905940 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865225228976 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18026] ppid=17984 vsize=27320060 memory=0 CPUtime=2429.79 cores=0-7 /proc/17987/task/18026/stat : 18026 (java) R 17984 17987 17943 0 -1 4202560 74223 0 0 0 242769 210 0 0 20 0 38 0 254905940 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865224168328 139865571118023 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18027] ppid=17984 vsize=27320060 memory=0 CPUtime=2430.47 cores=0-7 /proc/17987/task/18027/stat : 18027 (java) R 17984 17987 17943 0 -1 4202560 139863 0 0 0 242836 211 0 0 20 0 38 0 254905940 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865223116744 139865570919162 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18029] ppid=17984 vsize=27320060 memory=12786892 CPUtime=0 cores=0-7 /proc/17987/task/18029/stat : 18029 (java) S 17984 17987 17943 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 38 0 254908421 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865222071344 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18030] ppid=17984 vsize=27320060 memory=6791534058613427641 CPUtime=2423.14 cores=0-7 /proc/17987/task/18030/stat : 18030 (java) R 17984 17987 17943 0 -1 4202560 77541 0 0 0 242102 212 0 0 20 0 38 0 254908421 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865221010696 139865571061750 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18031] ppid=17984 vsize=27320060 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17987/task/18031/stat : 18031 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 254908421 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865219966256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18032] ppid=17984 vsize=27320060 memory=1276 CPUtime=0 cores=0-7 /proc/17987/task/18032/stat : 18032 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 254908421 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865218913712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18033] ppid=17984 vsize=27320060 memory=9604 CPUtime=0 cores=0-7 /proc/17987/task/18033/stat : 18033 (java) S 17984 17987 17943 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 254908421 27975741440 3196723 33554432000 4194304 4196468 140732924753680 139865217861168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 Current children cumulated CPU time: 19796.5 s Current children cumulated vsize: 27320060 KiB Current children cumulated memory: 12786892 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.34 s] # the end of solver process 17987 was just reported to runsolver # cumulated CPU time of all completed processes: user=19748 s, system=50.6355 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 8.78 8.93 8.89 10/222 18109 /proc/meminfo: memFree=11730380/32770624 swapFree=67108688/67108860 [pid=17987] ppid=17984 vsize=27786008 memory=12788212 CPUtime=19798.1 cores=0-7 /proc/17987/stat : 17987 (java) S 17984 17987 17943 0 -1 1077944320 2730324 0 0 0 1974750 5056 0 0 20 0 45 0 254901365 28452872192 3197053 33554432000 4194304 4196468 140732924753680 140732924736224 139865934442231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 /proc/17987/statm: 6946502 3197053 3643 1 0 6908053 0 [pid=17987/tid=17989] ppid=17984 vsize=27786008 memory=1220 CPUtime=40.67 cores=0-7 /proc/17987/task/17989/stat : 17989 (java) S 17984 17987 17943 0 -1 1077944384 39448 0 0 0 3977 90 0 0 20 0 45 0 254901365 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865938679696 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17990] ppid=17984 vsize=27786008 memory=1612 CPUtime=34.96 cores=0-7 /proc/17987/task/17990/stat : 17990 (java) S 17984 17987 17943 0 -1 1077944384 212065 0 0 0 3116 380 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865887062800 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 94 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17991] ppid=17984 vsize=27786008 memory=1808 CPUtime=35.08 cores=0-7 /proc/17987/task/17991/stat : 17991 (java) S 17984 17987 17943 0 -1 1077944384 199793 0 0 0 3111 397 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865886010256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 82 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17992] ppid=17984 vsize=27786008 memory=8704 CPUtime=34.97 cores=0-7 /proc/17987/task/17992/stat : 17992 (java) S 17984 17987 17943 0 -1 1077944384 207869 0 0 0 3117 380 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865884957712 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 90 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17993] ppid=17984 vsize=27786008 memory=14884 CPUtime=34.91 cores=0-7 /proc/17987/task/17993/stat : 17993 (java) S 17984 17987 17943 0 -1 1077944384 196764 0 0 0 3103 388 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865883905168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 84 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17994] ppid=17984 vsize=27786008 memory=15784 CPUtime=35.07 cores=0-7 /proc/17987/task/17994/stat : 17994 (java) S 17984 17987 17943 0 -1 1077944384 204608 0 0 0 3112 395 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865882851600 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 92 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17995] ppid=17984 vsize=27786008 memory=1172 CPUtime=34.99 cores=0-7 /proc/17987/task/17995/stat : 17995 (java) S 17984 17987 17943 0 -1 1077944384 214477 0 0 0 3116 383 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865881799056 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 87 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17996] ppid=17984 vsize=27786008 memory=38432 CPUtime=34.95 cores=0-7 /proc/17987/task/17996/stat : 17996 (java) S 17984 17987 17943 0 -1 1077944384 213298 0 0 0 3120 375 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865880746512 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 91 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17997] ppid=17984 vsize=27786008 memory=1564 CPUtime=35.07 cores=0-7 /proc/17987/task/17997/stat : 17997 (java) S 17984 17987 17943 0 -1 1077944384 195462 0 0 0 3115 392 0 0 20 0 45 0 254901366 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865879693968 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 83 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17998] ppid=17984 vsize=27786008 memory=2192 CPUtime=1.78 cores=0-7 /proc/17987/task/17998/stat : 17998 (java) S 17984 17987 17943 0 -1 1077944384 94871 0 0 0 154 24 0 0 20 0 45 0 254901368 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865262864880 139865934453378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=17999] ppid=17984 vsize=27786008 memory=3980 CPUtime=0 cores=0-7 /proc/17987/task/17999/stat : 17999 (java) S 17984 17987 17943 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 45 0 254901368 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865261811168 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18000] ppid=17984 vsize=27786008 memory=1924 CPUtime=0 cores=0-7 /proc/17987/task/18000/stat : 18000 (java) S 17984 17987 17943 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 45 0 254901368 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865260758528 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18001] ppid=17984 vsize=27786008 memory=7636 CPUtime=0 cores=0-7 /proc/17987/task/18001/stat : 18001 (java) S 17984 17987 17943 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 45 0 254901371 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865259707088 139865934460827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18002] ppid=17984 vsize=27786008 memory=804 CPUtime=4.1 cores=0-7 /proc/17987/task/18002/stat : 18002 (java) S 17984 17987 17943 0 -1 1077944384 27798 0 0 0 404 6 0 0 20 0 45 0 254901371 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865258653680 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18003] ppid=17984 vsize=27786008 memory=4100 CPUtime=3.73 cores=0-7 /proc/17987/task/18003/stat : 18003 (java) S 17984 17987 17943 0 -1 1077944384 18959 0 0 0 368 5 0 0 20 0 45 0 254901371 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865257601136 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18004] ppid=17984 vsize=27786008 memory=1800 CPUtime=4.37 cores=0-7 /proc/17987/task/18004/stat : 18004 (java) S 17984 17987 17943 0 -1 1077944384 25754 0 0 0 431 6 0 0 20 0 45 0 254901371 28452872192 3197053 33554432000 4194304 4196468 140732924753680 139865256548592 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18005] ppid=17984 vsize=27786008 memory=920 CPUtime=1.65 cores=0-7 /proc/17987/task/18005/stat : 18005 (java) R 17984 17987 17943 0 -1 1077944384 27586 0 0 0 159 6 0 0 20 0 45 0 254901371 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865255496048 139865934453378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18006] ppid=17984 vsize=27786008 memory=3912 CPUtime=0 cores=0-7 /proc/17987/task/18006/stat : 18006 (java) S 17984 17987 17943 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 254901371 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865254443744 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18007] ppid=17984 vsize=27786008 memory=1408 CPUtime=1.07 cores=0-7 /proc/17987/task/18007/stat : 18007 (java) S 17984 17987 17943 0 -1 1077944384 3711 0 0 0 47 60 0 0 20 0 45 0 254901371 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865253391280 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18015] ppid=17984 vsize=27786008 memory=4144 CPUtime=0 cores=0-7 /proc/17987/task/18015/stat : 18015 (java) S 17984 17987 17943 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 45 0 254905897 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865239950592 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18016] ppid=17984 vsize=27786008 memory=12786892 CPUtime=5.29 cores=0-7 /proc/17987/task/18016/stat : 18016 (java) S 17984 17987 17943 0 -1 1077944384 9369 0 0 0 298 231 0 0 20 0 45 0 254905914 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865236801184 139865934453378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18017] ppid=17984 vsize=27786008 memory=288230591722422566 CPUtime=2431.23 cores=0-7 /proc/17987/task/18017/stat : 18017 (java) R 17984 17987 17943 0 -1 4202560 108273 0 0 0 242926 197 0 0 20 0 45 0 254905930 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865233642472 139865572584884 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18018] ppid=17984 vsize=27786008 memory=920 CPUtime=2421.59 cores=0-7 /proc/17987/task/18018/stat : 18018 (java) R 17984 17987 17943 0 -1 4202560 92950 0 0 0 241916 243 0 0 20 0 45 0 254905931 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865232589928 139865571118434 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18019] ppid=17984 vsize=27786008 memory=3912 CPUtime=0 cores=0-7 /proc/17987/task/18019/stat : 18019 (java) S 17984 17987 17943 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 45 0 254905931 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865231545264 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18020] ppid=17984 vsize=27786008 memory=1408 CPUtime=8.44 cores=0-7 /proc/17987/task/18020/stat : 18020 (java) S 17984 17987 17943 0 -1 1077944384 3162 0 0 0 832 12 0 0 20 0 45 0 254905938 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865230492720 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18021] ppid=17984 vsize=27786008 memory=4144 CPUtime=2423.27 cores=0-7 /proc/17987/task/18021/stat : 18021 (java) R 17984 17987 17943 0 -1 4202560 81080 0 0 0 242098 229 0 0 20 0 45 0 254905938 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865229433032 139865571061937 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18022] ppid=17984 vsize=27786008 memory=12786892 CPUtime=2430.91 cores=0-7 /proc/17987/task/18022/stat : 18022 (java) R 17984 17987 17943 0 -1 4202560 87096 0 0 0 242872 219 0 0 20 0 45 0 254905938 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865228379616 139865569136126 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18023] ppid=17984 vsize=27786008 memory=6791534058613427641 CPUtime=2438.66 cores=0-7 /proc/17987/task/18023/stat : 18023 (java) R 17984 17987 17943 0 -1 4202560 163502 0 0 0 243618 248 0 0 20 0 45 0 254905938 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865227326848 139865560792800 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18024] ppid=17984 vsize=27786008 memory=4872558044660077418 CPUtime=8.53 cores=0-7 /proc/17987/task/18024/stat : 18024 (java) S 17984 17987 17943 0 -1 1077944384 2851 0 0 0 838 15 0 0 20 0 45 0 254905939 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865226282544 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18025] ppid=17984 vsize=27786008 memory=1068 CPUtime=8.5 cores=0-7 /proc/17987/task/18025/stat : 18025 (java) R 17984 17987 17943 0 -1 1077944384 3203 0 0 0 837 13 0 0 20 0 45 0 254905940 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865225228976 139865934452437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18026] ppid=17984 vsize=27786008 memory=1220 CPUtime=2429.97 cores=0-7 /proc/17987/task/18026/stat : 18026 (java) R 17984 17987 17943 0 -1 4202560 74223 0 0 0 242787 210 0 0 20 0 45 0 254905940 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865224168192 139865572584884 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18027] ppid=17984 vsize=27786008 memory=3824 CPUtime=2430.65 cores=0-7 /proc/17987/task/18027/stat : 18027 (java) R 17984 17987 17943 0 -1 4202560 139865 0 0 0 242854 211 0 0 20 0 45 0 254905940 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865223115648 139865570455307 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18029] ppid=17984 vsize=27786008 memory=69448 CPUtime=0 cores=0-7 /proc/17987/task/18029/stat : 18029 (java) S 17984 17987 17943 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 45 0 254908421 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865222071344 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18030] ppid=17984 vsize=27786008 memory=2316 CPUtime=2423.3 cores=0-7 /proc/17987/task/18030/stat : 18030 (java) R 17984 17987 17943 0 -1 4202560 77542 0 0 0 242118 212 0 0 20 0 45 0 254908421 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865221011656 139865571118382 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18031] ppid=17984 vsize=27786008 memory=1220 CPUtime=0 cores=0-7 /proc/17987/task/18031/stat : 18031 (java) S 17984 17987 17943 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 45 0 254908421 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865219966256 139865934452437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18032] ppid=17984 vsize=27786008 memory=1756 CPUtime=0 cores=0-7 /proc/17987/task/18032/stat : 18032 (java) R 17984 17987 17943 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 45 0 254908421 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865218910000 139865926683621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 [pid=17987/tid=18033] ppid=17984 vsize=27786008 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/17987/task/18033/stat : 18033 (java) R 17984 17987 17943 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 45 0 254908421 28452872192 3197080 33554432000 4194304 4196468 140732924753680 139865217861168 139865934452437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36032512 140732924757070 140732924757253 140732924757253 140732924760015 0 Current children cumulated CPU time: 19798.1 s Current children cumulated vsize: 27786008 KiB Current children cumulated memory: 12788212 KiB [startup+2520.3 s]* /proc/loadavg: 8.78 8.93 8.89 2/186 18117 /proc/meminfo: memFree=18877180/32770624 swapFree=67108688/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.34 CPU time (s): 19798.6 CPU user time (s): 19748 CPU system time (s): 50.6355 CPU usage (%): 785.554 Max. virtual memory (cumulated for all children) (KiB): 27786008 Max. memory (cumulated for all children) (KiB): 14715504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19748 system time used= 50.6355 maximum resident set size= 14715504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2730862 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 339277 involuntary context switches= 430707 # summary of solver processes directly reported to runsolver: # pid: 17987 # total CPU time (s): 19798.6 # total CPU user time (s): 19748 # total CPU system time (s): 50.6355 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.2729 second user time and 33.6063 second system time The end
Begin job on node134 at 2018-08-16 00:49:41 IDJOB=4309289 IDBENCH=141270 IDSOLVER=2793 FILE ID=node134/4309289-1534373381 RUNJOBID= node134-1534373381-17970 PBS_JOBID= 21038291 Free space on /tmp= 51644 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_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-4309289-1534373381/watcher-4309289-1534373381 -o /tmp/evaluation-result-4309289-1534373381/solver-4309289-1534373381 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534373381-17970 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 402436563 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309289-1534373381.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849 RANDOM SEED=402436563 node134.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.68 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.68 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.68 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.68 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: 24528444 kB MemAvailable: 31891016 kB Buffers: 217564 kB Cached: 7361488 kB SwapCached: 32 kB Active: 4106124 kB Inactive: 3528108 kB Active(anon): 4448 kB Inactive(anon): 111440 kB Active(file): 4101676 kB Inactive(file): 3416668 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 183764 kB Writeback: 0 kB AnonPages: 62348 kB Mapped: 55736 kB Shmem: 57844 kB Slab: 301536 kB SReclaimable: 272688 kB SUnreclaim: 28848 kB KernelStack: 3200 kB PageTables: 6196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356656 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 51608 MiB End job on node134 at 2018-08-16 01:31:42