Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | UNSAT | 37.138599 | 6.3303099 |
Name | SchurrLemma/SchurrLemma-mod-s1/ SchurrLemma-mod-050-9.xml |
MD5SUM | 6e540fe1a8c18734980495af80b87f14 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 7.2435098 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 600 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":50}] |
Minimum variable degree | 24 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":2},{"degree":30,"count":2},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":2},{"degree":36,"count":4},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":2},{"degree":48,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":600}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":600}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 504624407 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 1.10/0.62 c Parsing done, starting search... 36.69/6.30 s UNSATISFIABLE
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 (11270 MiB free) memory of node 1: 16384 MiB (9788 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285485-1503434417/watcher-4285485-1503434417 -o /tmp/evaluation-result-4285485-1503434417/solver-4285485-1503434417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 504624407 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285485-1503434417.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=9471, runsolver pid=9468 [startup+0.100136 s]* /proc/loadavg: 3.52 1.36 1.21 2/198 9491 /proc/meminfo: memFree=21546764/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=26000852 memory=33144 CPUtime=0.13 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 8201 0 0 0 11 2 0 0 20 0 20 0 176529485 26624872448 8286 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6500213 8286 3410 1 0 6487932 0 [pid=9471/tid=9473] ppid=9468 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) R 9468 9471 8714 0 -1 4202560 6131 0 0 0 8 1 0 0 20 0 20 0 176529485 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111578829696 140111558694238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=26000852 memory=139978409711232 CPUtime=0 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 8286 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110115940336 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110114886560 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110113833968 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110112782544 140111574632347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110109625072 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) S 9468 9471 8714 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110108572528 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9491] ppid=9468 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9491/stat : 9491 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 8286 33554432000 4194304 4196468 140736385202784 140110106466736 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 33144 KiB [startup+0.209648 s]* /proc/loadavg: 3.52 1.36 1.21 3/198 9491 /proc/meminfo: memFree=21537876/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=26000852 memory=42288 CPUtime=0.29 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 9188 0 0 0 27 2 0 0 20 0 20 0 176529485 26624872448 10572 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6500213 10572 3602 1 0 6487932 0 [pid=9471/tid=9473] ppid=9468 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) R 9468 9471 8714 0 -1 4202560 6758 0 0 0 18 1 0 0 20 0 20 0 176529485 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111578819056 140111554152941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=26000852 memory=12768 CPUtime=0 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=26000852 memory=139978409720230 CPUtime=0 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624872448 10572 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110115940336 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110114886560 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176529488 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110113833968 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110112782544 140111574632347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) S 9468 9471 8714 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) S 9468 9471 8714 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110109625072 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) R 9468 9471 8714 0 -1 4202560 399 0 0 0 5 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110108572528 140111556187240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9491] ppid=9468 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9491/stat : 9491 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624872448 10572 33554432000 4194304 4196468 140736385202784 140110106466736 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 42288 KiB [startup+0.309359 s]* /proc/loadavg: 3.52 1.36 1.21 3/198 9491 /proc/meminfo: memFree=21530804/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=26000872 memory=49680 CPUtime=0.49 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 10192 0 0 0 46 3 0 0 20 0 20 0 176529485 26624892928 12420 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6500218 12420 3695 1 0 6487932 0 [pid=9471/tid=9473] ppid=9468 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) R 9468 9471 8714 0 -1 4202560 7317 0 0 0 27 2 0 0 20 0 20 0 176529485 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111578841520 140111574635677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=26000872 memory=139978285872047 CPUtime=0 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=26000872 memory=139978285874352 CPUtime=0 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=26000872 memory=139978285876656 CPUtime=0 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26624892928 12420 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176529488 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110115940336 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=26000872 memory=279956571760272 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176529488 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110114886560 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=26000872 memory=279956571767184 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176529488 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110113833968 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=26000872 memory=279956571708464 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110112782544 140111574632347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=26000872 memory=279956571781008 CPUtime=0.02 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=26000872 memory=279956571787920 CPUtime=0.04 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) S 9468 9471 8714 0 -1 1077944384 244 0 0 0 4 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=26000872 memory=279956571785616 CPUtime=0.02 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) S 9468 9471 8714 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110109625072 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=26000872 memory=279956571802224 CPUtime=0.08 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) R 9468 9471 8714 0 -1 4202560 533 0 0 0 8 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110108572528 140111566568673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9491] ppid=9468 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/9471/task/9491/stat : 9491 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529491 26624892928 12420 33554432000 4194304 4196468 140736385202784 140110106466736 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49680 KiB [startup+0.700839 s] /proc/loadavg: 3.52 1.36 1.21 4/198 9491 /proc/meminfo: memFree=21519512/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=26004968 memory=78460 CPUtime=1.29 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 12721 0 0 0 124 5 0 0 20 0 20 0 176529485 26629087232 19615 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6501242 19615 3770 1 0 6488956 0 [pid=9471/tid=9473] ppid=9468 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) R 9468 9471 8714 0 -1 4202560 8644 0 0 0 65 2 0 0 20 0 20 0 176529485 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111578838272 140111558694268 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=26004968 memory=1004 CPUtime=0 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=26004968 memory=5788 CPUtime=0 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=26004968 memory=1196 CPUtime=0 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=26004968 memory=4612 CPUtime=0 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=26004968 memory=15876 CPUtime=0 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176529486 26629087232 19615 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=26004968 memory=18448 CPUtime=0 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176529488 26629087232 19615 33554432000 4194304 4196468 140736385202784 140110115940336 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 ################ # More data... # ################ [pid=9471/tid=9478] ppid=9468 vsize=27743860 memory=0 CPUtime=0.01 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 46 0 176529486 28409712640 63086 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=27743860 memory=1292 CPUtime=0.01 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 46 0 176529486 28409712640 63086 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=27743860 memory=2428 CPUtime=0.01 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 46 0 176529486 28409712640 63086 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=27743860 memory=1728 CPUtime=0.01 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 46 0 176529486 28409712640 63086 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=27743860 memory=1420 CPUtime=0 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 559 0 0 0 0 0 0 0 20 0 46 0 176529488 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110115940336 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=27743860 memory=196436 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 176529488 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110114886624 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=27743860 memory=137836 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 176529488 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110113833984 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=27743860 memory=1792 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110112782544 140111574632347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=27743860 memory=636 CPUtime=0.97 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 3846 0 0 0 96 1 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=27743860 memory=0 CPUtime=1.09 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) R 9468 9471 8714 0 -1 1077944384 4237 0 0 0 107 2 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=27743860 memory=0 CPUtime=0.96 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) R 9468 9471 8714 0 -1 4202560 3018 0 0 0 95 1 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110109625368 140111553030133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=27743860 memory=0 CPUtime=0.77 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) S 9468 9471 8714 0 -1 1077944384 7083 0 0 0 74 3 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110108572528 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9491] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9491/stat : 9491 (java) S 9468 9471 8714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 46 0 176529491 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110106466736 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9492] ppid=9468 vsize=27743860 memory=139982704678527 CPUtime=0 cores=0-7 /proc/9471/task/9492/stat : 9492 (java) R 9468 9471 8714 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 46 0 176529665 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110096175904 140111574623957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9493] ppid=9468 vsize=27743860 memory=22468 CPUtime=0 cores=0-7 /proc/9471/task/9493/stat : 9493 (java) R 9468 9471 8714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 176529677 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110093026256 140111574624898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9494] ppid=9468 vsize=27743860 memory=0 CPUtime=0.56 cores=0-7 /proc/9471/task/9494/stat : 9494 (java) S 9468 9471 8714 0 -1 1077944384 302 0 0 0 56 0 0 0 20 0 46 0 176529687 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110091973904 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9495] ppid=9468 vsize=27743860 memory=0 CPUtime=0.36 cores=0-7 /proc/9471/task/9495/stat : 9495 (java) R 9468 9471 8714 0 -1 4202560 45 0 0 0 36 0 0 0 20 0 46 0 176529687 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110090921360 140111184292445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9496] ppid=9468 vsize=27743860 memory=0 CPUtime=0.3 cores=0-7 /proc/9471/task/9496/stat : 9496 (java) R 9468 9471 8714 0 -1 4202560 69 0 0 0 30 0 0 0 20 0 46 0 176529687 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110089867840 140111186806980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9497] ppid=9468 vsize=27743860 memory=0 CPUtime=0.26 cores=0-7 /proc/9471/task/9497/stat : 9497 (java) S 9468 9471 8714 0 -1 1077944384 134 0 0 0 26 0 0 0 20 0 46 0 176529687 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110088816272 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9498] ppid=9468 vsize=27743860 memory=0 CPUtime=0.21 cores=0-7 /proc/9471/task/9498/stat : 9498 (java) R 9468 9471 8714 0 -1 4202560 116 0 0 0 21 0 0 0 20 0 46 0 176529688 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110020468544 140111186982425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9499] ppid=9468 vsize=27743860 memory=180642029521411 CPUtime=0.4 cores=0-7 /proc/9471/task/9499/stat : 9499 (java) R 9468 9471 8714 0 -1 4202560 49 0 0 0 40 0 0 0 20 0 46 0 176529692 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110017318848 140111184222517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9500] ppid=9468 vsize=27743860 memory=180642029521412 CPUtime=0.48 cores=0-7 /proc/9471/task/9500/stat : 9500 (java) S 9468 9471 8714 0 -1 1077944384 126 0 0 0 48 0 0 0 20 0 46 0 176529692 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110016267280 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9501] ppid=9468 vsize=27743860 memory=180642029521413 CPUtime=0.46 cores=0-7 /proc/9471/task/9501/stat : 9501 (java) S 9468 9471 8714 0 -1 1077944384 170 0 0 0 46 0 0 0 20 0 46 0 176529692 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110015214736 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9502] ppid=9468 vsize=27743860 memory=180642029521414 CPUtime=0.38 cores=0-7 /proc/9471/task/9502/stat : 9502 (java) R 9468 9471 8714 0 -1 4202560 48 0 0 0 38 0 0 0 20 0 46 0 176529692 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110014161216 140111186807919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9503] ppid=9468 vsize=27743860 memory=180642029521415 CPUtime=0.43 cores=0-7 /proc/9471/task/9503/stat : 9503 (java) S 9468 9471 8714 0 -1 1077944384 43 0 0 0 43 0 0 0 20 0 46 0 176529693 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110013109648 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9504] ppid=9468 vsize=27743860 memory=180642029521416 CPUtime=0.26 cores=0-7 /proc/9471/task/9504/stat : 9504 (java) S 9468 9471 8714 0 -1 1077944384 47 0 0 0 26 0 0 0 20 0 46 0 176529693 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110012057232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9505] ppid=9468 vsize=27743860 memory=180642029521417 CPUtime=0.41 cores=0-7 /proc/9471/task/9505/stat : 9505 (java) R 9468 9471 8714 0 -1 4202560 22 0 0 0 41 0 0 0 20 0 46 0 176529702 28409712640 63086 33554432000 4194304 4196468 140736385202784 140110011003584 140111558953911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 12.34 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 252344 KiB [startup+6.31594 s] /proc/loadavg: 4.36 1.57 1.27 21/224 9517 /proc/meminfo: memFree=21182236/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=27743860 memory=396592 CPUtime=37.11 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 44452 0 0 0 3669 42 0 0 20 0 19 0 176529485 28409712640 99148 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6935965 99148 3834 1 0 6923158 0 [pid=9471/tid=9473] ppid=9468 vsize=27743860 memory=392880 CPUtime=2.03 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) S 9468 9471 8714 0 -1 1077944384 13909 0 0 0 195 8 0 0 20 0 19 0 176529485 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111578856592 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=27743860 memory=378308 CPUtime=0.04 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=27743860 memory=1 CPUtime=0.04 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=27743860 memory=56 CPUtime=0.03 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=27743860 memory=81561428970028 CPUtime=0.04 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 202 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=27743860 memory=4416 CPUtime=0.03 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=27743860 memory=4104 CPUtime=0.03 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 118 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=27743860 memory=1156 CPUtime=0.03 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 65 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=27743860 memory=0 CPUtime=0.04 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 104 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=27743860 memory=279956573134176 CPUtime=0.02 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 926 0 0 0 2 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110115940544 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110114886624 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110113833984 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110112782192 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=27743860 memory=0 CPUtime=1.06 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 3864 0 0 0 105 1 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=27743860 memory=0 CPUtime=1.14 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) S 9468 9471 8714 0 -1 1077944384 4270 0 0 0 111 3 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=27743860 memory=56 CPUtime=0.99 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) S 9468 9471 8714 0 -1 1077944384 3135 0 0 0 98 1 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110109625072 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=27743860 memory=12700 CPUtime=0.84 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) S 9468 9471 8714 0 -1 1077944384 9150 0 0 0 81 3 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110108566848 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=27743860 memory=24312 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 37.11 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 396592 KiB [startup+6.33027 s] # the end of solver process 9471 was just reported to runsolver # cumulated CPU time of all completed processes: user=36.6959 s, system=0.442686 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.31594 s] /proc/loadavg: 4.36 1.57 1.27 21/224 9517 /proc/meminfo: memFree=21182236/32770624 swapFree=67108860/67108860 [pid=9471] ppid=9468 vsize=27743860 memory=396592 CPUtime=37.11 cores=0-7 /proc/9471/stat : 9471 (java) S 9468 9471 8714 0 -1 1077944320 44452 0 0 0 3669 42 0 0 20 0 19 0 176529485 28409712640 99148 33554432000 4194304 4196468 140736385202784 140736385185328 140111574613751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 /proc/9471/statm: 6935965 99148 3834 1 0 6923158 0 [pid=9471/tid=9473] ppid=9468 vsize=27743860 memory=392880 CPUtime=2.03 cores=0-7 /proc/9471/task/9473/stat : 9473 (java) S 9468 9471 8714 0 -1 1077944384 13909 0 0 0 195 8 0 0 20 0 19 0 176529485 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111578856592 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9474] ppid=9468 vsize=27743860 memory=378308 CPUtime=0.04 cores=0-7 /proc/9471/task/9474/stat : 9474 (java) S 9468 9471 8714 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111133038864 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9475] ppid=9468 vsize=27743860 memory=1 CPUtime=0.04 cores=0-7 /proc/9471/task/9475/stat : 9475 (java) S 9468 9471 8714 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111131986320 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9476] ppid=9468 vsize=27743860 memory=56 CPUtime=0.03 cores=0-7 /proc/9471/task/9476/stat : 9476 (java) S 9468 9471 8714 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111130933776 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9477] ppid=9468 vsize=27743860 memory=81561428970028 CPUtime=0.04 cores=0-7 /proc/9471/task/9477/stat : 9477 (java) S 9468 9471 8714 0 -1 1077944384 202 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111129881232 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9478] ppid=9468 vsize=27743860 memory=4416 CPUtime=0.03 cores=0-7 /proc/9471/task/9478/stat : 9478 (java) S 9468 9471 8714 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111128828688 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9479] ppid=9468 vsize=27743860 memory=4104 CPUtime=0.03 cores=0-7 /proc/9471/task/9479/stat : 9479 (java) S 9468 9471 8714 0 -1 1077944384 118 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111127776144 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9480] ppid=9468 vsize=27743860 memory=1156 CPUtime=0.03 cores=0-7 /proc/9471/task/9480/stat : 9480 (java) S 9468 9471 8714 0 -1 1077944384 65 0 0 0 2 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111126723600 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9481] ppid=9468 vsize=27743860 memory=0 CPUtime=0.04 cores=0-7 /proc/9471/task/9481/stat : 9481 (java) S 9468 9471 8714 0 -1 1077944384 104 0 0 0 3 1 0 0 20 0 19 0 176529486 28409712640 99148 33554432000 4194304 4196468 140736385202784 140111125671056 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9482] ppid=9468 vsize=27743860 memory=279956573134176 CPUtime=0.02 cores=0-7 /proc/9471/task/9482/stat : 9482 (java) S 9468 9471 8714 0 -1 1077944384 926 0 0 0 2 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110115940544 140111574624898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9483] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9483/stat : 9483 (java) S 9468 9471 8714 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110114886624 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9484] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9484/stat : 9484 (java) S 9468 9471 8714 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 176529488 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110113833984 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9485] ppid=9468 vsize=27743860 memory=0 CPUtime=0 cores=0-7 /proc/9471/task/9485/stat : 9485 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110112782192 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9486] ppid=9468 vsize=27743860 memory=0 CPUtime=1.06 cores=0-7 /proc/9471/task/9486/stat : 9486 (java) S 9468 9471 8714 0 -1 1077944384 3864 0 0 0 105 1 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110111730160 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9487] ppid=9468 vsize=27743860 memory=0 CPUtime=1.14 cores=0-7 /proc/9471/task/9487/stat : 9487 (java) S 9468 9471 8714 0 -1 1077944384 4270 0 0 0 111 3 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110110677616 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9488] ppid=9468 vsize=27743860 memory=56 CPUtime=0.99 cores=0-7 /proc/9471/task/9488/stat : 9488 (java) S 9468 9471 8714 0 -1 1077944384 3135 0 0 0 98 1 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110109625072 140111574624898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9489] ppid=9468 vsize=27743860 memory=12700 CPUtime=0.84 cores=0-7 /proc/9471/task/9489/stat : 9489 (java) S 9468 9471 8714 0 -1 1077944384 9150 0 0 0 81 3 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110108566848 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 [pid=9471/tid=9490] ppid=9468 vsize=27743860 memory=24312 CPUtime=0 cores=0-7 /proc/9471/task/9490/stat : 9490 (java) S 9468 9471 8714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176529491 28409712640 99148 33554432000 4194304 4196468 140736385202784 140110107519200 140111574623957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39034880 140736385205346 140736385205531 140736385205531 140736385208271 0 Current children cumulated CPU time: 37.11 s Current children cumulated vsize: 27743860 KiB Current children cumulated memory: 396592 KiB Child status: 0 Real time (s): 6.33031 CPU time (s): 37.1386 CPU user time (s): 36.6959 CPU system time (s): 0.442686 CPU usage (%): 586.679 Max. virtual memory (cumulated for all children) (KiB): 27743860 Max. memory (cumulated for all children) (KiB): 396592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.6959 system time used= 0.442686 maximum resident set size= 397816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44494 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12436 involuntary context switches= 2680 # summary of solver processes directly reported to runsolver: # pid: 9471 # total CPU time (s): 37.1386 # total CPU user time (s): 36.6959 # total CPU system time (s): 0.442686 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.091979 second user time and 0.101848 second system time The end
Begin job on node107 at 2017-08-22 22:25:56 IDJOB=4285485 IDBENCH=126889 IDSOLVER=2681 FILE ID=node107/4285485-1503434417 RUNJOBID= node107-1503425971-8741 PBS_JOBID= 20632137 Free space on /tmp= 61252 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-050-9.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-4285485-1503434417/watcher-4285485-1503434417 -o /tmp/evaluation-result-4285485-1503434417/solver-4285485-1503434417 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503425971-8741 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 504624407 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285485-1503434417.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6e540fe1a8c18734980495af80b87f14 RANDOM SEED=504624407 node107.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.84 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.84 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.84 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.84 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: 21564788 kB MemAvailable: 31948148 kB Buffers: 282600 kB Cached: 10386552 kB SwapCached: 0 kB Active: 1786816 kB Inactive: 8934524 kB Active(anon): 55168 kB Inactive(anon): 41324 kB Active(file): 1731648 kB Inactive(file): 8893200 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42508 kB Writeback: 0 kB AnonPages: 64136 kB Mapped: 55360 kB Shmem: 41612 kB Slab: 175692 kB SReclaimable: 148696 kB SUnreclaim: 26996 kB KernelStack: 3408 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61212 MiB End job on node107 at 2017-08-22 22:26:02