Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | ? (TO) | 19999 | 2520.42 |
Name | Frb/ frb-53-24-3-mgd_c18.xml |
MD5SUM | 2687d075c2954ad7539e74b041f9986e |
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 | 786.161 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 53 |
Number of constraints | 470 |
Number of domains | 1 |
Minimum domain size | 24 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":24,"count":53}] |
Minimum variable degree | 11 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":5},{"degree":15,"count":4},{"degree":16,"count":6},{"degree":17,"count":7},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":1},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":470}] |
Number of extensional constraints | 470 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":470}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 407181803 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... 2.52/1.16 c Parsing done, starting search... 19996.03/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 (11698 MiB free) memory of node 1: 16384 MiB (15873 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291376-1532675633/watcher-4291376-1532675633 -o /tmp/evaluation-result-4291376-1532675633/solver-4291376-1532675633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532673112-10763 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 407181803 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291376-1532675633.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=10945, runsolver pid=10942 [startup+0.100113 s]* /proc/loadavg: 8.49 8.62 8.69 2/198 10965 /proc/meminfo: memFree=28217532/32770624 swapFree=67108860/67108860 [pid=10945] ppid=10942 vsize=26103424 memory=30708 CPUtime=0.11 cores=0-7 /proc/10945/stat : 10945 (java) S 10942 10945 10736 0 -1 1077944320 7128 0 0 0 9 2 0 0 20 0 20 0 85126515 26729906176 7677 33554432000 4194304 4196468 140736290097552 140736290080096 139732375232247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 /proc/10945/statm: 6525856 7677 3139 1 0 6487932 0 [pid=10945/tid=10947] ppid=10942 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10945/task/10947/stat : 10947 (java) R 10942 10945 10736 0 -1 4202560 5303 0 0 0 8 1 0 0 20 0 20 0 85126515 26729906176 7809 33554432000 4194304 4196468 140736290097552 139732379427056 139732359312734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10948] ppid=10942 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10945/task/10948/stat : 10948 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7809 33554432000 4194304 4196468 140736290097552 139731933985808 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10949] ppid=10942 vsize=26103424 memory=140247151425152 CPUtime=0 cores=0-7 /proc/10945/task/10949/stat : 10949 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7809 33554432000 4194304 4196468 140736290097552 139731932933264 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10950] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10950/stat : 10950 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7809 33554432000 4194304 4196468 140736290097552 139731931880208 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10951] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7809 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126517 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10957] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10957/stat : 10957 (java) S 10942 10945 10736 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731770701472 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10958] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10958/stat : 10958 (java) S 10942 10945 10736 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731769648368 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10959] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10959/stat : 10959 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126520 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731768596944 139732375250843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10960] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10960/stat : 10960 (java) S 10942 10945 10736 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731767544048 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10961] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10961/stat : 10961 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731766491504 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10962] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10962/stat : 10962 (java) R 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731765438448 139732375243394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10963] ppid=10942 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/10945/task/10963/stat : 10963 (java) S 10942 10945 10736 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731764385904 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10964] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10964/stat : 10964 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731763334112 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10965] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10965/stat : 10965 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 7813 33554432000 4194304 4196468 140736290097552 139731762281648 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30708 KiB [startup+0.210082 s]* /proc/loadavg: 8.49 8.62 8.69 4/198 10965 /proc/meminfo: memFree=28203812/32770624 swapFree=67108860/67108860 [pid=10945] ppid=10942 vsize=26103424 memory=43188 CPUtime=0.31 cores=0-7 /proc/10945/stat : 10945 (java) S 10942 10945 10736 0 -1 1077944320 10467 0 0 0 28 3 0 0 20 0 20 0 85126515 26729906176 10797 33554432000 4194304 4196468 140736290097552 140736290080096 139732375232247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 /proc/10945/statm: 6525856 10797 3351 1 0 6487932 0 [pid=10945/tid=10947] ppid=10942 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/10945/task/10947/stat : 10947 (java) R 10942 10945 10736 0 -1 4202560 8174 0 0 0 18 2 0 0 20 0 20 0 85126515 26729906176 10797 33554432000 4194304 4196468 140736290097552 139732379449824 139732375254173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10948] ppid=10942 vsize=26103424 memory=10823 CPUtime=0 cores=0-7 /proc/10945/task/10948/stat : 10948 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731933985808 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10949] ppid=10942 vsize=26103424 memory=140247151436079 CPUtime=0 cores=0-7 /proc/10945/task/10949/stat : 10949 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731932933264 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10950] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10950/stat : 10950 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731931880208 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10951] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126517 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10957] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10957/stat : 10957 (java) S 10942 10945 10736 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731770701472 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10958] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10958/stat : 10958 (java) S 10942 10945 10736 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731769648368 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10959] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10959/stat : 10959 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126520 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731768596944 139732375250843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10960] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10960/stat : 10960 (java) S 10942 10945 10736 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731767544048 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10961] ppid=10942 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/10945/task/10961/stat : 10961 (java) S 10942 10945 10736 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731766491504 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10962] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10962/stat : 10962 (java) S 10942 10945 10736 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731765438448 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10963] ppid=10942 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/10945/task/10963/stat : 10963 (java) S 10942 10945 10736 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731764385904 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10964] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10964/stat : 10964 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731763334112 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10965] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10965/stat : 10965 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 10797 33554432000 4194304 4196468 140736290097552 139731762281648 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43188 KiB [startup+0.310108 s]* /proc/loadavg: 8.49 8.62 8.69 2/198 10965 /proc/meminfo: memFree=28200276/32770624 swapFree=67108860/67108860 [pid=10945] ppid=10942 vsize=26103424 memory=46704 CPUtime=0.43 cores=0-7 /proc/10945/stat : 10945 (java) S 10942 10945 10736 0 -1 1077944320 10882 0 0 0 40 3 0 0 20 0 20 0 85126515 26729906176 11676 33554432000 4194304 4196468 140736290097552 140736290080096 139732375232247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 /proc/10945/statm: 6525856 11676 3378 1 0 6487932 0 [pid=10945/tid=10947] ppid=10942 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10945/task/10947/stat : 10947 (java) R 10942 10945 10736 0 -1 4202560 8519 0 0 0 28 2 0 0 20 0 20 0 85126515 26729906176 11676 33554432000 4194304 4196468 140736290097552 139732379441968 139732359312734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10948] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10948/stat : 10948 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731933985808 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10949] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10949/stat : 10949 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731932933264 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10950] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10950/stat : 10950 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731931880208 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10951] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=26103424 memory=140246989763503 CPUtime=0 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=26103424 memory=140246989765808 CPUtime=0 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=26103424 memory=140246989768112 CPUtime=0 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126517 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10957] ppid=10942 vsize=26103424 memory=280493979543184 CPUtime=0 cores=0-7 /proc/10945/task/10957/stat : 10957 (java) S 10942 10945 10736 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731770701472 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10958] ppid=10942 vsize=26103424 memory=280493979550096 CPUtime=0 cores=0-7 /proc/10945/task/10958/stat : 10958 (java) S 10942 10945 10736 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85126518 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731769648368 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10959] ppid=10942 vsize=26103424 memory=280493979491344 CPUtime=0 cores=0-7 /proc/10945/task/10959/stat : 10959 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126520 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731768596944 139732375250843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10960] ppid=10942 vsize=26103424 memory=280493979563920 CPUtime=0.01 cores=0-7 /proc/10945/task/10960/stat : 10960 (java) S 10942 10945 10736 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731767544048 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10961] ppid=10942 vsize=26103424 memory=280493979570832 CPUtime=0.01 cores=0-7 /proc/10945/task/10961/stat : 10961 (java) S 10942 10945 10736 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731766491504 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10962] ppid=10942 vsize=26103424 memory=280493979568528 CPUtime=0 cores=0-7 /proc/10945/task/10962/stat : 10962 (java) S 10942 10945 10736 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731765438448 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10963] ppid=10942 vsize=26103424 memory=280493979585136 CPUtime=0.07 cores=0-7 /proc/10945/task/10963/stat : 10963 (java) S 10942 10945 10736 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731764385904 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10964] ppid=10942 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10964/stat : 10964 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731763334112 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10965] ppid=10942 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10945/task/10965/stat : 10965 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126521 26729906176 11676 33554432000 4194304 4196468 140736290097552 139731762281648 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46704 KiB [startup+0.700887 s] /proc/loadavg: 8.49 8.62 8.69 2/198 10965 /proc/meminfo: memFree=28175284/32770624 swapFree=67108860/67108860 [pid=10945] ppid=10942 vsize=26105492 memory=87868 CPUtime=0.99 cores=0-7 /proc/10945/stat : 10945 (java) S 10942 10945 10736 0 -1 1077944320 17876 0 0 0 94 5 0 0 20 0 20 0 85126515 26732023808 21967 33554432000 4194304 4196468 140736290097552 140736290080096 139732375232247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 /proc/10945/statm: 6526373 21967 3495 1 0 6488444 0 [pid=10945/tid=10947] ppid=10942 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/10945/task/10947/stat : 10947 (java) R 10942 10945 10736 0 -1 4202560 15003 0 0 0 64 3 0 0 20 0 20 0 85126515 26732023808 21967 33554432000 4194304 4196468 140736290097552 139732379450864 139732342820797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10948] ppid=10942 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10948/stat : 10948 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731933985808 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10949] ppid=10942 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10949/stat : 10949 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731932933264 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10950] ppid=10942 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10945/task/10950/stat : 10950 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731931880208 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10951] ppid=10942 vsize=26105492 memory=1812 CPUtime=0 cores=0-7 /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=26105492 memory=1020 CPUtime=0 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=26105492 memory=5184 CPUtime=0 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=26105492 memory=756 CPUtime=0 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=26105492 memory=14572 CPUtime=0 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85126516 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=26105492 memory=12708 CPUtime=0 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) S 10942 10945 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85126517 26732023808 21967 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 ################ # More data... # ################ /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 143459 0 0 0 1093 50 0 0 20 0 38 0 85126516 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=27318016 memory=12708 CPUtime=11.36 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 135339 0 0 0 1087 49 0 0 20 0 38 0 85126516 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=27318016 memory=14140 CPUtime=11.38 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 125434 0 0 0 1090 48 0 0 20 0 38 0 85126516 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=27318016 memory=2324 CPUtime=11.42 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 135751 0 0 0 1093 49 0 0 20 0 38 0 85126516 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=27318016 memory=1584 CPUtime=11.46 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 140615 0 0 0 1095 51 0 0 20 0 38 0 85126516 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=27318016 memory=496 CPUtime=4.15 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) S 10942 10945 10736 0 -1 1077944384 189838 0 0 0 328 87 0 0 20 0 38 0 85126517 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10957] ppid=10942 vsize=27318016 memory=928 CPUtime=0 cores=0-7 /proc/10945/task/10957/stat : 10957 (java) S 10942 10945 10736 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 38 0 85126518 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731770701536 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10958] ppid=10942 vsize=27318016 memory=1172 CPUtime=0 cores=0-7 /proc/10945/task/10958/stat : 10958 (java) S 10942 10945 10736 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 38 0 85126518 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731769648384 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10959] ppid=10942 vsize=27318016 memory=1968 CPUtime=0 cores=0-7 /proc/10945/task/10959/stat : 10959 (java) S 10942 10945 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 85126520 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731768596944 139732375250843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10960] ppid=10942 vsize=27318016 memory=1968 CPUtime=1.96 cores=0-7 /proc/10945/task/10960/stat : 10960 (java) S 10942 10945 10736 0 -1 1077944384 6497 0 0 0 194 2 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731767544048 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10961] ppid=10942 vsize=27318016 memory=1572 CPUtime=2.07 cores=0-7 /proc/10945/task/10961/stat : 10961 (java) S 10942 10945 10736 0 -1 1077944384 7589 0 0 0 205 2 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731766491504 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10962] ppid=10942 vsize=27318016 memory=924 CPUtime=1.89 cores=0-7 /proc/10945/task/10962/stat : 10962 (java) S 10942 10945 10736 0 -1 1077944384 10762 0 0 0 187 2 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731765438448 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10963] ppid=10942 vsize=27318016 memory=1992 CPUtime=1.07 cores=0-7 /proc/10945/task/10963/stat : 10963 (java) S 10942 10945 10736 0 -1 1077944384 13920 0 0 0 104 3 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731764385904 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10964] ppid=10942 vsize=27318016 memory=2236 CPUtime=0 cores=0-7 /proc/10945/task/10964/stat : 10964 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731763334112 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10965] ppid=10942 vsize=27318016 memory=1992 CPUtime=0.9 cores=0-7 /proc/10945/task/10965/stat : 10965 (java) S 10942 10945 10736 0 -1 1077944384 9892 0 0 0 39 51 0 0 20 0 38 0 85126521 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731762281648 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10966] ppid=10942 vsize=27318016 memory=7528 CPUtime=0 cores=0-7 /proc/10945/task/10966/stat : 10966 (java) S 10942 10945 10736 0 -1 1077944384 912 0 0 0 0 0 0 0 20 0 38 0 85126913 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731750933504 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10967] ppid=10942 vsize=27318016 memory=804 CPUtime=4.9 cores=0-7 /proc/10945/task/10967/stat : 10967 (java) S 10942 10945 10736 0 -1 1077944384 19201 0 0 0 239 251 0 0 20 0 38 0 85126930 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731747784096 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10968] ppid=10942 vsize=27318016 memory=1692 CPUtime=0.08 cores=0-7 /proc/10945/task/10968/stat : 10968 (java) S 10942 10945 10736 0 -1 1077944384 279 0 0 0 8 0 0 0 20 0 38 0 85126951 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731744633776 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10969] ppid=10942 vsize=27318016 memory=1745920 CPUtime=2483.36 cores=0-7 /proc/10945/task/10969/stat : 10969 (java) R 10942 10945 10736 0 -1 4202560 66993 0 0 0 248260 76 0 0 20 0 38 0 85126952 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731743576752 139732019429184 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10970] ppid=10942 vsize=27318016 memory=6791534058613427641 CPUtime=2486.95 cores=0-7 /proc/10945/task/10970/stat : 10970 (java) R 10942 10945 10736 0 -1 4202560 69393 0 0 0 248615 80 0 0 20 0 38 0 85126952 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731742520400 139732016996771 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10971] ppid=10942 vsize=27318016 memory=10368 CPUtime=2487.1 cores=0-7 /proc/10945/task/10971/stat : 10971 (java) R 10942 10945 10736 0 -1 4202560 71197 0 0 0 248634 76 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731739370368 139732019428898 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10972] ppid=10942 vsize=27318016 memory=2204 CPUtime=2487.55 cores=0-7 /proc/10945/task/10972/stat : 10972 (java) R 10942 10945 10736 0 -1 4202560 70800 0 0 0 248677 78 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731738318672 139732019428711 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10973] ppid=10942 vsize=27318016 memory=1240 CPUtime=0.06 cores=0-7 /proc/10945/task/10973/stat : 10973 (java) S 10942 10945 10736 0 -1 1077944384 44 0 0 0 6 0 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731737273888 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10974] ppid=10942 vsize=27318016 memory=1754136 CPUtime=2484.8 cores=0-7 /proc/10945/task/10974/stat : 10974 (java) R 10942 10945 10736 0 -1 4202560 67443 0 0 0 248397 83 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731736212976 139732019407022 0 4 0 16800975 0 0 0 -1 3 0 0 44 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10975] ppid=10942 vsize=27318016 memory=844 CPUtime=0.06 cores=0-7 /proc/10945/task/10975/stat : 10975 (java) S 10942 10945 10736 0 -1 1077944384 48 0 0 0 6 0 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731735168288 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10976] ppid=10942 vsize=27318016 memory=25000 CPUtime=0 cores=0-7 /proc/10945/task/10976/stat : 10976 (java) S 10942 10945 10736 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731734115232 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10977] ppid=10942 vsize=27318016 memory=2204 CPUtime=2484.07 cores=0-7 /proc/10945/task/10977/stat : 10977 (java) R 10942 10945 10736 0 -1 4202560 75549 0 0 0 248324 83 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731733054776 139732016996843 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10978] ppid=10942 vsize=27318016 memory=25000 CPUtime=2486.21 cores=0-7 /proc/10945/task/10978/stat : 10978 (java) R 10942 10945 10736 0 -1 4202560 67986 0 0 0 248548 73 0 0 20 0 38 0 85126959 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731732002008 139732019406997 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10979] ppid=10942 vsize=27318016 memory=2204 CPUtime=2483.04 cores=0-7 /proc/10945/task/10979/stat : 10979 (java) R 10942 10945 10736 0 -1 4202560 75739 0 0 0 248223 81 0 0 20 0 38 0 85126974 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731730952200 139732019421491 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10980] ppid=10942 vsize=27318016 memory=1240 CPUtime=0 cores=0-7 /proc/10945/task/10980/stat : 10980 (java) S 10942 10945 10736 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 38 0 85126975 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731729905056 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10981] ppid=10942 vsize=27318016 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10945/task/10981/stat : 10981 (java) S 10942 10945 10736 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 85126975 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731658561056 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10982] ppid=10942 vsize=27318016 memory=1408 CPUtime=0 cores=0-7 /proc/10945/task/10982/stat : 10982 (java) S 10942 10945 10736 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 38 0 85126975 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731657508016 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10983] ppid=10942 vsize=27318016 memory=4268 CPUtime=0 cores=0-7 /proc/10945/task/10983/stat : 10983 (java) S 10942 10945 10736 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 38 0 85126975 27973648384 434043 33554432000 4194304 4196468 140736290097552 139731656455472 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 Current children cumulated CPU time: 19996 s Current children cumulated vsize: 27318016 KiB Current children cumulated memory: 1736172 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.42 s] # the end of solver process 10945 was just reported to runsolver # cumulated CPU time of all completed processes: user=19987.7 s, system=11.2929 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.4 s] /proc/loadavg: 8.67 8.80 8.78 9/216 11040 /proc/meminfo: memFree=26495684/32770624 swapFree=67108860/67108860 [pid=10945] ppid=10942 vsize=27850528 memory=1741648 CPUtime=19999 cores=0-7 /proc/10945/stat : 10945 (java) S 10942 10945 10736 0 -1 1077944320 1922454 0 0 0 1998771 1128 0 0 20 0 43 0 85126515 28518940672 435412 33554432000 4194304 4196468 140736290097552 140736290080096 139732375232247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 /proc/10945/statm: 6962632 435412 3624 1 0 6924182 0 [pid=10945/tid=10947] ppid=10942 vsize=27850528 memory=4268 CPUtime=4.33 cores=0-7 /proc/10945/task/10947/stat : 10947 (java) S 10942 10945 10736 0 -1 1077944384 22058 0 0 0 426 7 0 0 20 0 43 0 85126515 28518940672 435412 33554432000 4194304 4196468 140736290097552 139732379470928 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10948] ppid=10942 vsize=27850528 memory=1749000 CPUtime=11.38 cores=0-7 /proc/10945/task/10948/stat : 10948 (java) S 10942 10945 10736 0 -1 1077944384 126677 0 0 0 1091 47 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731933985808 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10949] ppid=10942 vsize=27850528 memory=4104 CPUtime=11.33 cores=0-7 /proc/10945/task/10949/stat : 10949 (java) S 10942 10945 10736 0 -1 1077944384 132027 0 0 0 1082 51 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731932933264 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10950] ppid=10942 vsize=27850528 memory=6791534058613427641 CPUtime=11.45 cores=0-7 /proc/10945/task/10950/stat : 10950 (java) S 10942 10945 10736 0 -1 1077944384 132875 0 0 0 1096 49 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731931880208 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10951] ppid=10942 vsize=27850528 memory=1520 CPUtime=11.44 cores=0-7 /proc/10945/task/10951/stat : 10951 (java) S 10942 10945 10736 0 -1 1077944384 143465 0 0 0 1094 50 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731930827664 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10952] ppid=10942 vsize=27850528 memory=844 CPUtime=11.36 cores=0-7 /proc/10945/task/10952/stat : 10952 (java) S 10942 10945 10736 0 -1 1077944384 135344 0 0 0 1087 49 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731929774608 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10953] ppid=10942 vsize=27850528 memory=3360 CPUtime=11.39 cores=0-7 /proc/10945/task/10953/stat : 10953 (java) S 10942 10945 10736 0 -1 1077944384 125441 0 0 0 1091 48 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731928722064 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10954] ppid=10942 vsize=27850528 memory=2724 CPUtime=11.42 cores=0-7 /proc/10945/task/10954/stat : 10954 (java) S 10942 10945 10736 0 -1 1077944384 135754 0 0 0 1093 49 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731927669008 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10955] ppid=10942 vsize=27850528 memory=4872558044660077418 CPUtime=11.46 cores=0-7 /proc/10945/task/10955/stat : 10955 (java) S 10942 10945 10736 0 -1 1077944384 140615 0 0 0 1095 51 0 0 20 0 43 0 85126516 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731926616464 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10956] ppid=10942 vsize=27850528 memory=2236 CPUtime=4.17 cores=0-7 /proc/10945/task/10956/stat : 10956 (java) R 10942 10945 10736 0 -1 1077944384 189846 0 0 0 329 88 0 0 20 0 43 0 85126517 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731771755248 139732375243394 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10957] ppid=10942 vsize=27850528 memory=1992 CPUtime=0 cores=0-7 /proc/10945/task/10957/stat : 10957 (java) S 10942 10945 10736 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 43 0 85126518 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731770701536 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10958] ppid=10942 vsize=27850528 memory=7528 CPUtime=0 cores=0-7 /proc/10945/task/10958/stat : 10958 (java) S 10942 10945 10736 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 43 0 85126518 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731769648384 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10959] ppid=10942 vsize=27850528 memory=804 CPUtime=0 cores=0-7 /proc/10945/task/10959/stat : 10959 (java) R 10942 10945 10736 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 43 0 85126520 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731768596944 139732375250843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10960] ppid=10942 vsize=27850528 memory=1692 CPUtime=2.09 cores=0-7 /proc/10945/task/10960/stat : 10960 (java) R 10942 10945 10736 0 -1 1077944384 7675 0 0 0 206 3 0 0 20 0 43 0 85126521 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731767544048 139732375243394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10961] ppid=10942 vsize=27850528 memory=912 CPUtime=2.08 cores=0-7 /proc/10945/task/10961/stat : 10961 (java) S 10942 10945 10736 0 -1 1077944384 7597 0 0 0 206 2 0 0 20 0 43 0 85126521 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731766491504 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10962] ppid=10942 vsize=27850528 memory=4136 CPUtime=1.89 cores=0-7 /proc/10945/task/10962/stat : 10962 (java) S 10942 10945 10736 0 -1 1077944384 10770 0 0 0 187 2 0 0 20 0 43 0 85126521 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731765438448 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10963] ppid=10942 vsize=27850528 memory=1408 CPUtime=1.09 cores=0-7 /proc/10945/task/10963/stat : 10963 (java) S 10942 10945 10736 0 -1 1077944384 13992 0 0 0 106 3 0 0 20 0 43 0 85126521 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731764385904 139732375243394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10964] ppid=10942 vsize=27850528 memory=4268 CPUtime=0 cores=0-7 /proc/10945/task/10964/stat : 10964 (java) S 10942 10945 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 85126521 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731763334112 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10966] ppid=10942 vsize=27850528 memory=1240 CPUtime=0 cores=0-7 /proc/10945/task/10966/stat : 10966 (java) S 10942 10945 10736 0 -1 1077944384 912 0 0 0 0 0 0 0 20 0 43 0 85126913 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731750933504 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10968] ppid=10942 vsize=27850528 memory=844 CPUtime=0.1 cores=0-7 /proc/10945/task/10968/stat : 10968 (java) S 10942 10945 10736 0 -1 1077944384 423 0 0 0 10 0 0 0 20 0 43 0 85126951 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731744633776 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10969] ppid=10942 vsize=27850528 memory=3360 CPUtime=2483.71 cores=0-7 /proc/10945/task/10969/stat : 10969 (java) R 10942 10945 10736 0 -1 4202560 67011 0 0 0 248295 76 0 0 20 0 43 0 85126952 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731743573456 139732019406992 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10970] ppid=10942 vsize=27850528 memory=2724 CPUtime=2487.29 cores=0-7 /proc/10945/task/10970/stat : 10970 (java) R 10942 10945 10736 0 -1 4202560 69412 0 0 0 248649 80 0 0 20 0 43 0 85126952 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731742520208 139732018658503 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10971] ppid=10942 vsize=27850528 memory=1256 CPUtime=2487.45 cores=0-7 /proc/10945/task/10971/stat : 10971 (java) R 10942 10945 10736 0 -1 4202560 71216 0 0 0 248669 76 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731739370552 139732016996951 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10972] ppid=10942 vsize=27850528 memory=10368 CPUtime=2487.84 cores=0-7 /proc/10945/task/10972/stat : 10972 (java) R 10942 10945 10736 0 -1 4202560 70819 0 0 0 248706 78 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731738318376 139732016996656 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10973] ppid=10942 vsize=27850528 memory=1696 CPUtime=0.06 cores=0-7 /proc/10945/task/10973/stat : 10973 (java) S 10942 10945 10736 0 -1 1077944384 65 0 0 0 6 0 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731737273904 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10974] ppid=10942 vsize=27850528 memory=1172 CPUtime=2485.14 cores=0-7 /proc/10945/task/10974/stat : 10974 (java) R 10942 10945 10736 0 -1 4202560 67461 0 0 0 248431 83 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731736213016 139732019428898 0 4 0 16800975 0 0 0 -1 7 0 0 44 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10975] ppid=10942 vsize=27850528 memory=1812 CPUtime=0.07 cores=0-7 /proc/10945/task/10975/stat : 10975 (java) S 10942 10945 10736 0 -1 1077944384 105 0 0 0 7 0 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731735168304 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10976] ppid=10942 vsize=27850528 memory=1020 CPUtime=0 cores=0-7 /proc/10945/task/10976/stat : 10976 (java) S 10942 10945 10736 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731734115248 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10977] ppid=10942 vsize=27850528 memory=5416 CPUtime=2484.36 cores=0-7 /proc/10945/task/10977/stat : 10977 (java) R 10942 10945 10736 0 -1 4202560 75567 0 0 0 248353 83 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731733054688 139732019429449 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10978] ppid=10942 vsize=27850528 memory=756 CPUtime=2486.55 cores=0-7 /proc/10945/task/10978/stat : 10978 (java) R 10942 10945 10736 0 -1 4202560 68004 0 0 0 248582 73 0 0 20 0 43 0 85126959 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731732001672 139732018658290 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10979] ppid=10942 vsize=27850528 memory=14572 CPUtime=2483.4 cores=0-7 /proc/10945/task/10979/stat : 10979 (java) R 10942 10945 10736 0 -1 4194368 75757 0 0 0 248259 81 0 0 20 0 43 0 85126974 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731730949272 139732359810512 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10980] ppid=10942 vsize=27850528 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/10945/task/10980/stat : 10980 (java) S 10942 10945 10736 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 43 0 85126975 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731729905072 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10981] ppid=10942 vsize=27850528 memory=288230613214036277 CPUtime=0 cores=0-7 /proc/10945/task/10981/stat : 10981 (java) S 10942 10945 10736 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 43 0 85126975 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731658561072 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10982] ppid=10942 vsize=27850528 memory=13847486485760432 CPUtime=0 cores=0-7 /proc/10945/task/10982/stat : 10982 (java) S 10942 10945 10736 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 43 0 85126975 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731657508016 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 [pid=10945/tid=10983] ppid=10942 vsize=27850528 memory=756 CPUtime=0.01 cores=0-7 /proc/10945/task/10983/stat : 10983 (java) S 10942 10945 10736 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 43 0 85126975 28518940672 435412 33554432000 4194304 4196468 140736290097552 139731656455472 139732375242453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140736290104398 140736290104581 140736290104581 140736290107343 0 Current children cumulated CPU time: 19999 s Current children cumulated vsize: 27850528 KiB Current children cumulated memory: 1741648 KiB Child status: 143 Real time (s): 2520.42 CPU time (s): 19999 CPU user time (s): 19987.7 CPU system time (s): 11.2929 CPU usage (%): 793.48 Max. virtual memory (cumulated for all children) (KiB): 27850528 Max. memory (cumulated for all children) (KiB): 3236772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19987.7 system time used= 11.2929 maximum resident set size= 3241040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1922476 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4240 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 519717 involuntary context switches= 424373 # summary of solver processes directly reported to runsolver: # pid: 10945 # total CPU time (s): 19999 # total CPU user time (s): 19987.7 # total CPU system time (s): 11.2929 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 27.1468 second user time and 29.7117 second system time The end
Begin job on node136 at 2018-07-27 09:13:53 IDJOB=4291376 IDBENCH=141580 IDSOLVER=2745 FILE ID=node136/4291376-1532675633 RUNJOBID= node136-1532673112-10763 PBS_JOBID= 21022245 Free space on /tmp= 55796 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Frb/frb-53-24-3-mgd_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-4291376-1532675633/watcher-4291376-1532675633 -o /tmp/evaluation-result-4291376-1532675633/solver-4291376-1532675633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532673112-10763 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 407181803 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291376-1532675633.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2687d075c2954ad7539e74b041f9986e RANDOM SEED=407181803 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28233632 kB MemAvailable: 31958272 kB Buffers: 151952 kB Cached: 3834144 kB SwapCached: 0 kB Active: 1705996 kB Inactive: 2333104 kB Active(anon): 3916 kB Inactive(anon): 76884 kB Active(file): 1702080 kB Inactive(file): 2256220 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35992 kB Writeback: 4 kB AnonPages: 59804 kB Mapped: 31420 kB Shmem: 25228 kB Slab: 191312 kB SReclaimable: 164352 kB SUnreclaim: 26960 kB KernelStack: 3264 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324468 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55760 MiB End job on node136 at 2018-07-27 09:55:54