Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 30 | 163.672 | 21.1836 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-14.xml |
MD5SUM | 19ed80590beafaab4553f21dc50e09e4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 16.7855 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 140 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":56},{"size":9,"count":56}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":24}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":56},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":24}] |
Number of extensional constraints | 84 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":84},{"type":"sum","count":56}] |
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-4400122-1568709540.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.19 c [HOME/instance-4400122-1568709540.xml, -tl, 2016s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.64/0.73 c solve instance... 1.64/0.78 o 0 2.17/0.80 o 4 2.17/0.81 o 7 2.17/0.81 o 8 2.17/0.83 o 10 2.17/0.84 o 12 2.17/0.85 o 14 2.17/0.86 o 16 2.17/0.89 o 17 2.85/0.90 o 22 2.85/0.91 o 24 3.67/1.04 o 25 3.67/1.05 o 26 4.41/1.11 o 27 13.76/2.37 o 30 163.14/21.17 s OPTIMUM FOUND 163.14/21.17 v <instantiation> 163.14/21.17 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[0][12] x[0][13] 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[1][12] x[1][13] 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[2][12] x[2][13] 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[3][12] x[3][13] 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[0][12] s[0][13] 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[1][12] s[1][13] 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[2][12] s[2][13] 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[3][12] s[3][13] </list> 163.14/21.17 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 2 2 2 2 2 4 2 2 2 2 2 4 2 2 3 4 4 4 3 4 3 4 4 4 3 4 3 4 4 3 4 3 4 4 4 3 4 3 4 4 4 3 2 2 4 2 2 2 2 2 4 2 2 2 2 2 </values> 163.14/21.17 v </instantiation>
OK 30
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 (14716 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400122-1568709540/watcher-4400122-1568709540 -o /tmp/evaluation-result-4400122-1568709540/solver-4400122-1568709540 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1228296882 HOME/instance-4400122-1568709540.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=30720, runsolver pid=30717 Current StackSize limit: 8192 KiB [startup+0.100121 s]* /proc/loadavg: 8.56 8.34 8.24 2/210 30741 /proc/meminfo: memFree=30660604/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28227396 memory=26824 CPUtime=0.12 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 447209844 28904853504 6706 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7056849 6706 3126 1 0 7019032 0 [pid=30722/tid=30723] ppid=30720 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) R 30720 30720 26088 0 -1 4202560 3631 0 0 0 8 0 0 0 20 0 20 0 447209844 28904853504 6772 33554432000 4194304 4196468 140732831678528 140346210948912 140346102963568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28227396 memory=288370935630325376 CPUtime=0 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30727] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30727/stat : 30727 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345754545168 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30728] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30728/stat : 30728 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345753491856 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30729] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30729/stat : 30729 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345752439056 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30730] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30730/stat : 30730 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345751386768 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30731] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30731/stat : 30731 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 6772 33554432000 4194304 4196468 140732831678528 140345750333968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30732] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30732/stat : 30732 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344536644208 140346206726786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30733] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30733/stat : 30733 (java) S 30720 30720 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344535590176 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30734] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30734/stat : 30734 (java) S 30720 30720 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344534537840 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30735] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30735/stat : 30735 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344533486160 140346206734235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30736] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30736/stat : 30736 (java) S 30720 30720 26088 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344532433008 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30737] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30737/stat : 30737 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344531380208 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30738] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30738/stat : 30738 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344530327920 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30739] ppid=30720 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) R 30720 30720 26088 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344529275120 140346199812475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 6772 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28272 KiB [startup+0.210243 s]* /proc/loadavg: 8.56 8.34 8.24 3/210 30741 /proc/meminfo: memFree=30646508/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28227396 memory=40172 CPUtime=0.34 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 9749 0 0 0 31 3 0 0 20 0 20 0 447209844 28904853504 10043 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7056849 10043 3318 1 0 7019032 0 [pid=30722/tid=30723] ppid=30720 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) R 30720 30720 26088 0 -1 4202560 6663 0 0 0 18 1 0 0 20 0 20 0 447209844 28904853504 10043 33554432000 4194304 4196468 140732831678528 140346210947552 140346206736986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28227396 memory=10923 CPUtime=0 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28227396 memory=140559478639977 CPUtime=0 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30727] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30727/stat : 30727 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345754545168 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30728] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30728/stat : 30728 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345753491856 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30729] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30729/stat : 30729 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345752439056 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30730] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30730/stat : 30730 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345751386768 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30731] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30731/stat : 30731 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28904853504 10043 33554432000 4194304 4196468 140732831678528 140345750333968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30732] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30732/stat : 30732 (java) S 30720 30720 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344536644208 140346206726786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30733] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30733/stat : 30733 (java) S 30720 30720 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344535590176 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30734] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30734/stat : 30734 (java) S 30720 30720 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447209847 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344534537840 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30735] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30735/stat : 30735 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344533486160 140346206734235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30736] ppid=30720 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30722/task/30736/stat : 30736 (java) S 30720 30720 26088 0 -1 1077944384 724 0 0 0 2 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344532433008 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30737] ppid=30720 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30722/task/30737/stat : 30737 (java) S 30720 30720 26088 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344531380208 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30738] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30738/stat : 30738 (java) S 30720 30720 26088 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344530327920 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30739] ppid=30720 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) R 30720 30720 26088 0 -1 4202560 890 0 0 0 7 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344529275120 140346185838848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28904853504 10043 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41620 KiB [startup+0.310069 s]* /proc/loadavg: 8.56 8.34 8.24 3/210 30741 /proc/meminfo: memFree=30639828/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28231652 memory=48712 CPUtime=0.51 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 11046 0 0 0 48 3 0 0 20 0 20 0 447209844 28909211648 12178 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7057913 12178 3347 1 0 7019032 0 [pid=30722/tid=30723] ppid=30720 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) R 30720 30720 26088 0 -1 4202560 7722 0 0 0 28 2 0 0 20 0 20 0 447209844 28909211648 12178 33554432000 4194304 4196468 140732831678528 140346210952256 140346190796126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30727] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30727/stat : 30727 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345754545168 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30728] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30728/stat : 30728 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345753491856 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30729] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30729/stat : 30729 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345752439056 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30730] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30730/stat : 30730 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345751386768 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30731] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30731/stat : 30731 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28909211648 12178 33554432000 4194304 4196468 140732831678528 140345750333968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30732] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30732/stat : 30732 (java) S 30720 30720 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447209847 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344536644208 140346206726786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30733] ppid=30720 vsize=28231652 memory=281118763064704 CPUtime=0 cores=0-7 /proc/30722/task/30733/stat : 30733 (java) S 30720 30720 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447209847 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344535590176 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30734] ppid=30720 vsize=28231652 memory=281118763069312 CPUtime=0 cores=0-7 /proc/30722/task/30734/stat : 30734 (java) S 30720 30720 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447209847 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344534537840 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30735] ppid=30720 vsize=28231652 memory=281118763073920 CPUtime=0 cores=0-7 /proc/30722/task/30735/stat : 30735 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344533486160 140346206734235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30736] ppid=30720 vsize=28231652 memory=281118763078528 CPUtime=0.02 cores=0-7 /proc/30722/task/30736/stat : 30736 (java) S 30720 30720 26088 0 -1 1077944384 733 0 0 0 2 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344532433008 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30737] ppid=30720 vsize=28231652 memory=281118763083136 CPUtime=0.02 cores=0-7 /proc/30722/task/30737/stat : 30737 (java) S 30720 30720 26088 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344531380208 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30738] ppid=30720 vsize=28231652 memory=281118763087744 CPUtime=0.01 cores=0-7 /proc/30722/task/30738/stat : 30738 (java) R 30720 30720 26088 0 -1 4202560 126 0 0 0 1 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344530327920 140346187415936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30739] ppid=30720 vsize=28231652 memory=281118763092352 CPUtime=0.12 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) S 30720 30720 26088 0 -1 1077944384 1079 0 0 0 12 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344529275120 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209850 28909211648 12178 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50160 KiB [startup+0.701003 s] /proc/loadavg: 8.56 8.34 8.24 5/210 30741 /proc/meminfo: memFree=30627836/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28233776 memory=89936 CPUtime=1.64 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 16712 0 0 0 158 6 0 0 20 0 20 0 447209844 28911386624 22484 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7058444 22484 3455 1 0 7019544 0 [pid=30722/tid=30723] ppid=30720 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) R 30720 30720 26088 0 -1 4202560 9269 0 0 0 64 3 0 0 20 0 20 0 447209844 28911386624 22484 33554432000 4194304 4196468 140732831678528 140346210952224 140345845985020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28233776 memory=140559381734272 CPUtime=0 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447209845 28911386624 22484 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28911386624 22484 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447209845 28911386624 22484 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 ################ # More data... # ################ [pid=30722/tid=30739] ppid=30720 vsize=28835928 memory=6944652177228967994 CPUtime=0.79 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) S 30720 30720 26088 0 -1 1077944384 4641 0 0 0 78 1 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344529275120 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28835928 memory=6656426216303636538 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28835928 memory=6931104011863351654 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30862] ppid=30720 vsize=28835928 memory=6656426216303648816 CPUtime=18.32 cores=0-7 /proc/30722/task/30862/stat : 30862 (java) R 30720 30720 26088 0 -1 4202560 395 0 0 0 1832 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344506380200 140345849027005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30863] ppid=30720 vsize=28835928 memory=6944656575208382512 CPUtime=18.27 cores=0-7 /proc/30722/task/30863/stat : 30863 (java) R 30720 30720 26088 0 -1 4202560 282 0 0 0 1827 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344510586064 140345848435782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30864] ppid=30720 vsize=28835928 memory=6944652177228980272 CPUtime=18.24 cores=0-7 /proc/30722/task/30864/stat : 30864 (java) R 30720 30720 26088 0 -1 4202560 321 0 0 0 1824 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344516898960 140345850512411 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30865] ppid=30720 vsize=28835928 memory=6944656591647562832 CPUtime=18.3 cores=0-7 /proc/30722/task/30865/stat : 30865 (java) R 30720 30720 26088 0 -1 4202560 785 0 0 0 1829 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344517951504 140345849207574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30866] ppid=30720 vsize=28835928 memory=6656426216300493408 CPUtime=18.16 cores=0-7 /proc/30722/task/30866/stat : 30866 (java) R 30720 30720 26088 0 -1 4202560 346 0 0 0 1815 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344511635624 140345849027448 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30867] ppid=30720 vsize=28835928 memory=1448 CPUtime=17.96 cores=0-7 /proc/30722/task/30867/stat : 30867 (java) R 30720 30720 26088 0 -1 4202560 924 0 0 0 1796 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344512688400 140345848435728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30868] ppid=30720 vsize=28835928 memory=297612 CPUtime=18.1 cores=0-7 /proc/30722/task/30868/stat : 30868 (java) R 30720 30720 26088 0 -1 4202560 586 0 0 0 1808 2 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344513740608 140345848434572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30869] ppid=30720 vsize=28835928 memory=14972274012855780 CPUtime=18.11 cores=0-7 /proc/30722/task/30869/stat : 30869 (java) R 30720 30720 26088 0 -1 4202560 615 0 0 0 1811 0 0 0 20 0 28 0 447210082 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344507433624 140345850852409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 160.68 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 294956 KiB [startup+21.0011 s]* /proc/loadavg: 8.33 8.30 8.23 11/218 30869 /proc/meminfo: memFree=30393628/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28835928 memory=293508 CPUtime=162.33 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 40384 0 0 0 16205 28 0 0 20 0 28 0 447209844 29527990272 73377 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7208982 73377 3531 1 0 7170082 0 [pid=30722/tid=30723] ppid=30720 vsize=28835928 memory=0 CPUtime=0.73 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) S 30720 30720 26088 0 -1 1077944384 9374 0 0 0 70 3 0 0 20 0 28 0 447209844 29527990272 73377 33554432000 4194304 4196468 140732831678528 140346210956416 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28835928 memory=8317482817917895235 CPUtime=0.03 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 591 0 0 0 2 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28835928 memory=129 CPUtime=0.03 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 215 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30727] ppid=30720 vsize=28835928 memory=4049649169119531092 CPUtime=0.03 cores=0-7 /proc/30722/task/30727/stat : 30727 (java) S 30720 30720 26088 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345754545168 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30728] ppid=30720 vsize=28835928 memory=0 CPUtime=0.04 cores=0-7 /proc/30722/task/30728/stat : 30728 (java) S 30720 30720 26088 0 -1 1077944384 385 0 0 0 3 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345753491856 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30729] ppid=30720 vsize=28835928 memory=-7957962119327172001 CPUtime=0.03 cores=0-7 /proc/30722/task/30729/stat : 30729 (java) S 30720 30720 26088 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345752439056 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30730] ppid=30720 vsize=28835928 memory=6656426216303648864 CPUtime=0.04 cores=0-7 /proc/30722/task/30730/stat : 30730 (java) S 30720 30720 26088 0 -1 1077944384 804 0 0 0 3 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345751386768 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30731] ppid=30720 vsize=28835928 memory=6944656592455097440 CPUtime=0.02 cores=0-7 /proc/30722/task/30731/stat : 30731 (java) S 30720 30720 26088 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345750333968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30732] ppid=30720 vsize=28835928 memory=6944656592455359545 CPUtime=0.03 cores=0-7 /proc/30722/task/30732/stat : 30732 (java) S 30720 30720 26088 0 -1 1077944384 1235 0 0 0 3 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344536644208 140346206726786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30733] ppid=30720 vsize=28835928 memory=6926605841091619136 CPUtime=0 cores=0-7 /proc/30722/task/30733/stat : 30733 (java) S 30720 30720 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344535590240 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30734] ppid=30720 vsize=28835928 memory=4206749494057918560 CPUtime=0 cores=0-7 /proc/30722/task/30734/stat : 30734 (java) S 30720 30720 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344534537840 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30735] ppid=30720 vsize=28835928 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/30722/task/30735/stat : 30735 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344533486160 140346206734235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30736] ppid=30720 vsize=28835928 memory=5450874561017252906 CPUtime=1.28 cores=0-7 /proc/30722/task/30736/stat : 30736 (java) S 30720 30720 26088 0 -1 1077944384 4257 0 0 0 127 1 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344532433008 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30737] ppid=30720 vsize=28835928 memory=-8412661042843906680 CPUtime=1.07 cores=0-7 /proc/30722/task/30737/stat : 30737 (java) S 30720 30720 26088 0 -1 1077944384 2624 0 0 0 107 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344531380208 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30738] ppid=30720 vsize=28835928 memory=0 CPUtime=1.3 cores=0-7 /proc/30722/task/30738/stat : 30738 (java) S 30720 30720 26088 0 -1 1077944384 6344 0 0 0 128 2 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344530327920 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30739] ppid=30720 vsize=28835928 memory=0 CPUtime=0.79 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) S 30720 30720 26088 0 -1 1077944384 4641 0 0 0 78 1 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344529275120 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30862] ppid=30720 vsize=28835928 memory=4121392004765593648 CPUtime=18.53 cores=0-7 /proc/30722/task/30862/stat : 30862 (java) R 30720 30720 26088 0 -1 4202560 400 0 0 0 1853 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344506380200 140345849026200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30863] ppid=30720 vsize=28835928 memory=3835151671528796207 CPUtime=18.48 cores=0-7 /proc/30722/task/30863/stat : 30863 (java) R 30720 30720 26088 0 -1 4202560 284 0 0 0 1848 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344510586064 140345849783208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30864] ppid=30720 vsize=28835928 memory=4124259669337202769 CPUtime=18.45 cores=0-7 /proc/30722/task/30864/stat : 30864 (java) R 30720 30720 26088 0 -1 4202560 324 0 0 0 1845 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344516898960 140345849426612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30865] ppid=30720 vsize=28835928 memory=7739810228864045161 CPUtime=18.51 cores=0-7 /proc/30722/task/30865/stat : 30865 (java) R 30720 30720 26088 0 -1 4202560 804 0 0 0 1850 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344517951504 140345849191223 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30866] ppid=30720 vsize=28835928 memory=4124259669337202769 CPUtime=18.35 cores=0-7 /proc/30722/task/30866/stat : 30866 (java) R 30720 30720 26088 0 -1 4202560 347 0 0 0 1834 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344511635624 140345843663675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30867] ppid=30720 vsize=28835928 memory=7739810228864045161 CPUtime=18.17 cores=0-7 /proc/30722/task/30867/stat : 30867 (java) R 30720 30720 26088 0 -1 4202560 925 0 0 0 1817 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344512688400 140345848433938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30868] ppid=30720 vsize=28835928 memory=7739810228864045161 CPUtime=18.31 cores=0-7 /proc/30722/task/30868/stat : 30868 (java) R 30720 30720 26088 0 -1 4202560 586 0 0 0 1829 2 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344513740608 140345849005357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30869] ppid=30720 vsize=28835928 memory=7739810233159012457 CPUtime=18.32 cores=0-7 /proc/30722/task/30869/stat : 30869 (java) R 30720 30720 26088 0 -1 4202560 616 0 0 0 1832 0 0 0 20 0 28 0 447210082 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344507433624 140345848434624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 162.33 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 294956 KiB [startup+21.1111 s] /proc/loadavg: 8.33 8.30 8.23 11/218 30869 /proc/meminfo: memFree=30393628/32770624 swapFree=66926784/67108860 [pid=30720] ppid=30717 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30720/stat : 30720 (xcsp3-exec) S 30717 30720 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447209844 115843072 362 33554432000 4194304 5098028 140721274515504 140721274513608 140515486859900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23601152 140721274524539 140721274524782 140721274524782 140721274527690 0 /proc/30720/statm: 28282 362 304 221 0 87 0 [pid=30722] ppid=30720 vsize=28835928 memory=293508 CPUtime=163.14 cores=0-7 /proc/30722/stat : 30722 (java) S 30720 30720 26088 0 -1 1077944320 40389 0 0 0 16286 28 0 0 20 0 28 0 447209844 29527990272 73377 33554432000 4194304 4196468 140732831678528 140732831661072 140346206715639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 /proc/30722/statm: 7208982 73377 3531 1 0 7170082 0 [pid=30722/tid=30723] ppid=30720 vsize=28835928 memory=281118763017536 CPUtime=0.73 cores=0-7 /proc/30722/task/30723/stat : 30723 (java) S 30720 30720 26088 0 -1 1077944384 9374 0 0 0 70 3 0 0 20 0 28 0 447209844 29527990272 73377 33554432000 4194304 4196468 140732831678528 140346210956416 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30724] ppid=30720 vsize=28835928 memory=1448 CPUtime=0.03 cores=0-7 /proc/30722/task/30724/stat : 30724 (java) S 30720 30720 26088 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140346178558864 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30725] ppid=30720 vsize=28835928 memory=310948 CPUtime=0.02 cores=0-7 /proc/30722/task/30725/stat : 30725 (java) S 30720 30720 26088 0 -1 1077944384 591 0 0 0 2 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345756650256 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30726] ppid=30720 vsize=28835928 memory=7235709359339365991 CPUtime=0.03 cores=0-7 /proc/30722/task/30726/stat : 30726 (java) S 30720 30720 26088 0 -1 1077944384 215 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345755597968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30727] ppid=30720 vsize=28835928 memory=7163372570516220006 CPUtime=0.03 cores=0-7 /proc/30722/task/30727/stat : 30727 (java) S 30720 30720 26088 0 -1 1077944384 386 0 0 0 2 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345754545168 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30728] ppid=30720 vsize=28835928 memory=7666086874626484332 CPUtime=0.04 cores=0-7 /proc/30722/task/30728/stat : 30728 (java) S 30720 30720 26088 0 -1 1077944384 385 0 0 0 3 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345753491856 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30729] ppid=30720 vsize=28835928 memory=4498404016631593314 CPUtime=0.03 cores=0-7 /proc/30722/task/30729/stat : 30729 (java) S 30720 30720 26088 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345752439056 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30730] ppid=30720 vsize=28835928 memory=1399101730491701635 CPUtime=0.04 cores=0-7 /proc/30722/task/30730/stat : 30730 (java) S 30720 30720 26088 0 -1 1077944384 804 0 0 0 3 1 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345751386768 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30731] ppid=30720 vsize=28835928 memory=6944656591801717918 CPUtime=0.02 cores=0-7 /proc/30722/task/30731/stat : 30731 (java) S 30720 30720 26088 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 28 0 447209845 29527990272 73377 33554432000 4194304 4196468 140732831678528 140345750333968 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30732] ppid=30720 vsize=28835928 memory=496 CPUtime=0.03 cores=0-7 /proc/30722/task/30732/stat : 30732 (java) S 30720 30720 26088 0 -1 1077944384 1235 0 0 0 3 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344536644208 140346206726786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30733] ppid=30720 vsize=28835928 memory=1560 CPUtime=0 cores=0-7 /proc/30722/task/30733/stat : 30733 (java) S 30720 30720 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344535590240 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30734] ppid=30720 vsize=28835928 memory=928 CPUtime=0 cores=0-7 /proc/30722/task/30734/stat : 30734 (java) S 30720 30720 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447209847 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344534537840 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30735] ppid=30720 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/30722/task/30735/stat : 30735 (java) S 30720 30720 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344533486160 140346206734235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30736] ppid=30720 vsize=28835928 memory=7451718921066414256 CPUtime=1.28 cores=0-7 /proc/30722/task/30736/stat : 30736 (java) S 30720 30720 26088 0 -1 1077944384 4257 0 0 0 127 1 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344532433008 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30737] ppid=30720 vsize=28835928 memory=3472468855609655500 CPUtime=1.07 cores=0-7 /proc/30722/task/30737/stat : 30737 (java) S 30720 30720 26088 0 -1 1077944384 2624 0 0 0 107 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344531380208 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30738] ppid=30720 vsize=28835928 memory=2120 CPUtime=1.3 cores=0-7 /proc/30722/task/30738/stat : 30738 (java) S 30720 30720 26088 0 -1 1077944384 6344 0 0 0 128 2 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344530327920 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30739] ppid=30720 vsize=28835928 memory=12020 CPUtime=0.79 cores=0-7 /proc/30722/task/30739/stat : 30739 (java) S 30720 30720 26088 0 -1 1077944384 4641 0 0 0 78 1 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344529275120 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30740] ppid=30720 vsize=28835928 memory=496 CPUtime=0 cores=0-7 /proc/30722/task/30740/stat : 30740 (java) S 30720 30720 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344528223072 140346206725845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30741] ppid=30720 vsize=28835928 memory=1560 CPUtime=0 cores=0-7 /proc/30722/task/30741/stat : 30741 (java) S 30720 30720 26088 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 28 0 447209850 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344527170352 140346206726786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30862] ppid=30720 vsize=28835928 memory=317056 CPUtime=18.63 cores=0-7 /proc/30722/task/30862/stat : 30862 (java) R 30720 30720 26088 0 -1 4202560 402 0 0 0 1863 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344506380200 140345848434629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30863] ppid=30720 vsize=28835928 memory=2016 CPUtime=18.58 cores=0-7 /proc/30722/task/30863/stat : 30863 (java) R 30720 30720 26088 0 -1 4202560 285 0 0 0 1858 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344510586064 140345848161036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30864] ppid=30720 vsize=28835928 memory=1284 CPUtime=18.55 cores=0-7 /proc/30722/task/30864/stat : 30864 (java) R 30720 30720 26088 0 -1 4202560 324 0 0 0 1855 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344516898960 140345848746049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30865] ppid=30720 vsize=28835928 memory=1044 CPUtime=18.61 cores=0-7 /proc/30722/task/30865/stat : 30865 (java) R 30720 30720 26088 0 -1 4202560 804 0 0 0 1860 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344517951504 140345851516111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30866] ppid=30720 vsize=28835928 memory=1448 CPUtime=18.45 cores=0-7 /proc/30722/task/30866/stat : 30866 (java) R 30720 30720 26088 0 -1 4202560 347 0 0 0 1844 1 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344511635624 140345848745905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30867] ppid=30720 vsize=28835928 memory=1448 CPUtime=18.27 cores=0-7 /proc/30722/task/30867/stat : 30867 (java) R 30720 30720 26088 0 -1 4202560 926 0 0 0 1827 0 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344512688400 140345848746533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30868] ppid=30720 vsize=28835928 memory=1448 CPUtime=18.41 cores=0-7 /proc/30722/task/30868/stat : 30868 (java) R 30720 30720 26088 0 -1 4202560 587 0 0 0 1839 2 0 0 20 0 28 0 447210081 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344513740608 140345843663899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 [pid=30722/tid=30869] ppid=30720 vsize=28835928 memory=305304 CPUtime=18.42 cores=0-7 /proc/30722/task/30869/stat : 30869 (java) R 30720 30720 26088 0 -1 4202560 616 0 0 0 1842 0 0 0 20 0 28 0 447210082 29527990272 73377 33554432000 4194304 4196468 140732831678528 140344507433624 140345848060896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33382400 140732831687664 140732831687835 140732831687835 140732831690703 0 Current children cumulated CPU time: 163.14 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 294956 KiB Child status: 0 Real time (s): 21.1836 CPU time (s): 163.672 CPU user time (s): 163.366 CPU system time (s): 0.305665 CPU usage (%): 772.633 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 345864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 163.366 system time used= 0.305665 maximum resident set size= 347952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42495 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6728 involuntary context switches= 2186 # summary of solver processes directly reported to runsolver: # pid: 30720 # total CPU time (s): 163.672 # total CPU user time (s): 163.366 # total CPU system time (s): 0.305665 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.222394 second user time and 0.261834 second system time The end
Begin job on node107 at 2019-09-17 09:37:02 IDJOB=4400122 IDBENCH=115938 IDSOLVER=2855 FILE ID=node107/4400122-1568709540 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-14.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-4400122-1568709540/watcher-4400122-1568709540 -o /tmp/evaluation-result-4400122-1568709540/solver-4400122-1568709540 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1228296882 HOME/instance-4400122-1568709540.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19ed80590beafaab4553f21dc50e09e4 RANDOM SEED=1228296882 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30675452 kB MemAvailable: 31812412 kB Buffers: 226064 kB Cached: 1187156 kB SwapCached: 76296 kB Active: 682708 kB Inactive: 808216 kB Active(anon): 11644 kB Inactive(anon): 109076 kB Active(file): 671064 kB Inactive(file): 699140 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926784 kB Dirty: 26316 kB Writeback: 0 kB AnonPages: 135736 kB Mapped: 42888 kB Shmem: 34400 kB Slab: 194804 kB SReclaimable: 165184 kB SUnreclaim: 29620 kB KernelStack: 3728 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:37:23