Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 546.471 | 69.3611 |
Name | GracefulGraph/ GracefulGraph-K05-P03_c18.xml |
MD5SUM | f4fa601a34b34009a5b9ea58e60241da |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 546.471 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 42 |
Number of domains | 2 |
Minimum domain size | 40 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":40,"count":40},{"size":41,"count":15}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":40},{"degree":6,"count":10},{"degree":7,"count":5}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 40 |
Distribution of constraint arities | [{"arity":3,"count":40},{"arity":15,"count":1},{"arity":40,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 40 |
Distribution of constraint types | [{"type":"intension","count":40},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297714-1532704139.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297714-1532704139.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.29/0.66 c solve instance... 546.39/69.35 s SATISFIABLE 546.39/69.35 v <instantiation> 546.39/69.35 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] cn[2][0] cn[2][1] cn[2][2] cn[2][3] cn[2][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][0][4] ce[2][1][2] ce[2][1][3] ce[2][1][4] ce[2][2][3] ce[2][2][4] ce[2][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4] cie[1][0] cie[1][1] cie[1][2] cie[1][3] cie[1][4] </list> 546.39/69.35 v <values>40 0 39 2 25 6 18 9 37 1 27 31 38 5 11 40 1 38 15 39 2 25 37 14 23 12 3 31 5 9 19 17 28 8 36 4 11 22 16 7 26 20 33 27 6 34 18 30 35 24 21 13 29 32 10 </values> 546.39/69.35 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8706 MiB free) memory of node 1: 16384 MiB (12117 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297714-1532704139/watcher-4297714-1532704139 -o /tmp/evaluation-result-4297714-1532704139/solver-4297714-1532704139 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532704130-23297 --watchdog 2580 HOME/xcsp3-exec -seed 1451238876 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297714-1532704139.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 solver pid=23596, runsolver pid=23593 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 5.17 7.41 7.92 2/199 23617 /proc/meminfo: memFree=21307820/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26104152 memory=27836 CPUtime=0.11 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 5820 0 0 0 10 1 0 0 20 0 20 0 87977127 26730651648 6959 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6526038 6959 3027 1 0 6488315 0 [pid=23598/tid=23599] ppid=23596 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) R 23596 23596 23270 0 -1 4202560 3835 0 0 0 8 0 0 0 20 0 20 0 87977127 26730651648 6959 33554432000 4194304 4196468 140720444517600 139933074654112 139933070433686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26104152 memory=140664481232512 CPUtime=0 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23603] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23603/stat : 23603 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932989843984 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23604] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23604/stat : 23604 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932988791696 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23605] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23605/stat : 23605 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932623461136 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23606] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23606/stat : 23606 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932622408848 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23607] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23607/stat : 23607 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932621356048 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23608] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23608/stat : 23608 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977129 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932466153584 139933070432898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23609] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23609/stat : 23609 (java) S 23596 23596 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87977130 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932465099552 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23610] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23610/stat : 23610 (java) S 23596 23596 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87977130 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932464047216 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23611] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23611/stat : 23611 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932462995536 139933070440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23612] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23612/stat : 23612 (java) S 23596 23596 23270 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932461943408 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23613] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23613/stat : 23613 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932460890608 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23614] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23614/stat : 23614 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932459838320 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23615] ppid=23596 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) R 23596 23596 23270 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 87977132 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932458785520 139933070433686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977133 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977133 26730651648 6959 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29292 KiB [startup+0.210789 s]* /proc/loadavg: 5.17 7.41 7.92 2/199 23617 /proc/meminfo: memFree=21297028/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26104152 memory=39620 CPUtime=0.33 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 8521 0 0 0 31 2 0 0 20 0 20 0 87977127 26730651648 9905 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6526038 9905 3200 1 0 6488315 0 [pid=23598/tid=23599] ppid=23596 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) R 23596 23596 23270 0 -1 4202560 5627 0 0 0 18 1 0 0 20 0 20 0 87977127 26730651648 9905 33554432000 4194304 4196468 140720444517600 139933074656736 139933056104253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26104152 memory=331 CPUtime=0 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26104152 memory=3760699349776184992 CPUtime=0 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23603] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23603/stat : 23603 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932989843984 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23604] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23604/stat : 23604 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932988791696 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23605] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23605/stat : 23605 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9905 33554432000 4194304 4196468 140720444517600 139932623461136 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23606] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23606/stat : 23606 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932622408848 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23607] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23607/stat : 23607 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932621356048 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23608] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23608/stat : 23608 (java) S 23596 23596 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87977129 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932466153584 139933070432898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23609] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23609/stat : 23609 (java) S 23596 23596 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87977130 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932465099552 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23610] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23610/stat : 23610 (java) S 23596 23596 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87977130 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932464047216 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23611] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23611/stat : 23611 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932462995536 139933070440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23612] ppid=23596 vsize=26104152 memory=0 CPUtime=0.03 cores=0-7 /proc/23598/task/23612/stat : 23612 (java) S 23596 23596 23270 0 -1 1077944384 820 0 0 0 3 0 0 0 20 0 20 0 87977132 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932461943408 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23613] ppid=23596 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/23598/task/23613/stat : 23613 (java) S 23596 23596 23270 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 87977132 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932460890608 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23614] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23614/stat : 23614 (java) S 23596 23596 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87977132 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932459838320 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23615] ppid=23596 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) S 23596 23596 23270 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 20 0 87977132 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932458785520 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977133 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977133 26730651648 9969 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41076 KiB [startup+0.310244 s]* /proc/loadavg: 5.17 7.41 7.92 3/199 23617 /proc/meminfo: memFree=21290576/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26108408 memory=46700 CPUtime=0.51 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 9441 0 0 0 49 2 0 0 20 0 20 0 87977127 26735009792 11675 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6527102 11675 3244 1 0 6488315 0 [pid=23598/tid=23599] ppid=23596 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) R 23596 23596 23270 0 -1 4202560 6344 0 0 0 27 2 0 0 20 0 20 0 87977127 26735009792 11740 33554432000 4194304 4196468 140720444517600 139933074655536 139933054502238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23603] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23603/stat : 23603 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932989843984 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23604] ppid=23596 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/23598/task/23604/stat : 23604 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932988791696 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23605] ppid=23596 vsize=26108408 memory=140664339788719 CPUtime=0 cores=0-7 /proc/23598/task/23605/stat : 23605 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932623461136 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23606] ppid=23596 vsize=26108408 memory=140664339791024 CPUtime=0 cores=0-7 /proc/23598/task/23606/stat : 23606 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932622408848 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23607] ppid=23596 vsize=26108408 memory=140664339793328 CPUtime=0 cores=0-7 /proc/23598/task/23607/stat : 23607 (java) S 23596 23596 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87977128 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932621356048 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23608] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23608/stat : 23608 (java) S 23596 23596 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87977129 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932466153584 139933070432898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23609] ppid=23596 vsize=26108408 memory=281328679593616 CPUtime=0 cores=0-7 /proc/23598/task/23609/stat : 23609 (java) S 23596 23596 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87977130 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932465099552 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23610] ppid=23596 vsize=26108408 memory=281328679600528 CPUtime=0 cores=0-7 /proc/23598/task/23610/stat : 23610 (java) S 23596 23596 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87977130 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932464047216 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23611] ppid=23596 vsize=26108408 memory=281328679541808 CPUtime=0 cores=0-7 /proc/23598/task/23611/stat : 23611 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977132 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932462995536 139933070440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23612] ppid=23596 vsize=26108408 memory=281328679614352 CPUtime=0.04 cores=0-7 /proc/23598/task/23612/stat : 23612 (java) S 23596 23596 23270 0 -1 1077944384 828 0 0 0 4 0 0 0 20 0 20 0 87977132 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932461943408 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23613] ppid=23596 vsize=26108408 memory=281328679621264 CPUtime=0.01 cores=0-7 /proc/23598/task/23613/stat : 23613 (java) S 23596 23596 23270 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 87977132 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932460890608 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23614] ppid=23596 vsize=26108408 memory=281328679618960 CPUtime=0.03 cores=0-7 /proc/23598/task/23614/stat : 23614 (java) S 23596 23596 23270 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 20 0 87977132 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932459838320 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23615] ppid=23596 vsize=26108408 memory=281328679635120 CPUtime=0.12 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) S 23596 23596 23270 0 -1 1077944384 780 0 0 0 12 0 0 0 20 0 20 0 87977132 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932458785520 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87977133 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87977133 26735009792 11740 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48156 KiB [startup+0.702127 s] /proc/loadavg: 5.17 7.41 7.92 4/199 23617 /proc/meminfo: memFree=21271220/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26643044 memory=98188 CPUtime=1.68 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 13436 0 0 0 163 5 0 0 20 0 28 0 87977127 27282477056 24547 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6660761 24547 3356 1 0 6621955 0 [pid=23598/tid=23599] ppid=23596 vsize=26643044 memory=281328679993008 CPUtime=0.65 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) S 23596 23596 23270 0 -1 1077944384 7291 0 0 0 62 3 0 0 20 0 28 0 87977127 27282477056 24547 33554432000 4194304 4196468 140720444517600 139933074662528 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26643044 memory=140664339997552 CPUtime=0 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87977128 27282477056 24547 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87977128 27282477056 24547 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26643044 memory=1012 CPUtime=0 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87977128 27282477056 24547 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 ################ # More data... # ################ [pid=23598/tid=23615] ppid=23596 vsize=26645092 memory=288230596050944315 CPUtime=0.69 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) S 23596 23596 23270 0 -1 1077944384 7447 0 0 0 67 2 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932458785520 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26645092 memory=14692993764428366 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26645092 memory=3388 CPUtime=0.01 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 533 0 0 0 0 1 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23618] ppid=23596 vsize=26645092 memory=1456 CPUtime=66.66 cores=0-7 /proc/23598/task/23618/stat : 23618 (java) R 23596 23596 23270 0 -1 4202560 909 0 0 0 6666 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932452183560 139932674971681 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23619] ppid=23596 vsize=26645092 memory=6791534058613427641 CPUtime=66.93 cores=0-7 /proc/23598/task/23619/stat : 23619 (java) R 23596 23596 23270 0 -1 4202560 790 0 0 0 6693 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932379013088 139932675051265 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23620] ppid=23596 vsize=26645092 memory=4872558044660077418 CPUtime=67.1 cores=0-7 /proc/23598/task/23620/stat : 23620 (java) R 23596 23596 23270 0 -1 4202560 2376 0 0 0 6708 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932377960800 139932675334983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23621] ppid=23596 vsize=26645092 memory=1584 CPUtime=66.64 cores=0-7 /proc/23598/task/23621/stat : 23621 (java) R 23596 23596 23270 0 -1 4202560 2637 0 0 0 6662 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932376908384 139932675335014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23622] ppid=23596 vsize=26645092 memory=1456 CPUtime=67.12 cores=0-7 /proc/23598/task/23622/stat : 23622 (java) R 23596 23596 23270 0 -1 4202560 659 0 0 0 6712 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932375855712 139932675263932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23623] ppid=23596 vsize=26645092 memory=163388 CPUtime=66.84 cores=0-7 /proc/23598/task/23623/stat : 23623 (java) R 23596 23596 23270 0 -1 4202560 699 0 0 0 6684 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932374802896 139932674971726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23624] ppid=23596 vsize=26645092 memory=4872558044660077418 CPUtime=66.79 cores=0-7 /proc/23598/task/23624/stat : 23624 (java) R 23596 23596 23270 0 -1 4202560 1720 0 0 0 6678 1 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932373752592 139932674594947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23625] ppid=23596 vsize=26645092 memory=4355090126790210848 CPUtime=66.72 cores=0-7 /proc/23598/task/23625/stat : 23625 (java) R 23596 23596 23270 0 -1 4202560 2047 0 0 0 6670 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932372696800 139932676221840 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 542.64 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 164844 KiB [startup+69.2011 s] /proc/loadavg: 7.08 7.54 7.93 9/208 23633 /proc/meminfo: memFree=21175396/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26645092 memory=163388 CPUtime=545.79 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 62972 0 0 0 54538 41 0 0 20 0 28 0 87977127 27284574208 40847 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6661273 40847 3419 1 0 6622467 0 [pid=23598/tid=23599] ppid=23596 vsize=26645092 memory=1456 CPUtime=0.65 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) S 23596 23596 23270 0 -1 1077944384 7291 0 0 0 62 3 0 0 20 0 28 0 87977127 27284574208 40847 33554432000 4194304 4196468 140720444517600 139933074662528 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26645092 memory=161196 CPUtime=0.12 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1240 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26645092 memory=163388 CPUtime=0.11 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 667 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26645092 memory=1296 CPUtime=0.11 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1372 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23603] ppid=23596 vsize=26645092 memory=2400 CPUtime=0.12 cores=0-7 /proc/23598/task/23603/stat : 23603 (java) S 23596 23596 23270 0 -1 1077944384 1381 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932989843984 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23604] ppid=23596 vsize=26645092 memory=1836 CPUtime=0.12 cores=0-7 /proc/23598/task/23604/stat : 23604 (java) S 23596 23596 23270 0 -1 1077944384 1154 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932988791696 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23605] ppid=23596 vsize=26645092 memory=13044 CPUtime=0.12 cores=0-7 /proc/23598/task/23605/stat : 23605 (java) S 23596 23596 23270 0 -1 1077944384 1476 0 0 0 10 2 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932623461136 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23606] ppid=23596 vsize=26645092 memory=792 CPUtime=0.12 cores=0-7 /proc/23598/task/23606/stat : 23606 (java) S 23596 23596 23270 0 -1 1077944384 630 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932622408848 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23607] ppid=23596 vsize=26645092 memory=1952 CPUtime=0.11 cores=0-7 /proc/23598/task/23607/stat : 23607 (java) S 23596 23596 23270 0 -1 1077944384 1479 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932621356048 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23608] ppid=23596 vsize=26645092 memory=1232 CPUtime=0.14 cores=0-7 /proc/23598/task/23608/stat : 23608 (java) S 23596 23596 23270 0 -1 1077944384 3276 0 0 0 9 5 0 0 20 0 28 0 87977129 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932466153584 139933070432898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23609] ppid=23596 vsize=26645092 memory=8548 CPUtime=0 cores=0-7 /proc/23598/task/23609/stat : 23609 (java) S 23596 23596 23270 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 87977130 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932465099552 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23610] ppid=23596 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/23598/task/23610/stat : 23610 (java) S 23596 23596 23270 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 87977130 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932464047216 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23611] ppid=23596 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/23598/task/23611/stat : 23611 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932462995536 139933070440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23612] ppid=23596 vsize=26645092 memory=163388 CPUtime=1.67 cores=0-7 /proc/23598/task/23612/stat : 23612 (java) S 23596 23596 23270 0 -1 1077944384 6709 0 0 0 166 1 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932461943408 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23613] ppid=23596 vsize=26645092 memory=2400 CPUtime=1.98 cores=0-7 /proc/23598/task/23613/stat : 23613 (java) S 23596 23596 23270 0 -1 1077944384 8619 0 0 0 195 3 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932460890608 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23614] ppid=23596 vsize=26645092 memory=1836 CPUtime=1.56 cores=0-7 /proc/23598/task/23614/stat : 23614 (java) S 23596 23596 23270 0 -1 1077944384 6500 0 0 0 155 1 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932459838320 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23615] ppid=23596 vsize=26645092 memory=13044 CPUtime=0.69 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) S 23596 23596 23270 0 -1 1077944384 7447 0 0 0 67 2 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932458785520 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26645092 memory=792 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26645092 memory=1952 CPUtime=0.01 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 533 0 0 0 0 1 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23618] ppid=23596 vsize=26645092 memory=1232 CPUtime=67.05 cores=0-7 /proc/23598/task/23618/stat : 23618 (java) R 23596 23596 23270 0 -1 4202560 909 0 0 0 6705 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932452183944 139932674971906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23619] ppid=23596 vsize=26645092 memory=8548 CPUtime=67.33 cores=0-7 /proc/23598/task/23619/stat : 23619 (java) R 23596 23596 23270 0 -1 4202560 790 0 0 0 6733 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932379012944 139932674597214 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23620] ppid=23596 vsize=26645092 memory=1712 CPUtime=67.5 cores=0-7 /proc/23598/task/23620/stat : 23620 (java) R 23596 23596 23270 0 -1 4202560 2377 0 0 0 6748 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932377963792 139932673883577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23621] ppid=23596 vsize=26645092 memory=5412 CPUtime=67.03 cores=0-7 /proc/23598/task/23621/stat : 23621 (java) R 23596 23596 23270 0 -1 4202560 2638 0 0 0 6701 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932376908384 139932675933024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23622] ppid=23596 vsize=26645092 memory=4612 CPUtime=67.52 cores=0-7 /proc/23598/task/23622/stat : 23622 (java) R 23596 23596 23270 0 -1 4202560 659 0 0 0 6752 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932375855600 139932674971557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23623] ppid=23596 vsize=26645092 memory=1012 CPUtime=67.23 cores=0-7 /proc/23598/task/23623/stat : 23623 (java) R 23596 23596 23270 0 -1 4202560 699 0 0 0 6723 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932374802976 139932674867512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23624] ppid=23596 vsize=26645092 memory=1436 CPUtime=67.18 cores=0-7 /proc/23598/task/23624/stat : 23624 (java) R 23596 23596 23270 0 -1 4202560 1720 0 0 0 6717 1 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932373749504 139932675050840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23625] ppid=23596 vsize=26645092 memory=1200 CPUtime=67.11 cores=0-7 /proc/23598/task/23625/stat : 23625 (java) R 23596 23596 23270 0 -1 4202560 2047 0 0 0 6709 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932372696448 139932676783691 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 545.79 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 164844 KiB [startup+69.3011 s] /proc/loadavg: 7.08 7.54 7.93 9/208 23633 /proc/meminfo: memFree=21175396/32770624 swapFree=67108860/67108860 [pid=23596] ppid=23593 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23596/stat : 23596 (xcsp3-exec) S 23593 23596 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87977126 115843072 364 33554432000 4194304 5098028 140726724777744 140726724775848 140432966480508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24666112 140726724785205 140726724785408 140726724785408 140726724788170 0 /proc/23596/statm: 28282 364 306 221 0 87 0 [pid=23598] ppid=23596 vsize=26645092 memory=163388 CPUtime=546.39 cores=0-7 /proc/23598/stat : 23598 (java) S 23596 23596 23270 0 -1 1077944320 63296 0 0 0 54598 41 0 0 20 0 28 0 87977127 27284574208 40847 33554432000 4194304 4196468 140720444517600 140720444500144 139933070421751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 /proc/23598/statm: 6661273 40847 3419 1 0 6622467 0 [pid=23598/tid=23599] ppid=23596 vsize=26645092 memory=163388 CPUtime=0.65 cores=0-7 /proc/23598/task/23599/stat : 23599 (java) S 23596 23596 23270 0 -1 1077944384 7291 0 0 0 62 3 0 0 20 0 28 0 87977127 27284574208 40847 33554432000 4194304 4196468 140720444517600 139933074662528 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23600] ppid=23596 vsize=26645092 memory=1456 CPUtime=0.12 cores=0-7 /proc/23598/task/23600/stat : 23600 (java) S 23596 23596 23270 0 -1 1077944384 1240 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932993001872 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23601] ppid=23596 vsize=26645092 memory=163388 CPUtime=0.11 cores=0-7 /proc/23598/task/23601/stat : 23601 (java) S 23596 23596 23270 0 -1 1077944384 667 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932991949072 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23602] ppid=23596 vsize=26645092 memory=1456 CPUtime=0.11 cores=0-7 /proc/23598/task/23602/stat : 23602 (java) S 23596 23596 23270 0 -1 1077944384 1372 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932990896784 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23603] ppid=23596 vsize=26645092 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/23598/task/23603/stat : 23603 (java) S 23596 23596 23270 0 -1 1077944384 1381 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932989843984 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23604] ppid=23596 vsize=26645092 memory=4124 CPUtime=0.12 cores=0-7 /proc/23598/task/23604/stat : 23604 (java) S 23596 23596 23270 0 -1 1077944384 1154 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932988791696 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23605] ppid=23596 vsize=26645092 memory=33 CPUtime=0.12 cores=0-7 /proc/23598/task/23605/stat : 23605 (java) S 23596 23596 23270 0 -1 1077944384 1476 0 0 0 10 2 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932623461136 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23606] ppid=23596 vsize=26645092 memory=8443538352883892301 CPUtime=0.12 cores=0-7 /proc/23598/task/23606/stat : 23606 (java) S 23596 23596 23270 0 -1 1077944384 630 0 0 0 11 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932622408848 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23607] ppid=23596 vsize=26645092 memory=1456 CPUtime=0.11 cores=0-7 /proc/23598/task/23607/stat : 23607 (java) S 23596 23596 23270 0 -1 1077944384 1479 0 0 0 10 1 0 0 20 0 28 0 87977128 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932621356048 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23608] ppid=23596 vsize=26645092 memory=161196 CPUtime=0.14 cores=0-7 /proc/23598/task/23608/stat : 23608 (java) S 23596 23596 23270 0 -1 1077944384 3276 0 0 0 9 5 0 0 20 0 28 0 87977129 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932466153584 139933070432898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23609] ppid=23596 vsize=26645092 memory=1200 CPUtime=0 cores=0-7 /proc/23598/task/23609/stat : 23609 (java) S 23596 23596 23270 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 87977130 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932465099552 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23610] ppid=23596 vsize=26645092 memory=15876 CPUtime=0 cores=0-7 /proc/23598/task/23610/stat : 23610 (java) S 23596 23596 23270 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 87977130 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932464047216 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23611] ppid=23596 vsize=26645092 memory=14944 CPUtime=0 cores=0-7 /proc/23598/task/23611/stat : 23611 (java) S 23596 23596 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932462995536 139933070440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23612] ppid=23596 vsize=26645092 memory=15876 CPUtime=1.67 cores=0-7 /proc/23598/task/23612/stat : 23612 (java) S 23596 23596 23270 0 -1 1077944384 6709 0 0 0 166 1 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932461943408 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23613] ppid=23596 vsize=26645092 memory=14944 CPUtime=1.98 cores=0-7 /proc/23598/task/23613/stat : 23613 (java) S 23596 23596 23270 0 -1 1077944384 8619 0 0 0 195 3 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932460890608 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23614] ppid=23596 vsize=26645092 memory=0 CPUtime=1.56 cores=0-7 /proc/23598/task/23614/stat : 23614 (java) S 23596 23596 23270 0 -1 1077944384 6500 0 0 0 155 1 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932459838320 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23615] ppid=23596 vsize=26645092 memory=0 CPUtime=0.69 cores=0-7 /proc/23598/task/23615/stat : 23615 (java) S 23596 23596 23270 0 -1 1077944384 7447 0 0 0 67 2 0 0 20 0 28 0 87977132 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932458785520 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23616] ppid=23596 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/23598/task/23616/stat : 23616 (java) S 23596 23596 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932457732448 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23617] ppid=23596 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/23598/task/23617/stat : 23617 (java) S 23596 23596 23270 0 -1 1077944384 533 0 0 0 0 1 0 0 20 0 28 0 87977133 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932456679728 139933070432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23618] ppid=23596 vsize=26645092 memory=1456 CPUtime=67.12 cores=0-7 /proc/23598/task/23618/stat : 23618 (java) S 23596 23596 23270 0 -1 1077944384 1055 0 0 0 6712 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932452187840 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23619] ppid=23596 vsize=26645092 memory=1456 CPUtime=67.4 cores=0-7 /proc/23598/task/23619/stat : 23619 (java) S 23596 23596 23270 0 -1 1077944384 812 0 0 0 6740 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932379018192 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23620] ppid=23596 vsize=26645092 memory=159660 CPUtime=67.57 cores=0-7 /proc/23598/task/23620/stat : 23620 (java) S 23596 23596 23270 0 -1 1077944384 2404 0 0 0 6755 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932377965904 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23621] ppid=23596 vsize=26645092 memory=1584 CPUtime=67.11 cores=0-7 /proc/23598/task/23621/stat : 23621 (java) S 23596 23596 23270 0 -1 1077944384 2667 0 0 0 6709 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932376913104 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23622] ppid=23596 vsize=26645092 memory=161196 CPUtime=67.59 cores=0-7 /proc/23598/task/23622/stat : 23622 (java) S 23596 23596 23270 0 -1 1077944384 694 0 0 0 6759 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932375860816 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23623] ppid=23596 vsize=26645092 memory=1456 CPUtime=67.3 cores=0-7 /proc/23598/task/23623/stat : 23623 (java) S 23596 23596 23270 0 -1 1077944384 736 0 0 0 6730 0 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932374808016 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23624] ppid=23596 vsize=26645092 memory=165228 CPUtime=67.25 cores=0-7 /proc/23598/task/23624/stat : 23624 (java) S 23596 23596 23270 0 -1 1077944384 1748 0 0 0 6724 1 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932373754704 139933070431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 [pid=23598/tid=23625] ppid=23596 vsize=26645092 memory=1456 CPUtime=67.21 cores=0-7 /proc/23598/task/23625/stat : 23625 (java) R 23596 23596 23270 0 -1 4202560 2047 0 0 0 6719 2 0 0 20 0 28 0 87977194 27284574208 40847 33554432000 4194304 4196468 140720444517600 139932372696448 139932676783550 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7376896 140720444519553 140720444519725 140720444519725 140720444522447 0 Current children cumulated CPU time: 546.39 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 164844 KiB Child status: 0 Real time (s): 69.3611 CPU time (s): 546.471 CPU user time (s): 546.041 CPU system time (s): 0.429655 CPU usage (%): 787.864 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 239176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 546.041 system time used= 0.429655 maximum resident set size= 237720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65277 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11850 involuntary context switches= 6666 # summary of solver processes directly reported to runsolver: # pid: 23596 # total CPU time (s): 546.471 # total CPU user time (s): 546.041 # total CPU system time (s): 0.429655 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.678579 second user time and 0.721434 second system time The end
Begin job on node107 at 2018-07-27 17:08:59 IDJOB=4297714 IDBENCH=141168 IDSOLVER=2760 FILE ID=node107/4297714-1532704139 RUNJOBID= node107-1532704130-23297 PBS_JOBID= 21022306 Free space on /tmp= 54472 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K05-P03_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297714-1532704139/watcher-4297714-1532704139 -o /tmp/evaluation-result-4297714-1532704139/solver-4297714-1532704139 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532704130-23297 --watchdog 2580 HOME/xcsp3-exec -seed 1451238876 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297714-1532704139.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f4fa601a34b34009a5b9ea58e60241da RANDOM SEED=1451238876 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.40 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.40 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.40 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.40 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: 21324852 kB MemAvailable: 31927612 kB Buffers: 218052 kB Cached: 10617272 kB SwapCached: 0 kB Active: 4350592 kB Inactive: 6539688 kB Active(anon): 4296 kB Inactive(anon): 78388 kB Active(file): 4346296 kB Inactive(file): 6461300 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22280 kB Writeback: 0 kB AnonPages: 65876 kB Mapped: 41420 kB Shmem: 25228 kB Slab: 249992 kB SReclaimable: 222000 kB SUnreclaim: 27992 kB KernelStack: 3504 kB PageTables: 6184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 54448 MiB End job on node107 at 2018-07-27 17:10:09