Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 310 | 168.521 | 21.8732 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-3.xml |
MD5SUM | 486402128da484f7cb4aeca2fb99213d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 310 |
Best CPU time to get the best result obtained on this benchmark | 32.8706 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 5 |
Maximum domain size | 410 |
Distribution of domain sizes | [{"size":5,"count":50},{"size":410,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400087-1568709495.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400087-1568709495.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.50/0.75 c solve instance... 1.97/0.83 o 396 1.97/0.88 o 392 2.69/0.91 o 388 5.50/1.32 o 387 5.50/1.32 o 372 5.50/1.32 o 365 5.50/1.32 o 363 5.50/1.32 o 360 6.28/1.40 o 355 6.28/1.41 o 354 6.28/1.43 o 352 7.00/1.51 o 347 7.00/1.55 o 344 18.92/3.04 o 343 18.92/3.08 o 342 18.92/3.08 o 337 20.40/3.24 o 336 20.40/3.25 o 335 22.72/3.53 o 333 22.72/3.59 o 331 22.72/3.59 o 330 23.52/3.62 o 325 24.28/3.76 o 324 25.07/3.89 o 323 28.12/4.25 o 322 30.46/4.55 o 321 30.46/4.59 o 320 32.82/4.81 o 316 43.22/6.14 o 315 45.52/6.50 o 314 55.05/7.69 o 313 73.28/9.98 o 312 88.39/11.81 o 311 92.37/12.39 o 310 168.03/21.86 s OPTIMUM FOUND 168.03/21.86 v <instantiation> 168.03/21.86 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 168.03/21.86 v <values>0 66 121 219 269 0 81 117 195 266 0 81 136 229 305 2 84 115 187 230 1 97 134 217 229 304 310 310 309 310 66 31 64 45 35 66 36 78 71 44 81 53 91 75 5 77 25 60 38 79 93 37 83 12 81 0 3 2 1 4 3 2 0 4 1 2 1 3 0 4 1 0 4 2 3 4 3 1 0 2 0 219 121 66 269 117 266 81 0 195 229 81 0 136 305 84 2 187 230 115 217 134 229 97 1 </values> 168.03/21.86 v </instantiation>
OK 310
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 (14614 MiB free) memory of node 1: 16384 MiB (15384 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400087-1568709495/watcher-4400087-1568709495 -o /tmp/evaluation-result-4400087-1568709495/solver-4400087-1568709495 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1225461366 HOME/instance-4400087-1568709495.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 solver pid=2838, runsolver pid=2835 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 6.92 7.84 8.11 2/212 2859 /proc/meminfo: memFree=30701232/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28227396 memory=30024 CPUtime=0.13 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 5996 0 0 0 11 2 0 0 20 0 20 0 446891414 28904853504 7506 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7056849 7506 3114 1 0 7019032 0 [pid=2840/tid=2841] ppid=2838 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) R 2838 2838 561 0 -1 4202560 3896 0 0 0 8 1 0 0 20 0 20 0 446891414 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203561419568 140203557199254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28227396 memory=139712702768768 CPUtime=0 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2845] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2845/stat : 2845 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203506649872 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2846] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2846/stat : 2846 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203505597072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2847] ppid=2838 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2847/stat : 2847 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203504544272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2848] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2848/stat : 2848 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203102427536 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2849] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2849/stat : 2849 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 7506 33554432000 4194304 4196468 140729785852480 140203101374736 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2850] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2850/stat : 2850 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202087517040 140203557198466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2851] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2851/stat : 2851 (java) S 2838 2838 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202086463008 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2852] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2852/stat : 2852 (java) S 2838 2838 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202085410160 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2853] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2853/stat : 2853 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202084358480 140203557205915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2854] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2854/stat : 2854 (java) S 2838 2838 561 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202083305840 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2855] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2855/stat : 2855 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202082253040 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2856] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2856/stat : 2856 (java) S 2838 2838 561 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202081200240 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2857] ppid=2838 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 7506 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31472 KiB [startup+0.21057 s]* /proc/loadavg: 6.92 7.84 8.11 3/212 2859 /proc/meminfo: memFree=30690216/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28227396 memory=41004 CPUtime=0.33 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 9526 0 0 0 30 3 0 0 20 0 20 0 446891414 28904853504 10251 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7056849 10251 3279 1 0 7019032 0 [pid=2840/tid=2841] ppid=2838 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) R 2838 2838 561 0 -1 4202560 6682 0 0 0 17 2 0 0 20 0 20 0 446891414 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203561426320 140203541267806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28227396 memory=139712702786621 CPUtime=0 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2845] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2845/stat : 2845 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203506649872 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2846] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2846/stat : 2846 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203505597072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2847] ppid=2838 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2847/stat : 2847 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203504544272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2848] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2848/stat : 2848 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203102427536 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2849] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2849/stat : 2849 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891415 28904853504 10251 33554432000 4194304 4196468 140729785852480 140203101374736 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2850] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2850/stat : 2850 (java) S 2838 2838 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202087517040 140203557198466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2851] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2851/stat : 2851 (java) S 2838 2838 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202086463008 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2852] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2852/stat : 2852 (java) S 2838 2838 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446891417 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202085410160 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2853] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2853/stat : 2853 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202084358480 140203557205915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2854] ppid=2838 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2840/task/2854/stat : 2854 (java) S 2838 2838 561 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202083305840 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2855] ppid=2838 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2840/task/2855/stat : 2855 (java) S 2838 2838 561 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202082253040 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2856] ppid=2838 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/2840/task/2856/stat : 2856 (java) S 2838 2838 561 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202081200240 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2857] ppid=2838 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28904853504 10251 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42452 KiB [startup+0.310329 s]* /proc/loadavg: 6.92 7.84 8.11 5/212 2859 /proc/meminfo: memFree=30682200/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28231652 memory=50008 CPUtime=0.52 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 10869 0 0 0 48 4 0 0 20 0 20 0 446891414 28909211648 12502 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7057913 12502 3333 1 0 7019032 0 [pid=2840/tid=2841] ppid=2838 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) R 2838 2838 561 0 -1 4202560 7807 0 0 0 26 3 0 0 20 0 20 0 446891414 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203561420624 140203541267806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2845] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2845/stat : 2845 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203506649872 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2846] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2846/stat : 2846 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203505597072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2847] ppid=2838 vsize=28231652 memory=139712601877167 CPUtime=0 cores=0-7 /proc/2840/task/2847/stat : 2847 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203504544272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2848] ppid=2838 vsize=28231652 memory=139712601879472 CPUtime=0 cores=0-7 /proc/2840/task/2848/stat : 2848 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203102427536 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2849] ppid=2838 vsize=28231652 memory=139712601881776 CPUtime=0 cores=0-7 /proc/2840/task/2849/stat : 2849 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891415 28909211648 12502 33554432000 4194304 4196468 140729785852480 140203101374736 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2850] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2850/stat : 2850 (java) S 2838 2838 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446891417 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202087517040 140203557198466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2851] ppid=2838 vsize=28231652 memory=279425203777424 CPUtime=0 cores=0-7 /proc/2840/task/2851/stat : 2851 (java) S 2838 2838 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446891417 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202086463008 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2852] ppid=2838 vsize=28231652 memory=279425203775120 CPUtime=0 cores=0-7 /proc/2840/task/2852/stat : 2852 (java) S 2838 2838 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446891417 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202085410160 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2853] ppid=2838 vsize=28231652 memory=279425203782032 CPUtime=0 cores=0-7 /proc/2840/task/2853/stat : 2853 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202084358480 140203557205915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2854] ppid=2838 vsize=28231652 memory=279425203723312 CPUtime=0.04 cores=0-7 /proc/2840/task/2854/stat : 2854 (java) R 2838 2838 561 0 -1 4202560 679 0 0 0 4 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202083305840 140203538731523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2855] ppid=2838 vsize=28231652 memory=279425203795856 CPUtime=0.02 cores=0-7 /proc/2840/task/2855/stat : 2855 (java) S 2838 2838 561 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202082253040 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2856] ppid=2838 vsize=28231652 memory=279425203802768 CPUtime=0.01 cores=0-7 /proc/2840/task/2856/stat : 2856 (java) S 2838 2838 561 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202081200240 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2857] ppid=2838 vsize=28231652 memory=279425203800464 CPUtime=0.12 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446891420 28909211648 12502 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51456 KiB [startup+0.701055 s] /proc/loadavg: 6.92 7.84 8.11 4/212 2859 /proc/meminfo: memFree=30667672/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28233776 memory=82484 CPUtime=1.5 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 14356 0 0 0 143 7 0 0 20 0 20 0 446891414 28911386624 20621 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7058444 20621 3451 1 0 7019544 0 [pid=2840/tid=2841] ppid=2838 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) R 2838 2838 561 0 -1 4202560 9380 0 0 0 63 4 0 0 20 0 20 0 446891414 28911386624 20621 33554432000 4194304 4196468 140729785852480 140203561421600 140203557199254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28233776 memory=139712602088304 CPUtime=0 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28911386624 20621 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28911386624 20621 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28233776 memory=780 CPUtime=0 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446891415 28911386624 20621 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 ################ # More data... # ################ [pid=2840/tid=2857] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=0.9 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 7133 0 0 0 88 2 0 0 20 0 28 0 446891420 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3133] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=8.38 cores=0-7 /proc/2840/task/3133/stat : 3133 (java) R 2838 2838 561 0 -1 4202560 112 0 0 0 838 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202066964248 140203191003957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3134] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=8.37 cores=0-7 /proc/2840/task/3134/stat : 3134 (java) R 2838 2838 561 0 -1 4202560 185 0 0 0 837 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202065912552 140203193726447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3135] ppid=2838 vsize=28901464 memory=7305218370954159957 CPUtime=8.38 cores=0-7 /proc/2840/task/3135/stat : 3135 (java) R 2838 2838 561 0 -1 4202560 195 0 0 0 838 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202056822848 140203184695072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3136] ppid=2838 vsize=28901464 memory=55 CPUtime=8.23 cores=0-7 /proc/2840/task/3136/stat : 3136 (java) R 2838 2838 561 0 -1 4202560 263 0 0 0 823 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202063806312 140203192975713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3137] ppid=2838 vsize=28901464 memory=288230621803970871 CPUtime=8.38 cores=0-7 /proc/2840/task/3137/stat : 3137 (java) R 2838 2838 561 0 -1 4202560 234 0 0 0 838 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202061701440 140203192436725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3138] ppid=2838 vsize=28901464 memory=15541833904162827 CPUtime=8.33 cores=0-7 /proc/2840/task/3138/stat : 3138 (java) R 2838 2838 561 0 -1 4202560 309 0 0 0 833 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202058542256 140203192976329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3139] ppid=2838 vsize=28901464 memory=111636 CPUtime=8.38 cores=0-7 /proc/2840/task/3139/stat : 3139 (java) R 2838 2838 561 0 -1 4202560 138 0 0 0 838 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202064861664 140203190997113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3140] ppid=2838 vsize=28901464 memory=804 CPUtime=8.35 cores=0-7 /proc/2840/task/3140/stat : 3140 (java) R 2838 2838 561 0 -1 4202560 238 0 0 0 835 0 0 0 20 0 28 0 446892653 29595099136 56932 33554432000 4194304 4196468 140729785852480 140202059596160 140203191576803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 160.05 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 229176 KiB [startup+21.6014 s] /proc/loadavg: 7.31 7.87 8.11 9/220 3140 /proc/meminfo: memFree=30502744/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28901464 memory=225188 CPUtime=166.43 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 60445 0 0 0 16611 32 0 0 20 0 28 0 446891414 29595099136 56297 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7225366 56297 3533 1 0 7186466 0 [pid=2840/tid=2841] ppid=2838 vsize=28901464 memory=8112282956445269571 CPUtime=0.76 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) S 2838 2838 561 0 -1 1077944384 9864 0 0 0 71 5 0 0 20 0 28 0 446891414 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203561428096 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28901464 memory=1448 CPUtime=0.03 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28901464 memory=253412 CPUtime=0.03 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28901464 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 81 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2845] ppid=2838 vsize=28901464 memory=1448 CPUtime=0.03 cores=0-7 /proc/2840/task/2845/stat : 2845 (java) S 2838 2838 561 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203506649872 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2846] ppid=2838 vsize=28901464 memory=15148 CPUtime=0.03 cores=0-7 /proc/2840/task/2846/stat : 2846 (java) S 2838 2838 561 0 -1 1077944384 1168 0 0 0 2 1 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203505597072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2847] ppid=2838 vsize=28901464 memory=12024 CPUtime=0.03 cores=0-7 /proc/2840/task/2847/stat : 2847 (java) S 2838 2838 561 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203504544272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2848] ppid=2838 vsize=28901464 memory=2120 CPUtime=0.02 cores=0-7 /proc/2840/task/2848/stat : 2848 (java) S 2838 2838 561 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203102427536 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2849] ppid=2838 vsize=28901464 memory=500 CPUtime=0.04 cores=0-7 /proc/2840/task/2849/stat : 2849 (java) S 2838 2838 561 0 -1 1077944384 87 0 0 0 3 1 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203101374736 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2850] ppid=2838 vsize=28901464 memory=1556 CPUtime=0.03 cores=0-7 /proc/2840/task/2850/stat : 2850 (java) S 2838 2838 561 0 -1 1077944384 940 0 0 0 3 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202087517040 140203557198466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2851] ppid=2838 vsize=28901464 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2840/task/2851/stat : 2851 (java) S 2838 2838 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202086463072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2852] ppid=2838 vsize=28901464 memory=3040 CPUtime=0 cores=0-7 /proc/2840/task/2852/stat : 2852 (java) S 2838 2838 561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202085410176 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2853] ppid=2838 vsize=28901464 memory=1448 CPUtime=0 cores=0-7 /proc/2840/task/2853/stat : 2853 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202084358480 140203557205915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2854] ppid=2838 vsize=28901464 memory=246420 CPUtime=2.74 cores=0-7 /proc/2840/task/2854/stat : 2854 (java) S 2838 2838 561 0 -1 1077944384 9886 0 0 0 272 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202083305840 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2855] ppid=2838 vsize=28901464 memory=1732 CPUtime=2.67 cores=0-7 /proc/2840/task/2855/stat : 2855 (java) S 2838 2838 561 0 -1 1077944384 9419 0 0 0 265 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202082253040 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2856] ppid=2838 vsize=28901464 memory=8317482817917895235 CPUtime=2.66 cores=0-7 /proc/2840/task/2856/stat : 2856 (java) S 2838 2838 561 0 -1 1077944384 9820 0 0 0 263 3 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202081200240 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2857] ppid=2838 vsize=28901464 memory=139715286139482 CPUtime=0.9 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 7133 0 0 0 88 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28901464 memory=3612 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28901464 memory=33936 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3133] ppid=2838 vsize=28901464 memory=244312 CPUtime=9.16 cores=0-7 /proc/2840/task/3133/stat : 3133 (java) R 2838 2838 561 0 -1 4202560 123 0 0 0 916 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202066964312 140203192002160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3134] ppid=2838 vsize=28901464 memory=1732 CPUtime=9.16 cores=0-7 /proc/2840/task/3134/stat : 3134 (java) R 2838 2838 561 0 -1 4202560 196 0 0 0 916 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202065916600 140203193848588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3135] ppid=2838 vsize=28901464 memory=992 CPUtime=9.18 cores=0-7 /proc/2840/task/3135/stat : 3135 (java) R 2838 2838 561 0 -1 4202560 201 0 0 0 918 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202056827464 140203185509271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3136] ppid=2838 vsize=28901464 memory=2044 CPUtime=9.03 cores=0-7 /proc/2840/task/3136/stat : 3136 (java) R 2838 2838 561 0 -1 4202560 270 0 0 0 903 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202063808448 140203192971791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3137] ppid=2838 vsize=28901464 memory=1428 CPUtime=9.18 cores=0-7 /proc/2840/task/3137/stat : 3137 (java) R 2838 2838 561 0 -1 4202560 238 0 0 0 918 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202061701064 140203193645661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3138] ppid=2838 vsize=28901464 memory=1808 CPUtime=9.13 cores=0-7 /proc/2840/task/3138/stat : 3138 (java) R 2838 2838 561 0 -1 4202560 314 0 0 0 913 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202058542968 140203184694448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3139] ppid=2838 vsize=28901464 memory=11624 CPUtime=9.16 cores=0-7 /proc/2840/task/3139/stat : 3139 (java) R 2838 2838 561 0 -1 4202560 144 0 0 0 916 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202064862736 140203193848191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3140] ppid=2838 vsize=28901464 memory=740 CPUtime=9.15 cores=0-7 /proc/2840/task/3140/stat : 3140 (java) R 2838 2838 561 0 -1 4202560 247 0 0 0 915 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202059596296 140203193229853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 166.43 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 226636 KiB [startup+21.8014 s] /proc/loadavg: 7.31 7.87 8.11 9/220 3140 /proc/meminfo: memFree=30502744/32770624 swapFree=66954132/67108860 [pid=2838] ppid=2835 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/2838/stat : 2838 (xcsp3-exec) S 2835 2838 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446891414 115843072 362 33554432000 4194304 5098028 140722153591840 140722153589944 139910611759740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38551552 140722153595771 140722153596014 140722153596014 140722153598922 0 /proc/2838/statm: 28282 362 304 221 0 87 0 [pid=2840] ppid=2838 vsize=28901464 memory=225188 CPUtime=168.03 cores=0-7 /proc/2840/stat : 2840 (java) S 2838 2838 561 0 -1 1077944320 60445 0 0 0 16771 32 0 0 20 0 28 0 446891414 29595099136 56297 33554432000 4194304 4196468 140729785852480 140729785835024 140203557187319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 /proc/2840/statm: 7225366 56297 3533 1 0 7186466 0 [pid=2840/tid=2841] ppid=2838 vsize=28901464 memory=0 CPUtime=0.76 cores=0-7 /proc/2840/task/2841/stat : 2841 (java) S 2838 2838 561 0 -1 1077944384 9864 0 0 0 71 5 0 0 20 0 28 0 446891414 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203561428096 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2842] ppid=2838 vsize=28901464 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/2840/task/2842/stat : 2842 (java) S 2838 2838 561 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203509808272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2843] ppid=2838 vsize=28901464 memory=4104 CPUtime=0.03 cores=0-7 /proc/2840/task/2843/stat : 2843 (java) S 2838 2838 561 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203508755472 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2844] ppid=2838 vsize=28901464 memory=796 CPUtime=0.03 cores=0-7 /proc/2840/task/2844/stat : 2844 (java) S 2838 2838 561 0 -1 1077944384 81 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203507702672 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2845] ppid=2838 vsize=28901464 memory=1436 CPUtime=0.03 cores=0-7 /proc/2840/task/2845/stat : 2845 (java) S 2838 2838 561 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203506649872 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2846] ppid=2838 vsize=28901464 memory=1984 CPUtime=0.03 cores=0-7 /proc/2840/task/2846/stat : 2846 (java) S 2838 2838 561 0 -1 1077944384 1168 0 0 0 2 1 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203505597072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2847] ppid=2838 vsize=28901464 memory=2424 CPUtime=0.03 cores=0-7 /proc/2840/task/2847/stat : 2847 (java) S 2838 2838 561 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203504544272 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2848] ppid=2838 vsize=28901464 memory=1764 CPUtime=0.02 cores=0-7 /proc/2840/task/2848/stat : 2848 (java) S 2838 2838 561 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203102427536 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2849] ppid=2838 vsize=28901464 memory=111636 CPUtime=0.04 cores=0-7 /proc/2840/task/2849/stat : 2849 (java) S 2838 2838 561 0 -1 1077944384 87 0 0 0 3 1 0 0 20 0 28 0 446891415 29595099136 56297 33554432000 4194304 4196468 140729785852480 140203101374736 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2850] ppid=2838 vsize=28901464 memory=804 CPUtime=0.03 cores=0-7 /proc/2840/task/2850/stat : 2850 (java) S 2838 2838 561 0 -1 1077944384 940 0 0 0 3 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202087517040 140203557198466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2851] ppid=2838 vsize=28901464 memory=1412 CPUtime=0 cores=0-7 /proc/2840/task/2851/stat : 2851 (java) S 2838 2838 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202086463072 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2852] ppid=2838 vsize=28901464 memory=3192 CPUtime=0 cores=0-7 /proc/2840/task/2852/stat : 2852 (java) S 2838 2838 561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446891417 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202085410176 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2853] ppid=2838 vsize=28901464 memory=1448 CPUtime=0 cores=0-7 /proc/2840/task/2853/stat : 2853 (java) S 2838 2838 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202084358480 140203557205915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2854] ppid=2838 vsize=28901464 memory=227728 CPUtime=2.74 cores=0-7 /proc/2840/task/2854/stat : 2854 (java) S 2838 2838 561 0 -1 1077944384 9886 0 0 0 272 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202083305840 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2855] ppid=2838 vsize=28901464 memory=1732 CPUtime=2.67 cores=0-7 /proc/2840/task/2855/stat : 2855 (java) S 2838 2838 561 0 -1 1077944384 9419 0 0 0 265 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202082253040 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2856] ppid=2838 vsize=28901464 memory=0 CPUtime=2.66 cores=0-7 /proc/2840/task/2856/stat : 2856 (java) S 2838 2838 561 0 -1 1077944384 9820 0 0 0 263 3 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202081200240 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2857] ppid=2838 vsize=28901464 memory=0 CPUtime=0.9 cores=0-7 /proc/2840/task/2857/stat : 2857 (java) S 2838 2838 561 0 -1 1077944384 7133 0 0 0 88 2 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202080147440 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2858] ppid=2838 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/2840/task/2858/stat : 2858 (java) S 2838 2838 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202079095904 140203557197525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=2859] ppid=2838 vsize=28901464 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2840/task/2859/stat : 2859 (java) S 2838 2838 561 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 28 0 446891420 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202078043184 140203557198466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3133] ppid=2838 vsize=28901464 memory=7522817219983796563 CPUtime=9.36 cores=0-7 /proc/2840/task/3133/stat : 3133 (java) R 2838 2838 561 0 -1 4202560 123 0 0 0 936 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202066964312 140203193555277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3134] ppid=2838 vsize=28901464 memory=7019467088073929011 CPUtime=9.36 cores=0-7 /proc/2840/task/3134/stat : 3134 (java) R 2838 2838 561 0 -1 4202560 196 0 0 0 936 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202065916600 140203194928944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3135] ppid=2838 vsize=28901464 memory=-1598831813028945288 CPUtime=9.38 cores=0-7 /proc/2840/task/3135/stat : 3135 (java) R 2838 2838 561 0 -1 4202560 201 0 0 0 938 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202056827464 140203191576592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3136] ppid=2838 vsize=28901464 memory=6944656592387989600 CPUtime=9.23 cores=0-7 /proc/2840/task/3136/stat : 3136 (java) R 2838 2838 561 0 -1 4202560 270 0 0 0 923 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202063810448 140203194684210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3137] ppid=2838 vsize=28901464 memory=6944656592455359580 CPUtime=9.38 cores=0-7 /proc/2840/task/3137/stat : 3137 (java) R 2838 2838 561 0 -1 4202560 238 0 0 0 938 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202061701064 140203538593636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3138] ppid=2838 vsize=28901464 memory=6944656575208382560 CPUtime=9.33 cores=0-7 /proc/2840/task/3138/stat : 3138 (java) R 2838 2838 561 0 -1 4202560 314 0 0 0 933 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202058542968 140203188020991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3139] ppid=2838 vsize=28901464 memory=8547763363015199892 CPUtime=9.36 cores=0-7 /proc/2840/task/3139/stat : 3139 (java) R 2838 2838 561 0 -1 4202560 144 0 0 0 936 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202064863184 140203191575710 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 [pid=2840/tid=3140] ppid=2838 vsize=28901464 memory=-7629028154452383424 CPUtime=9.35 cores=0-7 /proc/2840/task/3140/stat : 3140 (java) R 2838 2838 561 0 -1 4202560 247 0 0 0 935 0 0 0 20 0 28 0 446892653 29595099136 56297 33554432000 4194304 4196468 140729785852480 140202059596296 140203192887536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36450304 140729785857008 140729785857179 140729785857179 140729785860047 0 Current children cumulated CPU time: 168.03 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 226636 KiB Child status: 0 Real time (s): 21.8732 CPU time (s): 168.521 CPU user time (s): 168.189 CPU system time (s): 0.33187 CPU usage (%): 770.443 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 254860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 168.189 system time used= 0.33187 maximum resident set size= 257508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61845 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9086 involuntary context switches= 2925 # summary of solver processes directly reported to runsolver: # pid: 2838 # total CPU time (s): 168.521 # total CPU user time (s): 168.189 # total CPU system time (s): 0.33187 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.247808 second user time and 0.239586 second system time The end
Begin job on node117 at 2019-09-17 10:37:32 IDJOB=4400087 IDBENCH=115848 IDSOLVER=2855 FILE ID=node117/4400087-1568709495 RUNJOBID= node117-1568700865-599 PBS_JOBID= 21703907 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-3.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-4400087-1568709495/watcher-4400087-1568709495 -o /tmp/evaluation-result-4400087-1568709495/solver-4400087-1568709495 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1225461366 HOME/instance-4400087-1568709495.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 486402128da484f7cb4aeca2fb99213d RANDOM SEED=1225461366 node117.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.75 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.75 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.75 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.75 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: 30719244 kB MemAvailable: 31850680 kB Buffers: 135672 kB Cached: 1275304 kB SwapCached: 49696 kB Active: 585308 kB Inactive: 879864 kB Active(anon): 5224 kB Inactive(anon): 87548 kB Active(file): 580084 kB Inactive(file): 792316 kB Unevictable: 109132 kB Mlocked: 109132 kB SwapTotal: 67108860 kB SwapFree: 66954132 kB Dirty: 26168 kB Writeback: 0 kB AnonPages: 130512 kB Mapped: 42360 kB Shmem: 30088 kB Slab: 178400 kB SReclaimable: 149744 kB SUnreclaim: 28656 kB KernelStack: 3728 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-17 10:37:54