Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 | UNSAT | 187.24 | 57.7207 |
Name | QRandom/ QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml |
MD5SUM | 1cb2c7d0d6cb70a3feacaee85115a742 |
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 | 20.9563 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 21 |
Number of constraints | 2713 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":21}] |
Minimum variable degree | 1888 |
Maximum variable degree | 1986 |
Distribution of variable degrees | [{"degree":1888,"count":1},{"degree":1909,"count":1},{"degree":1914,"count":1},{"degree":1915,"count":2},{"degree":1921,"count":1},{"degree":1924,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1933,"count":1},{"degree":1938,"count":1},{"degree":1939,"count":1},{"degree":1940,"count":1},{"degree":1949,"count":1},{"degree":1951,"count":1},{"degree":1953,"count":1},{"degree":1959,"count":1},{"degree":1961,"count":1},{"degree":1969,"count":1},{"degree":1975,"count":1},{"degree":1986,"count":1}] |
Minimum constraint arity | 15 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":15,"count":2713}] |
Number of extensional constraints | 2713 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2713}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403468-1568989954.xml" -tl '2520s' -p 4 0.12/0.19 c Choco 3fb4b153 0.12/0.20 c [HOME/instance-4403468-1568989954.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 107.64/37.63 c solve instance... 187.01/57.64 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: 16375 MiB (5205 MiB free) memory of node 1: 16384 MiB (5268 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403468-1568989954/watcher-4403468-1568989954 -o /tmp/evaluation-result-4403468-1568989954/solver-4403468-1568989954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2033088729 HOME/instance-4403468-1568989954.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=683, runsolver pid=680 Current StackSize limit: 8192 KiB [startup+0.1001 s]* /proc/loadavg: 8.71 8.37 7.28 6/235 699 /proc/meminfo: memFree=10709220/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15144776 memory=29016 CPUtime=0.12 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 5612 0 0 0 11 1 0 0 20 0 15 0 474937011 15508250624 7254 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3786194 7254 3144 1 0 3748377 0 [pid=685/tid=686] ppid=683 vsize=15144776 memory=7883960649037381690 CPUtime=0.09 cores=4-7 /proc/685/task/686/stat : 686 (java) R 683 683 29909 0 -1 4202560 3562 0 0 0 9 0 0 0 20 0 15 0 474937011 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805730756608 139805726535062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15144776 memory=9098 CPUtime=0 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15144776 memory=3833320995092760224 CPUtime=0 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15144776 memory=140644819994240 CPUtime=0 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805194012320 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805192959216 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15144776 memory=140644819994240 CPUtime=0.01 cores=4-7 /proc/685/task/697/stat : 697 (java) R 683 683 29909 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 474937017 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805188749296 139805710603614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937018 15508250624 7254 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30464 KiB [startup+0.21202 s]* /proc/loadavg: 8.71 8.37 7.28 6/235 699 /proc/meminfo: memFree=10696024/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15144776 memory=40756 CPUtime=0.34 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 9392 0 0 0 31 3 0 0 20 0 15 0 474937011 15508250624 10189 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3786194 10189 3313 1 0 3748377 0 [pid=685/tid=686] ppid=683 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=4-7 /proc/685/task/686/stat : 686 (java) R 683 683 29909 0 -1 4202560 6567 0 0 0 19 2 0 0 20 0 15 0 474937011 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805730756176 139805706712385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15144776 memory=9098 CPUtime=0 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15144776 memory=3833320995092760224 CPUtime=0 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15144776 memory=140644819994240 CPUtime=0 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805194012320 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474937014 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805192959216 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15144776 memory=0 CPUtime=0.03 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 574 0 0 0 3 0 0 0 20 0 15 0 474937017 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15144776 memory=-1 CPUtime=0.01 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 474937017 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15144776 memory=140644819994240 CPUtime=0.07 cores=4-7 /proc/685/task/697/stat : 697 (java) R 683 683 29909 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 15 0 474937017 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805188747088 139805718774647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937018 15508250624 10253 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42204 KiB [startup+0.311828 s]* /proc/loadavg: 8.71 8.37 7.28 6/235 699 /proc/meminfo: memFree=10691024/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15149032 memory=46672 CPUtime=0.52 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 10547 0 0 0 48 4 0 0 20 0 15 0 474937011 15512608768 11668 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3787258 11668 3337 1 0 3748377 0 [pid=685/tid=686] ppid=683 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=4-7 /proc/685/task/686/stat : 686 (java) R 683 683 29909 0 -1 4202560 7578 0 0 0 28 2 0 0 20 0 15 0 474937011 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805730744640 139805710603614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15149032 memory=3475195960867448677 CPUtime=0 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15149032 memory=-6876588461455810464 CPUtime=0 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15149032 memory=-7522837583129502606 CPUtime=0 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15149032 memory=7959677418182421067 CPUtime=0 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474937014 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15149032 memory=-8614379499087747112 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474937014 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805194012320 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474937014 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805192959216 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 592 0 0 0 4 0 0 0 20 0 15 0 474937017 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 15 0 474937017 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15149032 memory=0 CPUtime=0.12 cores=4-7 /proc/685/task/697/stat : 697 (java) S 683 683 29909 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 474937017 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805188749296 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15149032 memory=3907213771037684791 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15149032 memory=3540022866737706931 CPUtime=0 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937018 15512608768 11749 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48120 KiB [startup+0.700857 s] /proc/loadavg: 8.71 8.37 7.28 9/235 699 /proc/meminfo: memFree=10671404/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15151156 memory=102052 CPUtime=1.75 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 14663 0 0 0 169 6 0 0 20 0 15 0 474937011 15514783744 25513 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3787789 25513 3439 1 0 3748889 0 [pid=685/tid=686] ppid=683 vsize=15151156 memory=-8961168018402230209 CPUtime=0.67 cores=4-7 /proc/685/task/686/stat : 686 (java) R 683 683 29909 0 -1 4202560 8365 0 0 0 64 3 0 0 20 0 15 0 474937011 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805730758992 139805366208862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15151156 memory=7007707949394126417 CPUtime=0 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15151156 memory=7518026621751088998 CPUtime=0 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15151156 memory=1432 CPUtime=0 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937012 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15151156 memory=1056 CPUtime=0 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474937012 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15151156 memory=788 CPUtime=0 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474937014 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15151156 memory=1704 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474937014 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805194012320 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15151156 memory=1280 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474937014 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805192959216 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15151156 memory=6044 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15151156 memory=780 CPUtime=0.35 cores=4-7 /proc/685/task/695/stat : 695 (java) R 683 683 29909 0 -1 4202560 1599 0 0 0 35 0 0 0 20 0 15 0 474937017 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805190840696 139805708069868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15151156 memory=3604 CPUtime=0.34 cores=4-7 /proc/685/task/696/stat : 696 (java) R 683 683 29909 0 -1 4202560 1338 0 0 0 34 0 0 0 20 0 15 0 474937017 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805189783776 139805710019961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15151156 memory=1088 CPUtime=0.35 cores=4-7 /proc/685/task/697/stat : 697 (java) S 683 683 29909 0 -1 1077944384 2054 0 0 0 34 1 0 0 20 0 15 0 474937017 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805188749296 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15151156 memory=2832 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474937017 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15151156 memory=1564 CPUtime=0 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474937018 15514783744 25513 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 1.75 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 103500 KiB [startup+1.50091 s] /proc/loadavg: 8.71 8.37 7.28 8/235 699 /proc/meminfo: memFree=10562728/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 9008016 KiB [startup+56.801 s] /proc/loadavg: 8.24 8.29 7.32 10/239 706 /proc/meminfo: memFree=1819636/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15417412 memory=9006592 CPUtime=183.84 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 325648 0 0 0 16530 1854 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3854353 2251648 3532 1 0 3815453 0 [pid=685/tid=686] ppid=683 vsize=15417412 memory=6947385649911455296 CPUtime=14.3 cores=4-7 /proc/685/task/686/stat : 686 (java) S 683 683 29909 0 -1 1077944384 13769 0 0 0 1420 10 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805730763904 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15417412 memory=9006568 CPUtime=23.48 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 35012 0 0 0 1882 466 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15417412 memory=2044 CPUtime=23.55 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 53657 0 0 0 1902 453 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15417412 memory=1432 CPUtime=23.44 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 50801 0 0 0 1877 467 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15417412 memory=1056 CPUtime=23.49 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 83335 0 0 0 1909 440 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15417412 memory=788 CPUtime=0.89 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 13959 0 0 0 87 2 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15417412 memory=1704 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805194012384 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15417412 memory=1280 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805192959232 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15417412 memory=6044 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15417412 memory=780 CPUtime=2.19 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 10146 0 0 0 217 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15417412 memory=3604 CPUtime=2.25 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 10671 0 0 0 223 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15417412 memory=1088 CPUtime=0.75 cores=4-7 /proc/685/task/697/stat : 697 (java) S 683 683 29909 0 -1 1077944384 8340 0 0 0 73 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805188749296 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15417412 memory=2832 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15417412 memory=1448 CPUtime=0.02 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 937 0 0 0 0 2 0 0 20 0 19 0 474937018 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=702] ppid=683 vsize=15417412 memory=9006592 CPUtime=17.39 cores=4-7 /proc/685/task/702/stat : 702 (java) R 683 683 29909 0 -1 4202560 4232 0 0 0 1739 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805177425592 139805369609641 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=703] ppid=683 vsize=15417412 memory=1408 CPUtime=17.34 cores=4-7 /proc/685/task/703/stat : 703 (java) R 683 683 29909 0 -1 4202560 17529 0 0 0 1733 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805176375240 139805369597872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=704] ppid=683 vsize=15417412 memory=3004 CPUtime=17.38 cores=4-7 /proc/685/task/704/stat : 704 (java) R 683 683 29909 0 -1 4202560 13796 0 0 0 1737 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805175320840 139805369638349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=705] ppid=683 vsize=15417412 memory=6947385649911455296 CPUtime=17.22 cores=4-7 /proc/685/task/705/stat : 705 (java) R 683 683 29909 0 -1 4202560 7989 0 0 0 1722 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805174268504 139805369705867 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 183.84 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 9008040 KiB [startup+57.201 s] /proc/loadavg: 8.24 8.29 7.32 9/239 706 /proc/meminfo: memFree=1819512/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15417412 memory=9006592 CPUtime=185.42 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 326262 0 0 0 16688 1854 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3854353 2251648 3532 1 0 3815453 0 [pid=685/tid=686] ppid=683 vsize=15417412 memory=920 CPUtime=14.3 cores=4-7 /proc/685/task/686/stat : 686 (java) S 683 683 29909 0 -1 1077944384 13769 0 0 0 1420 10 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805730763904 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15417412 memory=3848 CPUtime=23.48 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 35012 0 0 0 1882 466 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15417412 memory=2596 CPUtime=23.55 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 53657 0 0 0 1902 453 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15417412 memory=2676 CPUtime=23.44 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 50801 0 0 0 1877 467 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15417412 memory=1412 CPUtime=23.49 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 83335 0 0 0 1909 440 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15417412 memory=3272 CPUtime=0.89 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 13959 0 0 0 87 2 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15417412 memory=1448 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805194012384 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15417412 memory=6509608 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805192959232 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15417412 memory=4126316290023845779 CPUtime=2.19 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 10146 0 0 0 217 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15417412 memory=800 CPUtime=2.25 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 10672 0 0 0 223 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15417412 memory=-8634980985311628903 CPUtime=0.75 cores=4-7 /proc/685/task/697/stat : 697 (java) S 683 683 29909 0 -1 1077944384 8340 0 0 0 73 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805188749296 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15417412 memory=7100839878645619564 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15417412 memory=7897517683652307531 CPUtime=0.02 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 937 0 0 0 0 2 0 0 20 0 19 0 474937018 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=702] ppid=683 vsize=15417412 memory=8514726395715349656 CPUtime=17.79 cores=4-7 /proc/685/task/702/stat : 702 (java) R 683 683 29909 0 -1 4202560 4234 0 0 0 1779 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805177425592 139805369757799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=703] ppid=683 vsize=15417412 memory=3047711553320166262 CPUtime=17.74 cores=4-7 /proc/685/task/703/stat : 703 (java) R 683 683 29909 0 -1 4202560 17534 0 0 0 1773 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805176375240 139805369597872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=704] ppid=683 vsize=15417412 memory=7824336315716348491 CPUtime=17.77 cores=4-7 /proc/685/task/704/stat : 704 (java) R 683 683 29909 0 -1 4202560 14409 0 0 0 1776 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805175320840 139805369609614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=705] ppid=683 vsize=15417412 memory=-8412652169205224307 CPUtime=17.6 cores=4-7 /proc/685/task/705/stat : 705 (java) R 683 683 29909 0 -1 4202560 7991 0 0 0 1760 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805174268552 139805369638036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 185.42 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 9008040 KiB [startup+57.601 s] /proc/loadavg: 8.24 8.29 7.32 9/239 706 /proc/meminfo: memFree=1819512/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 [pid=685] ppid=683 vsize=15417412 memory=9006592 CPUtime=187.01 cores=4-7 /proc/685/stat : 685 (java) S 683 683 29909 0 -1 1077944320 328004 0 0 0 16847 1854 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 140721913235760 139805726523127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 /proc/685/statm: 3854353 2251648 3532 1 0 3815453 0 [pid=685/tid=686] ppid=683 vsize=15417412 memory=1056 CPUtime=14.3 cores=4-7 /proc/685/task/686/stat : 686 (java) S 683 683 29909 0 -1 1077944384 13769 0 0 0 1420 10 0 0 20 0 19 0 474937011 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805730763904 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=687] ppid=683 vsize=15417412 memory=788 CPUtime=23.48 cores=4-7 /proc/685/task/687/stat : 687 (java) S 683 683 29909 0 -1 1077944384 35012 0 0 0 1882 466 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805683075600 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=688] ppid=683 vsize=15417412 memory=1704 CPUtime=23.55 cores=4-7 /proc/685/task/688/stat : 688 (java) S 683 683 29909 0 -1 1077944384 53657 0 0 0 1902 453 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805318109840 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=689] ppid=683 vsize=15417412 memory=6947385649911455296 CPUtime=23.44 cores=4-7 /proc/685/task/689/stat : 689 (java) S 683 683 29909 0 -1 1077944384 50801 0 0 0 1877 467 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805317056784 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=690] ppid=683 vsize=15417412 memory=2832 CPUtime=23.49 cores=4-7 /proc/685/task/690/stat : 690 (java) S 683 683 29909 0 -1 1077944384 83335 0 0 0 1909 440 0 0 20 0 19 0 474937012 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805316004240 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=691] ppid=683 vsize=15417412 memory=1564 CPUtime=0.9 cores=4-7 /proc/685/task/691/stat : 691 (java) S 683 683 29909 0 -1 1077944384 14002 0 0 0 88 2 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805195066096 139805726534274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=692] ppid=683 vsize=15417412 memory=8560 CPUtime=0 cores=4-7 /proc/685/task/692/stat : 692 (java) S 683 683 29909 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805194012384 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=693] ppid=683 vsize=15417412 memory=1448 CPUtime=0 cores=4-7 /proc/685/task/693/stat : 693 (java) S 683 683 29909 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 19 0 474937014 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805192959232 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=694] ppid=683 vsize=15417412 memory=9006568 CPUtime=0 cores=4-7 /proc/685/task/694/stat : 694 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805191907792 139805726541723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=695] ppid=683 vsize=15417412 memory=6944656575208382560 CPUtime=2.19 cores=4-7 /proc/685/task/695/stat : 695 (java) S 683 683 29909 0 -1 1077944384 10146 0 0 0 217 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805190854896 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=696] ppid=683 vsize=15417412 memory=1448 CPUtime=2.25 cores=4-7 /proc/685/task/696/stat : 696 (java) S 683 683 29909 0 -1 1077944384 10672 0 0 0 223 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805189802352 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=697] ppid=683 vsize=15417412 memory=3612 CPUtime=0.75 cores=4-7 /proc/685/task/697/stat : 697 (java) S 683 683 29909 0 -1 1077944384 8340 0 0 0 73 2 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805188749296 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=698] ppid=683 vsize=15417412 memory=53756 CPUtime=0 cores=4-7 /proc/685/task/698/stat : 698 (java) S 683 683 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474937017 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805187696992 139805726533333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=699] ppid=683 vsize=15417412 memory=984 CPUtime=0.04 cores=4-7 /proc/685/task/699/stat : 699 (java) S 683 683 29909 0 -1 1077944384 955 0 0 0 1 3 0 0 20 0 19 0 474937018 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805186645040 139805726534274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=702] ppid=683 vsize=15417412 memory=2044 CPUtime=18.19 cores=4-7 /proc/685/task/702/stat : 702 (java) R 683 683 29909 0 -1 4202560 4261 0 0 0 1819 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805177425224 139805369757678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=703] ppid=683 vsize=15417412 memory=1432 CPUtime=18.14 cores=4-7 /proc/685/task/703/stat : 703 (java) R 683 683 29909 0 -1 4202560 17606 0 0 0 1813 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805176372880 139805369705261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=704] ppid=683 vsize=15417412 memory=6947385649911455296 CPUtime=18.17 cores=4-7 /proc/685/task/704/stat : 704 (java) R 683 683 29909 0 -1 4202560 14530 0 0 0 1816 1 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805175320936 139805369597898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 [pid=685/tid=705] ppid=683 vsize=15417412 memory=3848 CPUtime=18 cores=4-7 /proc/685/task/705/stat : 705 (java) R 683 683 29909 0 -1 4202560 9443 0 0 0 1800 0 0 0 20 0 19 0 474940775 15787429888 2251648 33554432000 4194304 4196468 140721913253216 139805174267768 139805369637982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9777152 140721913258991 140721913259162 140721913259162 140721913262031 0 Current children cumulated CPU time: 187.01 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 9008040 KiB [startup+57.7012 s] /proc/loadavg: 8.24 8.29 7.32 9/239 706 /proc/meminfo: memFree=1819512/32770688 swapFree=66971760/67108860 [pid=683] ppid=680 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/683/stat : 683 (xcsp3-exec) S 680 683 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474937011 115843072 362 33554432000 4194304 5098028 140729818731424 140729818729528 140264273883772 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13836288 140729818739578 140729818739821 140729818739821 140729818742730 0 /proc/683/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 0 Real time (s): 57.7207 CPU time (s): 187.24 CPU user time (s): 168.611 CPU system time (s): 18.6286 CPU usage (%): 324.389 Max. virtual memory (cumulated for all children) (KiB): 15530540 Max. memory (cumulated for all children) (KiB): 9008040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 168.611 system time used= 18.6286 maximum resident set size= 9006636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 329841 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5773 involuntary context switches= 4631 # summary of solver processes directly reported to runsolver: # pid: 683 # total CPU time (s): 187.24 # total CPU user time (s): 168.611 # total CPU system time (s): 18.6286 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.444143 second user time and 0.835726 second system time The end
Begin job on node116 at 2019-09-20 16:31:52 IDJOB=4403468 IDBENCH=125859 IDSOLVER=2863 FILE ID=node116/4403468-1568989954 RUNJOBID= node116-1568988007-29941 PBS_JOBID= 21704641 Free space on /tmp= 6240 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403468-1568989954/watcher-4403468-1568989954 -o /tmp/evaluation-result-4403468-1568989954/solver-4403468-1568989954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2033088729 HOME/instance-4403468-1568989954.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1cb2c7d0d6cb70a3feacaee85115a742 RANDOM SEED=2033088729 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 10725484 kB MemAvailable: 25238192 kB Buffers: 95456 kB Cached: 14433776 kB SwapCached: 35348 kB Active: 13801024 kB Inactive: 7336364 kB Active(anon): 6567876 kB Inactive(anon): 88312 kB Active(file): 7233148 kB Inactive(file): 7248052 kB Unevictable: 108548 kB Mlocked: 108548 kB SwapTotal: 67108860 kB SwapFree: 66971760 kB Dirty: 26656 kB Writeback: 0 kB AnonPages: 6690708 kB Mapped: 64904 kB Shmem: 39676 kB Slab: 489684 kB SReclaimable: 459968 kB SUnreclaim: 29716 kB KernelStack: 4096 kB PageTables: 18880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 8406840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3907584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6212 MiB End job on node116 at 2019-09-20 16:32:50