Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | ? (TO) | 19874.699 | 2520.1499 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-6_X2.xml |
MD5SUM | fad96b2eb778b7f693e68e3d100e5397 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2382.8 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.30/0.25 c version: 2017-07-26 0.30/0.25 c seed: 1832524016 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 11000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 1.22/0.69 c Parsing done, starting search... 19873.72/2520.11 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14053 MiB free) memory of node 1: 16384 MiB (12216 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275281-1502770222/watcher-4275281-1502770222 -o /tmp/evaluation-result-4275281-1502770222/solver-4275281-1502770222 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1832524016 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275281-1502770222.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=14235, runsolver pid=14232 [startup+0.100138 s]* /proc/loadavg: 7.80 9.81 9.31 2/198 14255 /proc/meminfo: memFree=26884128/32770624 swapFree=67108860/67108860 [pid=14235] ppid=14232 vsize=14325320 memory=33280 CPUtime=0.12 cores=0-7 /proc/14235/stat : 14235 (java) S 14232 14235 13022 0 -1 1077944320 8224 0 0 0 11 1 0 0 20 0 20 0 110109965 14669127680 8320 33554432000 4194304 4196468 140720918682000 140720918664544 140539570102007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 /proc/14235/statm: 3581330 8320 3410 1 0 3569050 0 [pid=14235/tid=14237] ppid=14232 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/14235/task/14237/stat : 14237 (java) R 14232 14235 13022 0 -1 4202560 6166 0 0 0 8 1 0 0 20 0 20 0 110109966 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539574318704 140539554182524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14238] ppid=14232 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14235/task/14238/stat : 14238 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539522722576 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14239] ppid=14232 vsize=14325320 memory=139732548765312 CPUtime=0 cores=0-7 /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 8320 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109968 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14247] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14247/stat : 14247 (java) S 14232 14235 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110109969 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538531988896 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14248] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14248/stat : 14248 (java) S 14232 14235 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110109969 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538530936304 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14249] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14249/stat : 14249 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538529884880 140539570120603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14250] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14250/stat : 14250 (java) S 14232 14235 13022 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538528831472 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14251] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14251/stat : 14251 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538527778928 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14252] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14252/stat : 14252 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538526726384 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14253] ppid=14232 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7 /proc/14235/task/14253/stat : 14253 (java) S 14232 14235 13022 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538525673840 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14254] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14254/stat : 14254 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538524621536 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14255] ppid=14232 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14255/stat : 14255 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109972 14669127680 8320 33554432000 4194304 4196468 140720918682000 140538523569072 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 33280 KiB [startup+0.209901 s]* /proc/loadavg: 7.80 9.81 9.31 5/198 14255 /proc/meminfo: memFree=26874140/32770624 swapFree=67108860/67108860 [pid=14235] ppid=14232 vsize=14325320 memory=42504 CPUtime=0.3 cores=0-7 /proc/14235/stat : 14235 (java) S 14232 14235 13022 0 -1 1077944320 9241 0 0 0 28 2 0 0 20 0 20 0 110109965 14669127680 10626 33554432000 4194304 4196468 140720918682000 140720918664544 140539570102007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 /proc/14235/statm: 3581330 10626 3612 1 0 3569050 0 [pid=14235/tid=14237] ppid=14232 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/14235/task/14237/stat : 14237 (java) D 14232 14235 13022 0 -1 1077944384 6821 0 0 0 18 1 0 0 20 0 20 0 110109966 14669127680 10626 33554432000 4194304 4196468 140720918682000 140539574311088 140539562781229 0 4 0 16800975 18446744072101760548 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14238] ppid=14232 vsize=14325320 memory=9395 CPUtime=0 cores=0-7 /proc/14235/task/14238/stat : 14238 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 10626 33554432000 4194304 4196468 140720918682000 140539522722576 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14239] ppid=14232 vsize=14325320 memory=288370108700477056 CPUtime=0 cores=0-7 /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 10626 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 10626 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=14325352 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109967 14669160448 10626 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=14325352 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669160448 10626 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=14325352 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669160448 10626 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 10671 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669127680 10671 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110109968 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14247] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14247/stat : 14247 (java) S 14232 14235 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110109969 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538531988896 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14248] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14248/stat : 14248 (java) S 14232 14235 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110109969 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538530936304 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14249] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14249/stat : 14249 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538529884880 140539570120603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14250] ppid=14232 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/14235/task/14250/stat : 14250 (java) S 14232 14235 13022 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 110109971 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538528831472 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14251] ppid=14232 vsize=14325352 memory=0 CPUtime=0.01 cores=0-7 /proc/14235/task/14251/stat : 14251 (java) S 14232 14235 13022 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 110109971 14669160448 10671 33554432000 4194304 4196468 140720918682000 140538527778928 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14252] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14252/stat : 14252 (java) S 14232 14235 13022 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538526726384 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14253] ppid=14232 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/14235/task/14253/stat : 14253 (java) S 14232 14235 13022 0 -1 1077944384 406 0 0 0 5 0 0 0 20 0 20 0 110109971 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538525673840 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14254] ppid=14232 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14254/stat : 14254 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109971 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538524621536 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14255] ppid=14232 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14255/stat : 14255 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109972 14669127680 10671 33554432000 4194304 4196468 140720918682000 140538523569072 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 42504 KiB [startup+0.309439 s]* /proc/loadavg: 7.80 9.81 9.31 2/198 14255 /proc/meminfo: memFree=26866448/32770624 swapFree=67108860/67108860 [pid=14235] ppid=14232 vsize=14325340 memory=50828 CPUtime=0.48 cores=0-7 /proc/14235/stat : 14235 (java) S 14232 14235 13022 0 -1 1077944320 10507 0 0 0 45 3 0 0 20 0 20 0 110109965 14669148160 12707 33554432000 4194304 4196468 140720918682000 140720918664544 140539570102007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 /proc/14235/statm: 3581335 12707 3707 1 0 3569050 0 [pid=14235/tid=14237] ppid=14232 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/14235/task/14237/stat : 14237 (java) R 14232 14235 13022 0 -1 4202560 7586 0 0 0 27 2 0 0 20 0 20 0 110109966 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539574330680 140539570113942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14238] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14238/stat : 14238 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539522722576 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14239] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=14325340 memory=139732398994351 CPUtime=0 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=14325340 memory=139732398996656 CPUtime=0 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=14325340 memory=139732398998960 CPUtime=0 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14669148160 12707 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110109968 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14247] ppid=14232 vsize=14325340 memory=279464798004880 CPUtime=0 cores=0-7 /proc/14235/task/14247/stat : 14247 (java) S 14232 14235 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110109969 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538531988896 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14248] ppid=14232 vsize=14325340 memory=279464798011792 CPUtime=0 cores=0-7 /proc/14235/task/14248/stat : 14248 (java) S 14232 14235 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110109969 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538530936304 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14249] ppid=14232 vsize=14325340 memory=279464797953072 CPUtime=0 cores=0-7 /proc/14235/task/14249/stat : 14249 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538529884880 140539570120603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14250] ppid=14232 vsize=14325340 memory=279464798025616 CPUtime=0.01 cores=0-7 /proc/14235/task/14250/stat : 14250 (java) S 14232 14235 13022 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538528831472 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14251] ppid=14232 vsize=14325340 memory=279464798032528 CPUtime=0.04 cores=0-7 /proc/14235/task/14251/stat : 14251 (java) S 14232 14235 13022 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538527778928 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14252] ppid=14232 vsize=14325340 memory=279464798030224 CPUtime=0.02 cores=0-7 /proc/14235/task/14252/stat : 14252 (java) S 14232 14235 13022 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538526726384 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14253] ppid=14232 vsize=14325340 memory=279464798046832 CPUtime=0.08 cores=0-7 /proc/14235/task/14253/stat : 14253 (java) R 14232 14235 13022 0 -1 4202560 452 0 0 0 8 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538525673840 140539554182494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14254] ppid=14232 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14254/stat : 14254 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109971 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538524621536 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14255] ppid=14232 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/14235/task/14255/stat : 14255 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109972 14669148160 12707 33554432000 4194304 4196468 140720918682000 140538523569072 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50828 KiB [startup+0.700873 s] /proc/loadavg: 7.80 9.81 9.31 3/198 14255 /proc/meminfo: memFree=26852800/32770624 swapFree=67108860/67108860 [pid=14235] ppid=14232 vsize=14327388 memory=84064 CPUtime=1.49 cores=0-7 /proc/14235/stat : 14235 (java) S 14232 14235 13022 0 -1 1077944320 13081 0 0 0 144 5 0 0 20 0 20 0 110109965 14671245312 21016 33554432000 4194304 4196468 140720918682000 140720918664544 140539570102007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 /proc/14235/statm: 3581847 21016 3772 1 0 3569562 0 [pid=14235/tid=14237] ppid=14232 vsize=14327388 memory=0 CPUtime=0.68 cores=0-7 /proc/14235/task/14237/stat : 14237 (java) R 14232 14235 13022 0 -1 4202560 8521 0 0 0 65 3 0 0 20 0 20 0 110109966 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539574339456 140539554182494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14238] ppid=14232 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14238/stat : 14238 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539522722576 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14239] ppid=14232 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=14327388 memory=792 CPUtime=0 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=14327388 memory=1008 CPUtime=0 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=14327388 memory=10652 CPUtime=0 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=14327388 memory=1204 CPUtime=0 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=14327388 memory=15872 CPUtime=0 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110109967 14671245312 21016 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=14327388 memory=16444 CPUtime=0 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110109968 14671245312 21016 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 ################ # More data... # ################ /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 150274 0 0 0 1069 67 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=15402688 memory=1976944 CPUtime=11.37 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 146351 0 0 0 1075 62 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=15402688 memory=1792 CPUtime=11.37 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 142240 0 0 0 1074 63 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=15402688 memory=640 CPUtime=11.33 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 150908 0 0 0 1067 66 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=15402688 memory=1976944 CPUtime=11.31 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 153731 0 0 0 1065 66 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 65 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=15402688 memory=1976944 CPUtime=11.42 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 150665 0 0 0 1079 63 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=15402688 memory=15872 CPUtime=11.38 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 152246 0 0 0 1071 67 0 0 20 0 36 0 110109967 15772352512 493464 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=15402688 memory=16444 CPUtime=11.08 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 259887 0 0 0 925 183 0 0 20 0 36 0 110109968 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14247] ppid=14232 vsize=15402688 memory=4052 CPUtime=0 cores=0-7 /proc/14235/task/14247/stat : 14247 (java) S 14232 14235 13022 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 36 0 110109969 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538531988960 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14248] ppid=14232 vsize=15402688 memory=17548 CPUtime=0 cores=0-7 /proc/14235/task/14248/stat : 14248 (java) S 14232 14235 13022 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 36 0 110109969 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538530936320 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14249] ppid=14232 vsize=15402688 memory=1236 CPUtime=0 cores=0-7 /proc/14235/task/14249/stat : 14249 (java) S 14232 14235 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538529884880 140539570120603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14250] ppid=14232 vsize=15402688 memory=1792 CPUtime=1.41 cores=0-7 /proc/14235/task/14250/stat : 14250 (java) S 14232 14235 13022 0 -1 1077944384 6854 0 0 0 139 2 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538528831472 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14251] ppid=14232 vsize=15402688 memory=640 CPUtime=1.64 cores=0-7 /proc/14235/task/14251/stat : 14251 (java) S 14232 14235 13022 0 -1 1077944384 10299 0 0 0 162 2 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538527778928 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14252] ppid=14232 vsize=15402688 memory=956 CPUtime=1.56 cores=0-7 /proc/14235/task/14252/stat : 14252 (java) S 14232 14235 13022 0 -1 1077944384 9355 0 0 0 154 2 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538526726384 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14253] ppid=14232 vsize=15402688 memory=2344 CPUtime=0.89 cores=0-7 /proc/14235/task/14253/stat : 14253 (java) S 14232 14235 13022 0 -1 1077944384 22523 0 0 0 87 2 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538525673840 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14254] ppid=14232 vsize=15402688 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/14235/task/14254/stat : 14254 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 36 0 110109971 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538524621536 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14255] ppid=14232 vsize=15402688 memory=1204 CPUtime=0.75 cores=0-7 /proc/14235/task/14255/stat : 14255 (java) S 14232 14235 13022 0 -1 1077944384 11916 0 0 0 25 50 0 0 20 0 36 0 110109972 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538523569072 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14256] ppid=14232 vsize=15402688 memory=15872 CPUtime=0 cores=0-7 /proc/14235/task/14256/stat : 14256 (java) S 14232 14235 13022 0 -1 1077944384 813 0 0 0 0 0 0 0 20 0 36 0 110110304 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538513282304 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14257] ppid=14232 vsize=15402688 memory=16444 CPUtime=2.72 cores=0-7 /proc/14235/task/14257/stat : 14257 (java) R 14232 14235 13022 0 -1 1077944384 23706 0 0 0 109 163 0 0 20 0 36 0 110110316 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538512230048 140539570113154 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14258] ppid=14232 vsize=15402688 memory=4052 CPUtime=0.1 cores=0-7 /proc/14235/task/14258/stat : 14258 (java) S 14232 14235 13022 0 -1 1077944384 308 0 0 0 10 0 0 0 20 0 36 0 110110325 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538439262896 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14259] ppid=14232 vsize=15402688 memory=17548 CPUtime=569.27 cores=0-7 /proc/14235/task/14259/stat : 14259 (java) S 14232 14235 13022 0 -1 1077944384 18126 0 0 0 56914 13 0 0 20 0 36 0 110110326 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538438210352 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14260] ppid=14232 vsize=15402688 memory=1236 CPUtime=2470.59 cores=0-7 /proc/14235/task/14260/stat : 14260 (java) R 14232 14235 13022 0 -1 4202560 73652 0 0 0 247004 55 0 0 20 0 36 0 110110327 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538437151976 140539208075617 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14261] ppid=14232 vsize=15402688 memory=1792 CPUtime=2469.82 cores=0-7 /proc/14235/task/14261/stat : 14261 (java) R 14232 14235 13022 0 -1 4202560 76558 0 0 0 246931 51 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538436098808 140539208636174 0 4 0 16800975 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14262] ppid=14232 vsize=15402688 memory=640 CPUtime=1695.59 cores=0-7 /proc/14235/task/14262/stat : 14262 (java) S 14232 14235 13022 0 -1 1077944384 55640 0 0 0 169523 36 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538435052720 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14263] ppid=14232 vsize=15402688 memory=956 CPUtime=2468.87 cores=0-7 /proc/14235/task/14263/stat : 14263 (java) R 14232 14235 13022 0 -1 4202560 70946 0 0 0 246834 53 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538433993472 140539208803181 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14264] ppid=14232 vsize=15402688 memory=2344 CPUtime=0.08 cores=0-7 /proc/14235/task/14264/stat : 14264 (java) S 14232 14235 13022 0 -1 1077944384 56 0 0 0 8 0 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538432947632 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14265] ppid=14232 vsize=15402688 memory=1576 CPUtime=2468.27 cores=0-7 /proc/14235/task/14265/stat : 14265 (java) R 14232 14235 13022 0 -1 4202560 70038 0 0 0 246772 55 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538431889280 140539208804095 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14266] ppid=14232 vsize=15402688 memory=932 CPUtime=2471.34 cores=0-7 /proc/14235/task/14266/stat : 14266 (java) R 14232 14235 13022 0 -1 4202560 73859 0 0 0 247082 52 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538430835096 140539205347935 0 4 0 16800975 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14267] ppid=14232 vsize=15402688 memory=2236 CPUtime=1174.9 cores=0-7 /proc/14235/task/14267/stat : 14267 (java) R 14232 14235 13022 0 -1 4202560 32390 0 0 0 117467 23 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538429783304 140539208366851 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14268] ppid=14232 vsize=15402688 memory=4124 CPUtime=837.21 cores=0-7 /proc/14235/task/14268/stat : 14268 (java) R 14232 14235 13022 0 -1 4202560 20442 0 0 0 83703 18 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538428732960 140539208368507 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14269] ppid=14232 vsize=15402688 memory=2200 CPUtime=0.02 cores=0-7 /proc/14235/task/14269/stat : 14269 (java) S 14232 14235 13022 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538427683888 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14270] ppid=14232 vsize=15402688 memory=6760 CPUtime=2407.47 cores=0-7 /proc/14235/task/14270/stat : 14270 (java) R 14232 14235 13022 0 -1 4202560 67706 0 0 0 240697 50 0 0 20 0 36 0 110110329 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538426624752 140539208369530 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14271] ppid=14232 vsize=15402688 memory=840 CPUtime=725.3 cores=0-7 /proc/14235/task/14271/stat : 14271 (java) S 14232 14235 13022 0 -1 1077944384 28420 0 0 0 72514 16 0 0 20 0 36 0 110110380 15772352512 493464 33554432000 4194304 4196468 140720918682000 140538423444784 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 Current children cumulated CPU time: 19873.7 s Current children cumulated vsize: 15402688 KiB Current children cumulated memory: 1973856 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.15 s] # the end of solver process 14235 was just reported to runsolver # cumulated CPU time of all completed processes: user=19863.4 s, system=11.2451 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.12 s] /proc/loadavg: 9.35 8.94 8.88 10/214 14328 /proc/meminfo: memFree=24938848/32770624 swapFree=67108860/67108860 [pid=14235] ppid=14232 vsize=15535816 memory=1974064 CPUtime=19874.6 cores=0-7 /proc/14235/stat : 14235 (java) S 14232 14235 13022 0 -1 1077944320 2146363 0 0 0 1986335 1123 0 0 20 0 37 0 110109965 15908675584 493516 33554432000 4194304 4196468 140720918682000 140720918664544 140539570102007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 /proc/14235/statm: 3883954 493516 3866 1 0 3871148 0 [pid=14235/tid=14237] ppid=14232 vsize=15535816 memory=1973856 CPUtime=3.58 cores=0-7 /proc/14235/task/14237/stat : 14237 (java) S 14232 14235 13022 0 -1 1077944384 14369 0 0 0 353 5 0 0 20 0 37 0 110109966 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539574339712 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14238] ppid=14232 vsize=15535816 memory=1976944 CPUtime=11.4 cores=0-7 /proc/14235/task/14238/stat : 14238 (java) S 14232 14235 13022 0 -1 1077944384 149069 0 0 0 1073 67 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539522722576 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 63 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14239] ppid=14232 vsize=15535816 memory=1976944 CPUtime=11.36 cores=0-7 /proc/14235/task/14239/stat : 14239 (java) S 14232 14235 13022 0 -1 1077944384 150286 0 0 0 1069 67 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539521670032 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14240] ppid=14232 vsize=15535816 memory=1976944 CPUtime=11.37 cores=0-7 /proc/14235/task/14240/stat : 14240 (java) S 14232 14235 13022 0 -1 1077944384 146447 0 0 0 1075 62 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539520617488 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14241] ppid=14232 vsize=15535816 memory=1973856 CPUtime=11.37 cores=0-7 /proc/14235/task/14241/stat : 14241 (java) S 14232 14235 13022 0 -1 1077944384 142851 0 0 0 1074 63 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539519564944 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14242] ppid=14232 vsize=15535816 memory=0 CPUtime=11.33 cores=0-7 /proc/14235/task/14242/stat : 14242 (java) S 14232 14235 13022 0 -1 1077944384 150940 0 0 0 1067 66 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539518511376 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14243] ppid=14232 vsize=15535816 memory=7667749375164771176 CPUtime=11.31 cores=0-7 /proc/14235/task/14243/stat : 14243 (java) S 14232 14235 13022 0 -1 1077944384 153764 0 0 0 1065 66 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539160881552 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14244] ppid=14232 vsize=15535816 memory=6791534058613427641 CPUtime=11.42 cores=0-7 /proc/14235/task/14244/stat : 14244 (java) S 14232 14235 13022 0 -1 1077944384 150670 0 0 0 1079 63 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539159829008 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 63 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14245] ppid=14232 vsize=15535816 memory=1424 CPUtime=11.38 cores=0-7 /proc/14235/task/14245/stat : 14245 (java) S 14232 14235 13022 0 -1 1077944384 152252 0 0 0 1071 67 0 0 20 0 37 0 110109967 15908675584 493516 33554432000 4194304 4196468 140720918682000 140539158776464 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14246] ppid=14232 vsize=15535816 memory=0 CPUtime=11.09 cores=0-7 /proc/14235/task/14246/stat : 14246 (java) S 14232 14235 13022 0 -1 1077944384 260040 0 0 0 925 184 0 0 20 0 37 0 110109968 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538533042672 140539570113154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14247] ppid=14232 vsize=15535816 memory=0 CPUtime=0 cores=0-7 /proc/14235/task/14247/stat : 14247 (java) S 14232 14235 13022 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 37 0 110109969 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538531988960 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14248] ppid=14232 vsize=15535816 memory=1976944 CPUtime=0 cores=0-7 /proc/14235/task/14248/stat : 14248 (java) S 14232 14235 13022 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 37 0 110109969 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538530936320 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14249] ppid=14232 vsize=15535816 memory=279464798549248 CPUtime=0 cores=0-7 /proc/14235/task/14249/stat : 14249 (java) S 14232 14235 13022 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538529884880 140539570120603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14250] ppid=14232 vsize=15535816 memory=1976904 CPUtime=1.41 cores=0-7 /proc/14235/task/14250/stat : 14250 (java) S 14232 14235 13022 0 -1 1077944384 6854 0 0 0 139 2 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538528831472 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14251] ppid=14232 vsize=15535816 memory=4140 CPUtime=1.64 cores=0-7 /proc/14235/task/14251/stat : 14251 (java) S 14232 14235 13022 0 -1 1077944384 10299 0 0 0 162 2 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538527778928 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14252] ppid=14232 vsize=15535816 memory=15872 CPUtime=1.56 cores=0-7 /proc/14235/task/14252/stat : 14252 (java) S 14232 14235 13022 0 -1 1077944384 9355 0 0 0 154 2 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538526726384 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14253] ppid=14232 vsize=15535816 memory=16444 CPUtime=0.89 cores=0-7 /proc/14235/task/14253/stat : 14253 (java) S 14232 14235 13022 0 -1 1077944384 22523 0 0 0 87 2 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538525673840 140539570113154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14254] ppid=14232 vsize=15535816 memory=1976944 CPUtime=0 cores=0-7 /proc/14235/task/14254/stat : 14254 (java) S 14232 14235 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 110109971 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538524621536 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14255] ppid=14232 vsize=15535816 memory=1976944 CPUtime=0.75 cores=0-7 /proc/14235/task/14255/stat : 14255 (java) R 14232 14235 13022 0 -1 1077944384 11916 0 0 0 25 50 0 0 20 0 37 0 110109972 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538523569072 140539570113154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14256] ppid=14232 vsize=15535816 memory=31208 CPUtime=0 cores=0-7 /proc/14235/task/14256/stat : 14256 (java) S 14232 14235 13022 0 -1 1077944384 813 0 0 0 0 0 0 0 20 0 37 0 110110304 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538513282304 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14257] ppid=14232 vsize=15535816 memory=1292 CPUtime=2.72 cores=0-7 /proc/14235/task/14257/stat : 14257 (java) R 14232 14235 13022 0 -1 1077944384 23706 0 0 0 109 163 0 0 20 0 37 0 110110316 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538512230048 140539570113154 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14258] ppid=14232 vsize=15535816 memory=916 CPUtime=0.1 cores=0-7 /proc/14235/task/14258/stat : 14258 (java) S 14232 14235 13022 0 -1 1077944384 308 0 0 0 10 0 0 0 20 0 37 0 110110325 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538439262896 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14259] ppid=14232 vsize=15535816 memory=4116 CPUtime=569.27 cores=0-7 /proc/14235/task/14259/stat : 14259 (java) S 14232 14235 13022 0 -1 1077944384 18126 0 0 0 56914 13 0 0 20 0 37 0 110110326 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538438210352 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14260] ppid=14232 vsize=15535816 memory=4100 CPUtime=2470.69 cores=0-7 /proc/14235/task/14260/stat : 14260 (java) R 14232 14235 13022 0 -1 4202560 73656 0 0 0 247014 55 0 0 20 0 37 0 110110327 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538437151328 140539205347954 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14261] ppid=14232 vsize=15535816 memory=1976944 CPUtime=2469.93 cores=0-7 /proc/14235/task/14261/stat : 14261 (java) R 14232 14235 13022 0 -1 4202560 76558 0 0 0 246942 51 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538436098808 140539205347599 0 4 0 16800975 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14262] ppid=14232 vsize=15535816 memory=1976944 CPUtime=1695.59 cores=0-7 /proc/14235/task/14262/stat : 14262 (java) S 14232 14235 13022 0 -1 1077944384 55640 0 0 0 169523 36 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538435052720 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14263] ppid=14232 vsize=15535816 memory=1976944 CPUtime=2468.97 cores=0-7 /proc/14235/task/14263/stat : 14263 (java) R 14232 14235 13022 0 -1 4202560 70947 0 0 0 246844 53 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538433994504 140539208366642 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14264] ppid=14232 vsize=15535816 memory=1976944 CPUtime=0.08 cores=0-7 /proc/14235/task/14264/stat : 14264 (java) S 14232 14235 13022 0 -1 1077944384 56 0 0 0 8 0 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538432947632 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14265] ppid=14232 vsize=15535816 memory=4100 CPUtime=2468.37 cores=0-7 /proc/14235/task/14265/stat : 14265 (java) R 14232 14235 13022 0 -1 4202560 70040 0 0 0 246782 55 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538431891520 140539208366812 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14266] ppid=14232 vsize=15535816 memory=1152 CPUtime=2471.45 cores=0-7 /proc/14235/task/14266/stat : 14266 (java) R 14232 14235 13022 0 -1 4202560 73859 0 0 0 247093 52 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538430838840 140539208369902 0 4 0 16800975 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14267] ppid=14232 vsize=15535816 memory=4180 CPUtime=1175.01 cores=0-7 /proc/14235/task/14267/stat : 14267 (java) R 14232 14235 13022 0 -1 4202560 32393 0 0 0 117478 23 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538429786264 140539200707646 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14268] ppid=14232 vsize=15535816 memory=1976944 CPUtime=837.32 cores=0-7 /proc/14235/task/14268/stat : 14268 (java) R 14232 14235 13022 0 -1 4202560 20443 0 0 0 83714 18 0 0 20 0 37 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538428729840 140539208369075 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14269] ppid=14232 vsize=15535816 memory=1976944 CPUtime=0.02 cores=0-7 /proc/14235/task/14269/stat : 14269 (java) S 14232 14235 13022 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 36 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538427683888 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14270] ppid=14232 vsize=15535816 memory=31208 CPUtime=2407.57 cores=0-7 /proc/14235/task/14270/stat : 14270 (java) R 14232 14235 13022 0 -1 4202560 67707 0 0 0 240707 50 0 0 20 0 36 0 110110329 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538426628320 140539208076032 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 [pid=14235/tid=14271] ppid=14232 vsize=15535816 memory=1292 CPUtime=725.3 cores=0-7 /proc/14235/task/14271/stat : 14271 (java) S 14232 14235 13022 0 -1 1077944384 28420 0 0 0 72514 16 0 0 20 0 36 0 110110380 15908675584 493516 33554432000 4194304 4196468 140720918682000 140538423444784 140539570112213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7114752 140720918684769 140720918684955 140720918684955 140720918687695 0 Current children cumulated CPU time: 19874.6 s Current children cumulated vsize: 15535816 KiB Current children cumulated memory: 1974064 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 19874.7 CPU user time (s): 19863.4 CPU system time (s): 11.2451 CPU usage (%): 788.632 Max. virtual memory (cumulated for all children) (KiB): 15535816 Max. memory (cumulated for all children) (KiB): 2113564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19863.4 system time used= 11.2451 maximum resident set size= 2137160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2146407 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1064688 involuntary context switches= 438814 # summary of solver processes directly reported to runsolver: # pid: 14235 # total CPU time (s): 19874.7 # total CPU user time (s): 19863.4 # total CPU system time (s): 11.2451 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.1266 second user time and 32.9273 second system time The end
Begin job on node114 at 2017-08-15 05:56:03 IDJOB=4275281 IDBENCH=134578 IDSOLVER=2668 FILE ID=node114/4275281-1502770222 RUNJOBID= node114-1502762059-13049 PBS_JOBID= 20629089 Free space on /tmp= 61700 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-6_X2.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275281-1502770222/watcher-4275281-1502770222 -o /tmp/evaluation-result-4275281-1502770222/solver-4275281-1502770222 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1832524016 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275281-1502770222.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fad96b2eb778b7f693e68e3d100e5397 RANDOM SEED=1832524016 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 26901976 kB MemAvailable: 31985648 kB Buffers: 209932 kB Cached: 5161420 kB SwapCached: 0 kB Active: 506880 kB Inactive: 4918524 kB Active(anon): 57012 kB Inactive(anon): 25124 kB Active(file): 449868 kB Inactive(file): 4893400 kB Unevictable: 6432 kB Mlocked: 6432 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42304 kB Writeback: 0 kB AnonPages: 60520 kB Mapped: 45448 kB Shmem: 25224 kB Slab: 138456 kB SReclaimable: 112476 kB SUnreclaim: 25980 kB KernelStack: 3136 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323336 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61656 MiB End job on node114 at 2017-08-15 06:38:03