Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 39 | 973.527 | 123.539 |
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.2202 |
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-4404680-1568994486.xml" -tl '20160s' -p 8 0.12/0.20 c Choco 3fb4b153 0.12/0.20 c [HOME/instance-4404680-1568994486.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 2.03/0.82 c solve instance... 2.03/0.89 o 0 2.63/0.90 o 6 2.63/0.92 o 8 2.63/0.92 o 10 2.63/0.94 o 33 2.63/0.98 o 34 3.36/1.10 o 35 5.66/1.37 o 36 8.02/1.62 o 37 18.25/2.95 o 38 35.70/5.11 o 39 973.35/123.52 s OPTIMUM FOUND 973.35/123.52 v <instantiation> 973.35/123.52 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> 973.35/123.52 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 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 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 5 5 5 5 5 3 5 5 4 3 3 4 3 3 5 3 5 3 2 3 3 4 3 3 4 2 3 4 2 </values> 973.35/123.52 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: 16375 MiB (15481 MiB free) memory of node 1: 16384 MiB (9001 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404680-1568994486/watcher-4404680-1568994486 -o /tmp/evaluation-result-4404680-1568994486/solver-4404680-1568994486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568994319-3780 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1319210675 HOME/instance-4404680-1568994486.xml running on 8 cores: 0-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=4717, runsolver pid=4714 Current StackSize limit: 8192 KiB [startup+0.100117 s]* /proc/loadavg: 6.93 7.01 7.24 3/212 4738 /proc/meminfo: memFree=25052612/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28227396 memory=30040 CPUtime=0.12 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 5974 0 0 0 11 1 0 0 20 0 20 0 475390226 28904853504 7510 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7056849 7510 3123 1 0 7019032 0 [pid=4719/tid=4720] ppid=4717 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) R 4717 4717 3753 0 -1 4202560 3876 0 0 0 8 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962307831512 139962303622550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28227396 memory=140355063785088 CPUtime=0 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4724] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4724/stat : 4724 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962253073040 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4725] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4725/stat : 4725 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962252020496 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4726] ppid=4717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4726/stat : 4726 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962250967952 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4727] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4727/stat : 4727 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962249915408 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4728] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4728/stat : 4728 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 7510 33554432000 4194304 4196468 140725398600448 139962248862864 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4729] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4729/stat : 4729 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390229 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960700090352 139962303621762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4730] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4730/stat : 4730 (java) S 4717 4717 3753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475390230 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960699036576 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4731] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4731/stat : 4731 (java) S 4717 4717 3753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475390230 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960697983984 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4732] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4732/stat : 4732 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960696932560 139962303629211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4733] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4733/stat : 4733 (java) S 4717 4717 3753 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960695880176 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4734] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4734/stat : 4734 (java) S 4717 4717 3753 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960694827632 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4735] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4735/stat : 4735 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960693775088 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4736] ppid=4717 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) S 4717 4717 3753 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960692722544 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 7510 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31496 KiB [startup+0.211352 s]* /proc/loadavg: 6.93 7.01 7.24 3/212 4738 /proc/meminfo: memFree=25039552/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28227396 memory=41016 CPUtime=0.33 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 9466 0 0 0 31 2 0 0 20 0 20 0 475390226 28904853504 10254 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7056849 10254 3286 1 0 7019032 0 [pid=4719/tid=4720] ppid=4717 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) R 4717 4717 3753 0 -1 4202560 6674 0 0 0 18 1 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962307846096 139962303622550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28227396 memory=140355067227912 CPUtime=0 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4724] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4724/stat : 4724 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962253073040 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4725] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4725/stat : 4725 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962252020496 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4726] ppid=4717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4726/stat : 4726 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962250967952 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4727] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4727/stat : 4727 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962249915408 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4728] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4728/stat : 4728 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28904853504 10254 33554432000 4194304 4196468 140725398600448 139962248862864 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4729] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4729/stat : 4729 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390229 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960700090352 139962303621762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4730] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4730/stat : 4730 (java) S 4717 4717 3753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475390230 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960699036576 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4731] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4731/stat : 4731 (java) S 4717 4717 3753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475390230 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960697983984 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4732] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4732/stat : 4732 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960696932560 139962303629211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4733] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4733/stat : 4733 (java) S 4717 4717 3753 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960695880176 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4734] ppid=4717 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4719/task/4734/stat : 4734 (java) S 4717 4717 3753 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960694827632 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4735] ppid=4717 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/4719/task/4735/stat : 4735 (java) S 4717 4717 3753 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960693775088 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4736] ppid=4717 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) R 4717 4717 3753 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960692722544 139962303622550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28904853504 10254 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42472 KiB [startup+0.310644 s]* /proc/loadavg: 6.93 7.01 7.24 2/212 4738 /proc/meminfo: memFree=25035084/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28231652 memory=46996 CPUtime=0.51 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 10551 0 0 0 48 3 0 0 20 0 20 0 475390226 28909211648 11749 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7057913 11749 3336 1 0 7019032 0 [pid=4719/tid=4720] ppid=4717 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) R 4717 4717 3753 0 -1 4202560 7614 0 0 0 27 2 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962307847840 139962287691102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4724] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4724/stat : 4724 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962253073040 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4725] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4725/stat : 4725 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962252020496 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4726] ppid=4717 vsize=28231652 memory=140354900814511 CPUtime=0 cores=0-7 /proc/4719/task/4726/stat : 4726 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962250967952 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4727] ppid=4717 vsize=28231652 memory=140354900816816 CPUtime=0 cores=0-7 /proc/4719/task/4727/stat : 4727 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962249915408 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4728] ppid=4717 vsize=28231652 memory=140354900819120 CPUtime=0 cores=0-7 /proc/4719/task/4728/stat : 4728 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28909211648 11749 33554432000 4194304 4196468 140725398600448 139962248862864 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4729] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4729/stat : 4729 (java) S 4717 4717 3753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475390229 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960700090352 139962303621762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4730] ppid=4717 vsize=28231652 memory=280709801652112 CPUtime=0 cores=0-7 /proc/4719/task/4730/stat : 4730 (java) S 4717 4717 3753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475390230 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960699036576 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4731] ppid=4717 vsize=28231652 memory=280709801649808 CPUtime=0 cores=0-7 /proc/4719/task/4731/stat : 4731 (java) S 4717 4717 3753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475390230 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960697983984 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4732] ppid=4717 vsize=28231652 memory=280709801656720 CPUtime=0 cores=0-7 /proc/4719/task/4732/stat : 4732 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960696932560 139962303629211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4733] ppid=4717 vsize=28231652 memory=280709801597968 CPUtime=0.01 cores=0-7 /proc/4719/task/4733/stat : 4733 (java) S 4717 4717 3753 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960695880176 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4734] ppid=4717 vsize=28231652 memory=280709801670544 CPUtime=0.03 cores=0-7 /proc/4719/task/4734/stat : 4734 (java) S 4717 4717 3753 0 -1 1077944384 361 0 0 0 3 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960694827632 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4735] ppid=4717 vsize=28231652 memory=280709801677456 CPUtime=0.02 cores=0-7 /proc/4719/task/4735/stat : 4735 (java) S 4717 4717 3753 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960693775088 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4736] ppid=4717 vsize=28231652 memory=280709801675152 CPUtime=0.12 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) S 4717 4717 3753 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960692722544 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475390233 28909211648 11749 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48452 KiB [startup+0.700922 s] /proc/loadavg: 6.93 7.01 7.24 4/212 4738 /proc/meminfo: memFree=25026764/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28233776 memory=80420 CPUtime=1.54 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 14779 0 0 0 148 6 0 0 20 0 20 0 475390226 28911386624 20105 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7058444 20105 3452 1 0 7019544 0 [pid=4719/tid=4720] ppid=4717 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) R 4717 4717 3753 0 -1 4202560 9268 0 0 0 64 3 0 0 20 0 20 0 475390227 28911386624 20105 33554432000 4194304 4196468 140725398600448 139962307847104 139962287691102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28233776 memory=140354901025648 CPUtime=0 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475390227 28911386624 20105 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28911386624 20105 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475390227 28911386624 20105 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 ################ # More data... # ################ [pid=4719/tid=4736] ppid=4717 vsize=28768336 memory=1928 CPUtime=0.79 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) S 4717 4717 3753 0 -1 1077944384 7854 0 0 0 78 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960692722544 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28768336 memory=2424 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28768336 memory=1756 CPUtime=0.02 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1997 0 0 0 1 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4827] ppid=4717 vsize=28768336 memory=111636 CPUtime=116.67 cores=0-7 /proc/4719/task/4827/stat : 4827 (java) R 4717 4717 3753 0 -1 4202560 2367 0 0 0 11666 1 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960679529664 139961931409400 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4828] ppid=4717 vsize=28768336 memory=800 CPUtime=116.46 cores=0-7 /proc/4719/task/4828/stat : 4828 (java) R 4717 4717 3753 0 -1 4202560 2397 0 0 0 11646 0 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960674267848 139961934414668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4829] ppid=4717 vsize=28768336 memory=3516 CPUtime=116.57 cores=0-7 /proc/4719/task/4829/stat : 4829 (java) R 4717 4717 3753 0 -1 4202560 2314 0 0 0 11655 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960677425856 139961934414648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4830] ppid=4717 vsize=28768336 memory=1056 CPUtime=116.34 cores=0-7 /proc/4719/task/4830/stat : 4830 (java) R 4717 4717 3753 0 -1 4202560 14197 0 0 0 11629 5 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960675323008 139961935250197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4831] ppid=4717 vsize=28768336 memory=2832 CPUtime=115.96 cores=0-7 /proc/4719/task/4831/stat : 4831 (java) R 4717 4717 3753 0 -1 4202560 7000 0 0 0 11594 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960678478128 139961934413500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4832] ppid=4717 vsize=28768336 memory=1564 CPUtime=116.08 cores=0-7 /proc/4719/task/4832/stat : 4832 (java) R 4717 4717 3753 0 -1 4202560 5421 0 0 0 11605 3 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960680584248 139961934838180 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4833] ppid=4717 vsize=28768336 memory=8356 CPUtime=116.41 cores=0-7 /proc/4719/task/4833/stat : 4833 (java) R 4717 4717 3753 0 -1 4202560 2069 0 0 0 11640 1 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960681635984 139961934414108 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4834] ppid=4717 vsize=28768336 memory=13692 CPUtime=116.34 cores=0-7 /proc/4719/task/4834/stat : 4834 (java) R 4717 4717 3753 0 -1 4202560 15037 0 0 0 11629 5 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960676372792 139961933626752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 970.95 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 649584 KiB [startup+123.402 s] /proc/loadavg: 7.83 7.31 7.32 9/219 4840 /proc/meminfo: memFree=24432500/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28768336 memory=648128 CPUtime=972.55 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 128007 0 0 0 97162 93 0 0 20 0 28 0 475390226 29458776064 162032 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7192084 162032 3536 1 0 7153184 0 [pid=4719/tid=4720] ppid=4717 vsize=28768336 memory=646992 CPUtime=0.82 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) S 4717 4717 3753 0 -1 1077944384 9539 0 0 0 78 4 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962307851392 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28768336 memory=1552 CPUtime=0.45 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 2227 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28768336 memory=780 CPUtime=0.45 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 1559 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28768336 memory=1444 CPUtime=0.43 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2988 0 0 0 38 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4724] ppid=4717 vsize=28768336 memory=1928 CPUtime=0.46 cores=0-7 /proc/4719/task/4724/stat : 4724 (java) S 4717 4717 3753 0 -1 1077944384 2930 0 0 0 40 6 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962253073040 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4725] ppid=4717 vsize=28768336 memory=2424 CPUtime=0.44 cores=0-7 /proc/4719/task/4725/stat : 4725 (java) S 4717 4717 3753 0 -1 1077944384 1894 0 0 0 39 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962252020496 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4726] ppid=4717 vsize=28768336 memory=14068 CPUtime=0.43 cores=0-7 /proc/4719/task/4726/stat : 4726 (java) S 4717 4717 3753 0 -1 1077944384 2895 0 0 0 38 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962250967952 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4727] ppid=4717 vsize=28768336 memory=2120 CPUtime=0.44 cores=0-7 /proc/4719/task/4727/stat : 4727 (java) S 4717 4717 3753 0 -1 1077944384 2291 0 0 0 39 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962249915408 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4728] ppid=4717 vsize=28768336 memory=496 CPUtime=0.45 cores=0-7 /proc/4719/task/4728/stat : 4728 (java) S 4717 4717 3753 0 -1 1077944384 1883 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962248862864 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4729] ppid=4717 vsize=28768336 memory=1556 CPUtime=0.35 cores=0-7 /proc/4719/task/4729/stat : 4729 (java) S 4717 4717 3753 0 -1 1077944384 6469 0 0 0 28 7 0 0 20 0 28 0 475390229 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960700090352 139962303621762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4730] ppid=4717 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/4719/task/4730/stat : 4730 (java) S 4717 4717 3753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475390230 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960699036640 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4731] ppid=4717 vsize=28768336 memory=2948 CPUtime=0 cores=0-7 /proc/4719/task/4731/stat : 4731 (java) S 4717 4717 3753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 475390230 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960697983984 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4732] ppid=4717 vsize=28768336 memory=1552 CPUtime=0 cores=0-7 /proc/4719/task/4732/stat : 4732 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960696932560 139962303629211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4733] ppid=4717 vsize=28768336 memory=1804 CPUtime=1.32 cores=0-7 /proc/4719/task/4733/stat : 4733 (java) S 4717 4717 3753 0 -1 1077944384 8231 0 0 0 130 2 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960695880176 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4734] ppid=4717 vsize=28768336 memory=916 CPUtime=1.6 cores=0-7 /proc/4719/task/4734/stat : 4734 (java) S 4717 4717 3753 0 -1 1077944384 10972 0 0 0 158 2 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960694827632 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4735] ppid=4717 vsize=28768336 memory=4136 CPUtime=1.55 cores=0-7 /proc/4719/task/4735/stat : 4735 (java) S 4717 4717 3753 0 -1 1077944384 9365 0 0 0 154 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960693775088 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4736] ppid=4717 vsize=28768336 memory=1412 CPUtime=0.79 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) S 4717 4717 3753 0 -1 1077944384 7854 0 0 0 78 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960692722544 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28768336 memory=3464 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28768336 memory=1456 CPUtime=0.02 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1997 0 0 0 1 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4827] ppid=4717 vsize=28768336 memory=648636 CPUtime=116.86 cores=0-7 /proc/4719/task/4827/stat : 4827 (java) R 4717 4717 3753 0 -1 4202560 2367 0 0 0 11685 1 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960679529888 139961935883584 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4828] ppid=4717 vsize=28768336 memory=140354901317328 CPUtime=116.66 cores=0-7 /proc/4719/task/4828/stat : 4828 (java) R 4717 4717 3753 0 -1 4202560 2400 0 0 0 11666 0 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960674267568 139961935646287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4829] ppid=4717 vsize=28768336 memory=0 CPUtime=116.76 cores=0-7 /proc/4719/task/4829/stat : 4829 (java) R 4717 4717 3753 0 -1 4202560 2316 0 0 0 11674 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960677425856 139962289315298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4830] ppid=4717 vsize=28768336 memory=1456 CPUtime=116.54 cores=0-7 /proc/4719/task/4830/stat : 4830 (java) R 4717 4717 3753 0 -1 4202560 14227 0 0 0 11648 6 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960675322896 139961934580022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4831] ppid=4717 vsize=28768336 memory=646992 CPUtime=116.16 cores=0-7 /proc/4719/task/4831/stat : 4831 (java) R 4717 4717 3753 0 -1 4202560 7003 0 0 0 11614 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960678477936 139961931409886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4832] ppid=4717 vsize=28768336 memory=984 CPUtime=116.27 cores=0-7 /proc/4719/task/4832/stat : 4832 (java) R 4717 4717 3753 0 -1 4202560 5428 0 0 0 11624 3 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960680584344 139961935251046 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4833] ppid=4717 vsize=28768336 memory=2044 CPUtime=116.61 cores=0-7 /proc/4719/task/4833/stat : 4833 (java) R 4717 4717 3753 0 -1 4202560 2069 0 0 0 11660 1 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960681636024 139961934414442 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4834] ppid=4717 vsize=28768336 memory=1388 CPUtime=116.54 cores=0-7 /proc/4719/task/4834/stat : 4834 (java) R 4717 4717 3753 0 -1 4202560 15046 0 0 0 11649 5 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960676372280 139961931409404 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 972.55 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 649584 KiB [startup+123.502 s] /proc/loadavg: 7.83 7.31 7.32 9/219 4840 /proc/meminfo: memFree=24432500/32770688 swapFree=67003208/67108860 [pid=4717] ppid=4714 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4717/stat : 4717 (xcsp3-exec) S 4714 4717 3753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475390226 115843072 364 33554432000 4194304 5098028 140721115359504 140721115357608 140307590165116 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23306240 140721115362165 140721115362409 140721115362409 140721115365322 0 /proc/4717/statm: 28282 364 305 221 0 87 0 [pid=4719] ppid=4717 vsize=28768336 memory=648128 CPUtime=973.35 cores=0-7 /proc/4719/stat : 4719 (java) S 4717 4717 3753 0 -1 1077944320 128007 0 0 0 97242 93 0 0 20 0 28 0 475390226 29458776064 162032 33554432000 4194304 4196468 140725398600448 140725398582992 139962303610615 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 /proc/4719/statm: 7192084 162032 3536 1 0 7153184 0 [pid=4719/tid=4720] ppid=4717 vsize=28768336 memory=648128 CPUtime=0.82 cores=0-7 /proc/4719/task/4720/stat : 4720 (java) S 4717 4717 3753 0 -1 1077944384 9539 0 0 0 78 4 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962307851392 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4721] ppid=4717 vsize=28768336 memory=1456 CPUtime=0.45 cores=0-7 /proc/4719/task/4721/stat : 4721 (java) S 4717 4717 3753 0 -1 1077944384 2227 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962256230672 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4722] ppid=4717 vsize=28768336 memory=27132 CPUtime=0.45 cores=0-7 /proc/4719/task/4722/stat : 4722 (java) S 4717 4717 3753 0 -1 1077944384 1559 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962255178128 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4723] ppid=4717 vsize=28768336 memory=3580 CPUtime=0.43 cores=0-7 /proc/4719/task/4723/stat : 4723 (java) S 4717 4717 3753 0 -1 1077944384 2988 0 0 0 38 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962254125584 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4724] ppid=4717 vsize=28768336 memory=1056 CPUtime=0.46 cores=0-7 /proc/4719/task/4724/stat : 4724 (java) S 4717 4717 3753 0 -1 1077944384 2930 0 0 0 40 6 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962253073040 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4725] ppid=4717 vsize=28768336 memory=648128 CPUtime=0.44 cores=0-7 /proc/4719/task/4725/stat : 4725 (java) S 4717 4717 3753 0 -1 1077944384 1894 0 0 0 39 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962252020496 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4726] ppid=4717 vsize=28768336 memory=1756 CPUtime=0.43 cores=0-7 /proc/4719/task/4726/stat : 4726 (java) S 4717 4717 3753 0 -1 1077944384 2895 0 0 0 38 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962250967952 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4727] ppid=4717 vsize=28768336 memory=111636 CPUtime=0.44 cores=0-7 /proc/4719/task/4727/stat : 4727 (java) S 4717 4717 3753 0 -1 1077944384 2291 0 0 0 39 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962249915408 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4728] ppid=4717 vsize=28768336 memory=1264 CPUtime=0.45 cores=0-7 /proc/4719/task/4728/stat : 4728 (java) S 4717 4717 3753 0 -1 1077944384 1883 0 0 0 40 5 0 0 20 0 28 0 475390227 29458776064 162032 33554432000 4194304 4196468 140725398600448 139962248862864 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4729] ppid=4717 vsize=28768336 memory=5180 CPUtime=0.35 cores=0-7 /proc/4719/task/4729/stat : 4729 (java) S 4717 4717 3753 0 -1 1077944384 6469 0 0 0 28 7 0 0 20 0 28 0 475390229 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960700090352 139962303621762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4730] ppid=4717 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4719/task/4730/stat : 4730 (java) S 4717 4717 3753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475390230 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960699036640 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4731] ppid=4717 vsize=28768336 memory=621324 CPUtime=0 cores=0-7 /proc/4719/task/4731/stat : 4731 (java) S 4717 4717 3753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 475390230 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960697983984 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4732] ppid=4717 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4719/task/4732/stat : 4732 (java) S 4717 4717 3753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960696932560 139962303629211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4733] ppid=4717 vsize=28768336 memory=404384 CPUtime=1.32 cores=0-7 /proc/4719/task/4733/stat : 4733 (java) S 4717 4717 3753 0 -1 1077944384 8231 0 0 0 130 2 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960695880176 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4734] ppid=4717 vsize=28768336 memory=1456 CPUtime=1.6 cores=0-7 /proc/4719/task/4734/stat : 4734 (java) S 4717 4717 3753 0 -1 1077944384 10972 0 0 0 158 2 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960694827632 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4735] ppid=4717 vsize=28768336 memory=634164 CPUtime=1.55 cores=0-7 /proc/4719/task/4735/stat : 4735 (java) S 4717 4717 3753 0 -1 1077944384 9365 0 0 0 154 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960693775088 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4736] ppid=4717 vsize=28768336 memory=1456 CPUtime=0.79 cores=0-7 /proc/4719/task/4736/stat : 4736 (java) S 4717 4717 3753 0 -1 1077944384 7854 0 0 0 78 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960692722544 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4737] ppid=4717 vsize=28768336 memory=321584 CPUtime=0 cores=0-7 /proc/4719/task/4737/stat : 4737 (java) S 4717 4717 3753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960691669216 139962303620821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4738] ppid=4717 vsize=28768336 memory=496 CPUtime=0.02 cores=0-7 /proc/4719/task/4738/stat : 4738 (java) S 4717 4717 3753 0 -1 1077944384 1997 0 0 0 1 1 0 0 20 0 28 0 475390233 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960690616752 139962303621762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4827] ppid=4717 vsize=28768336 memory=1556 CPUtime=116.96 cores=0-7 /proc/4719/task/4827/stat : 4827 (java) R 4717 4717 3753 0 -1 4202560 2367 0 0 0 11695 1 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960679533264 139961934413338 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4828] ppid=4717 vsize=28768336 memory=164 CPUtime=116.76 cores=0-7 /proc/4719/task/4828/stat : 4828 (java) R 4717 4717 3753 0 -1 4202560 2400 0 0 0 11676 0 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960674267704 139961935132832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4829] ppid=4717 vsize=28768336 memory=7881416348602691179 CPUtime=116.86 cores=0-7 /proc/4719/task/4829/stat : 4829 (java) R 4717 4717 3753 0 -1 4202560 2316 0 0 0 11684 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960677425992 139961935464491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4830] ppid=4717 vsize=28768336 memory=1056 CPUtime=116.64 cores=0-7 /proc/4719/task/4830/stat : 4830 (java) R 4717 4717 3753 0 -1 4202560 14227 0 0 0 11658 6 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960675322896 139961935580589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4831] ppid=4717 vsize=28768336 memory=776 CPUtime=116.26 cores=0-7 /proc/4719/task/4831/stat : 4831 (java) R 4717 4717 3753 0 -1 4202560 7003 0 0 0 11624 2 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960678482224 139961931409740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4832] ppid=4717 vsize=28768336 memory=1700 CPUtime=116.37 cores=0-7 /proc/4719/task/4832/stat : 4832 (java) R 4717 4717 3753 0 -1 4202560 5428 0 0 0 11634 3 0 0 20 0 28 0 475390737 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960680587632 139961933641395 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4833] ppid=4717 vsize=28768336 memory=776 CPUtime=116.71 cores=0-7 /proc/4719/task/4833/stat : 4833 (java) R 4717 4717 3753 0 -1 4202560 2069 0 0 0 11670 1 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960681636024 139961929143744 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 [pid=4719/tid=4834] ppid=4717 vsize=28768336 memory=1700 CPUtime=116.64 cores=0-7 /proc/4719/task/4834/stat : 4834 (java) R 4717 4717 3753 0 -1 4202560 15046 0 0 0 11659 5 0 0 20 0 28 0 475390738 29458776064 162032 33554432000 4194304 4196468 140725398600448 139960676372280 139961935883584 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9003008 140725398606826 140725398606998 140725398606998 140725398609871 0 Current children cumulated CPU time: 973.35 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 649584 KiB Child status: 0 Real time (s): 123.539 CPU time (s): 973.527 CPU user time (s): 972.577 CPU system time (s): 0.949887 CPU usage (%): 788.03 Max. virtual memory (cumulated for all children) (KiB): 28883560 Max. memory (cumulated for all children) (KiB): 650092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 972.577 system time used= 0.949887 maximum resident set size= 648640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130011 page faults= 0 swaps= 0 block input operations= 0 block output operations= 640 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33308 involuntary context switches= 12687 # summary of solver processes directly reported to runsolver: # pid: 4717 # total CPU time (s): 973.527 # total CPU user time (s): 972.577 # total CPU system time (s): 0.949887 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.23304 second user time and 1.4581 second system time The end
Begin job on node116 at 2019-09-20 17:47:24 IDJOB=4404680 IDBENCH=116014 IDSOLVER=2865 FILE ID=node116/4404680-1568994486 RUNJOBID= node116-1568994319-3780 PBS_JOBID= 21704721 Free space on /tmp= 6280 MiB SOLVER NAME= choco-solver 2019-09-20 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-4404680-1568994486/watcher-4404680-1568994486 -o /tmp/evaluation-result-4404680-1568994486/solver-4404680-1568994486 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568994319-3780 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1319210675 HOME/instance-4404680-1568994486.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ebe39bf25244fda615bb1bf8fe88192a RANDOM SEED=1319210675 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25071708 kB MemAvailable: 31849924 kB Buffers: 39024 kB Cached: 6903528 kB SwapCached: 2392 kB Active: 3468036 kB Inactive: 3481564 kB Active(anon): 9084 kB Inactive(anon): 45612 kB Active(file): 3458952 kB Inactive(file): 3435952 kB Unevictable: 108636 kB Mlocked: 108636 kB SwapTotal: 67108860 kB SwapFree: 67003208 kB Dirty: 25880 kB Writeback: 388 kB AnonPages: 113832 kB Mapped: 47952 kB Shmem: 39132 kB Slab: 341344 kB SReclaimable: 311772 kB SUnreclaim: 29572 kB KernelStack: 3344 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 505796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6256 MiB End job on node116 at 2019-09-20 17:49:28