Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT | 28.901501 | 6.5843601 |
Name | Random/Random-RB-2-30-15f/ rand-2-30-15-306-230f-09.xml |
MD5SUM | 23c17749bea612774e78a3a072e2ad10 |
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 | 0.28985199 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 227 |
Number of domains | 1 |
Minimum domain size | 15 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":15,"count":30}] |
Minimum variable degree | 11 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":11,"count":2},{"degree":12,"count":5},{"degree":13,"count":2},{"degree":14,"count":4},{"degree":15,"count":4},{"degree":16,"count":3},{"degree":17,"count":2},{"degree":18,"count":5},{"degree":19,"count":2},{"degree":20,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":227}] |
Number of extensional constraints | 227 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":227}] |
Optimization problem | NO |
Type of objective |
0.30/0.25 c version: 2017-07-26 0.30/0.25 c seed: 591744596 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.33/0.66 c Parsing done, starting search... 28.69/6.57 s SATISFIABLE 28.69/6.57 v <instantiation> 28.69/6.57 v <list> 28.69/6.57 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] 28.69/6.57 v </list> 28.69/6.57 v <values> 28.69/6.57 v 4 1 13 10 14 12 8 6 13 13 11 1 2 13 5 8 11 8 14 9 1 1 11 7 11 9 12 8 8 7 28.69/6.57 v </values> 28.69/6.57 v </instantiation>
OK
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 (15185 MiB free) memory of node 1: 16384 MiB (15553 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275597-1502686878/watcher-4275597-1502686878 -o /tmp/evaluation-result-4275597-1502686878/solver-4275597-1502686878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502678443-4575 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 591744596 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275597-1502686878.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=5252, runsolver pid=5249 [startup+0.100117 s]* /proc/loadavg: 7.36 8.39 8.50 2/198 5272 /proc/meminfo: memFree=31456208/32770624 swapFree=67108860/67108860 [pid=5252] ppid=5249 vsize=14325320 memory=34280 CPUtime=0.12 cores=0-7 /proc/5252/stat : 5252 (java) S 5249 5252 4548 0 -1 1077944320 8460 0 0 0 10 2 0 0 20 0 20 0 101775440 14669127680 8570 33554432000 4194304 4196468 140727711066720 140727711049264 140212644658935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 /proc/5252/statm: 3581330 8570 3409 1 0 3569050 0 [pid=5252/tid=5254] ppid=5249 vsize=14325320 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/5252/task/5254/stat : 5254 (java) R 5249 5252 4548 0 -1 4202560 6406 0 0 0 7 1 0 0 20 0 20 0 101775441 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212648875616 140212644680861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5255] ppid=5249 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5252/task/5255/stat : 5255 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212574747280 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5256] ppid=5249 vsize=14325320 memory=140534633596544 CPUtime=0 cores=0-7 /proc/5252/task/5256/stat : 5256 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212573694480 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5257] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5257/stat : 5257 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212572641680 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5258] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5258/stat : 5258 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212571588880 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5259] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5259/stat : 5259 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212570537104 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5260] ppid=5249 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5260/stat : 5260 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212569484304 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5261] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5261/stat : 5261 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212568431504 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5262] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5262/stat : 5262 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 8570 33554432000 4194304 4196468 140727711066720 140212567378704 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5263] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5263/stat : 5263 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775443 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211540392304 140212644670082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5264] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5264/stat : 5264 (java) S 5249 5252 4548 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101775444 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211539338272 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5265] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5265/stat : 5265 (java) S 5249 5252 4548 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101775444 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211538285424 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5266] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5266/stat : 5266 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775446 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211537233744 140212644677531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5267] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5267/stat : 5267 (java) S 5249 5252 4548 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 101775446 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211536182128 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5268] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5268/stat : 5268 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775446 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211535129328 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5269] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5269/stat : 5269 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775446 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211534076528 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5270] ppid=5249 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7 /proc/5252/task/5270/stat : 5270 (java) S 5249 5252 4548 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 101775446 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211533023728 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5271] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5271/stat : 5271 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775447 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211531971168 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5272] ppid=5249 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5272/stat : 5272 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775447 14669127680 8570 33554432000 4194304 4196468 140727711066720 140211530918448 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 34280 KiB [startup+0.21058 s]* /proc/loadavg: 7.36 8.39 8.50 3/198 5272 /proc/meminfo: memFree=31447708/32770624 swapFree=67108860/67108860 [pid=5252] ppid=5249 vsize=14325320 memory=43172 CPUtime=0.3 cores=0-7 /proc/5252/stat : 5252 (java) S 5249 5252 4548 0 -1 1077944320 9451 0 0 0 27 3 0 0 20 0 20 0 101775440 14669127680 10793 33554432000 4194304 4196468 140727711066720 140727711049264 140212644658935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 /proc/5252/statm: 3581330 10793 3594 1 0 3569050 0 [pid=5252/tid=5254] ppid=5249 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/5252/task/5254/stat : 5254 (java) R 5249 5252 4548 0 -1 4202560 7042 0 0 0 17 2 0 0 20 0 20 0 101775441 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212648885824 140212644680861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5255] ppid=5249 vsize=14325320 memory=3352 CPUtime=0 cores=0-7 /proc/5252/task/5255/stat : 5255 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212574747280 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5256] ppid=5249 vsize=14325320 memory=140534633601891 CPUtime=0 cores=0-7 /proc/5252/task/5256/stat : 5256 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212573694480 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5257] ppid=5249 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5257/stat : 5257 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212572641680 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5258] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5258/stat : 5258 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212571588880 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5259] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5259/stat : 5259 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212570537104 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5260] ppid=5249 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5260/stat : 5260 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212569484304 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5261] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5261/stat : 5261 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212568431504 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5262] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5262/stat : 5262 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775442 14669127680 10793 33554432000 4194304 4196468 140727711066720 140212567378704 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5263] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5263/stat : 5263 (java) S 5249 5252 4548 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101775443 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211540392304 140212644670082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5264] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5264/stat : 5264 (java) S 5249 5252 4548 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101775444 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211539338272 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5265] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5265/stat : 5265 (java) S 5249 5252 4548 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101775444 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211538285424 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5266] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5266/stat : 5266 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775446 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211537233744 140212644677531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5267] ppid=5249 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5267/stat : 5267 (java) S 5249 5252 4548 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 20 0 101775446 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211536182128 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5268] ppid=5249 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5268/stat : 5268 (java) S 5249 5252 4548 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 101775446 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211535129328 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5269] ppid=5249 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5269/stat : 5269 (java) S 5249 5252 4548 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 101775446 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211534076528 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5270] ppid=5249 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/5252/task/5270/stat : 5270 (java) R 5249 5252 4548 0 -1 4202560 376 0 0 0 5 0 0 0 20 0 20 0 101775446 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211533023728 140212628017355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5271] ppid=5249 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5271/stat : 5271 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775447 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211531971168 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5272] ppid=5249 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5272/stat : 5272 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775447 14669127680 10793 33554432000 4194304 4196468 140727711066720 140211530918448 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 43172 KiB [startup+0.310305 s]* /proc/loadavg: 7.36 8.39 8.50 2/198 5272 /proc/meminfo: memFree=31420148/32770624 swapFree=67108860/67108860 [pid=5252] ppid=5249 vsize=14325340 memory=50828 CPUtime=0.48 cores=0-7 /proc/5252/stat : 5252 (java) S 5249 5252 4548 0 -1 1077944320 10452 0 0 0 44 4 0 0 20 0 20 0 101775440 14669148160 12707 33554432000 4194304 4196468 140727711066720 140727711049264 140212644658935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 /proc/5252/statm: 3581335 12707 3704 1 0 3569050 0 [pid=5252/tid=5254] ppid=5249 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5252/task/5254/stat : 5254 (java) R 5249 5252 4548 0 -1 4202560 7603 0 0 0 26 3 0 0 20 0 20 0 101775441 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212648888384 140212644680282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5255] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5255/stat : 5255 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212574747280 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5256] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5256/stat : 5256 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212573694480 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5257] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5257/stat : 5257 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212572641680 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5258] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5258/stat : 5258 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212571588880 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5259] ppid=5249 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/5252/task/5259/stat : 5259 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212570537104 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5260] ppid=5249 vsize=14325340 memory=140534484136879 CPUtime=0 cores=0-7 /proc/5252/task/5260/stat : 5260 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212569484304 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5261] ppid=5249 vsize=14325340 memory=140534484139184 CPUtime=0 cores=0-7 /proc/5252/task/5261/stat : 5261 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212568431504 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5262] ppid=5249 vsize=14325340 memory=140534484141488 CPUtime=0 cores=0-7 /proc/5252/task/5262/stat : 5262 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775442 14669148160 12707 33554432000 4194304 4196468 140727711066720 140212567378704 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5263] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5263/stat : 5263 (java) S 5249 5252 4548 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101775443 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211540392304 140212644670082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5264] ppid=5249 vsize=14325340 memory=281068968289936 CPUtime=0 cores=0-7 /proc/5252/task/5264/stat : 5264 (java) S 5249 5252 4548 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101775444 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211539338272 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5265] ppid=5249 vsize=14325340 memory=281068968296848 CPUtime=0 cores=0-7 /proc/5252/task/5265/stat : 5265 (java) S 5249 5252 4548 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101775444 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211538285424 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5266] ppid=5249 vsize=14325340 memory=281068968238128 CPUtime=0 cores=0-7 /proc/5252/task/5266/stat : 5266 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775446 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211537233744 140212644677531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5267] ppid=5249 vsize=14325340 memory=281068968310672 CPUtime=0.03 cores=0-7 /proc/5252/task/5267/stat : 5267 (java) S 5249 5252 4548 0 -1 1077944384 728 0 0 0 3 0 0 0 20 0 20 0 101775446 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211536182128 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5268] ppid=5249 vsize=14325340 memory=281068968317584 CPUtime=0.04 cores=0-7 /proc/5252/task/5268/stat : 5268 (java) S 5249 5252 4548 0 -1 1077944384 291 0 0 0 4 0 0 0 20 0 20 0 101775446 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211535129328 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5269] ppid=5249 vsize=14325340 memory=281068968315280 CPUtime=0.01 cores=0-7 /proc/5252/task/5269/stat : 5269 (java) S 5249 5252 4548 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 101775446 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211534076528 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5270] ppid=5249 vsize=14325340 memory=281068968331888 CPUtime=0.08 cores=0-7 /proc/5252/task/5270/stat : 5270 (java) R 5249 5252 4548 0 -1 4202560 389 0 0 0 8 0 0 0 20 0 20 0 101775446 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211533023728 140212623148704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5271] ppid=5249 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5271/stat : 5271 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775447 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211531971168 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5272] ppid=5249 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/5252/task/5272/stat : 5272 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775447 14669148160 12707 33554432000 4194304 4196468 140727711066720 140211530918448 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50828 KiB [startup+0.710267 s] /proc/loadavg: 7.36 8.39 8.50 5/198 5272 /proc/meminfo: memFree=31392172/32770624 swapFree=67108860/67108860 [pid=5252] ppid=5249 vsize=14327388 memory=102664 CPUtime=1.73 cores=0-7 /proc/5252/stat : 5252 (java) S 5249 5252 4548 0 -1 1077944320 15178 0 0 0 167 6 0 0 20 0 20 0 101775440 14671245312 25666 33554432000 4194304 4196468 140727711066720 140727711049264 140212644658935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 /proc/5252/statm: 3581847 25666 3778 1 0 3569562 0 [pid=5252/tid=5254] ppid=5249 vsize=14327388 memory=304556140472303970 CPUtime=0.68 cores=0-7 /proc/5252/task/5254/stat : 5254 (java) R 5249 5252 4548 0 -1 4202560 8665 0 0 0 64 4 0 0 20 0 20 0 101775441 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212648887296 140212628739422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5255] ppid=5249 vsize=14327388 memory=15544002929759492 CPUtime=0 cores=0-7 /proc/5252/task/5255/stat : 5255 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212574747280 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5256] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5256/stat : 5256 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212573694480 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5257] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5257/stat : 5257 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212572641680 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5258] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5258/stat : 5258 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212571588880 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5259] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5259/stat : 5259 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212570537104 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5260] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5260/stat : 5260 (java) S 5249 5252 4548 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212569484304 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5261] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5261/stat : 5261 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212568431504 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5262] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5262/stat : 5262 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101775442 14671245312 25666 33554432000 4194304 4196468 140727711066720 140212567378704 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5263] ppid=5249 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5263/stat : 5263 (java) S 5249 5252 4548 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101775443 14671245312 25666 33554432000 4194304 4196468 140727711066720 140211540392304 140212644670082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 ################ # More data... # ################ [pid=5252/tid=5275] ppid=5249 vsize=16068328 memory=0 CPUtime=0.97 cores=0-7 /proc/5252/task/5275/stat : 5275 (java) S 5249 5252 4548 0 -1 1077944384 174 0 0 0 97 0 0 0 20 0 46 0 101775816 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211516430096 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5276] ppid=5249 vsize=16068328 memory=0 CPUtime=0.86 cores=0-7 /proc/5252/task/5276/stat : 5276 (java) S 5249 5252 4548 0 -1 1077944384 70 0 0 0 86 0 0 0 20 0 46 0 101775817 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211515377296 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5277] ppid=5249 vsize=16068328 memory=0 CPUtime=1.23 cores=0-7 /proc/5252/task/5277/stat : 5277 (java) R 5249 5252 4548 0 -1 4202560 84 0 0 0 123 0 0 0 20 0 46 0 101775817 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211514323584 140212250810150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5278] ppid=5249 vsize=16068328 memory=0 CPUtime=1.12 cores=0-7 /proc/5252/task/5278/stat : 5278 (java) R 5249 5252 4548 0 -1 4202560 70 0 0 0 112 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211511173632 140212250807274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5279] ppid=5249 vsize=16068328 memory=0 CPUtime=0.34 cores=0-7 /proc/5252/task/5279/stat : 5279 (java) R 5249 5252 4548 0 -1 4202560 50 0 0 0 34 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211510121744 140212250809998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5280] ppid=5249 vsize=16068328 memory=0 CPUtime=0.67 cores=0-7 /proc/5252/task/5280/stat : 5280 (java) R 5249 5252 4548 0 -1 4202560 35 0 0 0 67 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211509068032 140212250809906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5281] ppid=5249 vsize=16068328 memory=0 CPUtime=0.79 cores=0-7 /proc/5252/task/5281/stat : 5281 (java) R 5249 5252 4548 0 -1 4202560 38 0 0 0 79 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211508015232 140212250810313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5282] ppid=5249 vsize=16068328 memory=0 CPUtime=0.66 cores=0-7 /proc/5252/task/5282/stat : 5282 (java) S 5249 5252 4548 0 -1 1077944384 43 0 0 0 66 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211506963344 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5283] ppid=5249 vsize=16068328 memory=0 CPUtime=0.53 cores=0-7 /proc/5252/task/5283/stat : 5283 (java) S 5249 5252 4548 0 -1 1077944384 41 0 0 0 53 0 0 0 20 0 46 0 101775819 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211505911568 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5284] ppid=5249 vsize=16068328 memory=0 CPUtime=0.78 cores=0-7 /proc/5252/task/5284/stat : 5284 (java) S 5249 5252 4548 0 -1 1077944384 36 0 0 0 78 0 0 0 20 0 46 0 101775820 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211504858768 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5285] ppid=5249 vsize=16068328 memory=0 CPUtime=0.66 cores=0-7 /proc/5252/task/5285/stat : 5285 (java) S 5249 5252 4548 0 -1 1077944384 28 0 0 0 66 0 0 0 20 0 46 0 101775826 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211503805968 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5286] ppid=5249 vsize=16068328 memory=0 CPUtime=0.91 cores=0-7 /proc/5252/task/5286/stat : 5286 (java) R 5249 5252 4548 0 -1 4202560 32 0 0 0 91 0 0 0 20 0 46 0 101775827 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211500618240 140212250809877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5287] ppid=5249 vsize=16068328 memory=0 CPUtime=0.64 cores=0-7 /proc/5252/task/5287/stat : 5287 (java) S 5249 5252 4548 0 -1 1077944384 36 0 0 0 64 0 0 0 20 0 46 0 101775828 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211499566352 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5288] ppid=5249 vsize=16068328 memory=0 CPUtime=0.72 cores=0-7 /proc/5252/task/5288/stat : 5288 (java) S 5249 5252 4548 0 -1 1077944384 28 0 0 0 72 0 0 0 20 0 46 0 101775828 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211498513552 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5289] ppid=5249 vsize=16068328 memory=0 CPUtime=0.5 cores=0-7 /proc/5252/task/5289/stat : 5289 (java) R 5249 5252 4548 0 -1 1077944384 26 0 0 0 50 0 0 0 20 0 46 0 101775828 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211497460752 140212644669141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5290] ppid=5249 vsize=16068328 memory=0 CPUtime=0.52 cores=0-7 /proc/5252/task/5290/stat : 5290 (java) R 5249 5252 4548 0 -1 1077944384 25 0 0 0 52 0 0 0 20 0 46 0 101775828 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211496407952 140212644669141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5291] ppid=5249 vsize=16068328 memory=0 CPUtime=1.05 cores=0-7 /proc/5252/task/5291/stat : 5291 (java) S 5249 5252 4548 0 -1 1077944384 108 0 0 0 105 0 0 0 20 0 46 0 101775829 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211495356176 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5292] ppid=5249 vsize=16068328 memory=0 CPUtime=0.47 cores=0-7 /proc/5252/task/5292/stat : 5292 (java) S 5249 5252 4548 0 -1 1077944384 34 0 0 0 47 0 0 0 20 0 46 0 101775829 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211494303376 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5293] ppid=5249 vsize=16068328 memory=0 CPUtime=0.95 cores=0-7 /proc/5252/task/5293/stat : 5293 (java) R 5249 5252 4548 0 -1 4202560 29 0 0 0 95 0 0 0 20 0 46 0 101775829 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211493250576 140212250810302 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5294] ppid=5249 vsize=16068328 memory=0 CPUtime=0.89 cores=0-7 /proc/5252/task/5294/stat : 5294 (java) R 5249 5252 4548 0 -1 1077944384 24 0 0 0 89 0 0 0 20 0 46 0 101775830 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211492197616 140212644680125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5295] ppid=5249 vsize=16068328 memory=0 CPUtime=0.7 cores=0-7 /proc/5252/task/5295/stat : 5295 (java) S 5249 5252 4548 0 -1 1077944384 27 0 0 0 70 0 0 0 20 0 46 0 101775831 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211491144976 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5296] ppid=5249 vsize=16068328 memory=0 CPUtime=0.79 cores=0-7 /proc/5252/task/5296/stat : 5296 (java) R 5249 5252 4548 0 -1 4202560 28 0 0 0 79 0 0 0 20 0 46 0 101775832 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211421962496 140212250808086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5297] ppid=5249 vsize=16068328 memory=0 CPUtime=0.53 cores=0-7 /proc/5252/task/5297/stat : 5297 (java) R 5249 5252 4548 0 -1 1077944384 31 0 0 0 53 0 0 0 20 0 46 0 101775832 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211420910608 140212644669141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5298] ppid=5249 vsize=16068328 memory=0 CPUtime=0.57 cores=0-7 /proc/5252/task/5298/stat : 5298 (java) S 5249 5252 4548 0 -1 1077944384 26 0 0 0 57 0 0 0 20 0 46 0 101775833 16453967872 65442 33554432000 4194304 4196468 140727711066720 140211419857808 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 Current children cumulated CPU time: 27.11 s Current children cumulated vsize: 16068328 KiB Current children cumulated memory: 261768 KiB [startup+6.58431 s] # the end of solver process 5252 was just reported to runsolver # cumulated CPU time of all completed processes: user=28.6402 s, system=0.261311 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.50199 s] /proc/loadavg: 7.41 8.39 8.50 26/224 5298 /proc/meminfo: memFree=31227432/32770624 swapFree=67108860/67108860 [pid=5252] ppid=5249 vsize=16068328 memory=261828 CPUtime=28.69 cores=0-7 /proc/5252/stat : 5252 (java) S 5249 5252 4548 0 -1 1077944320 41269 0 0 0 2845 24 0 0 20 0 46 0 101775440 16453967872 65457 33554432000 4194304 4196468 140727711066720 140727711049264 140212644658935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 /proc/5252/statm: 4017082 65457 3825 1 0 4004276 0 [pid=5252/tid=5254] ppid=5249 vsize=16068328 memory=281068969058384 CPUtime=3.74 cores=0-7 /proc/5252/task/5254/stat : 5254 (java) S 5249 5252 4548 0 -1 1077944384 14557 0 0 0 367 7 0 0 20 0 46 0 101775441 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212648896640 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5255] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5255/stat : 5255 (java) S 5249 5252 4548 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212574747280 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5256] ppid=5249 vsize=16068328 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5256/stat : 5256 (java) S 5249 5252 4548 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212573694480 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5257] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5257/stat : 5257 (java) S 5249 5252 4548 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212572641680 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5258] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5258/stat : 5258 (java) S 5249 5252 4548 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212571588880 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5259] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5259/stat : 5259 (java) S 5249 5252 4548 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212570537104 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5260] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5260/stat : 5260 (java) S 5249 5252 4548 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212569484304 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5261] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5261/stat : 5261 (java) S 5249 5252 4548 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212568431504 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5262] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5262/stat : 5262 (java) S 5249 5252 4548 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 46 0 101775442 16453967872 65457 33554432000 4194304 4196468 140727711066720 140212567378704 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5263] ppid=5249 vsize=16068328 memory=0 CPUtime=0.01 cores=0-7 /proc/5252/task/5263/stat : 5263 (java) S 5249 5252 4548 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 46 0 101775443 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211540392304 140212644670082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5264] ppid=5249 vsize=16068328 memory=0 CPUtime=0 cores=0-7 /proc/5252/task/5264/stat : 5264 (java) S 5249 5252 4548 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 101775444 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211539338336 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5265] ppid=5249 vsize=16068328 memory=12068 CPUtime=0 cores=0-7 /proc/5252/task/5265/stat : 5265 (java) S 5249 5252 4548 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 101775444 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211538285440 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5266] ppid=5249 vsize=16068328 memory=1440 CPUtime=0 cores=0-7 /proc/5252/task/5266/stat : 5266 (java) S 5249 5252 4548 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 101775446 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211537233744 140212644677531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5267] ppid=5249 vsize=16068328 memory=5792 CPUtime=1.34 cores=0-7 /proc/5252/task/5267/stat : 5267 (java) S 5249 5252 4548 0 -1 1077944384 5111 0 0 0 132 2 0 0 20 0 46 0 101775446 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211536182128 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5268] ppid=5249 vsize=16068328 memory=1224 CPUtime=1.48 cores=0-7 /proc/5252/task/5268/stat : 5268 (java) S 5249 5252 4548 0 -1 1077944384 4614 0 0 0 146 2 0 0 20 0 46 0 101775446 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211535129328 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5269] ppid=5249 vsize=16068328 memory=8560 CPUtime=1.51 cores=0-7 /proc/5252/task/5269/stat : 5269 (java) S 5249 5252 4548 0 -1 1077944384 4662 0 0 0 150 1 0 0 20 0 46 0 101775446 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211534076528 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5270] ppid=5249 vsize=16068328 memory=1712 CPUtime=0.87 cores=0-7 /proc/5252/task/5270/stat : 5270 (java) S 5249 5252 4548 0 -1 1077944384 8720 0 0 0 84 3 0 0 20 0 46 0 101775446 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211533023728 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5271] ppid=5249 vsize=16068328 memory=4612 CPUtime=0 cores=0-7 /proc/5252/task/5271/stat : 5271 (java) S 5249 5252 4548 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 101775447 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211531971168 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5272] ppid=5249 vsize=16068328 memory=1004 CPUtime=0 cores=0-7 /proc/5252/task/5272/stat : 5272 (java) S 5249 5252 4548 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 46 0 101775447 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211530918448 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5273] ppid=5249 vsize=16068328 memory=1200 CPUtime=0.02 cores=0-7 /proc/5252/task/5273/stat : 5273 (java) R 5249 5252 4548 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 46 0 101775792 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211520631376 140212644669141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5274] ppid=5249 vsize=16068328 memory=7014751519701030225 CPUtime=0 cores=0-7 /proc/5252/task/5274/stat : 5274 (java) S 5249 5252 4548 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 101775804 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211517481552 140212644670082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5275] ppid=5249 vsize=16068328 memory=7013340949344965736 CPUtime=1 cores=0-7 /proc/5252/task/5275/stat : 5275 (java) R 5249 5252 4548 0 -1 1077944384 174 0 0 0 100 0 0 0 20 0 46 0 101775816 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211516430096 140212644669141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5276] ppid=5249 vsize=16068328 memory=5788647689011156329 CPUtime=1.03 cores=0-7 /proc/5252/task/5276/stat : 5276 (java) R 5249 5252 4548 0 -1 4202560 70 0 0 0 103 0 0 0 20 0 46 0 101775817 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211515376384 140212250809877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5277] ppid=5249 vsize=16068328 memory=5937503940876058721 CPUtime=1.33 cores=0-7 /proc/5252/task/5277/stat : 5277 (java) S 5249 5252 4548 0 -1 1077944384 84 0 0 0 133 0 0 0 20 0 46 0 101775817 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211514324496 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5278] ppid=5249 vsize=16068328 memory=199964 CPUtime=1.21 cores=0-7 /proc/5252/task/5278/stat : 5278 (java) R 5249 5252 4548 0 -1 4202560 70 0 0 0 121 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211511173632 140212250808451 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5279] ppid=5249 vsize=16068328 memory=0 CPUtime=0.39 cores=0-7 /proc/5252/task/5279/stat : 5279 (java) S 5249 5252 4548 0 -1 1077944384 50 0 0 0 39 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211510121744 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5280] ppid=5249 vsize=16068328 memory=0 CPUtime=0.72 cores=0-7 /proc/5252/task/5280/stat : 5280 (java) S 5249 5252 4548 0 -1 1077944384 35 0 0 0 72 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211509068944 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5281] ppid=5249 vsize=16068328 memory=0 CPUtime=0.85 cores=0-7 /proc/5252/task/5281/stat : 5281 (java) R 5249 5252 4548 0 -1 1077944384 39 0 0 0 85 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211508016144 140212644669141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5282] ppid=5249 vsize=16068328 memory=2448 CPUtime=0.79 cores=0-7 /proc/5252/task/5282/stat : 5282 (java) R 5249 5252 4548 0 -1 4202560 43 0 0 0 79 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211506962432 140212250810479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5283] ppid=5249 vsize=16068328 memory=1732 CPUtime=0.6 cores=0-7 /proc/5252/task/5283/stat : 5283 (java) R 5249 5252 4548 0 -1 4202560 41 0 0 0 60 0 0 0 20 0 46 0 101775819 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211505910656 140212250810792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5284] ppid=5249 vsize=16068328 memory=1948 CPUtime=0.78 cores=0-7 /proc/5252/task/5284/stat : 5284 (java) S 5249 5252 4548 0 -1 1077944384 36 0 0 0 78 0 0 0 20 0 46 0 101775820 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211504858768 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5285] ppid=5249 vsize=16068328 memory=800 CPUtime=0.67 cores=0-7 /proc/5252/task/5285/stat : 5285 (java) R 5249 5252 4548 0 -1 4202560 28 0 0 0 67 0 0 0 20 0 46 0 101775826 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211503805056 140212250810406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5286] ppid=5249 vsize=16068328 memory=281068968494560 CPUtime=0.97 cores=0-7 /proc/5252/task/5286/stat : 5286 (java) S 5249 5252 4548 0 -1 1077944384 32 0 0 0 97 0 0 0 20 0 46 0 101775827 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211500619152 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5287] ppid=5249 vsize=16068328 memory=0 CPUtime=0.78 cores=0-7 /proc/5252/task/5287/stat : 5287 (java) S 5249 5252 4548 0 -1 1077944384 37 0 0 0 78 0 0 0 20 0 46 0 101775828 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211499566352 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5288] ppid=5249 vsize=16068328 memory=0 CPUtime=0.76 cores=0-7 /proc/5252/task/5288/stat : 5288 (java) S 5249 5252 4548 0 -1 1077944384 28 0 0 0 76 0 0 0 20 0 46 0 101775828 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211498513392 140212644680125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5289] ppid=5249 vsize=16068328 memory=0 CPUtime=0.52 cores=0-7 /proc/5252/task/5289/stat : 5289 (java) R 5249 5252 4548 0 -1 4202560 26 0 0 0 52 0 0 0 20 0 46 0 101775828 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211497460752 140212250809838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5290] ppid=5249 vsize=16068328 memory=0 CPUtime=0.56 cores=0-7 /proc/5252/task/5290/stat : 5290 (java) S 5249 5252 4548 0 -1 1077944384 25 0 0 0 56 0 0 0 20 0 46 0 101775828 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211496407952 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5291] ppid=5249 vsize=16068328 memory=0 CPUtime=1.14 cores=0-7 /proc/5252/task/5291/stat : 5291 (java) S 5249 5252 4548 0 -1 1077944384 108 0 0 0 114 0 0 0 20 0 46 0 101775829 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211495356176 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5292] ppid=5249 vsize=16068328 memory=0 CPUtime=0.48 cores=0-7 /proc/5252/task/5292/stat : 5292 (java) S 5249 5252 4548 0 -1 1077944384 34 0 0 0 48 0 0 0 20 0 46 0 101775829 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211494303376 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5293] ppid=5249 vsize=16068328 memory=0 CPUtime=0.97 cores=0-7 /proc/5252/task/5293/stat : 5293 (java) R 5249 5252 4548 0 -1 1077944384 29 0 0 0 97 0 0 0 20 0 46 0 101775829 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211493250576 140212644669141 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5294] ppid=5249 vsize=16068328 memory=0 CPUtime=0.89 cores=0-7 /proc/5252/task/5294/stat : 5294 (java) R 5249 5252 4548 0 -1 4202560 24 0 0 0 89 0 0 0 20 0 46 0 101775830 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211492197776 140212250715917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5295] ppid=5249 vsize=16068328 memory=0 CPUtime=0.77 cores=0-7 /proc/5252/task/5295/stat : 5295 (java) R 5249 5252 4548 0 -1 4202560 27 0 0 0 77 0 0 0 20 0 46 0 101775831 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211491143352 140212644670870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5296] ppid=5249 vsize=16068328 memory=0 CPUtime=0.97 cores=0-7 /proc/5252/task/5296/stat : 5296 (java) S 5249 5252 4548 0 -1 1077944384 28 0 0 0 97 0 0 0 20 0 46 0 101775832 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211421963408 140212644669141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5297] ppid=5249 vsize=16068328 memory=0 CPUtime=0.55 cores=0-7 /proc/5252/task/5297/stat : 5297 (java) R 5249 5252 4548 0 -1 4202560 31 0 0 0 55 0 0 0 20 0 46 0 101775832 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211420909696 140212250809993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 [pid=5252/tid=5298] ppid=5249 vsize=16068328 memory=0 CPUtime=0.64 cores=0-7 /proc/5252/task/5298/stat : 5298 (java) R 5249 5252 4548 0 -1 1077944384 26 0 0 0 64 0 0 0 20 0 46 0 101775833 16453967872 65457 33554432000 4194304 4196468 140727711066720 140211419857808 140212644669141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140727711069282 140727711069467 140727711069467 140727711072207 0 Current children cumulated CPU time: 28.69 s Current children cumulated vsize: 16068328 KiB Current children cumulated memory: 261828 KiB Child status: 0 Real time (s): 6.58436 CPU time (s): 28.9015 CPU user time (s): 28.6402 CPU system time (s): 0.261311 CPU usage (%): 438.942 Max. virtual memory (cumulated for all children) (KiB): 16068328 Max. memory (cumulated for all children) (KiB): 261828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.6402 system time used= 0.261311 maximum resident set size= 263988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10048 involuntary context switches= 1968 # summary of solver processes directly reported to runsolver: # pid: 5252 # total CPU time (s): 28.9015 # total CPU user time (s): 28.6402 # total CPU system time (s): 0.261311 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.07478 second user time and 0.118233 second system time The end
Begin job on node113 at 2017-08-14 06:46:59 IDJOB=4275597 IDBENCH=121693 IDSOLVER=2668 FILE ID=node113/4275597-1502686878 RUNJOBID= node113-1502678443-4575 PBS_JOBID= 20628981 Free space on /tmp= 61788 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Random/Random-RB-2-30-15f/rand-2-30-15-306-230f-09.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-4275597-1502686878/watcher-4275597-1502686878 -o /tmp/evaluation-result-4275597-1502686878/solver-4275597-1502686878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502678443-4575 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 591744596 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275597-1502686878.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 23c17749bea612774e78a3a072e2ad10 RANDOM SEED=591744596 node113.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.89 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.89 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.89 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.89 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: 31476400 kB MemAvailable: 31971664 kB Buffers: 157012 kB Cached: 613924 kB SwapCached: 0 kB Active: 613480 kB Inactive: 212704 kB Active(anon): 5296 kB Inactive(anon): 77672 kB Active(file): 608184 kB Inactive(file): 135032 kB Unevictable: 6588 kB Mlocked: 6588 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42444 kB Writeback: 0 kB AnonPages: 61348 kB Mapped: 44552 kB Shmem: 25224 kB Slab: 161932 kB SReclaimable: 135764 kB SUnreclaim: 26168 kB KernelStack: 3552 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323780 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61748 MiB End job on node113 at 2017-08-14 06:47:06