Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 39 | 908.694 | 115.227 |
Name | StillLife/StillLife-m1-s1/ StillLife-07-10.xml |
MD5SUM | ebe39bf25244fda615bb1bf8fe88192a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 31.4095 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 166 |
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":26},{"degree":10,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":40}] |
Number of extensional constraints | 96 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":96},{"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-4400180-1568709766.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4400180-1568709766.xml, -tl, 2016s, -p, 8] 0.32/0.22 c 8 solvers in parallel 0.32/0.29 c parse instance... 1.71/0.75 c solve instance... 2.23/0.81 o 0 2.23/0.81 o 4 2.23/0.82 o 6 2.23/0.83 o 8 2.23/0.84 o 10 2.23/0.86 o 12 2.23/0.87 o 33 2.95/0.98 o 34 3.65/1.01 o 35 6.77/1.47 o 36 18.63/2.96 o 37 20.26/3.13 o 38 44.86/6.22 o 39 908.62/115.21 s OPTIMUM FOUND 908.62/115.21 v <instantiation> 908.62/115.21 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[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[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[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[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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] 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[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[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[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[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[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] </list> 908.62/115.21 v <values>1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 2 2 4 2 4 3 2 4 2 2 4 3 4 2 3 5 3 5 3 4 3 5 5 5 5 5 3 5 5 3 2 3 2 2 2 3 4 3 3 2 4 6 6 6 5 5 3 5 5 4 2 3 3 3 3 5 3 5 3 3 2 4 4 3 4 3 2 4 3 3 </values> 908.62/115.21 v </instantiation>
OK 39
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 (13917 MiB free) memory of node 1: 16384 MiB (15720 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400180-1568709766/watcher-4400180-1568709766 -o /tmp/evaluation-result-4400180-1568709766/solver-4400180-1568709766 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 822372530 HOME/instance-4400180-1568709766.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=571, runsolver pid=563 [startup+0.100179 s]* /proc/loadavg: 7.84 8.02 8.12 2/213 603 /proc/meminfo: memFree=30334396/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28227396 memory=28212 CPUtime=0.11 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 5563 0 0 0 10 1 0 0 20 0 20 0 446890418 28904853504 7053 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7056849 7053 3096 1 0 7019032 0 [pid=574/tid=575] ppid=571 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/574/task/575/stat : 575 (java) R 571 571 27783 0 -1 4202560 3563 0 0 0 8 0 0 0 20 0 20 0 446890418 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595713702560 140595709497946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28227396 memory=4051468297400915616 CPUtime=0 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=579] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/579/stat : 579 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595626170896 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=580] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/580/stat : 580 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595625118608 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=581] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/581/stat : 581 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595624065808 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=582] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/582/stat : 582 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595623013520 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=583] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/583/stat : 583 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 7118 33554432000 4194304 4196468 140723827877072 140595621960720 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=584] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/584/stat : 584 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594691274864 140595709487746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=585] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/585/stat : 585 (java) S 571 571 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594690220832 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=586] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/586/stat : 586 (java) S 571 571 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594689168496 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=591] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/591/stat : 591 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594688116816 140595709495195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=597] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/597/stat : 597 (java) S 571 571 27783 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594687064688 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=598] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/598/stat : 598 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594686011888 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=599] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/599/stat : 599 (java) S 571 571 27783 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594684959600 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=601] ppid=571 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/574/task/601/stat : 601 (java) S 571 571 27783 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594683906800 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 7118 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29660 KiB [startup+0.210316 s]* /proc/loadavg: 7.84 8.02 8.12 2/213 603 /proc/meminfo: memFree=30321248/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28227396 memory=40396 CPUtime=0.32 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 9373 0 0 0 29 3 0 0 20 0 20 0 446890418 28904853504 10099 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7056849 10099 3295 1 0 7019032 0 [pid=574/tid=575] ppid=571 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/574/task/575/stat : 575 (java) R 571 571 27783 0 -1 4202560 6595 0 0 0 18 2 0 0 20 0 20 0 446890418 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595713710720 140595709488534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28227396 memory=4051468297400915616 CPUtime=0 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=579] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/579/stat : 579 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595626170896 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=580] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/580/stat : 580 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595625118608 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=581] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/581/stat : 581 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595624065808 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=582] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/582/stat : 582 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595623013520 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=583] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/583/stat : 583 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890419 28904853504 10099 33554432000 4194304 4196468 140723827877072 140595621960720 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=584] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/584/stat : 584 (java) S 571 571 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594691274864 140595709487746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=585] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/585/stat : 585 (java) S 571 571 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594690220832 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=586] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/586/stat : 586 (java) S 571 571 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446890421 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594689168496 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=591] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/591/stat : 591 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594688116816 140595709495195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=597] ppid=571 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/574/task/597/stat : 597 (java) S 571 571 27783 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594687064688 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=598] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/598/stat : 598 (java) S 571 571 27783 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594686011888 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=599] ppid=571 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/574/task/599/stat : 599 (java) S 571 571 27783 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594684959600 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=601] ppid=571 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/574/task/601/stat : 601 (java) R 571 571 27783 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594683906800 140595693557086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28904853504 10099 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41844 KiB [startup+0.309917 s]* /proc/loadavg: 7.84 8.02 8.12 6/213 603 /proc/meminfo: memFree=30314236/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28231652 memory=49308 CPUtime=0.5 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 10765 0 0 0 46 4 0 0 20 0 20 0 446890418 28909211648 12327 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7057913 12327 3353 1 0 7019032 0 [pid=574/tid=575] ppid=571 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/574/task/575/stat : 575 (java) R 571 571 27783 0 -1 4202560 7711 0 0 0 26 3 0 0 20 0 20 0 446890418 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595713706752 140595693557086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28231652 memory=140459310749312 CPUtime=0 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=579] ppid=571 vsize=28231652 memory=2240 CPUtime=0 cores=0-7 /proc/574/task/579/stat : 579 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595626170896 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=580] ppid=571 vsize=28231652 memory=2241 CPUtime=0 cores=0-7 /proc/574/task/580/stat : 580 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595625118608 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=581] ppid=571 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/574/task/581/stat : 581 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595624065808 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=582] ppid=571 vsize=28231652 memory=280918375996960 CPUtime=0 cores=0-7 /proc/574/task/582/stat : 582 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595623013520 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=583] ppid=571 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/574/task/583/stat : 583 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890419 28909211648 12464 33554432000 4194304 4196468 140723827877072 140595621960720 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=584] ppid=571 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/574/task/584/stat : 584 (java) S 571 571 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446890421 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594691274864 140595709487746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=585] ppid=571 vsize=28231652 memory=260 CPUtime=0 cores=0-7 /proc/574/task/585/stat : 585 (java) S 571 571 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446890421 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594690220832 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=586] ppid=571 vsize=28231652 memory=301 CPUtime=0 cores=0-7 /proc/574/task/586/stat : 586 (java) S 571 571 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446890421 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594689168496 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=591] ppid=571 vsize=28231652 memory=35666 CPUtime=0 cores=0-7 /proc/574/task/591/stat : 591 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594688116816 140595709495195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=597] ppid=571 vsize=28231652 memory=252821 CPUtime=0.03 cores=0-7 /proc/574/task/597/stat : 597 (java) R 571 571 27783 0 -1 4202560 494 0 0 0 3 0 0 0 20 0 20 0 446890424 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594687055072 140595690664451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=598] ppid=571 vsize=28231652 memory=1 CPUtime=0.01 cores=0-7 /proc/574/task/598/stat : 598 (java) S 571 571 27783 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 446890424 28909211648 12464 33554432000 4194304 4196468 140723827877072 140594686011888 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=599] ppid=571 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/574/task/599/stat : 599 (java) S 571 571 27783 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 446890424 28909211648 12495 33554432000 4194304 4196468 140723827877072 140594684959600 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=601] ppid=571 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/574/task/601/stat : 601 (java) S 571 571 27783 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 20 0 446890424 28909211648 12495 33554432000 4194304 4196468 140723827877072 140594683906800 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28231652 memory=3684001876776333364 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446890424 28909211648 12495 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28231652 memory=3472895575524712495 CPUtime=0 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890424 28909211648 12495 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50756 KiB [startup+0.700994 s] /proc/loadavg: 7.84 8.02 8.12 5/213 603 /proc/meminfo: memFree=30303016/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28233776 memory=92000 CPUtime=1.71 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 16753 0 0 0 163 8 0 0 20 0 20 0 446890418 28911386624 23000 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7058444 23000 3458 1 0 7019544 0 [pid=574/tid=575] ppid=571 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/574/task/575/stat : 575 (java) R 571 571 27783 0 -1 4202560 9172 0 0 0 63 4 0 0 20 0 20 0 446890418 28911386624 23000 33554432000 4194304 4196468 140723827877072 140595713708976 140595305630112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446890419 28911386624 23000 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28911386624 23000 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28233776 memory=1412 CPUtime=0 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446890419 28911386624 23000 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 ################ # More data... # ################ [pid=574/tid=601] ppid=571 vsize=28835928 memory=4639098309541127532 CPUtime=0.72 cores=0-7 /proc/574/task/601/stat : 601 (java) S 571 571 27783 0 -1 1077944384 5983 0 0 0 70 2 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594683906800 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28835928 memory=4639098309541127532 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28835928 memory=-7522837415797432224 CPUtime=0.03 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1020 0 0 0 0 3 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=719] ppid=571 vsize=28835928 memory=7679937539659563795 CPUtime=107.15 cores=0-7 /proc/574/task/719/stat : 719 (java) R 571 571 27783 0 -1 4202560 1146 0 0 0 10714 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593817115392 140595307231756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=720] ppid=571 vsize=28835928 memory=-7737605734073681312 CPUtime=106.97 cores=0-7 /proc/574/task/720/stat : 720 (java) R 571 571 27783 0 -1 4202560 1195 0 0 0 10696 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593819218224 140595307771057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=721] ppid=571 vsize=28835928 memory=6944656591801717918 CPUtime=107.14 cores=0-7 /proc/574/task/721/stat : 721 (java) R 571 571 27783 0 -1 4202560 1147 0 0 0 10713 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593500865336 140595307952561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=722] ppid=571 vsize=28835928 memory=4639098309541127532 CPUtime=106.9 cores=0-7 /proc/574/task/722/stat : 722 (java) R 571 571 27783 0 -1 4202560 6113 0 0 0 10687 3 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593815008024 140595695544724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=723] ppid=571 vsize=28835928 memory=48580 CPUtime=106.86 cores=0-7 /proc/574/task/723/stat : 723 (java) R 571 571 27783 0 -1 4202560 2467 0 0 0 10684 2 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593499812920 140595307043968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=724] ppid=571 vsize=28835928 memory=2020 CPUtime=106.76 cores=0-7 /proc/574/task/724/stat : 724 (java) R 571 571 27783 0 -1 4202560 2390 0 0 0 10675 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593811850032 140595304959267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=725] ppid=571 vsize=28835928 memory=988 CPUtime=106.73 cores=0-7 /proc/574/task/725/stat : 725 (java) R 571 571 27783 0 -1 4202560 1143 0 0 0 10672 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593818165560 140595307951122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=726] ppid=571 vsize=28835928 memory=1368 CPUtime=106.75 cores=0-7 /proc/574/task/726/stat : 726 (java) R 571 571 27783 0 -1 4202560 3474 0 0 0 10672 3 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593816059728 140595307808594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 903.82 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 683936 KiB [startup+115.001 s] /proc/loadavg: 8.16 8.10 8.14 9/221 732 /proc/meminfo: memFree=29678788/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28835928 memory=682488 CPUtime=907 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 71532 0 0 0 90618 82 0 0 20 0 28 0 446890418 29527990272 170622 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7208982 170622 3530 1 0 7170082 0 [pid=574/tid=575] ppid=571 vsize=28835928 memory=4639437097450 CPUtime=0.74 cores=0-7 /proc/574/task/575/stat : 575 (java) S 571 571 27783 0 -1 1077944384 9428 0 0 0 70 4 0 0 20 0 28 0 446890418 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595713717376 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28835928 memory=4639437097450 CPUtime=0.38 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1111 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28835928 memory=4639437097194 CPUtime=0.38 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 1991 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28835928 memory=6944656575208382560 CPUtime=0.38 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 738 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=579] ppid=571 vsize=28835928 memory=9507 CPUtime=0.37 cores=0-7 /proc/574/task/579/stat : 579 (java) S 571 571 27783 0 -1 1077944384 2068 0 0 0 33 4 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595626170896 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=580] ppid=571 vsize=28835928 memory=3394575 CPUtime=0.39 cores=0-7 /proc/574/task/580/stat : 580 (java) S 571 571 27783 0 -1 1077944384 1759 0 0 0 35 4 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595625118608 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=581] ppid=571 vsize=28835928 memory=6943526294502006880 CPUtime=0.39 cores=0-7 /proc/574/task/581/stat : 581 (java) S 571 571 27783 0 -1 1077944384 1017 0 0 0 34 5 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595624065808 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=582] ppid=571 vsize=28835928 memory=6944652177228980320 CPUtime=0.38 cores=0-7 /proc/574/task/582/stat : 582 (java) S 571 571 27783 0 -1 1077944384 1318 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595623013520 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=583] ppid=571 vsize=28835928 memory=6944656592455097440 CPUtime=0.38 cores=0-7 /proc/574/task/583/stat : 583 (java) S 571 571 27783 0 -1 1077944384 1365 0 0 0 34 4 0 0 20 0 28 0 446890419 29527990272 170622 33554432000 4194304 4196468 140723827877072 140595621960720 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=584] ppid=571 vsize=28835928 memory=6943526294502006880 CPUtime=0.28 cores=0-7 /proc/574/task/584/stat : 584 (java) S 571 571 27783 0 -1 1077944384 3636 0 0 0 24 4 0 0 20 0 28 0 446890421 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594691274864 140595709487746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=585] ppid=571 vsize=28835928 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/574/task/585/stat : 585 (java) S 571 571 27783 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446890421 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594690220832 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=586] ppid=571 vsize=28835928 memory=303148748257886234 CPUtime=0 cores=0-7 /proc/574/task/586/stat : 586 (java) S 571 571 27783 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446890421 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594689168496 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=591] ppid=571 vsize=28835928 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/574/task/591/stat : 591 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594688116816 140595709495195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=597] ppid=571 vsize=28835928 memory=16099256251451829 CPUtime=1.14 cores=0-7 /proc/574/task/597/stat : 597 (java) S 571 571 27783 0 -1 1077944384 5430 0 0 0 113 1 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594687064688 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=598] ppid=571 vsize=28835928 memory=288230621803970871 CPUtime=1.35 cores=0-7 /proc/574/task/598/stat : 598 (java) S 571 571 27783 0 -1 1077944384 5378 0 0 0 134 1 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594686011888 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=599] ppid=571 vsize=28835928 memory=16099256251451829 CPUtime=1.35 cores=0-7 /proc/574/task/599/stat : 599 (java) S 571 571 27783 0 -1 1077944384 5853 0 0 0 133 2 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594684959600 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=601] ppid=571 vsize=28835928 memory=896 CPUtime=0.72 cores=0-7 /proc/574/task/601/stat : 601 (java) S 571 571 27783 0 -1 1077944384 5983 0 0 0 70 2 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594683906800 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28835928 memory=1980 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28835928 memory=2520 CPUtime=0.03 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1020 0 0 0 0 3 0 0 20 0 28 0 446890424 29527990272 170622 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=719] ppid=571 vsize=28835928 memory=1760 CPUtime=107.55 cores=0-7 /proc/574/task/719/stat : 719 (java) R 571 571 27783 0 -1 4202560 1146 0 0 0 10754 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593817115456 140595307503155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=720] ppid=571 vsize=28835928 memory=1660 CPUtime=107.37 cores=0-7 /proc/574/task/720/stat : 720 (java) R 571 571 27783 0 -1 4202560 1195 0 0 0 10736 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593819218368 140595307522158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=721] ppid=571 vsize=28835928 memory=303148748257886234 CPUtime=107.54 cores=0-7 /proc/574/task/721/stat : 721 (java) R 571 571 27783 0 -1 4202560 1147 0 0 0 10753 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593500868816 140595304958663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=722] ppid=571 vsize=28835928 memory=288230621803970871 CPUtime=107.3 cores=0-7 /proc/574/task/722/stat : 722 (java) R 571 571 27783 0 -1 4202560 6116 0 0 0 10727 3 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593815011880 140595309184370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=723] ppid=571 vsize=28835928 memory=16099256251451829 CPUtime=107.26 cores=0-7 /proc/574/task/723/stat : 723 (java) R 571 571 27783 0 -1 4202560 2467 0 0 0 10724 2 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593499816376 140595307215297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=724] ppid=571 vsize=28835928 memory=916 CPUtime=107.16 cores=0-7 /proc/574/task/724/stat : 724 (java) R 571 571 27783 0 -1 4202560 2390 0 0 0 10715 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593811849552 140595307807907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=725] ppid=571 vsize=28835928 memory=4126316290023845779 CPUtime=107.13 cores=0-7 /proc/574/task/725/stat : 725 (java) R 571 571 27783 0 -1 4202560 1144 0 0 0 10712 1 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593818168944 140595309971374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=726] ppid=571 vsize=28835928 memory=0 CPUtime=107.15 cores=0-7 /proc/574/task/726/stat : 726 (java) R 571 571 27783 0 -1 4202560 3474 0 0 0 10712 3 0 0 20 0 28 0 446891040 29527990272 170622 33554432000 4194304 4196468 140723827877072 140593816059360 140595302601615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 907 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 683936 KiB [startup+115.201 s]* /proc/loadavg: 8.15 8.10 8.14 9/221 732 /proc/meminfo: memFree=29683172/32770624 swapFree=66917056/67108860 [pid=571] ppid=563 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/571/stat : 571 (xcsp3-exec) S 563 571 27783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446890418 115843072 362 33554432000 4194304 5098028 140735921406480 140735921404584 139799755633276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22716416 140735921415036 140735921415278 140735921415278 140735921418186 0 /proc/571/statm: 28282 362 304 221 0 87 0 [pid=574] ppid=571 vsize=28835928 memory=679924 CPUtime=908.62 cores=0-7 /proc/574/stat : 574 (java) S 571 571 27783 0 -1 1077944320 71534 0 0 0 90780 82 0 0 20 0 28 0 446890418 29527990272 169981 33554432000 4194304 4196468 140723827877072 140723827859616 140595709476599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 /proc/574/statm: 7208982 169981 3530 1 0 7170082 0 [pid=574/tid=575] ppid=571 vsize=28835928 memory=1398720917958146503 CPUtime=0.74 cores=0-7 /proc/574/task/575/stat : 575 (java) S 571 571 27783 0 -1 1077944384 9428 0 0 0 70 4 0 0 20 0 28 0 446890418 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595713717376 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=576] ppid=571 vsize=28835928 memory=0 CPUtime=0.38 cores=0-7 /proc/574/task/576/stat : 576 (java) S 571 571 27783 0 -1 1077944384 1111 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595629328784 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=577] ppid=571 vsize=28835928 memory=-1 CPUtime=0.38 cores=0-7 /proc/574/task/577/stat : 577 (java) S 571 571 27783 0 -1 1077944384 1991 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595628275984 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=578] ppid=571 vsize=28835928 memory=-1 CPUtime=0.38 cores=0-7 /proc/574/task/578/stat : 578 (java) S 571 571 27783 0 -1 1077944384 738 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595627223696 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=579] ppid=571 vsize=28835928 memory=-1 CPUtime=0.37 cores=0-7 /proc/574/task/579/stat : 579 (java) S 571 571 27783 0 -1 1077944384 2068 0 0 0 33 4 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595626170896 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=580] ppid=571 vsize=28835928 memory=0 CPUtime=0.39 cores=0-7 /proc/574/task/580/stat : 580 (java) S 571 571 27783 0 -1 1077944384 1759 0 0 0 35 4 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595625118608 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=581] ppid=571 vsize=28835928 memory=-1 CPUtime=0.39 cores=0-7 /proc/574/task/581/stat : 581 (java) S 571 571 27783 0 -1 1077944384 1017 0 0 0 34 5 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595624065808 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=582] ppid=571 vsize=28835928 memory=0 CPUtime=0.38 cores=0-7 /proc/574/task/582/stat : 582 (java) S 571 571 27783 0 -1 1077944384 1318 0 0 0 33 5 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595623013520 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=583] ppid=571 vsize=28835928 memory=0 CPUtime=0.38 cores=0-7 /proc/574/task/583/stat : 583 (java) S 571 571 27783 0 -1 1077944384 1365 0 0 0 34 4 0 0 20 0 28 0 446890419 29527990272 169981 33554432000 4194304 4196468 140723827877072 140595621960720 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=584] ppid=571 vsize=28835928 memory=0 CPUtime=0.28 cores=0-7 /proc/574/task/584/stat : 584 (java) S 571 571 27783 0 -1 1077944384 3636 0 0 0 24 4 0 0 20 0 28 0 446890421 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594691274864 140595709487746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=585] ppid=571 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/574/task/585/stat : 585 (java) S 571 571 27783 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446890421 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594690220832 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=586] ppid=571 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/574/task/586/stat : 586 (java) S 571 571 27783 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446890421 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594689168496 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=591] ppid=571 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/574/task/591/stat : 591 (java) S 571 571 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594688116816 140595709495195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=597] ppid=571 vsize=28835928 memory=0 CPUtime=1.14 cores=0-7 /proc/574/task/597/stat : 597 (java) S 571 571 27783 0 -1 1077944384 5430 0 0 0 113 1 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594687064688 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=598] ppid=571 vsize=28835928 memory=0 CPUtime=1.35 cores=0-7 /proc/574/task/598/stat : 598 (java) S 571 571 27783 0 -1 1077944384 5378 0 0 0 134 1 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594686011888 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=599] ppid=571 vsize=28835928 memory=0 CPUtime=1.35 cores=0-7 /proc/574/task/599/stat : 599 (java) S 571 571 27783 0 -1 1077944384 5853 0 0 0 133 2 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594684959600 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=601] ppid=571 vsize=28835928 memory=0 CPUtime=0.72 cores=0-7 /proc/574/task/601/stat : 601 (java) S 571 571 27783 0 -1 1077944384 5983 0 0 0 70 2 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594683906800 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=602] ppid=571 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/574/task/602/stat : 602 (java) S 571 571 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594682853728 140595709486805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=603] ppid=571 vsize=28835928 memory=-1 CPUtime=0.03 cores=0-7 /proc/574/task/603/stat : 603 (java) S 571 571 27783 0 -1 1077944384 1020 0 0 0 0 3 0 0 20 0 28 0 446890424 29527990272 169981 33554432000 4194304 4196468 140723827877072 140594681801008 140595709487746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=719] ppid=571 vsize=28835928 memory=-1 CPUtime=107.76 cores=0-7 /proc/574/task/719/stat : 719 (java) R 571 571 27783 0 -1 4202560 1146 0 0 0 10775 1 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593817111872 140595693815475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=720] ppid=571 vsize=28835928 memory=0 CPUtime=107.57 cores=0-7 /proc/574/task/720/stat : 720 (java) R 571 571 27783 0 -1 4202560 1195 0 0 0 10756 1 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593819221680 140595307808600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=721] ppid=571 vsize=28835928 memory=0 CPUtime=107.75 cores=0-7 /proc/574/task/721/stat : 721 (java) R 571 571 27783 0 -1 4202560 1147 0 0 0 10774 1 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593500865336 140595307235156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=722] ppid=571 vsize=28835928 memory=0 CPUtime=107.5 cores=0-7 /proc/574/task/722/stat : 722 (java) R 571 571 27783 0 -1 4202560 6116 0 0 0 10747 3 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593815010192 140595307808479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=723] ppid=571 vsize=28835928 memory=0 CPUtime=107.45 cores=0-7 /proc/574/task/723/stat : 723 (java) R 571 571 27783 0 -1 4202560 2467 0 0 0 10743 2 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593499812144 140595304958519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=724] ppid=571 vsize=28835928 memory=0 CPUtime=107.36 cores=0-7 /proc/574/task/724/stat : 724 (java) R 571 571 27783 0 -1 4202560 2391 0 0 0 10735 1 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593811853624 140595309889128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=725] ppid=571 vsize=28835928 memory=0 CPUtime=107.33 cores=0-7 /proc/574/task/725/stat : 725 (java) R 571 571 27783 0 -1 4202560 1145 0 0 0 10732 1 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593818165704 140595307807081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 [pid=574/tid=726] ppid=571 vsize=28835928 memory=0 CPUtime=107.35 cores=0-7 /proc/574/task/726/stat : 726 (java) R 571 571 27783 0 -1 4202560 3474 0 0 0 10732 3 0 0 20 0 28 0 446891040 29527990272 169981 33554432000 4194304 4196468 140723827877072 140593816063568 140595307851951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11968512 140723827880944 140723827881115 140723827881115 140723827883983 0 Current children cumulated CPU time: 908.62 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 681372 KiB Child status: 0 Real time (s): 115.227 CPU time (s): 908.694 CPU user time (s): 907.852 CPU system time (s): 0.842256 CPU usage (%): 788.612 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 690984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 907.852 system time used= 0.842256 maximum resident set size= 692108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73271 page faults= 0 swaps= 0 block input operations= 0 block output operations= 280 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28906 involuntary context switches= 11702 # summary of solver processes directly reported to runsolver: # pid: 571 # total CPU time (s): 908.694 # total CPU user time (s): 907.852 # total CPU system time (s): 0.842256 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06326 second user time and 1.36625 second system time The end
Begin job on node147 at 2019-09-17 10:42:02 IDJOB=4400180 IDBENCH=116014 IDSOLVER=2855 FILE ID=node147/4400180-1568709766 RUNJOBID= node147-1568700717-27810 PBS_JOBID= 21703903 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-07-10.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 /tmp/evaluation-result-4400180-1568709766/watcher-4400180-1568709766 -o /tmp/evaluation-result-4400180-1568709766/solver-4400180-1568709766 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 822372530 HOME/instance-4400180-1568709766.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ebe39bf25244fda615bb1bf8fe88192a RANDOM SEED=822372530 node147.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.52 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.52 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.52 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.52 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: 30350680 kB MemAvailable: 31802636 kB Buffers: 113788 kB Cached: 1630104 kB SwapCached: 87660 kB Active: 939104 kB Inactive: 896312 kB Active(anon): 7256 kB Inactive(anon): 133772 kB Active(file): 931848 kB Inactive(file): 762540 kB Unevictable: 108644 kB Mlocked: 108644 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 25956 kB Writeback: 0 kB AnonPages: 123652 kB Mapped: 48740 kB Shmem: 40920 kB Slab: 176016 kB SReclaimable: 146808 kB SUnreclaim: 29208 kB KernelStack: 3744 kB PageTables: 5540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-17 10:43:58