Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 79 | 240.863 | 31.6507 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml |
MD5SUM | 0bc86e74ae8fed70a43ec92abb2586e2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 79 |
Best CPU time to get the best result obtained on this benchmark | 47.7083 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":13},{"size":6,"count":2},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
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-4407411-1569347517.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407411-1569347517.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 5.16/1.92 c solve instance... 5.71/2.04 o -1000 11.97/2.87 o -993 11.97/2.87 o -988 11.97/2.88 o -982 12.64/2.90 o -977 12.64/2.92 o -975 12.64/2.93 o -970 12.64/2.94 o -965 12.64/2.95 o -960 13.37/3.10 o -957 14.16/3.18 o -956 15.60/3.37 o -955 15.60/3.39 o -953 16.33/3.44 o -948 16.33/3.49 o -947 17.68/3.65 o -942 28.84/5.01 o -931 31.14/5.39 o -921 44.73/7.06 o -920 75.72/10.99 o -919 76.57/11.03 o 39 76.57/11.07 o 46 76.57/11.10 o 56 77.26/11.12 o 65 77.26/11.14 o 79 240.58/31.63 s OPTIMUM FOUND 240.58/31.63 v <instantiation> 240.58/31.63 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 240.58/31.63 v <values>5 0 1 2 3 10 7 12 9 4 11 6 17 8 -1 20 15 16 13 18 21 22 23 24 19 0 23 22 21 20 1 4 5 18 19 2 3 6 17 -1 9 8 7 16 15 10 11 12 13 14 0 -3 2 5 5 7 5 5 9 5 7 4 5 -2 0 7 2 9 3 1 3 -3 5 3 -5 </values> 240.58/31.63 v </instantiation>
OK 79
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 (10785 MiB free) memory of node 1: 16384 MiB (14131 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407411-1569347517/watcher-4407411-1569347517 -o /tmp/evaluation-result-4407411-1569347517/solver-4407411-1569347517 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407411-1569347517.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12094, runsolver pid=12091 [startup+0.100143 s]* /proc/loadavg: 7.12 7.94 8.09 2/213 12115 /proc/meminfo: memFree=25499488/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28227396 memory=30140 CPUtime=0.13 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 5950 0 0 0 11 2 0 0 20 0 20 0 510913262 28904853504 7535 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7056849 7535 3146 1 0 7019032 0 [pid=12096/tid=12097] ppid=12094 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) R 12094 12094 5615 0 -1 4202560 3840 0 0 0 8 1 0 0 20 0 20 0 510913262 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063651680216 140063262511404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28227396 memory=14837910081091224 CPUtime=0 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12101] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12101/stat : 12101 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063596923664 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12102] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12102/stat : 12102 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063595870864 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12103] ppid=12094 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12103/stat : 12103 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063594818064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12104] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12104/stat : 12104 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063593765264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12105] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12105/stat : 12105 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 7535 33554432000 4194304 4196468 140721927597856 140063592712464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12106] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12106/stat : 12106 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913264 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062312938352 140063647472258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12107] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12107/stat : 12107 (java) S 12094 12094 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510913265 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062311884320 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12108] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12108/stat : 12108 (java) S 12094 12094 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510913265 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062310831472 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12109] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12109/stat : 12109 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062309779792 140063647479707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12110] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12110/stat : 12110 (java) S 12094 12094 5615 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062308727152 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12111] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12111/stat : 12111 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062307674352 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12112] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12112/stat : 12112 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062238959728 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12113] ppid=12094 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) R 12094 12094 5615 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 20 0 510913267 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062237906928 140063626842945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913268 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913268 28904853504 7535 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31592 KiB [startup+0.210311 s]* /proc/loadavg: 7.12 7.94 8.09 2/213 12115 /proc/meminfo: memFree=25487304/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28227396 memory=40952 CPUtime=0.33 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 9506 0 0 0 29 4 0 0 20 0 20 0 510913262 28904853504 10238 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7056849 10238 3240 1 0 7019032 0 [pid=12096/tid=12097] ppid=12094 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) R 12094 12094 5615 0 -1 4202560 6661 0 0 0 17 3 0 0 20 0 20 0 510913262 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063651693024 140063633202872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28227396 memory=140505267823433 CPUtime=0 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12101] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12101/stat : 12101 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063596923664 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12102] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12102/stat : 12102 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063595870864 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12103] ppid=12094 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12103/stat : 12103 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063594818064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12104] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12104/stat : 12104 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063593765264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12105] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12105/stat : 12105 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913263 28904853504 10238 33554432000 4194304 4196468 140721927597856 140063592712464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12106] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12106/stat : 12106 (java) S 12094 12094 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510913264 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062312938352 140063647472258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12107] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12107/stat : 12107 (java) S 12094 12094 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510913265 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062311884320 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12108] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12108/stat : 12108 (java) S 12094 12094 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510913265 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062310831472 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12109] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12109/stat : 12109 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062309779792 140063647479707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12110] ppid=12094 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12096/task/12110/stat : 12110 (java) S 12094 12094 5615 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 20 0 510913267 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062308727152 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12111] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12111/stat : 12111 (java) S 12094 12094 5615 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 510913267 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062307674352 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12112] ppid=12094 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/12096/task/12112/stat : 12112 (java) S 12094 12094 5615 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 510913267 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062238959728 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12113] ppid=12094 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) R 12094 12094 5615 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 510913267 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062237906928 140063647473046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913268 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913268 28904853504 10238 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42404 KiB [startup+0.309641 s]* /proc/loadavg: 7.12 7.94 8.09 3/213 12115 /proc/meminfo: memFree=25479784/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28231652 memory=50108 CPUtime=0.52 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 10853 0 0 0 47 5 0 0 20 0 20 0 510913262 28909211648 12527 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7057913 12527 3369 1 0 7019032 0 [pid=12096/tid=12097] ppid=12094 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) R 12094 12094 5615 0 -1 4202560 7771 0 0 0 26 3 0 0 20 0 20 0 510913262 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063651694896 140063631541598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12101] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12101/stat : 12101 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063596923664 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12102] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12102/stat : 12102 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063595870864 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12103] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12103/stat : 12103 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063594818064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12104] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12104/stat : 12104 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063593765264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12105] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12105/stat : 12105 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913263 28909211648 12527 33554432000 4194304 4196468 140721927597856 140063592712464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12106] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12106/stat : 12106 (java) S 12094 12094 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510913264 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062312938352 140063647472258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12107] ppid=12094 vsize=28231652 memory=281010315140480 CPUtime=0 cores=0-7 /proc/12096/task/12107/stat : 12107 (java) S 12094 12094 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510913265 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062311884320 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12108] ppid=12094 vsize=28231652 memory=281010315145088 CPUtime=0 cores=0-7 /proc/12096/task/12108/stat : 12108 (java) S 12094 12094 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510913265 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062310831472 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12109] ppid=12094 vsize=28231652 memory=281010315149696 CPUtime=0 cores=0-7 /proc/12096/task/12109/stat : 12109 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913267 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062309779792 140063647479707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12110] ppid=12094 vsize=28231652 memory=281010315154304 CPUtime=0.03 cores=0-7 /proc/12096/task/12110/stat : 12110 (java) R 12094 12094 5615 0 -1 4202560 708 0 0 0 3 0 0 0 20 0 20 0 510913267 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062308708168 140063625112976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12111] ppid=12094 vsize=28231652 memory=281010315158912 CPUtime=0.01 cores=0-7 /proc/12096/task/12111/stat : 12111 (java) S 12094 12094 5615 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 510913267 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062307674352 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12112] ppid=12094 vsize=28231652 memory=281010315163520 CPUtime=0.03 cores=0-7 /proc/12096/task/12112/stat : 12112 (java) S 12094 12094 5615 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 20 0 510913267 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062238959728 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12113] ppid=12094 vsize=28231652 memory=281010315168128 CPUtime=0.12 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) S 12094 12094 5615 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 20 0 510913267 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062237906928 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913268 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510913268 28909211648 12527 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51560 KiB [startup+0.700907 s] /proc/loadavg: 7.12 7.94 8.09 6/213 12115 /proc/meminfo: memFree=25448132/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28233776 memory=121072 CPUtime=1.9 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 15802 0 0 0 184 6 0 0 20 0 20 0 510913262 28911386624 30268 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7058444 30268 3447 1 0 7019544 0 [pid=12096/tid=12097] ppid=12094 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) R 12094 12094 5615 0 -1 4202560 9097 0 0 0 63 4 0 0 20 0 20 0 510913262 28911386624 30268 33554432000 4194304 4196468 140721927597856 140063651695568 140063629110575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28233776 memory=140505157772160 CPUtime=0 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28911386624 30268 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510913263 28911386624 30268 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510913263 28911386624 30268 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 ################ # More data... # ################ [pid=12096/tid=12113] ppid=12094 vsize=28835928 memory=192444599656065 CPUtime=0.94 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) S 12094 12094 5615 0 -1 1077944384 8376 0 0 0 92 2 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062237906928 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28835928 memory=192444599656066 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28835928 memory=281010316247088 CPUtime=0.01 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 976 0 0 0 0 1 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12317] ppid=12094 vsize=28835928 memory=140505158473264 CPUtime=19.22 cores=0-7 /proc/12096/task/12317/stat : 12317 (java) R 12094 12094 5615 0 -1 4202560 638 0 0 0 1922 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062216301680 140063269865392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12318] ppid=12094 vsize=28835928 memory=1452 CPUtime=19.11 cores=0-7 /proc/12096/task/12318/stat : 12318 (java) R 12094 12094 5615 0 -1 4202560 333 0 0 0 1911 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062220513512 140063270438290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12319] ppid=12094 vsize=28835928 memory=56 CPUtime=19.22 cores=0-7 /proc/12096/task/12319/stat : 12319 (java) R 12094 12094 5615 0 -1 4202560 452 0 0 0 1922 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062217355200 140063269865387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12320] ppid=12094 vsize=28835928 memory=-3621219715169225006 CPUtime=19.14 cores=0-7 /proc/12096/task/12320/stat : 12320 (java) R 12094 12094 5615 0 -1 4202560 1196 0 0 0 1914 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062221565928 140063269865428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12321] ppid=12094 vsize=28835928 memory=-8316900901535099443 CPUtime=19.19 cores=0-7 /proc/12096/task/12321/stat : 12321 (java) R 12094 12094 5615 0 -1 4202560 826 0 0 0 1919 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062218407648 140063270960511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12322] ppid=12094 vsize=28835928 memory=-4695043397844020537 CPUtime=18.88 cores=0-7 /proc/12096/task/12322/stat : 12322 (java) R 12094 12094 5615 0 -1 4202560 672 0 0 0 1888 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062222618056 140063269865528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12323] ppid=12094 vsize=28835928 memory=-2605811476043407915 CPUtime=19.2 cores=0-7 /proc/12096/task/12323/stat : 12323 (java) R 12094 12094 5615 0 -1 4202560 320 0 0 0 1920 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062215250400 140063269865573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12324] ppid=12094 vsize=28835928 memory=-2026666227646604569 CPUtime=19.08 cores=0-7 /proc/12096/task/12324/stat : 12324 (java) R 12094 12094 5615 0 -1 4202560 805 0 0 0 1908 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062224723984 140063269865451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 231.01 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 581864 KiB [startup+31.202 s] /proc/loadavg: 8.01 8.08 8.13 9/220 12324 /proc/meminfo: memFree=24951084/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28835928 memory=580412 CPUtime=237.38 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 58366 0 0 0 23671 67 0 0 20 0 28 0 510913262 29527990272 145103 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7208982 145103 3527 1 0 7170082 0 [pid=12096/tid=12097] ppid=12094 vsize=28835928 memory=-2672971630408907303 CPUtime=1.86 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) S 12094 12094 5615 0 -1 1077944384 9944 0 0 0 178 8 0 0 20 0 28 0 510913262 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063651701888 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28835928 memory=-2026666227646604569 CPUtime=0.09 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 352 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28835928 memory=3588 CPUtime=0.07 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 170 0 0 0 4 3 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28835928 memory=63536 CPUtime=0.09 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 193 0 0 0 4 5 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12101] ppid=12094 vsize=28835928 memory=984 CPUtime=0.09 cores=0-7 /proc/12096/task/12101/stat : 12101 (java) S 12094 12094 5615 0 -1 1077944384 163 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063596923664 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12102] ppid=12094 vsize=28835928 memory=1940 CPUtime=0.08 cores=0-7 /proc/12096/task/12102/stat : 12102 (java) S 12094 12094 5615 0 -1 1077944384 235 0 0 0 4 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063595870864 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12103] ppid=12094 vsize=28835928 memory=33 CPUtime=0.09 cores=0-7 /proc/12096/task/12103/stat : 12103 (java) S 12094 12094 5615 0 -1 1077944384 519 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063594818064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12104] ppid=12094 vsize=28835928 memory=-2897801490638248215 CPUtime=0.09 cores=0-7 /proc/12096/task/12104/stat : 12104 (java) S 12094 12094 5615 0 -1 1077944384 243 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063593765264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12105] ppid=12094 vsize=28835928 memory=14068 CPUtime=0.07 cores=0-7 /proc/12096/task/12105/stat : 12105 (java) S 12094 12094 5615 0 -1 1077944384 224 0 0 0 4 3 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063592712464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12106] ppid=12094 vsize=28835928 memory=2120 CPUtime=0.02 cores=0-7 /proc/12096/task/12106/stat : 12106 (java) S 12094 12094 5615 0 -1 1077944384 1156 0 0 0 2 0 0 0 20 0 28 0 510913264 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062312938352 140063647472258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12107] ppid=12094 vsize=28835928 memory=504 CPUtime=0 cores=0-7 /proc/12096/task/12107/stat : 12107 (java) S 12094 12094 5615 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510913265 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062311884384 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12108] ppid=12094 vsize=28835928 memory=1560 CPUtime=0 cores=0-7 /proc/12096/task/12108/stat : 12108 (java) S 12094 12094 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510913265 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062310831488 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12109] ppid=12094 vsize=28835928 memory=26660 CPUtime=0 cores=0-7 /proc/12096/task/12109/stat : 12109 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062309779792 140063647479707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12110] ppid=12094 vsize=28835928 memory=912 CPUtime=1.75 cores=0-7 /proc/12096/task/12110/stat : 12110 (java) S 12094 12094 5615 0 -1 1077944384 7989 0 0 0 173 2 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062308727152 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12111] ppid=12094 vsize=28835928 memory=1448 CPUtime=1.84 cores=0-7 /proc/12096/task/12111/stat : 12111 (java) S 12094 12094 5615 0 -1 1077944384 6085 0 0 0 183 1 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062307674352 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12112] ppid=12094 vsize=28835928 memory=1964 CPUtime=2.12 cores=0-7 /proc/12096/task/12112/stat : 12112 (java) S 12094 12094 5615 0 -1 1077944384 8435 0 0 0 209 3 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062238959728 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12113] ppid=12094 vsize=28835928 memory=2456 CPUtime=0.94 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) S 12094 12094 5615 0 -1 1077944384 8376 0 0 0 92 2 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062237906928 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28835928 memory=1760 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28835928 memory=111632 CPUtime=0.01 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 1157 0 0 0 0 1 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12317] ppid=12094 vsize=28835928 memory=804 CPUtime=20.02 cores=0-7 /proc/12096/task/12317/stat : 12317 (java) R 12094 12094 5615 0 -1 4202560 640 0 0 0 2002 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062216301568 140063270287032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12318] ppid=12094 vsize=28835928 memory=1804 CPUtime=19.91 cores=0-7 /proc/12096/task/12318/stat : 12318 (java) R 12094 12094 5615 0 -1 4202560 333 0 0 0 1991 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062220513512 140063269865497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12319] ppid=12094 vsize=28835928 memory=916 CPUtime=20.02 cores=0-7 /proc/12096/task/12319/stat : 12319 (java) R 12094 12094 5615 0 -1 4202560 452 0 0 0 2002 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062217355200 140063269865392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12320] ppid=12094 vsize=28835928 memory=4496 CPUtime=19.94 cores=0-7 /proc/12096/task/12320/stat : 12320 (java) R 12094 12094 5615 0 -1 4202560 1203 0 0 0 1994 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062221565928 140063269865323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12321] ppid=12094 vsize=28835928 memory=4100 CPUtime=19.99 cores=0-7 /proc/12096/task/12321/stat : 12321 (java) R 12094 12094 5615 0 -1 4202560 826 0 0 0 1999 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062218407648 140063269865451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12322] ppid=12094 vsize=28835928 memory=1412 CPUtime=19.67 cores=0-7 /proc/12096/task/12322/stat : 12322 (java) R 12094 12094 5615 0 -1 4202560 672 0 0 0 1967 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062222618056 140063269865342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12323] ppid=12094 vsize=28835928 memory=3168 CPUtime=20 cores=0-7 /proc/12096/task/12323/stat : 12323 (java) R 12094 12094 5615 0 -1 4202560 320 0 0 0 2000 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062215250536 140063269865451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12324] ppid=12094 vsize=28835928 memory=1452 CPUtime=19.88 cores=0-7 /proc/12096/task/12324/stat : 12324 (java) R 12094 12094 5615 0 -1 4202560 805 0 0 0 1988 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062224723984 140063270073187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 237.38 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 581864 KiB [startup+31.602 s] /proc/loadavg: 8.01 8.08 8.13 9/220 12324 /proc/meminfo: memFree=24951084/32770624 swapFree=67002564/67108860 [pid=12094] ppid=12091 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12094/stat : 12094 (xcsp3-exec) S 12091 12094 5615 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510913261 115843072 363 33554432000 4194304 5098028 140735365777312 140735365775416 140121302413948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25739264 140735365780348 140735365780590 140735365780590 140735365783498 0 /proc/12094/statm: 28282 363 304 221 0 87 0 [pid=12096] ppid=12094 vsize=28835928 memory=580412 CPUtime=240.58 cores=0-7 /proc/12096/stat : 12096 (java) S 12094 12094 5615 0 -1 1077944320 58366 0 0 0 23991 67 0 0 20 0 28 0 510913262 29527990272 145103 33554432000 4194304 4196468 140721927597856 140721927580400 140063647461111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 /proc/12096/statm: 7208982 145103 3527 1 0 7170082 0 [pid=12096/tid=12097] ppid=12094 vsize=28835928 memory=2120 CPUtime=1.86 cores=0-7 /proc/12096/task/12097/stat : 12097 (java) S 12094 12094 5615 0 -1 1077944384 9944 0 0 0 178 8 0 0 20 0 28 0 510913262 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063651701888 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12098] ppid=12094 vsize=28835928 memory=504 CPUtime=0.09 cores=0-7 /proc/12096/task/12098/stat : 12098 (java) S 12094 12094 5615 0 -1 1077944384 352 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063600082064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12099] ppid=12094 vsize=28835928 memory=1560 CPUtime=0.07 cores=0-7 /proc/12096/task/12099/stat : 12099 (java) S 12094 12094 5615 0 -1 1077944384 170 0 0 0 4 3 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063599029264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12100] ppid=12094 vsize=28835928 memory=924 CPUtime=0.09 cores=0-7 /proc/12096/task/12100/stat : 12100 (java) S 12094 12094 5615 0 -1 1077944384 193 0 0 0 4 5 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063597976464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12101] ppid=12094 vsize=28835928 memory=1692 CPUtime=0.09 cores=0-7 /proc/12096/task/12101/stat : 12101 (java) S 12094 12094 5615 0 -1 1077944384 163 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063596923664 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12102] ppid=12094 vsize=28835928 memory=912 CPUtime=0.08 cores=0-7 /proc/12096/task/12102/stat : 12102 (java) S 12094 12094 5615 0 -1 1077944384 235 0 0 0 4 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063595870864 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12103] ppid=12094 vsize=28835928 memory=1448 CPUtime=0.09 cores=0-7 /proc/12096/task/12103/stat : 12103 (java) S 12094 12094 5615 0 -1 1077944384 519 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063594818064 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12104] ppid=12094 vsize=28835928 memory=1964 CPUtime=0.09 cores=0-7 /proc/12096/task/12104/stat : 12104 (java) S 12094 12094 5615 0 -1 1077944384 243 0 0 0 5 4 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063593765264 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12105] ppid=12094 vsize=28835928 memory=2456 CPUtime=0.07 cores=0-7 /proc/12096/task/12105/stat : 12105 (java) S 12094 12094 5615 0 -1 1077944384 224 0 0 0 4 3 0 0 20 0 28 0 510913263 29527990272 145103 33554432000 4194304 4196468 140721927597856 140063592712464 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12106] ppid=12094 vsize=28835928 memory=1760 CPUtime=0.02 cores=0-7 /proc/12096/task/12106/stat : 12106 (java) S 12094 12094 5615 0 -1 1077944384 1156 0 0 0 2 0 0 0 20 0 28 0 510913264 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062312938352 140063647472258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12107] ppid=12094 vsize=28835928 memory=6168 CPUtime=0 cores=0-7 /proc/12096/task/12107/stat : 12107 (java) S 12094 12094 5615 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510913265 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062311884384 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12108] ppid=12094 vsize=28835928 memory=14012 CPUtime=0 cores=0-7 /proc/12096/task/12108/stat : 12108 (java) S 12094 12094 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510913265 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062310831488 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12109] ppid=12094 vsize=28835928 memory=32880 CPUtime=0 cores=0-7 /proc/12096/task/12109/stat : 12109 (java) S 12094 12094 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062309779792 140063647479707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12110] ppid=12094 vsize=28835928 memory=14068 CPUtime=1.75 cores=0-7 /proc/12096/task/12110/stat : 12110 (java) S 12094 12094 5615 0 -1 1077944384 7989 0 0 0 173 2 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062308727152 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12111] ppid=12094 vsize=28835928 memory=2120 CPUtime=1.84 cores=0-7 /proc/12096/task/12111/stat : 12111 (java) S 12094 12094 5615 0 -1 1077944384 6085 0 0 0 183 1 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062307674352 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12112] ppid=12094 vsize=28835928 memory=504 CPUtime=2.12 cores=0-7 /proc/12096/task/12112/stat : 12112 (java) S 12094 12094 5615 0 -1 1077944384 8435 0 0 0 209 3 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062238959728 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12113] ppid=12094 vsize=28835928 memory=1560 CPUtime=0.94 cores=0-7 /proc/12096/task/12113/stat : 12113 (java) S 12094 12094 5615 0 -1 1077944384 8376 0 0 0 92 2 0 0 20 0 28 0 510913267 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062237906928 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12114] ppid=12094 vsize=28835928 memory=924 CPUtime=0 cores=0-7 /proc/12096/task/12114/stat : 12114 (java) S 12094 12094 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062236855392 140063647471317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12115] ppid=12094 vsize=28835928 memory=1692 CPUtime=0.01 cores=0-7 /proc/12096/task/12115/stat : 12115 (java) S 12094 12094 5615 0 -1 1077944384 1157 0 0 0 0 1 0 0 20 0 28 0 510913268 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062235802672 140063647472258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12317] ppid=12094 vsize=28835928 memory=912 CPUtime=20.42 cores=0-7 /proc/12096/task/12317/stat : 12317 (java) R 12094 12094 5615 0 -1 4202560 640 0 0 0 2042 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062216301568 140063269865254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12318] ppid=12094 vsize=28835928 memory=1448 CPUtime=20.31 cores=0-7 /proc/12096/task/12318/stat : 12318 (java) R 12094 12094 5615 0 -1 4202560 333 0 0 0 2031 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062220513512 140063269865685 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12319] ppid=12094 vsize=28835928 memory=1964 CPUtime=20.42 cores=0-7 /proc/12096/task/12319/stat : 12319 (java) R 12094 12094 5615 0 -1 4202560 452 0 0 0 2042 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062217355336 140063270681585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12320] ppid=12094 vsize=28835928 memory=2456 CPUtime=20.34 cores=0-7 /proc/12096/task/12320/stat : 12320 (java) R 12094 12094 5615 0 -1 4202560 1203 0 0 0 2034 0 0 0 20 0 28 0 510914376 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062221565928 140063269865451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12321] ppid=12094 vsize=28835928 memory=1760 CPUtime=20.39 cores=0-7 /proc/12096/task/12321/stat : 12321 (java) R 12094 12094 5615 0 -1 4202560 826 0 0 0 2039 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062218407784 140063269865323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12322] ppid=12094 vsize=28835928 memory=111632 CPUtime=20.06 cores=0-7 /proc/12096/task/12322/stat : 12322 (java) R 12094 12094 5615 0 -1 4202560 672 0 0 0 2006 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062222618056 140063269865392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12323] ppid=12094 vsize=28835928 memory=804 CPUtime=20.4 cores=0-7 /proc/12096/task/12323/stat : 12323 (java) R 12094 12094 5615 0 -1 4202560 320 0 0 0 2040 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062215250536 140063269865254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 [pid=12096/tid=12324] ppid=12094 vsize=28835928 memory=1804 CPUtime=20.28 cores=0-7 /proc/12096/task/12324/stat : 12324 (java) R 12094 12094 5615 0 -1 4202560 805 0 0 0 2028 0 0 0 20 0 28 0 510914378 29527990272 145103 33554432000 4194304 4196468 140721927597856 140062224724120 140063269865451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140721927603184 140721927603355 140721927603355 140721927606223 0 Current children cumulated CPU time: 240.58 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 581864 KiB Child status: 0 Real time (s): 31.6507 CPU time (s): 240.863 CPU user time (s): 240.172 CPU system time (s): 0.691043 CPU usage (%): 761.004 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 581864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.172 system time used= 0.691043 maximum resident set size= 580412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60494 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7724 involuntary context switches= 3322 # summary of solver processes directly reported to runsolver: # pid: 12094 # total CPU time (s): 240.863 # total CPU user time (s): 240.172 # total CPU system time (s): 0.691043 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.30202 second user time and 0.397038 second system time The end
Begin job on node148 at 2019-09-24 19:51:20 IDJOB=4407411 IDBENCH=128027 IDSOLVER=2872 FILE ID=node148/4407411-1569347517 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-6.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-4407411-1569347517/watcher-4407411-1569347517 -o /tmp/evaluation-result-4407411-1569347517/solver-4407411-1569347517 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407411-1569347517.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bc86e74ae8fed70a43ec92abb2586e2 RANDOM SEED=708794815 node148.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.13 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.13 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.13 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.13 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: 25516180 kB MemAvailable: 31853192 kB Buffers: 55260 kB Cached: 6553332 kB SwapCached: 3372 kB Active: 4386156 kB Inactive: 2227988 kB Active(anon): 3116 kB Inactive(anon): 57864 kB Active(file): 4383040 kB Inactive(file): 2170124 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002564 kB Dirty: 27104 kB Writeback: 0 kB AnonPages: 117804 kB Mapped: 55816 kB Shmem: 47072 kB Slab: 228308 kB SReclaimable: 199364 kB SUnreclaim: 28944 kB KernelStack: 3648 kB PageTables: 5956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22060 MiB End job on node148 at 2019-09-24 19:51:52