Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 6.4520402 | 2.0580399 |
Name | SchurrLemma/SchurrLemma-nor-s1/ SchurrLemma-nor-023-3.xml |
MD5SUM | 9a1062d1930987bd3296410fabbfa226 |
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.075297996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 121 |
Number of domains | 1 |
Minimum domain size | 3 |
Maximum domain size | 3 |
Distribution of domain sizes | [{"size":3,"count":23}] |
Minimum variable degree | 11 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":11,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":121}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 121 |
Distribution of constraint types | [{"type":"intension","count":121}] |
Optimization problem | NO |
Type of objective |
0.24/0.39 c version: 2017-08-22 0.24/0.39 c seed: 467387457 0.24/0.39 c timeout: 20160 0.24/0.39 c memlimit: 22000 0.24/0.39 c nbcore: 8 0.43/0.42 c Parsing instance... 0.97/0.76 c Parsing done, starting search... 6.31/2.03 s SATISFIABLE 6.31/2.03 v <instantiation> 6.31/2.03 v <list> 6.31/2.03 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] 6.31/2.03 v </list> 6.31/2.03 v <values> 6.31/2.03 v 2 2 1 2 1 1 1 2 0 0 2 0 0 0 0 0 2 0 1 0 1 2 1 6.31/2.03 v </values> 6.31/2.03 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 (15408 MiB free) memory of node 1: 16384 MiB (15710 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285644-1503467556/watcher-4285644-1503467556 -o /tmp/evaluation-result-4285644-1503467556/solver-4285644-1503467556 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 467387457 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285644-1503467556.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=10459, runsolver pid=10456 [startup+0.100109 s]* /proc/loadavg: 1.52 1.88 4.06 2/182 10469 /proc/meminfo: memFree=31861184/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=25300336 memory=16240 CPUtime=0.01 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 3409 0 0 0 1 0 0 0 20 0 10 0 4639581 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6325084 4060 1910 1 0 6314581 0 [pid=10459/tid=10461] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) R 10456 10459 2337 0 -1 4202560 2085 0 0 0 0 0 0 0 20 0 10 0 4639590 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140626117927504 140626099373875 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=25300336 memory=140472363828864 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=25300336 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 4639591 25907544064 4060 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 25300336 KiB Current children cumulated memory: 16240 KiB [startup+0.209472 s]* /proc/loadavg: 1.52 1.88 4.06 2/192 10479 /proc/meminfo: memFree=31851100/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=25996608 memory=29088 CPUtime=0.08 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 6609 0 0 0 7 1 0 0 20 0 20 0 4639581 26620526592 7272 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6499152 7272 3329 1 0 6487930 0 [pid=10459/tid=10461] ppid=10456 vsize=25996608 memory=4026532046 CPUtime=0.07 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) R 10456 10459 2337 0 -1 4202560 4630 0 0 0 6 1 0 0 20 0 20 0 4639590 26620526592 7272 18446744073709551615 4194304 4196468 140721807253632 140626117921128 140626093222779 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=25996608 memory=11860 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7272 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=25996608 memory=140472363838762 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7272 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7272 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10470] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10470/stat : 10470 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639592 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625178409456 140626113702530 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10471] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10471/stat : 10471 (java) S 10456 10459 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4639593 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625177355680 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10472] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10472/stat : 10472 (java) S 10456 10459 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4639593 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625176303088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10473] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10473/stat : 10473 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625175251664 140626113709979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10474] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10474/stat : 10474 (java) S 10456 10459 2337 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625174198256 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10475] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10475/stat : 10475 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625173145712 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10476] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10476/stat : 10476 (java) S 10456 10459 2337 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625172093168 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10477] ppid=10456 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10477/stat : 10477 (java) S 10456 10459 2337 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625171040624 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10478] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10478/stat : 10478 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625169988320 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10479] ppid=10456 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639600 26620526592 7337 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 29088 KiB [startup+0.309828 s]* /proc/loadavg: 1.52 1.88 4.06 2/192 10479 /proc/meminfo: memFree=31840180/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=25996608 memory=39048 CPUtime=0.24 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 10020 0 0 0 21 3 0 0 20 0 20 0 4639581 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6499152 9762 3545 1 0 6487930 0 [pid=10459/tid=10461] ppid=10456 vsize=25996608 memory=-8774313645642428999 CPUtime=0.16 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) R 10456 10459 2337 0 -1 4202560 7723 0 0 0 14 2 0 0 20 0 20 0 4639590 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140626117920880 140626097771870 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=25996608 memory=4206186544037388384 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=25996608 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=25996608 memory=-3252517613198930781 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=25996608 memory=4137548663497135221 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=25996608 memory=7684433391216329786 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=25996608 memory=4498404016631593313 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10470] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10470/stat : 10470 (java) S 10456 10459 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4639592 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625178409456 140626113702530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10471] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10471/stat : 10471 (java) S 10456 10459 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4639593 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625177355680 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10472] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10472/stat : 10472 (java) S 10456 10459 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4639593 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625176303088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10473] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10473/stat : 10473 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625175251664 140626113709979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10474] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10474/stat : 10474 (java) S 10456 10459 2337 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625174198256 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10475] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10475/stat : 10475 (java) S 10456 10459 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625173145712 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10476] ppid=10456 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7 /proc/10459/task/10476/stat : 10476 (java) S 10456 10459 2337 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625172093168 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10477] ppid=10456 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7 /proc/10459/task/10477/stat : 10477 (java) S 10456 10459 2337 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625171040624 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10478] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10478/stat : 10478 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639595 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625169988320 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10479] ppid=10456 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639600 26620526592 9762 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 39048 KiB [startup+0.702662 s] /proc/loadavg: 1.52 1.88 4.06 2/192 10479 /proc/meminfo: memFree=31827840/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=25998676 memory=65924 CPUtime=0.97 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 13764 0 0 0 92 5 0 0 20 0 20 0 4639581 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6499669 16481 3731 1 0 6488442 0 [pid=10459/tid=10461] ppid=10456 vsize=25998676 memory=288230583149276442 CPUtime=0.55 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) R 10456 10459 2337 0 -1 4202560 10176 0 0 0 51 4 0 0 20 0 20 0 4639590 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140626117928320 140626113703318 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=25998676 memory=280944414547216 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4639591 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10470] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10470/stat : 10470 (java) S 10456 10459 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4639592 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625178409456 140626113702530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10471] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10471/stat : 10471 (java) S 10456 10459 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4639593 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625177355680 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10472] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10472/stat : 10472 (java) S 10456 10459 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4639593 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625176303088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10473] ppid=10456 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10473/stat : 10473 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625175251664 140626113709979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10474] ppid=10456 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7 /proc/10459/task/10474/stat : 10474 (java) S 10456 10459 2337 0 -1 1077944384 519 0 0 0 9 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625174198256 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10475] ppid=10456 vsize=25998676 memory=6065500456449 CPUtime=0.06 cores=0-7 /proc/10459/task/10475/stat : 10475 (java) S 10456 10459 2337 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625173145712 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10476] ppid=10456 vsize=25998676 memory=17562464 CPUtime=0.04 cores=0-7 /proc/10459/task/10476/stat : 10476 (java) S 10456 10459 2337 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625172093168 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10477] ppid=10456 vsize=25998676 memory=7236547281622689387 CPUtime=0.2 cores=0-7 /proc/10459/task/10477/stat : 10477 (java) R 10456 10459 2337 0 -1 4202560 879 0 0 0 20 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625171035632 140626105928510 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10478] ppid=10456 vsize=25998676 memory=6296988100000700259 CPUtime=0 cores=0-7 /proc/10459/task/10478/stat : 10478 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4639595 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625169988320 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10479] ppid=10456 vsize=25998676 memory=56747612 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4639600 26622644224 16481 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 0.97 s Current children cumulated vsize: 25998676 KiB ################ # More data... # ################ [pid=10459/tid=10479] ppid=10456 vsize=26069336 memory=1509 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4639600 26695000064 46442 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 3.61 s Current children cumulated vsize: 26069336 KiB Current children cumulated memory: 185768 KiB [startup+2.05798 s] # the end of solver process 10459 was just reported to runsolver # cumulated CPU time of all completed processes: user=6.25913 s, system=0.192914 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60102 s] /proc/loadavg: 1.52 1.88 4.06 5/192 10479 /proc/meminfo: memFree=31784756/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=26071384 memory=195256 CPUtime=4.04 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 36735 0 0 0 391 13 0 0 20 0 21 0 4639581 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6517846 48814 3771 1 0 6506619 0 [pid=10459/tid=10461] ppid=10456 vsize=26071384 memory=0 CPUtime=1.43 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) R 10456 10459 2337 0 -1 4202560 14749 0 0 0 137 6 0 0 20 0 21 0 4639590 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140626117910496 140626097771870 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=26071384 memory=55 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=26071384 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=26071384 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=26071384 memory=13396 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=26071384 memory=2168 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=26071384 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=26071384 memory=280944414423168 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=26071384 memory=3760982651254042231 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4639591 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10470] ppid=10456 vsize=26071384 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10470/stat : 10470 (java) S 10456 10459 2337 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 4639592 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625178409456 140626113702530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10471] ppid=10456 vsize=26071384 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/10459/task/10471/stat : 10471 (java) S 10456 10459 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4639593 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625177355680 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10472] ppid=10456 vsize=26071384 memory=7300728970739542608 CPUtime=0 cores=0-7 /proc/10459/task/10472/stat : 10472 (java) S 10456 10459 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4639593 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625176303088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10473] ppid=10456 vsize=26071384 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10473/stat : 10473 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625175251664 140626113709979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10474] ppid=10456 vsize=26071384 memory=8028016489947945048 CPUtime=0.67 cores=0-7 /proc/10459/task/10474/stat : 10474 (java) R 10456 10459 2337 0 -1 4202560 5049 0 0 0 65 2 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625174189584 140626090915536 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10475] ppid=10456 vsize=26071384 memory=8026936708461652048 CPUtime=0.65 cores=0-7 /proc/10459/task/10475/stat : 10475 (java) S 10456 10459 2337 0 -1 1077944384 6101 0 0 0 64 1 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625173145712 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10476] ppid=10456 vsize=26071384 memory=-7957962119327172001 CPUtime=0.66 cores=0-7 /proc/10459/task/10476/stat : 10476 (java) R 10456 10459 2337 0 -1 4202560 4395 0 0 0 66 0 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625172082640 140626097188171 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10477] ppid=10456 vsize=26071384 memory=6656426216303648864 CPUtime=0.57 cores=0-7 /proc/10459/task/10477/stat : 10477 (java) S 10456 10459 2337 0 -1 1077944384 4992 0 0 0 56 1 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625171040624 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10478] ppid=10456 vsize=26071384 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/10459/task/10478/stat : 10478 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4639595 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625169988320 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10479] ppid=10456 vsize=26071384 memory=6944656592455359545 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4639600 26697097216 48814 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 4.04 s Current children cumulated vsize: 26071384 KiB Current children cumulated memory: 195256 KiB [startup+2.00384 s]* /proc/loadavg: 1.52 1.88 4.06 29/218 10505 /proc/meminfo: memFree=31633300/32770624 swapFree=67108860/67108860 [pid=10459] ppid=10456 vsize=27739616 memory=244044 CPUtime=6.31 cores=0-7 /proc/10459/stat : 10459 (java) S 10456 10459 2337 0 -1 1077944320 41134 0 0 0 613 18 0 0 20 0 45 0 4639581 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140721807236176 140626113691383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 /proc/10459/statm: 6934904 61011 3799 1 0 6923156 0 [pid=10459/tid=10461] ppid=10456 vsize=27739616 memory=140472363841377 CPUtime=1.58 cores=0-7 /proc/10459/task/10461/stat : 10461 (java) S 10456 10459 2337 0 -1 1077944384 15475 0 0 0 151 7 0 0 20 0 45 0 4639590 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140626117929088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10462] ppid=10456 vsize=27739616 memory=7300480407984056977 CPUtime=0 cores=0-7 /proc/10459/task/10462/stat : 10462 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140626025597712 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10463] ppid=10456 vsize=27739616 memory=280944571129760 CPUtime=0 cores=0-7 /proc/10459/task/10463/stat : 10463 (java) S 10456 10459 2337 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140626024545168 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10464] ppid=10456 vsize=27739616 memory=3 CPUtime=0 cores=0-7 /proc/10459/task/10464/stat : 10464 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140626023492624 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10465] ppid=10456 vsize=27739616 memory=7228950657167940503 CPUtime=0 cores=0-7 /proc/10459/task/10465/stat : 10465 (java) S 10456 10459 2337 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140626022440080 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10466] ppid=10456 vsize=27739616 memory=5789497659129031533 CPUtime=0 cores=0-7 /proc/10459/task/10466/stat : 10466 (java) S 10456 10459 2337 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625671719184 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10467] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10467/stat : 10467 (java) S 10456 10459 2337 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625670666640 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10468] ppid=10456 vsize=27739616 memory=-1 CPUtime=0 cores=0-7 /proc/10459/task/10468/stat : 10468 (java) S 10456 10459 2337 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625669614096 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10469] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10469/stat : 10469 (java) S 10456 10459 2337 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 45 0 4639591 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625668561552 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10470] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10470/stat : 10470 (java) S 10456 10459 2337 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 45 0 4639592 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625178409456 140626113702530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10471] ppid=10456 vsize=27739616 memory=7300480407984056977 CPUtime=0 cores=0-7 /proc/10459/task/10471/stat : 10471 (java) S 10456 10459 2337 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 4639593 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625177355744 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10472] ppid=10456 vsize=27739616 memory=4639930699739322729 CPUtime=0 cores=0-7 /proc/10459/task/10472/stat : 10472 (java) S 10456 10459 2337 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 4639593 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625176303104 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10473] ppid=10456 vsize=27739616 memory=4639930699739322728 CPUtime=0 cores=0-7 /proc/10459/task/10473/stat : 10473 (java) S 10456 10459 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625175251664 140626113709979 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10474] ppid=10456 vsize=27739616 memory=4639930699739322729 CPUtime=0.87 cores=0-7 /proc/10459/task/10474/stat : 10474 (java) R 10456 10459 2337 0 -1 4202560 5190 0 0 0 85 2 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625174196944 140626092140994 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10475] ppid=10456 vsize=27739616 memory=0 CPUtime=0.85 cores=0-7 /proc/10459/task/10475/stat : 10475 (java) R 10456 10459 2337 0 -1 4202560 6206 0 0 0 84 1 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625173131936 140626095214287 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10476] ppid=10456 vsize=27739616 memory=0 CPUtime=1.03 cores=0-7 /proc/10459/task/10476/stat : 10476 (java) R 10456 10459 2337 0 -1 4202560 5052 0 0 0 103 0 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625172076832 140626097177275 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10477] ppid=10456 vsize=27739616 memory=0 CPUtime=0.71 cores=0-7 /proc/10459/task/10477/stat : 10477 (java) S 10456 10459 2337 0 -1 1077944384 6290 0 0 0 69 2 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625171040624 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10478] ppid=10456 vsize=27739616 memory=3832904342842980656 CPUtime=0 cores=0-7 /proc/10459/task/10478/stat : 10478 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 4639595 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625169988320 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10479] ppid=10456 vsize=27739616 memory=3618138939555395892 CPUtime=0 cores=0-7 /proc/10459/task/10479/stat : 10479 (java) S 10456 10459 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 4639600 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625168935856 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10481] ppid=10456 vsize=27739616 memory=22080 CPUtime=0 cores=0-7 /proc/10459/task/10481/stat : 10481 (java) S 10456 10459 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 4639742 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625155495376 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10482] ppid=10456 vsize=27739616 memory=648 CPUtime=0.09 cores=0-7 /proc/10459/task/10482/stat : 10482 (java) R 10456 10459 2337 0 -1 1077944384 103 0 0 0 9 0 0 0 20 0 45 0 4639752 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625154438848 140626113701589 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10483] ppid=10456 vsize=27739616 memory=5787495302022849088 CPUtime=0.04 cores=0-7 /proc/10459/task/10483/stat : 10483 (java) S 10456 10459 2337 0 -1 1077944384 48 0 0 0 4 0 0 0 20 0 45 0 4639753 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625151292336 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10484] ppid=10456 vsize=27739616 memory=7444819964895188309 CPUtime=0.04 cores=0-7 /proc/10459/task/10484/stat : 10484 (java) R 10456 10459 2337 0 -1 4202560 92 0 0 0 4 0 0 0 20 0 45 0 4639753 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625150232208 140626113713309 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10485] ppid=10456 vsize=27739616 memory=8328453600958622283 CPUtime=0.05 cores=0-7 /proc/10459/task/10485/stat : 10485 (java) S 10456 10459 2337 0 -1 1077944384 57 0 0 0 5 0 0 0 20 0 45 0 4639753 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140625149187248 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10486] ppid=10456 vsize=27739616 memory=0 CPUtime=0.06 cores=0-7 /proc/10459/task/10486/stat : 10486 (java) S 10456 10459 2337 0 -1 1077944384 93 0 0 0 6 0 0 0 20 0 45 0 4639753 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624360105264 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10487] ppid=10456 vsize=27739616 memory=140472363837473 CPUtime=0.07 cores=0-7 /proc/10459/task/10487/stat : 10487 (java) S 10456 10459 2337 0 -1 1077944384 44 0 0 0 7 0 0 0 20 0 45 0 4639758 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624359049152 140626113702530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10488] ppid=10456 vsize=27739616 memory=-7750001083477550754 CPUtime=0.06 cores=0-7 /proc/10459/task/10488/stat : 10488 (java) S 10456 10459 2337 0 -1 1077944384 33 0 0 0 6 0 0 0 20 0 45 0 4639758 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624358000176 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10489] ppid=10456 vsize=27739616 memory=-8171376296011865461 CPUtime=0.05 cores=0-7 /proc/10459/task/10489/stat : 10489 (java) S 10456 10459 2337 0 -1 1077944384 31 0 0 0 5 0 0 0 20 0 45 0 4639758 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624356947632 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10490] ppid=10456 vsize=27739616 memory=-8545980981788235817 CPUtime=0.08 cores=0-7 /proc/10459/task/10490/stat : 10490 (java) R 10456 10459 2337 0 -1 1077944384 41 0 0 0 8 0 0 0 20 0 45 0 4639758 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624355888800 140626113701589 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10491] ppid=10456 vsize=27739616 memory=-8412652169205224307 CPUtime=0.05 cores=0-7 /proc/10459/task/10491/stat : 10491 (java) S 10456 10459 2337 0 -1 1077944384 47 0 0 0 5 0 0 0 20 0 45 0 4639758 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624354841520 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10492] ppid=10456 vsize=27739616 memory=3054156605402290594 CPUtime=0.09 cores=0-7 /proc/10459/task/10492/stat : 10492 (java) S 10456 10459 2337 0 -1 1077944384 32 0 0 0 9 0 0 0 20 0 45 0 4639765 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624353788976 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10493] ppid=10456 vsize=27739616 memory=8390361644446492005 CPUtime=0.04 cores=0-7 /proc/10459/task/10493/stat : 10493 (java) S 10456 10459 2337 0 -1 1077944384 27 0 0 0 4 0 0 0 20 0 45 0 4639767 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624350602416 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10494] ppid=10456 vsize=27739616 memory=3054156605368930971 CPUtime=0.04 cores=0-7 /proc/10459/task/10494/stat : 10494 (java) S 10456 10459 2337 0 -1 1077944384 24 0 0 0 4 0 0 0 20 0 45 0 4639767 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624349549872 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10495] ppid=10456 vsize=27739616 memory=0 CPUtime=0.09 cores=0-7 /proc/10459/task/10495/stat : 10495 (java) S 10456 10459 2337 0 -1 1077944384 30 0 0 0 9 0 0 0 20 0 45 0 4639767 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624348497328 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10496] ppid=10456 vsize=27739616 memory=0 CPUtime=0.05 cores=0-7 /proc/10459/task/10496/stat : 10496 (java) R 10456 10459 2337 0 -1 1077944384 40 0 0 0 5 0 0 0 20 0 45 0 4639768 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624347436592 140626113702530 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10497] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10497/stat : 10497 (java) S 10456 10459 2337 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 45 0 4639768 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624346392240 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10498] ppid=10456 vsize=27739616 memory=0 CPUtime=0.06 cores=0-7 /proc/10459/task/10498/stat : 10498 (java) R 10456 10459 2337 0 -1 1077944384 56 0 0 0 6 0 0 0 20 0 45 0 4639768 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624345335200 140626113701589 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10499] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10499/stat : 10499 (java) R 10456 10459 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 45 0 4639768 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140624344279152 140626113702530 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10500] ppid=10456 vsize=27739616 memory=0 CPUtime=0.01 cores=0-7 /proc/10459/task/10500/stat : 10500 (java) S 10456 10459 2337 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 45 0 4639769 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622530864176 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10501] ppid=10456 vsize=27739616 memory=-8774313645642428999 CPUtime=0 cores=0-7 /proc/10459/task/10501/stat : 10501 (java) S 10456 10459 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 4639769 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622529811632 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10502] ppid=10456 vsize=27739616 memory=0 CPUtime=0.04 cores=0-7 /proc/10459/task/10502/stat : 10502 (java) S 10456 10459 2337 0 -1 1077944384 24 0 0 0 4 0 0 0 20 0 45 0 4639769 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622528759088 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10503] ppid=10456 vsize=27739616 memory=0 CPUtime=0.01 cores=0-7 /proc/10459/task/10503/stat : 10503 (java) S 10456 10459 2337 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 45 0 4639769 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622527706544 140626113701589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10504] ppid=10456 vsize=27739616 memory=0 CPUtime=0.01 cores=0-7 /proc/10459/task/10504/stat : 10504 (java) R 10456 10459 2337 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 45 0 4639769 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622526631552 140626099384849 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 [pid=10459/tid=10505] ppid=10456 vsize=27739616 memory=0 CPUtime=0 cores=0-7 /proc/10459/task/10505/stat : 10505 (java) R 10456 10459 2337 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 45 0 4639771 28405366784 61011 18446744073709551615 4194304 4196468 140721807253632 140622525594608 140626113703318 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17666048 140721807257967 140721807258152 140721807258152 140721807261647 0 Current children cumulated CPU time: 6.31 s Current children cumulated vsize: 27739616 KiB Current children cumulated memory: 244044 KiB Child status: 0 Real time (s): 2.05804 CPU time (s): 6.45204 CPU user time (s): 6.25913 CPU system time (s): 0.192914 CPU usage (%): 313.504 Max. virtual memory (cumulated for all children) (KiB): 27739616 Max. memory (cumulated for all children) (KiB): 244044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.25913 system time used= 0.192914 maximum resident set size= 247380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41310 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4996 involuntary context switches= 104 # summary of solver processes directly reported to runsolver: # pid: 10459 # total CPU time (s): 6.45204 # total CPU user time (s): 6.25913 # total CPU system time (s): 0.192914 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031835 second user time and 0.068579 second system time The end
Begin job on node129 at 2017-08-23 07:38:39 IDJOB=4285644 IDBENCH=140596 IDSOLVER=2681 FILE ID=node129/4285644-1503467556 RUNJOBID= node129-1503420419-2425 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-nor-023-3.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285644-1503467556/watcher-4285644-1503467556 -o /tmp/evaluation-result-4285644-1503467556/solver-4285644-1503467556 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 467387457 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285644-1503467556.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a1062d1930987bd3296410fabbfa226 RANDOM SEED=467387457 node129.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.53 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.53 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.53 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.53 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: 31866540 kB MemAvailable: 32032976 kB Buffers: 109408 kB Cached: 340340 kB SwapCached: 0 kB Active: 265912 kB Inactive: 235224 kB Active(anon): 51712 kB Inactive(anon): 8556 kB Active(file): 214200 kB Inactive(file): 226668 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42276 kB Writeback: 0 kB AnonPages: 51156 kB Mapped: 29100 kB Shmem: 8868 kB Slab: 106588 kB SReclaimable: 82808 kB SUnreclaim: 23780 kB KernelStack: 3168 kB PageTables: 4360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 279232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 61976 MiB End job on node129 at 2017-08-23 07:38:41