Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 3 | 183.188 | 23.5377 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4n.xml |
MD5SUM | ff46b38b3e2da44b02be81a37c246a0d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 8.29703 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 127 |
Number of constraints | 87 |
Number of domains | 2 |
Minimum domain size | 40 |
Maximum domain size | 43 |
Distribution of domain sizes | [{"size":40,"count":126},{"size":43,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":84},{"degree":5,"count":42}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 126 |
Distribution of constraint arities | [{"arity":3,"count":84},{"arity":43,"count":1},{"arity":126,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":42},{"type":"lex","count":1},{"type":"sum","count":42},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400242-1568711702.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400242-1568711702.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.35/0.64 c solve instance... 11.38/2.01 o 0 12.19/2.10 o 1 12.96/2.15 o 2 17.57/2.76 o 3 182.96/23.52 s OPTIMUM FOUND 182.96/23.52 v <instantiation> 182.96/23.52 v <list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] </list> 182.96/23.52 v <values>3 99 0 0 97 0 0 97 0 0 96 0 0 96 0 0 95 0 0 94 0 0 93 0 0 92 0 0 90 0 0 86 0 0 85 0 0 85 0 0 84 0 0 82 0 0 82 0 0 82 0 0 80 0 0 79 0 0 75 0 0 73 0 0 72 0 0 72 0 0 71 0 0 70 0 0 69 0 0 69 0 0 68 32 0 68 0 0 66 31 0 65 31 0 63 31 0 61 34 0 60 36 0 57 39 0 55 41 0 53 41 0 49 48 0 47 44 0 0 0 0 0 0 0 0 0 0 </values> 182.96/23.52 v </instantiation>
OK 3
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 (15321 MiB free) memory of node 1: 16384 MiB (13323 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400242-1568711702/watcher-4400242-1568711702 -o /tmp/evaluation-result-4400242-1568711702/solver-4400242-1568711702 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1655823776 HOME/instance-4400242-1568711702.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 solver pid=14892, runsolver pid=14889 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 8.64 8.29 8.07 2/212 14913 /proc/meminfo: memFree=29316228/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28227396 memory=29060 CPUtime=0.12 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 447106652 28904853504 7265 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7056849 7265 3155 1 0 7019032 0 [pid=14894/tid=14895] ppid=14892 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) R 14892 14892 7356 0 -1 4202560 3613 0 0 0 9 0 0 0 20 0 20 0 447106653 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063774519872 140063396671351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28227396 memory=139931665086080 CPUtime=0 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14899] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14899/stat : 14899 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063719746064 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14900] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14900/stat : 14900 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063718693776 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14901] ppid=14892 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14901/stat : 14901 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063717640976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14902] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14902/stat : 14902 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063716588688 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14903] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14903/stat : 14903 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 7265 33554432000 4194304 4196468 140723711005888 140063314664464 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14904] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14904/stat : 14904 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106655 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062953728112 140063770294914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14905] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14905/stat : 14905 (java) S 14892 14892 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447106656 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062952674080 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14906] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14906/stat : 14906 (java) S 14892 14892 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447106656 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062951621744 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14907] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14907/stat : 14907 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062950570064 140063770302363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14908] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14908/stat : 14908 (java) R 14892 14892 7356 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062949517936 140063770294914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14909] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14909/stat : 14909 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062948465136 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14910] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14910/stat : 14910 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062947412944 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14911] ppid=14892 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) R 14892 14892 7356 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062946360048 140063754364254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106659 28904853504 7265 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30508 KiB [startup+0.210749 s]* /proc/loadavg: 8.64 8.29 8.07 3/212 14913 /proc/meminfo: memFree=29304352/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28227396 memory=40832 CPUtime=0.33 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 9517 0 0 0 31 2 0 0 20 0 20 0 447106652 28904853504 10208 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7056849 10208 3251 1 0 7019032 0 [pid=14894/tid=14895] ppid=14892 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) R 14892 14892 7356 0 -1 4202560 6651 0 0 0 18 1 0 0 20 0 20 0 447106653 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063774509888 140063770295702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28227396 memory=139931665098083 CPUtime=0 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14899] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14899/stat : 14899 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063719746064 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14900] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14900/stat : 14900 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063718693776 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14901] ppid=14892 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14901/stat : 14901 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063717640976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14902] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14902/stat : 14902 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063716588688 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14903] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14903/stat : 14903 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28904853504 10208 33554432000 4194304 4196468 140723711005888 140063314664464 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14904] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14904/stat : 14904 (java) S 14892 14892 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447106655 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062953728112 140063770294914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14905] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14905/stat : 14905 (java) S 14892 14892 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447106656 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062952674080 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14906] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14906/stat : 14906 (java) S 14892 14892 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447106656 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062951621744 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14907] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14907/stat : 14907 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062950570064 140063770302363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14908] ppid=14892 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14894/task/14908/stat : 14908 (java) S 14892 14892 7356 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062949517936 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14909] ppid=14892 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14894/task/14909/stat : 14909 (java) S 14892 14892 7356 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062948465136 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14910] ppid=14892 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/14894/task/14910/stat : 14910 (java) S 14892 14892 7356 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062947412848 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14911] ppid=14892 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) R 14892 14892 7356 0 -1 4202560 770 0 0 0 8 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062946360048 140063748992113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106658 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106659 28904853504 10208 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42280 KiB [startup+0.319794 s]* /proc/loadavg: 8.64 8.29 8.07 3/212 14913 /proc/meminfo: memFree=29296348/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28231652 memory=50600 CPUtime=0.53 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 11045 0 0 0 50 3 0 0 20 0 20 0 447106652 28909211648 12650 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7057913 12650 3301 1 0 7019032 0 [pid=14894/tid=14895] ppid=14892 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) R 14892 14892 7356 0 -1 4202560 7942 0 0 0 28 2 0 0 20 0 20 0 447106653 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063774513600 140063754364254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14899] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14899/stat : 14899 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063719746064 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14900] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14900/stat : 14900 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063718693776 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14901] ppid=14892 vsize=28231652 memory=139931510991535 CPUtime=0 cores=0-7 /proc/14894/task/14901/stat : 14901 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063717640976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14902] ppid=14892 vsize=28231652 memory=139931510993840 CPUtime=0 cores=0-7 /proc/14894/task/14902/stat : 14902 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063716588688 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14903] ppid=14892 vsize=28231652 memory=139931510996144 CPUtime=0 cores=0-7 /proc/14894/task/14903/stat : 14903 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106654 28909211648 12650 33554432000 4194304 4196468 140723711005888 140063314664464 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14904] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14904/stat : 14904 (java) S 14892 14892 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447106655 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062953728112 140063770294914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14905] ppid=14892 vsize=28231652 memory=279863022006160 CPUtime=0 cores=0-7 /proc/14894/task/14905/stat : 14905 (java) S 14892 14892 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447106656 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062952674080 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14906] ppid=14892 vsize=28231652 memory=279863022003856 CPUtime=0 cores=0-7 /proc/14894/task/14906/stat : 14906 (java) S 14892 14892 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447106656 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062951621744 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14907] ppid=14892 vsize=28231652 memory=279863022010768 CPUtime=0 cores=0-7 /proc/14894/task/14907/stat : 14907 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062950570064 140063770302363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14908] ppid=14892 vsize=28231652 memory=279863021952016 CPUtime=0.02 cores=0-7 /proc/14894/task/14908/stat : 14908 (java) S 14892 14892 7356 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062949517936 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14909] ppid=14892 vsize=28231652 memory=279863022024592 CPUtime=0.02 cores=0-7 /proc/14894/task/14909/stat : 14909 (java) S 14892 14892 7356 0 -1 1077944384 309 0 0 0 2 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062948465136 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14910] ppid=14892 vsize=28231652 memory=279863022031504 CPUtime=0.03 cores=0-7 /proc/14894/task/14910/stat : 14910 (java) S 14892 14892 7356 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062947412848 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14911] ppid=14892 vsize=28231652 memory=279863022029200 CPUtime=0.12 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) S 14892 14892 7356 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062946360048 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447106658 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447106659 28909211648 12650 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52048 KiB [startup+0.701799 s] /proc/loadavg: 8.64 8.29 8.07 6/212 14913 /proc/meminfo: memFree=29282144/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28766288 memory=99400 CPUtime=1.82 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 15140 0 0 0 176 6 0 0 20 0 28 0 447106652 29456678912 24850 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7191572 24850 3453 1 0 7152672 0 [pid=14894/tid=14895] ppid=14892 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) S 14892 14892 7356 0 -1 1077944384 9274 0 0 0 60 3 0 0 20 0 28 0 447106653 29456678912 24850 33554432000 4194304 4196468 140723711005888 140063774524544 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28766288 memory=139931511202672 CPUtime=0 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447106654 29456678912 24850 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447106654 29456678912 24850 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28766288 memory=8024 CPUtime=0 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447106654 29456678912 24850 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 ################ # More data... # ################ [pid=14894/tid=14911] ppid=14892 vsize=28768336 memory=1448 CPUtime=0.7 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) S 14892 14892 7356 0 -1 1077944384 4953 0 0 0 69 1 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062946360048 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28768336 memory=248192 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28768336 memory=1660 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 28 0 447106659 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14946] ppid=14892 vsize=28768336 memory=0 CPUtime=19.93 cores=0-7 /proc/14894/task/14946/stat : 14946 (java) R 14892 14892 7356 0 -1 4202560 200 0 0 0 1993 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062929771088 140063401668810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14947] ppid=14892 vsize=28768336 memory=0 CPUtime=20.19 cores=0-7 /proc/14894/task/14947/stat : 14947 (java) R 14892 14892 7356 0 -1 4202560 245 0 0 0 2019 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062928720296 140063401669047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14948] ppid=14892 vsize=28768336 memory=0 CPUtime=20.19 cores=0-7 /proc/14894/task/14948/stat : 14948 (java) R 14892 14892 7356 0 -1 4202560 173 0 0 0 2019 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062931878184 140063401638241 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14949] ppid=14892 vsize=28768336 memory=2832 CPUtime=19.75 cores=0-7 /proc/14894/task/14949/stat : 14949 (java) R 14892 14892 7356 0 -1 4202560 767 0 0 0 1974 1 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062935035976 140063402753437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14950] ppid=14892 vsize=28768336 memory=8024 CPUtime=19.64 cores=0-7 /proc/14894/task/14950/stat : 14950 (java) R 14892 14892 7356 0 -1 4202560 387 0 0 0 1964 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062933983896 140063401864334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14951] ppid=14892 vsize=28768336 memory=10428 CPUtime=19.96 cores=0-7 /proc/14894/task/14951/stat : 14951 (java) R 14892 14892 7356 0 -1 4202560 341 0 0 0 1996 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062930826152 140063402753824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14952] ppid=14892 vsize=28768336 memory=14012 CPUtime=19.94 cores=0-7 /proc/14894/task/14952/stat : 14952 (java) R 14892 14892 7356 0 -1 4202560 1162 0 0 0 1994 0 0 0 20 0 28 0 447106929 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062927667064 140063402756345 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14953] ppid=14892 vsize=28768336 memory=14080 CPUtime=20.17 cores=0-7 /proc/14894/task/14953/stat : 14953 (java) R 14892 14892 7356 0 -1 4202560 333 0 0 0 2017 0 0 0 20 0 28 0 447106930 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062932932352 140063402753824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 180.57 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 266060 KiB [startup+23.4018 s] /proc/loadavg: 9.07 8.42 8.12 9/220 14953 /proc/meminfo: memFree=29080664/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28768336 memory=264612 CPUtime=182.16 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 53306 0 0 0 18183 33 0 0 20 0 28 0 447106652 29458776064 66153 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7192084 66153 3534 1 0 7153184 0 [pid=14894/tid=14895] ppid=14892 vsize=28768336 memory=508 CPUtime=0.64 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) S 14892 14892 7356 0 -1 1077944384 9407 0 0 0 61 3 0 0 20 0 28 0 447106653 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063774524544 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28768336 memory=1560 CPUtime=0.03 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1599 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28768336 memory=932 CPUtime=0.04 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 195 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28768336 memory=1568 CPUtime=0.01 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 977 0 0 0 1 0 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14899] ppid=14892 vsize=28768336 memory=1444 CPUtime=0.04 cores=0-7 /proc/14894/task/14899/stat : 14899 (java) S 14892 14892 7356 0 -1 1077944384 400 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063719746064 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14900] ppid=14892 vsize=28768336 memory=880 CPUtime=0.04 cores=0-7 /proc/14894/task/14900/stat : 14900 (java) S 14892 14892 7356 0 -1 1077944384 330 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063718693776 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14901] ppid=14892 vsize=28768336 memory=1976 CPUtime=0.03 cores=0-7 /proc/14894/task/14901/stat : 14901 (java) S 14892 14892 7356 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063717640976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14902] ppid=14892 vsize=28768336 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/14894/task/14902/stat : 14902 (java) S 14892 14892 7356 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063716588688 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14903] ppid=14892 vsize=28768336 memory=288230617509003574 CPUtime=0.03 cores=0-7 /proc/14894/task/14903/stat : 14903 (java) S 14892 14892 7356 0 -1 1077944384 497 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063314664464 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14904] ppid=14892 vsize=28768336 memory=14408211662899591 CPUtime=0.02 cores=0-7 /proc/14894/task/14904/stat : 14904 (java) S 14892 14892 7356 0 -1 1077944384 997 0 0 0 2 0 0 0 20 0 28 0 447106655 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062953728112 140063770294914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14905] ppid=14892 vsize=28768336 memory=8836 CPUtime=0 cores=0-7 /proc/14894/task/14905/stat : 14905 (java) S 14892 14892 7356 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447106656 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062952674144 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14906] ppid=14892 vsize=28768336 memory=11044 CPUtime=0 cores=0-7 /proc/14894/task/14906/stat : 14906 (java) S 14892 14892 7356 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447106656 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062951621760 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14907] ppid=14892 vsize=28768336 memory=13252 CPUtime=0 cores=0-7 /proc/14894/task/14907/stat : 14907 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062950570064 140063770302363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14908] ppid=14892 vsize=28768336 memory=15460 CPUtime=2.36 cores=0-7 /proc/14894/task/14908/stat : 14908 (java) S 14892 14892 7356 0 -1 1077944384 8648 0 0 0 232 4 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062949517936 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14909] ppid=14892 vsize=28768336 memory=17668 CPUtime=2.07 cores=0-7 /proc/14894/task/14909/stat : 14909 (java) S 14892 14892 7356 0 -1 1077944384 9933 0 0 0 204 3 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062948465136 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14910] ppid=14892 vsize=28768336 memory=19876 CPUtime=1.89 cores=0-7 /proc/14894/task/14910/stat : 14910 (java) S 14892 14892 7356 0 -1 1077944384 7023 0 0 0 187 2 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062947412848 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14911] ppid=14892 vsize=28768336 memory=22084 CPUtime=0.7 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) S 14892 14892 7356 0 -1 1077944384 4953 0 0 0 69 1 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062946360048 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28768336 memory=24292 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28768336 memory=26500 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 28 0 447106659 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14946] ppid=14892 vsize=28768336 memory=28708 CPUtime=20.13 cores=0-7 /proc/14894/task/14946/stat : 14946 (java) R 14892 14892 7356 0 -1 4202560 200 0 0 0 2013 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062929771448 140063402753824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14947] ppid=14892 vsize=28768336 memory=13249 CPUtime=20.39 cores=0-7 /proc/14894/task/14947/stat : 14947 (java) R 14892 14892 7356 0 -1 4202560 246 0 0 0 2039 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062928719648 140063401558169 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14948] ppid=14892 vsize=28768336 memory=26248 CPUtime=20.38 cores=0-7 /proc/14894/task/14948/stat : 14948 (java) R 14892 14892 7356 0 -1 4202560 173 0 0 0 2038 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062931878048 140063401669052 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14949] ppid=14892 vsize=28768336 memory=2120 CPUtime=19.95 cores=0-7 /proc/14894/task/14949/stat : 14949 (java) R 14892 14892 7356 0 -1 4202560 767 0 0 0 1994 1 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062935035936 140063403722499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14950] ppid=14892 vsize=28768336 memory=508 CPUtime=19.83 cores=0-7 /proc/14894/task/14950/stat : 14950 (java) R 14892 14892 7356 0 -1 4202560 388 0 0 0 1983 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062933984296 140063402753437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14951] ppid=14892 vsize=28768336 memory=1560 CPUtime=20.16 cores=0-7 /proc/14894/task/14951/stat : 14951 (java) R 14892 14892 7356 0 -1 4202560 341 0 0 0 2016 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062930825640 140063402753437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14952] ppid=14892 vsize=28768336 memory=932 CPUtime=20.14 cores=0-7 /proc/14894/task/14952/stat : 14952 (java) R 14892 14892 7356 0 -1 4202560 1162 0 0 0 2014 0 0 0 20 0 28 0 447106929 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062927666736 140063401558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14953] ppid=14892 vsize=28768336 memory=1568 CPUtime=20.37 cores=0-7 /proc/14894/task/14953/stat : 14953 (java) R 14892 14892 7356 0 -1 4202560 333 0 0 0 2037 0 0 0 20 0 28 0 447106930 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062932930400 140063401863953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 182.16 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 266060 KiB [startup+23.5018 s] /proc/loadavg: 9.07 8.42 8.12 9/220 14953 /proc/meminfo: memFree=29080664/32770624 swapFree=66958320/67108860 [pid=14892] ppid=14889 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14892/stat : 14892 (xcsp3-exec) S 14889 14892 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447106652 115843072 362 33554432000 4194304 5098028 140731869328320 140731869326424 139643000246908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140731869336443 140731869336686 140731869336686 140731869339594 0 /proc/14892/statm: 28282 362 304 221 0 87 0 [pid=14894] ppid=14892 vsize=28768336 memory=264612 CPUtime=182.96 cores=0-7 /proc/14894/stat : 14894 (java) S 14892 14892 7356 0 -1 1077944320 53306 0 0 0 18263 33 0 0 20 0 28 0 447106652 29458776064 66153 33554432000 4194304 4196468 140723711005888 140723710988432 140063770283767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 /proc/14894/statm: 7192084 66153 3534 1 0 7153184 0 [pid=14894/tid=14895] ppid=14892 vsize=28768336 memory=164 CPUtime=0.64 cores=0-7 /proc/14894/task/14895/stat : 14895 (java) S 14892 14892 7356 0 -1 1077944384 9407 0 0 0 61 3 0 0 20 0 28 0 447106653 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063774524544 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14896] ppid=14892 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7 /proc/14894/task/14896/stat : 14896 (java) S 14892 14892 7356 0 -1 1077944384 1599 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063722903952 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14897] ppid=14892 vsize=28768336 memory=248180 CPUtime=0.04 cores=0-7 /proc/14894/task/14897/stat : 14897 (java) S 14892 14892 7356 0 -1 1077944384 195 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063721851152 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14898] ppid=14892 vsize=28768336 memory=250084 CPUtime=0.01 cores=0-7 /proc/14894/task/14898/stat : 14898 (java) S 14892 14892 7356 0 -1 1077944384 977 0 0 0 1 0 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063720798864 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14899] ppid=14892 vsize=28768336 memory=125420 CPUtime=0.04 cores=0-7 /proc/14894/task/14899/stat : 14899 (java) S 14892 14892 7356 0 -1 1077944384 400 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063719746064 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14900] ppid=14892 vsize=28768336 memory=248164 CPUtime=0.04 cores=0-7 /proc/14894/task/14900/stat : 14900 (java) S 14892 14892 7356 0 -1 1077944384 330 0 0 0 3 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063718693776 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14901] ppid=14892 vsize=28768336 memory=1660 CPUtime=0.03 cores=0-7 /proc/14894/task/14901/stat : 14901 (java) S 14892 14892 7356 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063717640976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14902] ppid=14892 vsize=28768336 memory=279863022012536 CPUtime=0.02 cores=0-7 /proc/14894/task/14902/stat : 14902 (java) S 14892 14892 7356 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063716588688 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14903] ppid=14892 vsize=28768336 memory=66143972755690 CPUtime=0.03 cores=0-7 /proc/14894/task/14903/stat : 14903 (java) S 14892 14892 7356 0 -1 1077944384 497 0 0 0 2 1 0 0 20 0 28 0 447106654 29458776064 66153 33554432000 4194304 4196468 140723711005888 140063314664464 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14904] ppid=14892 vsize=28768336 memory=880 CPUtime=0.02 cores=0-7 /proc/14894/task/14904/stat : 14904 (java) S 14892 14892 7356 0 -1 1077944384 997 0 0 0 2 0 0 0 20 0 28 0 447106655 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062953728112 140063770294914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14905] ppid=14892 vsize=28768336 memory=1976 CPUtime=0 cores=0-7 /proc/14894/task/14905/stat : 14905 (java) S 14892 14892 7356 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447106656 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062952674144 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14906] ppid=14892 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/14894/task/14906/stat : 14906 (java) S 14892 14892 7356 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447106656 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062951621760 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14907] ppid=14892 vsize=28768336 memory=5787477641288517003 CPUtime=0 cores=0-7 /proc/14894/task/14907/stat : 14907 (java) S 14892 14892 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062950570064 140063770302363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14908] ppid=14892 vsize=28768336 memory=0 CPUtime=2.36 cores=0-7 /proc/14894/task/14908/stat : 14908 (java) S 14892 14892 7356 0 -1 1077944384 8648 0 0 0 232 4 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062949517936 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14909] ppid=14892 vsize=28768336 memory=0 CPUtime=2.07 cores=0-7 /proc/14894/task/14909/stat : 14909 (java) S 14892 14892 7356 0 -1 1077944384 9933 0 0 0 204 3 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062948465136 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14910] ppid=14892 vsize=28768336 memory=0 CPUtime=1.89 cores=0-7 /proc/14894/task/14910/stat : 14910 (java) S 14892 14892 7356 0 -1 1077944384 7023 0 0 0 187 2 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062947412848 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14911] ppid=14892 vsize=28768336 memory=0 CPUtime=0.7 cores=0-7 /proc/14894/task/14911/stat : 14911 (java) S 14892 14892 7356 0 -1 1077944384 4953 0 0 0 69 1 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062946360048 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14912] ppid=14892 vsize=28768336 memory=2241 CPUtime=0 cores=0-7 /proc/14894/task/14912/stat : 14912 (java) S 14892 14892 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447106658 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062945306976 140063770293973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14913] ppid=14892 vsize=28768336 memory=2244 CPUtime=0 cores=0-7 /proc/14894/task/14913/stat : 14913 (java) S 14892 14892 7356 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 28 0 447106659 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062944254256 140063770294914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14946] ppid=14892 vsize=28768336 memory=1448 CPUtime=20.23 cores=0-7 /proc/14894/task/14946/stat : 14946 (java) R 14892 14892 7356 0 -1 4202560 200 0 0 0 2023 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062929771448 140063401551472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14947] ppid=14892 vsize=28768336 memory=248164 CPUtime=20.49 cores=0-7 /proc/14894/task/14947/stat : 14947 (java) R 14892 14892 7356 0 -1 4202560 246 0 0 0 2049 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062928719648 140063401755343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14948] ppid=14892 vsize=28768336 memory=250140 CPUtime=20.48 cores=0-7 /proc/14894/task/14948/stat : 14948 (java) R 14892 14892 7356 0 -1 4202560 173 0 0 0 2048 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062931878048 140063401558336 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14949] ppid=14892 vsize=28768336 memory=1448 CPUtime=20.05 cores=0-7 /proc/14894/task/14949/stat : 14949 (java) R 14892 14892 7356 0 -1 4202560 767 0 0 0 2004 1 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062935035936 140063404482263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14950] ppid=14892 vsize=28768336 memory=4294967295 CPUtime=19.93 cores=0-7 /proc/14894/task/14950/stat : 14950 (java) R 14892 14892 7356 0 -1 4202560 388 0 0 0 1993 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062933984296 140063401558200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14951] ppid=14892 vsize=28768336 memory=0 CPUtime=20.26 cores=0-7 /proc/14894/task/14951/stat : 14951 (java) R 14892 14892 7356 0 -1 4202560 341 0 0 0 2026 0 0 0 20 0 28 0 447106928 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062930825640 140063401961325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14952] ppid=14892 vsize=28768336 memory=0 CPUtime=20.24 cores=0-7 /proc/14894/task/14952/stat : 14952 (java) R 14892 14892 7356 0 -1 4202560 1162 0 0 0 2024 0 0 0 20 0 28 0 447106929 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062927666736 140063401558474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 [pid=14894/tid=14953] ppid=14892 vsize=28768336 memory=0 CPUtime=20.47 cores=0-7 /proc/14894/task/14953/stat : 14953 (java) R 14892 14892 7356 0 -1 4202560 333 0 0 0 2047 0 0 0 20 0 28 0 447106930 29458776064 66153 33554432000 4194304 4196468 140723711005888 140062932930400 140063404549501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34381824 140723711013872 140723711014043 140723711014043 140723711016911 0 Current children cumulated CPU time: 182.96 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 266060 KiB Child status: 0 Real time (s): 23.5377 CPU time (s): 183.188 CPU user time (s): 182.84 CPU system time (s): 0.347906 CPU usage (%): 778.275 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 266060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.84 system time used= 0.347906 maximum resident set size= 264612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54713 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5831 involuntary context switches= 3125 # summary of solver processes directly reported to runsolver: # pid: 14892 # total CPU time (s): 183.188 # total CPU user time (s): 182.84 # total CPU system time (s): 0.347906 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.229116 second user time and 0.294328 second system time The end
Begin job on node145 at 2019-09-17 11:14:20 IDJOB=4400242 IDBENCH=136490 IDSOLVER=2855 FILE ID=node145/4400242-1568711702 RUNJOBID= node145-1568701156-7383 PBS_JOBID= 21703915 Free space on /tmp= 59532 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c1w4n.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-4400242-1568711702/watcher-4400242-1568711702 -o /tmp/evaluation-result-4400242-1568711702/solver-4400242-1568711702 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1655823776 HOME/instance-4400242-1568711702.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ff46b38b3e2da44b02be81a37c246a0d RANDOM SEED=1655823776 node145.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.59 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.59 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.59 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.59 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: 29333348 kB MemAvailable: 31850984 kB Buffers: 190836 kB Cached: 2617884 kB SwapCached: 41072 kB Active: 1387800 kB Inactive: 1465740 kB Active(anon): 7816 kB Inactive(anon): 86528 kB Active(file): 1379984 kB Inactive(file): 1379212 kB Unevictable: 109612 kB Mlocked: 109612 kB SwapTotal: 67108860 kB SwapFree: 66958320 kB Dirty: 25884 kB Writeback: 0 kB AnonPages: 113100 kB Mapped: 47624 kB Shmem: 40616 kB Slab: 177244 kB SReclaimable: 148548 kB SUnreclaim: 28696 kB KernelStack: 3408 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 59508 MiB End job on node145 at 2019-09-17 11:14:44