Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 40 | 1381.27 | 174.836 |
Name | StillLife/StillLife-m1-s1/ StillLife-05-14.xml |
MD5SUM | ff3476fab8d1f67b2009ab5045109208 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 28.788 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 170 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":70},{"size":9,"count":70}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":36}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":70}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407084-1569343681.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407084-1569343681.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.71/0.75 c solve instance... 2.21/0.80 o 0 2.21/0.81 o 4 2.21/0.82 o 6 2.21/0.83 o 8 2.21/0.84 o 10 2.21/0.85 o 11 2.21/0.86 o 12 2.21/0.89 o 14 2.85/0.91 o 16 2.85/0.93 o 17 2.85/0.94 o 18 2.85/0.96 o 22 2.85/0.97 o 29 3.59/1.05 o 30 3.59/1.07 o 31 3.59/1.08 o 32 5.10/1.20 o 34 5.87/1.38 o 35 9.05/1.75 o 36 16.94/2.76 o 38 107.45/14.18 o 39 308.90/39.66 o 40 1381.11/174.81 s OPTIMUM FOUND 1381.11/174.81 v <instantiation> 1381.11/174.81 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] </list> 1381.11/174.81 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 4 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 3 3 </values> 1381.11/174.81 v </instantiation>
OK 40
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 (13382 MiB free) memory of node 1: 16384 MiB (11668 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407084-1569343681/watcher-4407084-1569343681 -o /var/tmp/evaluation-result-4407084-1569343681/solver-4407084-1569343681 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1193125568 HOME/instance-4407084-1569343681.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=637, runsolver pid=634 Current StackSize limit: 8192 KiB [startup+0.10043 s]* /proc/loadavg: 7.68 7.73 7.52 3/211 659 /proc/meminfo: memFree=25633096/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28227396 memory=31496 CPUtime=0.12 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 5286 0 0 0 11 1 0 0 20 0 20 0 510282864 28904853504 7874 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7056849 7874 3115 1 0 7019032 0 [pid=639/tid=640] ppid=637 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/639/task/640/stat : 640 (java) R 637 637 31589 0 -1 4202560 3282 0 0 0 8 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081799807232 140081795597469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28227396 memory=288230609019731991 CPUtime=0 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28227396 memory=3690331426364069536 CPUtime=0 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=644] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/644/stat : 644 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081712269968 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=645] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/645/stat : 645 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081711217424 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=646] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/646/stat : 646 (java) S 637 637 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081710164880 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=647] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/647/stat : 647 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081709112336 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=648] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/648/stat : 648 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 7940 33554432000 4194304 4196468 140736260902240 140081708059792 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=649] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/649/stat : 649 (java) S 637 637 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510282867 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080259667952 140081795586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=650] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/650/stat : 650 (java) S 637 637 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510282867 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080258614176 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=651] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/651/stat : 651 (java) S 637 637 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510282868 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080257561584 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=652] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/652/stat : 652 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080256510160 140081795594139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=653] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/653/stat : 653 (java) R 637 637 31589 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080255457776 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=655] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/655/stat : 655 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080254405232 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=656] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/656/stat : 656 (java) S 637 637 31589 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080253352688 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=657] ppid=637 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/639/task/657/stat : 657 (java) R 637 637 31589 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080252300144 140081774372430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 7940 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 32944 KiB [startup+0.210511 s]* /proc/loadavg: 7.68 7.73 7.52 2/211 659 /proc/meminfo: memFree=25620820/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28227396 memory=43028 CPUtime=0.34 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 8986 0 0 0 31 3 0 0 20 0 20 0 510282864 28904853504 10757 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7056849 10757 3297 1 0 7019032 0 [pid=639/tid=640] ppid=637 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/639/task/640/stat : 640 (java) R 637 637 31589 0 -1 4202560 6107 0 0 0 18 2 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081799806768 140081381906381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28227396 memory=288230609019731991 CPUtime=0 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28227396 memory=3690331426364069536 CPUtime=0 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=644] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/644/stat : 644 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081712269968 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=645] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/645/stat : 645 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081711217424 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=646] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/646/stat : 646 (java) S 637 637 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081710164880 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=647] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/647/stat : 647 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081709112336 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=648] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/648/stat : 648 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28904853504 10757 33554432000 4194304 4196468 140736260902240 140081708059792 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=649] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/649/stat : 649 (java) S 637 637 31589 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510282867 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080259667952 140081795586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=650] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/650/stat : 650 (java) S 637 637 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510282867 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080258614176 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=651] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/651/stat : 651 (java) S 637 637 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510282868 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080257561584 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=652] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/652/stat : 652 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080256510160 140081795594139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=653] ppid=637 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/639/task/653/stat : 653 (java) S 637 637 31589 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080255457776 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=655] ppid=637 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/639/task/655/stat : 655 (java) S 637 637 31589 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080254405232 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=656] ppid=637 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/639/task/656/stat : 656 (java) S 637 637 31589 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080253352688 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=657] ppid=637 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/639/task/657/stat : 657 (java) R 637 637 31589 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080252300144 140081774714447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28904853504 10757 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44476 KiB [startup+0.310866 s]* /proc/loadavg: 7.68 7.73 7.52 3/211 659 /proc/meminfo: memFree=25614056/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28231652 memory=51652 CPUtime=0.52 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 10225 0 0 0 48 4 0 0 20 0 20 0 510282864 28909211648 12913 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7057913 12913 3347 1 0 7019032 0 [pid=639/tid=640] ppid=637 vsize=28231652 memory=0 CPUtime=0.29 cores=0-7 /proc/639/task/640/stat : 640 (java) R 637 637 31589 0 -1 4202560 7198 0 0 0 27 2 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081799806656 140081779656030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28231652 memory=140364260316800 CPUtime=0 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=644] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/644/stat : 644 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081712269968 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=645] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/645/stat : 645 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081711217424 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=646] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/646/stat : 646 (java) S 637 637 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081710164880 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=647] ppid=637 vsize=28231652 memory=4409644405389262880 CPUtime=0 cores=0-7 /proc/639/task/647/stat : 647 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081709112336 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=648] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/648/stat : 648 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28909211648 12941 33554432000 4194304 4196468 140736260902240 140081708059792 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=649] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/649/stat : 649 (java) S 637 637 31589 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510282867 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080259667952 140081795586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=650] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/650/stat : 650 (java) S 637 637 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510282867 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080258614176 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=651] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/651/stat : 651 (java) S 637 637 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510282868 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080257561584 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=652] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/652/stat : 652 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080256510160 140081795594139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=653] ppid=637 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/639/task/653/stat : 653 (java) R 637 637 31589 0 -1 4202560 584 0 0 0 3 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080255448160 140081777119232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=655] ppid=637 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/639/task/655/stat : 655 (java) S 637 637 31589 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080254405232 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=656] ppid=637 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/639/task/656/stat : 656 (java) S 637 637 31589 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080253352688 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=657] ppid=637 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/639/task/657/stat : 657 (java) S 637 637 31589 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080252300144 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282870 28909211648 12941 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53100 KiB [startup+0.701031 s] /proc/loadavg: 7.68 7.73 7.52 3/211 659 /proc/meminfo: memFree=25600836/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28233776 memory=99408 CPUtime=1.71 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 16427 0 0 0 164 7 0 0 20 0 20 0 510282864 28911386624 24852 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7058444 24852 3456 1 0 7019544 0 [pid=639/tid=640] ppid=637 vsize=28233776 memory=3504 CPUtime=0.67 cores=0-7 /proc/639/task/640/stat : 640 (java) R 637 637 31589 0 -1 4202560 8483 0 0 0 63 4 0 0 20 0 20 0 510282865 28911386624 24852 33554432000 4194304 4196468 140736260902240 140081799814640 140081780944946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28233776 memory=64280 CPUtime=0 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28911386624 24852 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28233776 memory=988 CPUtime=0 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510282865 28911386624 24852 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28233776 memory=2008 CPUtime=0 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510282865 28911386624 24852 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 ################ # More data... # ################ [pid=639/tid=657] ppid=637 vsize=28769364 memory=1760 CPUtime=0.8 cores=0-7 /proc/639/task/657/stat : 657 (java) S 637 637 31589 0 -1 1077944384 7069 0 0 0 78 2 0 0 20 0 28 0 510282870 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080252300144 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28769364 memory=1052 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510282870 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28769364 memory=776 CPUtime=0.04 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1174 0 0 0 0 4 0 0 20 0 28 0 510282870 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=839] ppid=637 vsize=28769364 memory=2832 CPUtime=132.22 cores=0-7 /proc/639/task/839/stat : 839 (java) R 637 637 31589 0 -1 4202560 4049 0 0 0 13219 3 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080237817152 140081387902426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=840] ppid=637 vsize=28769364 memory=668 CPUtime=132.07 cores=0-7 /proc/639/task/840/stat : 840 (java) R 637 637 31589 0 -1 4202560 3622 0 0 0 13205 2 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080230461296 140081387902498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=841] ppid=637 vsize=28769364 memory=1276 CPUtime=132.2 cores=0-7 /proc/639/task/841/stat : 841 (java) R 637 637 31589 0 -1 4202560 4437 0 0 0 13217 3 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080235717160 140081388811721 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=842] ppid=637 vsize=28769364 memory=1096 CPUtime=132.21 cores=0-7 /proc/639/task/842/stat : 842 (java) R 637 637 31589 0 -1 4202560 35740 0 0 0 13209 12 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080233608136 140081389595408 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=843] ppid=637 vsize=28769364 memory=1412 CPUtime=131.71 cores=0-7 /proc/639/task/843/stat : 843 (java) R 637 637 31589 0 -1 4202560 13993 0 0 0 13166 5 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080236766144 140081388619248 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=844] ppid=637 vsize=28769364 memory=3576 CPUtime=132.05 cores=0-7 /proc/639/task/844/stat : 844 (java) R 637 637 31589 0 -1 4202560 12247 0 0 0 13201 4 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080234660928 140081387901071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=845] ppid=637 vsize=28769364 memory=1448 CPUtime=132.26 cores=0-7 /proc/639/task/845/stat : 845 (java) R 637 637 31589 0 -1 4202560 9507 0 0 0 13224 2 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080239923528 140081387900328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=846] ppid=637 vsize=28769364 memory=1055704 CPUtime=132.31 cores=0-7 /proc/639/task/846/stat : 846 (java) R 637 637 31589 0 -1 4202560 38643 0 0 0 13216 15 0 0 20 0 28 0 510286831 29459828736 263798 33554432000 4194304 4196468 140736260902240 140080238873264 140081390624272 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 1371.62 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1056640 KiB [startup+174.401 s] /proc/loadavg: 8.10 7.99 7.66 9/220 884 /proc/meminfo: memFree=24609056/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28769364 memory=1053140 CPUtime=1377.93 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 221333 0 0 0 137657 136 0 0 20 0 28 0 510282864 29459828736 263285 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7192341 263285 3547 1 0 7153441 0 [pid=639/tid=640] ppid=637 vsize=28769364 memory=520 CPUtime=0.75 cores=0-7 /proc/639/task/640/stat : 640 (java) S 637 637 31589 0 -1 1077944384 8803 0 0 0 71 4 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081799816320 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28769364 memory=1560 CPUtime=0.7 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 4688 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28769364 memory=1548 CPUtime=0.69 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 2664 0 0 0 63 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28769364 memory=1728 CPUtime=0.7 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1724 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=644] ppid=637 vsize=28769364 memory=8204 CPUtime=0.69 cores=0-7 /proc/639/task/644/stat : 644 (java) S 637 637 31589 0 -1 1077944384 2967 0 0 0 63 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081712269968 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=645] ppid=637 vsize=28769364 memory=9580 CPUtime=0.67 cores=0-7 /proc/639/task/645/stat : 645 (java) S 637 637 31589 0 -1 1077944384 4089 0 0 0 62 5 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081711217424 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=646] ppid=637 vsize=28769364 memory=1052 CPUtime=0.7 cores=0-7 /proc/639/task/646/stat : 646 (java) S 637 637 31589 0 -1 1077944384 3465 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081710164880 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=647] ppid=637 vsize=28769364 memory=776 CPUtime=0.68 cores=0-7 /proc/639/task/647/stat : 647 (java) S 637 637 31589 0 -1 1077944384 2475 0 0 0 62 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081709112336 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=648] ppid=637 vsize=28769364 memory=924 CPUtime=0.68 cores=0-7 /proc/639/task/648/stat : 648 (java) S 637 637 31589 0 -1 1077944384 3077 0 0 0 62 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081708059792 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=649] ppid=637 vsize=28769364 memory=3688 CPUtime=0.42 cores=0-7 /proc/639/task/649/stat : 649 (java) S 637 637 31589 0 -1 1077944384 13347 0 0 0 33 9 0 0 20 0 28 0 510282867 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080259667952 140081795586690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=650] ppid=637 vsize=28769364 memory=1984 CPUtime=0 cores=0-7 /proc/639/task/650/stat : 650 (java) S 637 637 31589 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510282867 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080258614240 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=651] ppid=637 vsize=28769364 memory=1440 CPUtime=0 cores=0-7 /proc/639/task/651/stat : 651 (java) S 637 637 31589 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510282868 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080257561584 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=652] ppid=637 vsize=28769364 memory=808 CPUtime=0 cores=0-7 /proc/639/task/652/stat : 652 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080256510160 140081795594139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=653] ppid=637 vsize=28769364 memory=2580 CPUtime=1.52 cores=0-7 /proc/639/task/653/stat : 653 (java) S 637 637 31589 0 -1 1077944384 9362 0 0 0 150 2 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080255457776 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=655] ppid=637 vsize=28769364 memory=1760 CPUtime=1.71 cores=0-7 /proc/639/task/655/stat : 655 (java) S 637 637 31589 0 -1 1077944384 8028 0 0 0 170 1 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080254405232 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=656] ppid=637 vsize=28769364 memory=111636 CPUtime=1.5 cores=0-7 /proc/639/task/656/stat : 656 (java) S 637 637 31589 0 -1 1077944384 7082 0 0 0 149 1 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080253352688 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=657] ppid=637 vsize=28769364 memory=808 CPUtime=0.8 cores=0-7 /proc/639/task/657/stat : 657 (java) S 637 637 31589 0 -1 1077944384 7069 0 0 0 78 2 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080252300144 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28769364 memory=6947385649911455296 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28769364 memory=1084640 CPUtime=0.04 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1174 0 0 0 0 4 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=839] ppid=637 vsize=28769364 memory=35504 CPUtime=133.02 cores=0-7 /proc/639/task/839/stat : 839 (java) R 637 637 31589 0 -1 4202560 4050 0 0 0 13299 3 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080237820704 140081390982511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=840] ppid=637 vsize=28769364 memory=3504 CPUtime=132.84 cores=0-7 /proc/639/task/840/stat : 840 (java) R 637 637 31589 0 -1 4202560 3624 0 0 0 13282 2 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080230457776 140081382905024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=841] ppid=637 vsize=28769364 memory=64304 CPUtime=132.98 cores=0-7 /proc/639/task/841/stat : 841 (java) R 637 637 31589 0 -1 4202560 4438 0 0 0 13295 3 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080235713352 140081387902794 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=842] ppid=637 vsize=28769364 memory=988 CPUtime=133 cores=0-7 /proc/639/task/842/stat : 842 (java) R 637 637 31589 0 -1 4202560 35740 0 0 0 13288 12 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080233608000 140081389596274 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=843] ppid=637 vsize=28769364 memory=2008 CPUtime=132.5 cores=0-7 /proc/639/task/843/stat : 843 (java) R 637 637 31589 0 -1 4202560 13994 0 0 0 13245 5 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080236765576 140081388615959 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=844] ppid=637 vsize=28769364 memory=1424 CPUtime=132.83 cores=0-7 /proc/639/task/844/stat : 844 (java) R 637 637 31589 0 -1 4202560 12247 0 0 0 13279 4 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080234664872 140081382112783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=845] ppid=637 vsize=28769364 memory=3640 CPUtime=133.05 cores=0-7 /proc/639/task/845/stat : 845 (java) R 637 637 31589 0 -1 4202560 9508 0 0 0 13303 2 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080239926848 140081382904991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=846] ppid=637 vsize=28769364 memory=2832 CPUtime=133.1 cores=0-7 /proc/639/task/846/stat : 846 (java) R 637 637 31589 0 -1 4202560 38643 0 0 0 13295 15 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080238873120 140081390624416 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 1377.93 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1054588 KiB [startup+174.801 s] /proc/loadavg: 8.10 7.99 7.66 9/220 884 /proc/meminfo: memFree=24609056/32770624 swapFree=66953492/67108860 [pid=637] ppid=634 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/637/stat : 637 (xcsp3-exec) S 634 637 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510282864 115843072 362 33554432000 4194304 5098028 140731911544288 140731911542392 140362845483644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7389184 140731911549777 140731911550037 140731911550037 140731911552966 0 /proc/637/statm: 28282 362 304 221 0 87 0 [pid=639] ppid=637 vsize=28769364 memory=1053140 CPUtime=1381.11 cores=0-7 /proc/639/stat : 639 (java) S 637 637 31589 0 -1 1077944320 221573 0 0 0 137975 136 0 0 20 0 28 0 510282864 29459828736 263285 33554432000 4194304 4196468 140736260902240 140736260884784 140081795575543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 /proc/639/statm: 7192341 263285 3547 1 0 7153441 0 [pid=639/tid=640] ppid=637 vsize=28769364 memory=111636 CPUtime=0.75 cores=0-7 /proc/639/task/640/stat : 640 (java) S 637 637 31589 0 -1 1077944384 8803 0 0 0 71 4 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081799816320 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=641] ppid=637 vsize=28769364 memory=808 CPUtime=0.7 cores=0-7 /proc/639/task/641/stat : 641 (java) S 637 637 31589 0 -1 1077944384 4696 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081715427600 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=642] ppid=637 vsize=28769364 memory=1652 CPUtime=0.7 cores=0-7 /proc/639/task/642/stat : 642 (java) S 637 637 31589 0 -1 1077944384 2665 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081714375056 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=643] ppid=637 vsize=28769364 memory=1804 CPUtime=0.71 cores=0-7 /proc/639/task/643/stat : 643 (java) S 637 637 31589 0 -1 1077944384 1725 0 0 0 65 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081713322512 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=644] ppid=637 vsize=28769364 memory=920 CPUtime=0.69 cores=0-7 /proc/639/task/644/stat : 644 (java) S 637 637 31589 0 -1 1077944384 2968 0 0 0 63 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081712269968 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=645] ppid=637 vsize=28769364 memory=4420 CPUtime=0.67 cores=0-7 /proc/639/task/645/stat : 645 (java) S 637 637 31589 0 -1 1077944384 4090 0 0 0 62 5 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081711217424 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=646] ppid=637 vsize=28769364 memory=4104 CPUtime=0.7 cores=0-7 /proc/639/task/646/stat : 646 (java) S 637 637 31589 0 -1 1077944384 3466 0 0 0 64 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081710164880 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=647] ppid=637 vsize=28769364 memory=1398720917958146503 CPUtime=0.68 cores=0-7 /proc/639/task/647/stat : 647 (java) S 637 637 31589 0 -1 1077944384 2476 0 0 0 62 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081709112336 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=648] ppid=637 vsize=28769364 memory=4872558044660077418 CPUtime=0.69 cores=0-7 /proc/639/task/648/stat : 648 (java) S 637 637 31589 0 -1 1077944384 3079 0 0 0 63 6 0 0 20 0 28 0 510282865 29459828736 263285 33554432000 4194304 4196468 140736260902240 140081708059792 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=649] ppid=637 vsize=28769364 memory=143099720369406 CPUtime=0.43 cores=0-7 /proc/639/task/649/stat : 649 (java) S 637 637 31589 0 -1 1077944384 13347 0 0 0 34 9 0 0 20 0 28 0 510282867 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080259667952 140081795586690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=650] ppid=637 vsize=28769364 memory=143099720369407 CPUtime=0 cores=0-7 /proc/639/task/650/stat : 650 (java) S 637 637 31589 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510282867 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080258614240 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=651] ppid=637 vsize=28769364 memory=6947385649911455296 CPUtime=0 cores=0-7 /proc/639/task/651/stat : 651 (java) S 637 637 31589 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510282868 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080257561584 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=652] ppid=637 vsize=28769364 memory=64304 CPUtime=0 cores=0-7 /proc/639/task/652/stat : 652 (java) S 637 637 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080256510160 140081795594139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=653] ppid=637 vsize=28769364 memory=988 CPUtime=1.52 cores=0-7 /proc/639/task/653/stat : 653 (java) S 637 637 31589 0 -1 1077944384 9362 0 0 0 150 2 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080255457776 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=655] ppid=637 vsize=28769364 memory=2580 CPUtime=1.71 cores=0-7 /proc/639/task/655/stat : 655 (java) S 637 637 31589 0 -1 1077944384 8028 0 0 0 170 1 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080254405232 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=656] ppid=637 vsize=28769364 memory=1760 CPUtime=1.5 cores=0-7 /proc/639/task/656/stat : 656 (java) S 637 637 31589 0 -1 1077944384 7082 0 0 0 149 1 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080253352688 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=657] ppid=637 vsize=28769364 memory=111636 CPUtime=0.8 cores=0-7 /proc/639/task/657/stat : 657 (java) S 637 637 31589 0 -1 1077944384 7238 0 0 0 78 2 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080252300144 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=658] ppid=637 vsize=28769364 memory=808 CPUtime=0 cores=0-7 /proc/639/task/658/stat : 658 (java) S 637 637 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080251246816 140081795585749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=659] ppid=637 vsize=28769364 memory=1652 CPUtime=0.04 cores=0-7 /proc/639/task/659/stat : 659 (java) S 637 637 31589 0 -1 1077944384 1174 0 0 0 0 4 0 0 20 0 28 0 510282870 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080250194352 140081795586690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=839] ppid=637 vsize=28769364 memory=1804 CPUtime=133.41 cores=0-7 /proc/639/task/839/stat : 839 (java) R 637 637 31589 0 -1 4202560 4068 0 0 0 13338 3 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080237817008 140081388811312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=840] ppid=637 vsize=28769364 memory=920 CPUtime=133.23 cores=0-7 /proc/639/task/840/stat : 840 (java) R 637 637 31589 0 -1 4202560 3624 0 0 0 13321 2 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080230457912 140081387901292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=841] ppid=637 vsize=28769364 memory=4420 CPUtime=133.38 cores=0-7 /proc/639/task/841/stat : 841 (java) R 637 637 31589 0 -1 4202560 4455 0 0 0 13335 3 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080235713216 140081388310543 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=842] ppid=637 vsize=28769364 memory=4104 CPUtime=133.4 cores=0-7 /proc/639/task/842/stat : 842 (java) R 637 637 31589 0 -1 4202560 35760 0 0 0 13328 12 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080233609944 140081388616840 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=843] ppid=637 vsize=28769364 memory=1728 CPUtime=132.89 cores=0-7 /proc/639/task/843/stat : 843 (java) R 637 637 31589 0 -1 4202560 13994 0 0 0 13284 5 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080236768448 140081387899827 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=844] ppid=637 vsize=28769364 memory=8204 CPUtime=133.22 cores=0-7 /proc/639/task/844/stat : 844 (java) R 637 637 31589 0 -1 4202560 12247 0 0 0 13318 4 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080234660192 140081390982368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=845] ppid=637 vsize=28769364 memory=1448 CPUtime=133.44 cores=0-7 /proc/639/task/845/stat : 845 (java) R 637 637 31589 0 -1 4202560 9508 0 0 0 13342 2 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080239923392 140081388619413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 [pid=639/tid=846] ppid=637 vsize=28769364 memory=3504 CPUtime=133.5 cores=0-7 /proc/639/task/846/stat : 846 (java) R 637 637 31589 0 -1 4202560 38643 0 0 0 13335 15 0 0 20 0 28 0 510286831 29459828736 263285 33554432000 4194304 4196468 140736260902240 140080238873968 140081389046969 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27443200 140736260903894 140736260904070 140736260904070 140736260906959 0 Current children cumulated CPU time: 1381.11 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1054588 KiB Child status: 0 Real time (s): 174.836 CPU time (s): 1381.27 CPU user time (s): 1379.88 CPU system time (s): 1.38475 CPU usage (%): 790.036 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 1258784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1379.88 system time used= 1.38475 maximum resident set size= 1257336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222317 page faults= 0 swaps= 0 block input operations= 0 block output operations= 360 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38180 involuntary context switches= 18032 # summary of solver processes directly reported to runsolver: # pid: 637 # total CPU time (s): 1381.27 # total CPU user time (s): 1379.88 # total CPU system time (s): 1.38475 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.79707 second user time and 1.80389 second system time The end
Begin job on node119 at 2019-09-24 18:47:20 IDJOB=4407084 IDBENCH=115960 IDSOLVER=2871 FILE ID=node119/4407084-1569343681 RUNJOBID= node119-1569335938-31616 PBS_JOBID= 21705065 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-14.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407084-1569343681/watcher-4407084-1569343681 -o /var/tmp/evaluation-result-4407084-1569343681/solver-4407084-1569343681 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1193125568 HOME/instance-4407084-1569343681.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ff3476fab8d1f67b2009ab5045109208 RANDOM SEED=1193125568 node119.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.47 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.47 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.47 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.47 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: 25651532 kB MemAvailable: 31797372 kB Buffers: 127352 kB Cached: 6118008 kB SwapCached: 46744 kB Active: 3092284 kB Inactive: 3204252 kB Active(anon): 4356 kB Inactive(anon): 104072 kB Active(file): 3087928 kB Inactive(file): 3100180 kB Unevictable: 107592 kB Mlocked: 107592 kB SwapTotal: 67108860 kB SwapFree: 66953492 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 117764 kB Mapped: 57416 kB Shmem: 48536 kB Slab: 414672 kB SReclaimable: 386192 kB SUnreclaim: 28480 kB KernelStack: 3664 kB PageTables: 6120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514560 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 18:50:15