Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 34 | 163.51 | 21.2837 |
Name | StillLife/StillLife-m1-s1/ StillLife-05-12.xml |
MD5SUM | d0005c97ad61d9cead696518787f869e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 14.9253 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 146 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":60},{"size":9,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":60},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":30}] |
Number of extensional constraints | 86 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":86},{"type":"sum","count":60}] |
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-4407344-1569346528.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407344-1569346528.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.66/0.73 c solve instance... 1.66/0.77 o 0 1.66/0.78 o 4 1.66/0.80 o 5 1.66/0.80 o 6 2.19/0.82 o 8 2.19/0.82 o 9 2.19/0.83 o 10 2.19/0.85 o 14 2.87/0.91 o 16 2.87/0.95 o 25 2.87/0.99 o 27 3.66/1.05 o 28 3.66/1.10 o 30 4.44/1.16 o 31 5.15/1.21 o 32 5.94/1.35 o 34 162.93/21.27 s OPTIMUM FOUND 162.93/21.27 v <instantiation> 162.93/21.27 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] </list> 162.93/21.27 v <values>1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 3 3 4 2 2 2 2 3 2 4 3 3 3 3 5 3 5 4 3 6 3 5 3 3 4 4 5 2 4 3 3 6 2 5 4 4 3 3 5 3 5 4 3 6 3 5 3 3 3 3 4 2 2 2 2 3 2 4 3 3 </values> 162.93/21.27 v </instantiation>
OK 34
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 (12378 MiB free) memory of node 1: 16384 MiB (12768 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407344-1569346528/watcher-4407344-1569346528 -o /var/tmp/evaluation-result-4407344-1569346528/solver-4407344-1569346528 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 327303870 HOME/instance-4407344-1569346528.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=2516, runsolver pid=2513 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 8.15 8.29 8.24 3/212 2537 /proc/meminfo: memFree=25733564/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28227396 memory=29084 CPUtime=0.11 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 5737 0 0 0 10 1 0 0 20 0 20 0 510589246 28904853504 7271 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7056849 7271 3123 1 0 7019032 0 [pid=2518/tid=2519] ppid=2516 vsize=28227396 memory=6935054825532540783 CPUtime=0.09 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 3647 0 0 0 8 1 0 0 20 0 20 0 510589246 28904853504 7271 33554432000 4194304 4196468 140722796024240 140155358303104 140155338147166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28227396 memory=140137533789824 CPUtime=0 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2523] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2524] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2525] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2526] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2527] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2528] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2529] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2530] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2531] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2532] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2533] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2534] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2535] ppid=2516 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30536 KiB [startup+0.210741 s]* /proc/loadavg: 8.15 8.29 8.24 3/212 2537 /proc/meminfo: memFree=25719816/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28227396 memory=40800 CPUtime=0.33 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 9484 0 0 0 30 3 0 0 20 0 20 0 510589246 28904853504 10200 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7056849 10200 3276 1 0 7019032 0 [pid=2518/tid=2519] ppid=2516 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 510589246 28904853504 10200 33554432000 4194304 4196468 140722796024240 140155358300144 140155354078614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28227396 memory=4049492144638908064 CPUtime=0 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2523] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2524] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2525] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2526] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2527] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2528] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2529] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2530] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2531] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2532] ppid=2516 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2533] ppid=2516 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2534] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2535] ppid=2516 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) R 2516 2516 30433 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154462391024 140155333201162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42252 KiB [startup+0.321054 s]* /proc/loadavg: 8.15 8.29 8.24 3/212 2537 /proc/meminfo: memFree=25713208/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28231652 memory=50600 CPUtime=0.54 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 11013 0 0 0 49 5 0 0 20 0 20 0 510589246 28909211648 12650 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7057913 12650 3362 1 0 7019032 0 [pid=2518/tid=2519] ppid=2516 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 7915 0 0 0 27 3 0 0 20 0 20 0 510589246 28909211648 12724 33554432000 4194304 4196468 140722796024240 140155358300464 140155338147166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28231652 memory=35720 CPUtime=0 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2523] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2524] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2525] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2526] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2527] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2528] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2529] ppid=2516 vsize=28231652 memory=140137400993231 CPUtime=0 cores=0-7 /proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2530] ppid=2516 vsize=28231652 memory=280274801981840 CPUtime=0 cores=0-7 /proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2531] ppid=2516 vsize=28231652 memory=280274801979536 CPUtime=0 cores=0-7 /proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2532] ppid=2516 vsize=28231652 memory=280274801995664 CPUtime=0.03 cores=0-7 /proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2533] ppid=2516 vsize=28231652 memory=280274801993360 CPUtime=0.03 cores=0-7 /proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 141 0 0 0 3 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2534] ppid=2516 vsize=28231652 memory=280274802000272 CPUtime=0.02 cores=0-7 /proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2535] ppid=2516 vsize=28231652 memory=280274801941520 CPUtime=0.13 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) R 2516 2516 30433 0 -1 4202560 873 0 0 0 13 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154462391024 140155354088026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52052 KiB [startup+0.701025 s] /proc/loadavg: 8.15 8.29 8.24 3/212 2537 /proc/meminfo: memFree=25701976/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28233776 memory=92508 CPUtime=1.66 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 16863 0 0 0 158 8 0 0 20 0 20 0 510589246 28911386624 23127 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7058444 23127 3457 1 0 7019544 0 [pid=2518/tid=2519] ppid=2516 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 9243 0 0 0 63 4 0 0 20 0 20 0 510589246 28911386624 23127 33554432000 4194304 4196468 140722796024240 140155358299432 140154991605617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28233776 memory=280274802041920 CPUtime=0 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28233776 memory=140137401197424 CPUtime=0 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 ################ # More data... # ################ [pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=776 CPUtime=0.78 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 4868 0 0 0 77 1 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=1056 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=3616 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) R 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=155404 CPUtime=17.89 cores=0-7 /proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 261 0 0 0 1789 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153390612136 140154997544240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=1660 CPUtime=18.22 cores=0-7 /proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 285 0 0 0 1821 1 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154448146832 140154997947376 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=1808 CPUtime=18.1 cores=0-7 /proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 289 0 0 0 1810 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154450252144 140154997545916 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=920 CPUtime=18.06 cores=0-7 /proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 699 0 0 0 1806 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154451305152 140154992614739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=4456 CPUtime=17.97 cores=0-7 /proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 327 0 0 0 1797 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154449201776 140154997017132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=6935054825532540783 CPUtime=18.08 cores=0-7 /proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 430 0 0 0 1807 1 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153387454936 140154997544045 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=4126316290023845779 CPUtime=18.06 cores=0-7 /proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 819 0 0 0 1806 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153389559392 140154994882479 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=8136 CPUtime=18.08 cores=0-7 /proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 571 0 0 0 1808 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153391664720 140154994884035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 153.51 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 154836 KiB [startup+20.8081 s] /proc/loadavg: 8.45 8.35 8.26 9/220 2675 /proc/meminfo: memFree=25608224/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28834900 memory=154924 CPUtime=159.81 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 42531 0 0 0 15952 29 0 0 20 0 28 0 510589246 29526937600 38731 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7208725 38731 3531 1 0 7169825 0 [pid=2518/tid=2519] ppid=2516 vsize=28834900 memory=280274802680448 CPUtime=0.73 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) S 2516 2516 30433 0 -1 1077944384 9344 0 0 0 68 5 0 0 20 0 28 0 510589246 29526937600 38731 33554432000 4194304 4196468 140722796024240 140155358307456 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28834900 memory=8112282956445269571 CPUtime=0.04 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 228 0 0 0 3 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28834900 memory=6944656592455359580 CPUtime=0.04 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 137 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28834900 memory=6944656575208382560 CPUtime=0.04 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 287 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2523] ppid=2516 vsize=28834900 memory=6943526294502006880 CPUtime=0.05 cores=0-7 /proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2524] ppid=2516 vsize=28834900 memory=6944652177228980320 CPUtime=0.05 cores=0-7 /proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2525] ppid=2516 vsize=28834900 memory=280274802425440 CPUtime=0.04 cores=0-7 /proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2526] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.04 cores=0-7 /proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1132 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2527] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.04 cores=0-7 /proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 476 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2528] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.05 cores=0-7 /proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 1278 0 0 0 4 1 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2529] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0 cores=0-7 /proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154854028128 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2530] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=0 cores=0-7 /proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2531] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=0 cores=0-7 /proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2532] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=1.33 cores=0-7 /proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 6344 0 0 0 132 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2533] ppid=2516 vsize=28834900 memory=1452 CPUtime=1.44 cores=0-7 /proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 4155 0 0 0 143 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2534] ppid=2516 vsize=28834900 memory=153384 CPUtime=1.34 cores=0-7 /proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 4622 0 0 0 133 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=14080 CPUtime=0.79 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 5541 0 0 0 78 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=35720 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=2120 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=0 CPUtime=18.68 cores=0-7 /proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 263 0 0 0 1868 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153390611328 140154994884015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=0 CPUtime=18.99 cores=0-7 /proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 286 0 0 0 1898 1 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154448149200 140154997945397 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=280274802026528 CPUtime=18.89 cores=0-7 /proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 292 0 0 0 1889 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154450252824 140154994884001 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=140137401894464 CPUtime=18.83 cores=0-7 /proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 708 0 0 0 1883 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154451304144 140154999346113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=0 CPUtime=18.75 cores=0-7 /proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 328 0 0 0 1875 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154449199520 140154992614566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=1452 CPUtime=18.87 cores=0-7 /proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 432 0 0 0 1886 1 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153387454936 140154992614566 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=156400 CPUtime=18.85 cores=0-7 /proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 822 0 0 0 1885 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153389560216 140154997544807 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=0 CPUtime=18.86 cores=0-7 /proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 579 0 0 0 1886 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153391665400 140154997543916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 159.81 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 156376 KiB [startup+21.2021 s] /proc/loadavg: 8.45 8.35 8.26 9/219 2675 /proc/meminfo: memFree=25607516/32770624 swapFree=66966880/67108860 [pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0 /proc/2516/statm: 28282 363 305 221 0 87 0 [pid=2518] ppid=2516 vsize=28834900 memory=154412 CPUtime=162.93 cores=0-7 /proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 42553 0 0 0 16264 29 0 0 20 0 28 0 510589246 29526937600 38603 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 /proc/2518/statm: 7208725 38603 3531 1 0 7169825 0 [pid=2518/tid=2519] ppid=2516 vsize=28834900 memory=7306879720424499058 CPUtime=0.73 cores=0-7 /proc/2518/task/2519/stat : 2519 (java) S 2516 2516 30433 0 -1 1077944384 9344 0 0 0 68 5 0 0 20 0 28 0 510589246 29526937600 38603 33554432000 4194304 4196468 140722796024240 140155358307456 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2520] ppid=2516 vsize=28834900 memory=7596839636989794665 CPUtime=0.04 cores=0-7 /proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 228 0 0 0 3 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2521] ppid=2516 vsize=28834900 memory=301741373374332954 CPUtime=0.04 cores=0-7 /proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2522] ppid=2516 vsize=28834900 memory=288230617509003574 CPUtime=0.04 cores=0-7 /proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 288 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2523] ppid=2516 vsize=28834900 memory=15258159904196609 CPUtime=0.05 cores=0-7 /proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 407 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2524] ppid=2516 vsize=28834900 memory=1412 CPUtime=0.05 cores=0-7 /proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2525] ppid=2516 vsize=28834900 memory=3004 CPUtime=0.04 cores=0-7 /proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2526] ppid=2516 vsize=28834900 memory=1452 CPUtime=0.05 cores=0-7 /proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1132 0 0 0 5 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2527] ppid=2516 vsize=28834900 memory=169700 CPUtime=0.04 cores=0-7 /proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 477 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2528] ppid=2516 vsize=28834900 memory=280274801882560 CPUtime=0.05 cores=0-7 /proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 1284 0 0 0 4 1 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2529] ppid=2516 vsize=28834900 memory=288230587427463846 CPUtime=0 cores=0-7 /proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154854028128 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2530] ppid=2516 vsize=28834900 memory=14691889941074687 CPUtime=0 cores=0-7 /proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2531] ppid=2516 vsize=28834900 memory=4456 CPUtime=0 cores=0-7 /proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2532] ppid=2516 vsize=28834900 memory=6442213876373414240 CPUtime=1.33 cores=0-7 /proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 6344 0 0 0 132 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2533] ppid=2516 vsize=28834900 memory=2319546954909224214 CPUtime=1.44 cores=0-7 /proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 4155 0 0 0 143 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2534] ppid=2516 vsize=28834900 memory=150942330655673 CPUtime=1.34 cores=0-7 /proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 4622 0 0 0 133 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=1452 CPUtime=0.79 cores=0-7 /proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 5541 0 0 0 78 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=152868 CPUtime=0 cores=0-7 /proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=4856351934171879829 CPUtime=0 cores=0-7 /proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=-7308610313020399446 CPUtime=19.07 cores=0-7 /proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 264 0 0 0 1907 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153390612136 140154997543382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=-7599660906365017200 CPUtime=19.38 cores=0-7 /proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 286 0 0 0 1937 1 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154448147096 140154997544724 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=-6230263163210191963 CPUtime=19.28 cores=0-7 /proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 292 0 0 0 1928 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154450252464 140154999507288 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=-6295304829150910815 CPUtime=19.22 cores=0-7 /proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 708 0 0 0 1922 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154451306848 140154999420541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=0 CPUtime=19.14 cores=0-7 /proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 329 0 0 0 1914 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154449200184 140154997412419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=280274802534592 CPUtime=19.26 cores=0-7 /proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 432 0 0 0 1925 1 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153387454752 140154997546491 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=140137401224832 CPUtime=19.24 cores=0-7 /proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 822 0 0 0 1924 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153389559536 140154999507381 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 [pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=65 CPUtime=19.24 cores=0-7 /proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 589 0 0 0 1924 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153391664656 140154992614551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0 Current children cumulated CPU time: 162.93 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 155864 KiB Child status: 0 Real time (s): 21.2837 CPU time (s): 163.51 CPU user time (s): 163.204 CPU system time (s): 0.306298 CPU usage (%): 768.238 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 223692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 163.204 system time used= 0.306298 maximum resident set size= 224192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44091 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= 8549 involuntary context switches= 2576 # summary of solver processes directly reported to runsolver: # pid: 2516 # total CPU time (s): 163.51 # total CPU user time (s): 163.204 # total CPU system time (s): 0.306298 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.261876 second user time and 0.233741 second system time The end
Begin job on node145 at 2019-09-24 19:34:46 IDJOB=4407344 IDBENCH=115990 IDSOLVER=2872 FILE ID=node145/4407344-1569346528 RUNJOBID= node145-1569335936-30460 PBS_JOBID= 21705052 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-12.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 /var/tmp/evaluation-result-4407344-1569346528/watcher-4407344-1569346528 -o /var/tmp/evaluation-result-4407344-1569346528/solver-4407344-1569346528 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 327303870 HOME/instance-4407344-1569346528.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0005c97ad61d9cead696518787f869e RANDOM SEED=327303870 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25750524 kB MemAvailable: 31812264 kB Buffers: 150140 kB Cached: 6064100 kB SwapCached: 32456 kB Active: 3047016 kB Inactive: 3204660 kB Active(anon): 5244 kB Inactive(anon): 89852 kB Active(file): 3041772 kB Inactive(file): 3114808 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966880 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 121708 kB Mapped: 57224 kB Shmem: 48848 kB Slab: 362040 kB SReclaimable: 333620 kB SUnreclaim: 28420 kB KernelStack: 3728 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-24 19:35:07