Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 30 | 101.573 | 13.3559 |
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-4407322-1569346335.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407322-1569346335.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.70/0.71 c solve instance... 1.70/0.76 o 0 1.70/0.77 o 4 1.70/0.77 o 4 1.70/0.78 o 6 1.70/0.80 o 8 2.27/0.81 o 10 2.27/0.81 o 11 2.27/0.82 o 12 2.27/0.84 o 14 2.27/0.85 o 15 2.27/0.86 o 16 2.27/0.88 o 17 2.27/0.89 o 18 2.27/0.89 o 22 2.27/0.90 o 23 3.00/0.90 o 24 3.00/0.96 o 26 5.29/1.27 o 27 6.06/1.32 o 28 6.82/1.42 o 30 101.18/13.34 s OPTIMUM FOUND 101.18/13.34 v <instantiation> 101.18/13.34 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> 101.18/13.34 v <values>1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 2 2 4 2 3 2 2 2 3 2 4 2 3 2 4 3 6 3 6 2 4 2 6 3 6 3 6 2 4 3 6 3 6 2 4 2 6 3 6 3 6 2 2 2 4 2 3 2 2 2 3 2 4 2 3 2 </values> 101.18/13.34 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 (12769 MiB free) memory of node 1: 16384 MiB (14289 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407322-1569346335/watcher-4407322-1569346335 -o /var/tmp/evaluation-result-4407322-1569346335/solver-4407322-1569346335 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2009945970 HOME/instance-4407322-1569346335.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 Starting watchdog thread Linux 3.10.0-514.16.1.el7.x86_64 solver pid=13725, runsolver pid=13722 Current StackSize limit: 8192 KiB [startup+0.100122 s]* /proc/loadavg: 8.35 8.25 8.21 3/213 13746 /proc/meminfo: memFree=27693516/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28227396 memory=28680 CPUtime=0.12 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 5654 0 0 0 10 2 0 0 20 0 20 0 510872088 28904853504 7170 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7056849 7170 3118 1 0 7019032 0 [pid=13727/tid=13728] ppid=13725 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) R 13725 13725 11717 0 -1 4202560 3598 0 0 0 8 1 0 0 20 0 20 0 510872088 28904853504 7170 33554432000 4194304 4196468 140721404733920 139854002811248 139853979228210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28227396 memory=140115526440576 CPUtime=0 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13732] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13732/stat : 13732 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853948045968 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13733] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13733/stat : 13733 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853946993424 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13734] ppid=13725 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13734/stat : 13734 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853945940880 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13735] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13735/stat : 13735 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853944888336 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13736] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13736/stat : 13736 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 7170 33554432000 4194304 4196468 140721404733920 139853943835792 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13737] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13737/stat : 13737 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 7170 33554432000 4194304 4196468 140721404733920 139852126943216 139853998594690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13738] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13738/stat : 13738 (java) S 13725 13725 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 7170 33554432000 4194304 4196468 140721404733920 139852125889440 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13739] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13739/stat : 13739 (java) S 13725 13725 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 7170 33554432000 4194304 4196468 140721404733920 139852124836848 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13740] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13740/stat : 13740 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139852123785424 139853998602139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13741] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13741/stat : 13741 (java) S 13725 13725 11717 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139852122733040 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13742] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13742/stat : 13742 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139851813706352 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13743] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13743/stat : 13743 (java) S 13725 13725 11717 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139851812653808 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13744] ppid=13725 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) R 13725 13725 11717 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139851811601264 139853990820670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 7170 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30136 KiB [startup+0.210529 s]* /proc/loadavg: 8.35 8.25 8.21 2/213 13746 /proc/meminfo: memFree=27679172/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28227396 memory=41488 CPUtime=0.34 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 9572 0 0 0 31 3 0 0 20 0 20 0 510872088 28904853504 10372 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7056849 10372 3314 1 0 7019032 0 [pid=13727/tid=13728] ppid=13725 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) R 13725 13725 11717 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 20 0 510872088 28904853504 10372 33554432000 4194304 4196468 140721404733920 139854002817488 139853998595478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28227396 memory=3762677917439645344 CPUtime=0 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13732] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13732/stat : 13732 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853948045968 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13733] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13733/stat : 13733 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853946993424 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13734] ppid=13725 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13734/stat : 13734 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853945940880 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13735] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13735/stat : 13735 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853944888336 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13736] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13736/stat : 13736 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28904853504 10372 33554432000 4194304 4196468 140721404733920 139853943835792 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13737] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13737/stat : 13737 (java) S 13725 13725 11717 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 10372 33554432000 4194304 4196468 140721404733920 139852126943216 139853998594690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13738] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13738/stat : 13738 (java) S 13725 13725 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 10372 33554432000 4194304 4196468 140721404733920 139852125889440 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13739] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13739/stat : 13739 (java) S 13725 13725 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510872091 28904853504 10372 33554432000 4194304 4196468 140721404733920 139852124836848 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13740] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13740/stat : 13740 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139852123785424 139853998602139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13741] ppid=13725 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13727/task/13741/stat : 13741 (java) S 13725 13725 11717 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139852122733040 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13742] ppid=13725 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13727/task/13742/stat : 13742 (java) S 13725 13725 11717 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139851813706352 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13743] ppid=13725 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13727/task/13743/stat : 13743 (java) S 13725 13725 11717 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139851812653808 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13744] ppid=13725 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) R 13725 13725 11717 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139851811601072 139853977948033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28904853504 10372 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42944 KiB [startup+0.31953 s]* /proc/loadavg: 8.35 8.25 8.21 3/213 13746 /proc/meminfo: memFree=27671528/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28231652 memory=50736 CPUtime=0.54 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 11020 0 0 0 50 4 0 0 20 0 20 0 510872088 28909211648 12684 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7057913 12684 3357 1 0 7019032 0 [pid=13727/tid=13728] ppid=13725 vsize=28231652 memory=6791534058613427641 CPUtime=0.31 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) R 13725 13725 11717 0 -1 4202560 7890 0 0 0 28 3 0 0 20 0 20 0 510872088 28909211648 12749 33554432000 4194304 4196468 140721404733920 139854002814656 139853998605469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13732] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13732/stat : 13732 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853948045968 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13733] ppid=13725 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/13727/task/13733/stat : 13733 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853946993424 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13734] ppid=13725 vsize=28231652 memory=140115389281199 CPUtime=0 cores=0-7 /proc/13727/task/13734/stat : 13734 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853945940880 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13735] ppid=13725 vsize=28231652 memory=140115389283504 CPUtime=0 cores=0-7 /proc/13727/task/13735/stat : 13735 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853944888336 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13736] ppid=13725 vsize=28231652 memory=140115389285808 CPUtime=0 cores=0-7 /proc/13727/task/13736/stat : 13736 (java) S 13725 13725 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510872089 28909211648 12749 33554432000 4194304 4196468 140721404733920 139853943835792 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13737] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13737/stat : 13737 (java) S 13725 13725 11717 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510872091 28909211648 12749 33554432000 4194304 4196468 140721404733920 139852126943216 139853998594690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13738] ppid=13725 vsize=28231652 memory=280230778578576 CPUtime=0 cores=0-7 /proc/13727/task/13738/stat : 13738 (java) S 13725 13725 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510872091 28909211648 12749 33554432000 4194304 4196468 140721404733920 139852125889440 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13739] ppid=13725 vsize=28231652 memory=280230778585488 CPUtime=0 cores=0-7 /proc/13727/task/13739/stat : 13739 (java) S 13725 13725 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510872091 28909211648 12749 33554432000 4194304 4196468 140721404733920 139852124836848 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13740] ppid=13725 vsize=28231652 memory=280230778526640 CPUtime=0 cores=0-7 /proc/13727/task/13740/stat : 13740 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139852123785424 139853998602139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13741] ppid=13725 vsize=28231652 memory=280230778599312 CPUtime=0.02 cores=0-7 /proc/13727/task/13741/stat : 13741 (java) S 13725 13725 11717 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139852122733040 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13742] ppid=13725 vsize=28231652 memory=280230778606224 CPUtime=0.04 cores=0-7 /proc/13727/task/13742/stat : 13742 (java) S 13725 13725 11717 0 -1 1077944384 404 0 0 0 4 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139851813706352 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13743] ppid=13725 vsize=28231652 memory=280230778603920 CPUtime=0.02 cores=0-7 /proc/13727/task/13743/stat : 13743 (java) S 13725 13725 11717 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139851812653808 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13744] ppid=13725 vsize=28231652 memory=280230778620080 CPUtime=0.13 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) S 13725 13725 11717 0 -1 1077944384 805 0 0 0 13 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139851811601264 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872094 28909211648 12749 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52192 KiB [startup+0.70098 s] /proc/loadavg: 8.35 8.25 8.21 4/213 13746 /proc/meminfo: memFree=27660764/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28233776 memory=86792 CPUtime=1.7 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 15983 0 0 0 163 7 0 0 20 0 20 0 510872088 28911386624 21633 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7058444 21698 3456 1 0 7019544 0 [pid=13727/tid=13728] ppid=13725 vsize=28233776 memory=280230778977968 CPUtime=0.67 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) R 13725 13725 11717 0 -1 4202560 9233 0 0 0 63 4 0 0 20 0 20 0 510872088 28911386624 21698 33554432000 4194304 4196468 140721404733920 139854002822336 139853982745839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28233776 memory=140115389490032 CPUtime=0 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28911386624 21698 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510872089 28911386624 21698 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28233776 memory=6160 CPUtime=0 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510872089 28911386624 21698 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 ################ # More data... # ################ [pid=13727/tid=13744] ppid=13725 vsize=28834900 memory=1804 CPUtime=0.77 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) S 13725 13725 11717 0 -1 1077944384 3916 0 0 0 76 1 0 0 20 0 28 0 510872094 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851811601264 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28834900 memory=920 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28834900 memory=4436 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 501 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13907] ppid=13725 vsize=28834900 memory=4112 CPUtime=11.06 cores=0-7 /proc/13727/task/13907/stat : 13907 (java) R 13725 13725 11717 0 -1 4202560 283 0 0 0 1106 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851793145160 139853620207491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13908] ppid=13725 vsize=28834900 memory=1412 CPUtime=11 cores=0-7 /proc/13727/task/13908/stat : 13908 (java) R 13725 13725 11717 0 -1 4202560 240 0 0 0 1100 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851797357112 139853620680076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13909] ppid=13725 vsize=28834900 memory=2932 CPUtime=11.04 cores=0-7 /proc/13727/task/13909/stat : 13909 (java) R 13725 13725 11717 0 -1 4202560 274 0 0 0 1104 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851794199224 139853620384666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13910] ppid=13725 vsize=28834900 memory=1456 CPUtime=10.98 cores=0-7 /proc/13727/task/13910/stat : 13910 (java) R 13725 13725 11717 0 -1 4202560 467 0 0 0 1098 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851795251456 139853621248950 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13911] ppid=13725 vsize=28834900 memory=181368 CPUtime=11.18 cores=0-7 /proc/13727/task/13911/stat : 13911 (java) R 13725 13725 11717 0 -1 4202560 315 0 0 0 1118 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851798410152 139853619928480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13912] ppid=13725 vsize=28834900 memory=0 CPUtime=11.01 cores=0-7 /proc/13727/task/13912/stat : 13912 (java) R 13725 13725 11717 0 -1 4202560 436 0 0 0 1101 0 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851796306416 139853620240202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13913] ppid=13725 vsize=28834900 memory=6944656592455097440 CPUtime=11.01 cores=0-7 /proc/13727/task/13913/stat : 13913 (java) R 13725 13725 11717 0 -1 4202560 655 0 0 0 1100 1 0 0 20 0 28 0 510872230 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851799461496 139853620243183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13914] ppid=13725 vsize=28834900 memory=6656426216303648864 CPUtime=11.08 cores=0-7 /proc/13727/task/13914/stat : 13914 (java) R 13725 13725 11717 0 -1 4202560 464 0 0 0 1108 0 0 0 20 0 28 0 510872231 29526937600 42290 33554432000 4194304 4196468 140721404733920 139851800514040 139853621684954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 97.22 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 170616 KiB [startup+13.2015 s] /proc/loadavg: 8.00 8.17 8.19 9/221 13914 /proc/meminfo: memFree=27552840/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28834900 memory=167620 CPUtime=100.39 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 37574 0 0 0 10016 23 0 0 20 0 28 0 510872088 29526937600 41905 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7208725 41905 3530 1 0 7169825 0 [pid=13727/tid=13728] ppid=13725 vsize=28834900 memory=1954324 CPUtime=0.71 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) S 13725 13725 11717 0 -1 1077944384 9349 0 0 0 67 4 0 0 20 0 28 0 510872088 29526937600 41905 33554432000 4194304 4196468 140721404733920 139854002824320 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28834900 memory=6155386463873623911 CPUtime=0.02 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28834900 memory=6083607067718215780 CPUtime=0.02 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28834900 memory=7523376918531162212 CPUtime=0.02 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13732] ppid=13725 vsize=28834900 memory=5794836848922880869 CPUtime=0.03 cores=0-7 /proc/13727/task/13732/stat : 13732 (java) S 13725 13725 11717 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853948045968 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13733] ppid=13725 vsize=28834900 memory=4126316290023845779 CPUtime=0.02 cores=0-7 /proc/13727/task/13733/stat : 13733 (java) S 13725 13725 11717 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853946993424 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13734] ppid=13725 vsize=28834900 memory=6944656592387989600 CPUtime=0.03 cores=0-7 /proc/13727/task/13734/stat : 13734 (java) S 13725 13725 11717 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853945940880 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13735] ppid=13725 vsize=28834900 memory=0 CPUtime=0.02 cores=0-7 /proc/13727/task/13735/stat : 13735 (java) S 13725 13725 11717 0 -1 1077944384 1060 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853944888336 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13736] ppid=13725 vsize=28834900 memory=140115526493361 CPUtime=0.02 cores=0-7 /proc/13727/task/13736/stat : 13736 (java) S 13725 13725 11717 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41905 33554432000 4194304 4196468 140721404733920 139853943835792 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13737] ppid=13725 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7 /proc/13727/task/13737/stat : 13737 (java) S 13725 13725 11717 0 -1 1077944384 873 0 0 0 3 0 0 0 20 0 28 0 510872091 29526937600 41905 33554432000 4194304 4196468 140721404733920 139852126943216 139853998594690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13738] ppid=13725 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13738/stat : 13738 (java) S 13725 13725 11717 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510872091 29526937600 41905 33554432000 4194304 4196468 140721404733920 139852125889504 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13739] ppid=13725 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13739/stat : 13739 (java) S 13725 13725 11717 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510872091 29526937600 41905 33554432000 4194304 4196468 140721404733920 139852124836848 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13740] ppid=13725 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13740/stat : 13740 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139852123785424 139853998602139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13741] ppid=13725 vsize=28834900 memory=6944656592452938395 CPUtime=1.23 cores=0-7 /proc/13727/task/13741/stat : 13741 (java) S 13725 13725 11717 0 -1 1077944384 3791 0 0 0 122 1 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139852122733040 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13742] ppid=13725 vsize=28834900 memory=-2629627718966826398 CPUtime=1.22 cores=0-7 /proc/13727/task/13742/stat : 13742 (java) S 13725 13725 11717 0 -1 1077944384 4294 0 0 0 121 1 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851813706352 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13743] ppid=13725 vsize=28834900 memory=4282807335222807926 CPUtime=1.31 cores=0-7 /proc/13727/task/13743/stat : 13743 (java) S 13725 13725 11717 0 -1 1077944384 4768 0 0 0 130 1 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851812653808 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13744] ppid=13725 vsize=28834900 memory=5450889932704941866 CPUtime=0.77 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) S 13725 13725 11717 0 -1 1077944384 3916 0 0 0 76 1 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851811601264 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28834900 memory=7754515304239953427 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 501 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13907] ppid=13725 vsize=28834900 memory=280230780177760 CPUtime=11.46 cores=0-7 /proc/13727/task/13907/stat : 13907 (java) R 13725 13725 11717 0 -1 4202560 284 0 0 0 1146 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851793145160 139853621481742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13908] ppid=13725 vsize=28834900 memory=3540060820101617280 CPUtime=11.4 cores=0-7 /proc/13727/task/13908/stat : 13908 (java) R 13725 13725 11717 0 -1 4202560 240 0 0 0 1140 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851797357112 139853620240381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13909] ppid=13725 vsize=28834900 memory=7236547281622689387 CPUtime=11.44 cores=0-7 /proc/13727/task/13909/stat : 13909 (java) R 13725 13725 11717 0 -1 4202560 274 0 0 0 1144 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851794199288 139853620240941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13910] ppid=13725 vsize=28834900 memory=-8983168789648662900 CPUtime=11.37 cores=0-7 /proc/13727/task/13910/stat : 13910 (java) R 13725 13725 11717 0 -1 4202560 467 0 0 0 1137 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851795251464 139853620241464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13911] ppid=13725 vsize=28834900 memory=0 CPUtime=11.58 cores=0-7 /proc/13727/task/13911/stat : 13911 (java) R 13725 13725 11717 0 -1 4202560 315 0 0 0 1158 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851798410032 139853615419776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13912] ppid=13725 vsize=28834900 memory=280230780197584 CPUtime=11.41 cores=0-7 /proc/13727/task/13912/stat : 13912 (java) R 13725 13725 11717 0 -1 4202560 436 0 0 0 1141 0 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851796306448 139853619744455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13913] ppid=13725 vsize=28834900 memory=7517497615010999700 CPUtime=11.41 cores=0-7 /proc/13727/task/13913/stat : 13913 (java) R 13725 13725 11717 0 -1 4202560 664 0 0 0 1140 1 0 0 20 0 28 0 510872230 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851799465536 139853620241186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13914] ppid=13725 vsize=28834900 memory=7517496515499371924 CPUtime=11.48 cores=0-7 /proc/13727/task/13914/stat : 13914 (java) R 13725 13725 11717 0 -1 4202560 464 0 0 0 1148 0 0 0 20 0 28 0 510872231 29526937600 41905 33554432000 4194304 4196468 140721404733920 139851800514040 139853623209558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 100.39 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 169076 KiB [startup+13.3015 s] /proc/loadavg: 8.00 8.17 8.19 9/221 13914 /proc/meminfo: memFree=27552840/32770624 swapFree=66957756/67108860 [pid=13725] ppid=13722 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13725/stat : 13725 (xcsp3-exec) S 13722 13725 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510872088 115843072 364 33554432000 4194304 5098028 140730407163728 140730407161832 139647226839676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12627968 140730407170903 140730407171162 140730407171162 140730407174086 0 /proc/13725/statm: 28282 364 305 221 0 87 0 [pid=13727] ppid=13725 vsize=28834900 memory=165056 CPUtime=101.18 cores=0-7 /proc/13727/stat : 13727 (java) S 13725 13725 11717 0 -1 1077944320 37577 0 0 0 10095 23 0 0 20 0 28 0 510872088 29526937600 41264 33554432000 4194304 4196468 140721404733920 140721404716464 139853998583543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 /proc/13727/statm: 7208725 41264 3530 1 0 7169825 0 [pid=13727/tid=13728] ppid=13725 vsize=28834900 memory=167620 CPUtime=0.71 cores=0-7 /proc/13727/task/13728/stat : 13728 (java) S 13725 13725 11717 0 -1 1077944384 9349 0 0 0 67 4 0 0 20 0 28 0 510872088 29526937600 41264 33554432000 4194304 4196468 140721404733920 139854002824320 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13729] ppid=13725 vsize=28834900 memory=-7737605721172012177 CPUtime=0.02 cores=0-7 /proc/13727/task/13729/stat : 13729 (java) S 13725 13725 11717 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853951203600 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13730] ppid=13725 vsize=28834900 memory=280230778831008 CPUtime=0.02 cores=0-7 /proc/13727/task/13730/stat : 13730 (java) S 13725 13725 11717 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853950151056 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13731] ppid=13725 vsize=28834900 memory=-7878833433568424315 CPUtime=0.02 cores=0-7 /proc/13727/task/13731/stat : 13731 (java) S 13725 13725 11717 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853949098512 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13732] ppid=13725 vsize=28834900 memory=7446813383823151211 CPUtime=0.03 cores=0-7 /proc/13727/task/13732/stat : 13732 (java) S 13725 13725 11717 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853948045968 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13733] ppid=13725 vsize=28834900 memory=-8458152057954561420 CPUtime=0.02 cores=0-7 /proc/13727/task/13733/stat : 13733 (java) S 13725 13725 11717 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853946993424 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13734] ppid=13725 vsize=28834900 memory=1456 CPUtime=0.03 cores=0-7 /proc/13727/task/13734/stat : 13734 (java) S 13725 13725 11717 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853945940880 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13735] ppid=13725 vsize=28834900 memory=186476 CPUtime=0.02 cores=0-7 /proc/13727/task/13735/stat : 13735 (java) S 13725 13725 11717 0 -1 1077944384 1060 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853944888336 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13736] ppid=13725 vsize=28834900 memory=2432 CPUtime=0.02 cores=0-7 /proc/13727/task/13736/stat : 13736 (java) S 13725 13725 11717 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 28 0 510872089 29526937600 41264 33554432000 4194304 4196468 140721404733920 139853943835792 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13737] ppid=13725 vsize=28834900 memory=1436 CPUtime=0.03 cores=0-7 /proc/13727/task/13737/stat : 13737 (java) S 13725 13725 11717 0 -1 1077944384 873 0 0 0 3 0 0 0 20 0 28 0 510872091 29526937600 41264 33554432000 4194304 4196468 140721404733920 139852126943216 139853998594690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13738] ppid=13725 vsize=28834900 memory=808 CPUtime=0 cores=0-7 /proc/13727/task/13738/stat : 13738 (java) S 13725 13725 11717 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510872091 29526937600 41264 33554432000 4194304 4196468 140721404733920 139852125889504 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13739] ppid=13725 vsize=28834900 memory=280230779693472 CPUtime=0 cores=0-7 /proc/13727/task/13739/stat : 13739 (java) S 13725 13725 11717 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510872091 29526937600 41264 33554432000 4194304 4196468 140721404733920 139852124836848 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13740] ppid=13725 vsize=28834900 memory=209480 CPUtime=0 cores=0-7 /proc/13727/task/13740/stat : 13740 (java) S 13725 13725 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139852123785424 139853998602139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13741] ppid=13725 vsize=28834900 memory=56 CPUtime=1.23 cores=0-7 /proc/13727/task/13741/stat : 13741 (java) S 13725 13725 11717 0 -1 1077944384 3791 0 0 0 122 1 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139852122733040 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13742] ppid=13725 vsize=28834900 memory=7164219108872513623 CPUtime=1.22 cores=0-7 /proc/13727/task/13742/stat : 13742 (java) S 13725 13725 11717 0 -1 1077944384 4294 0 0 0 121 1 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851813706352 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13743] ppid=13725 vsize=28834900 memory=280230778874112 CPUtime=1.31 cores=0-7 /proc/13727/task/13743/stat : 13743 (java) S 13725 13725 11717 0 -1 1077944384 4768 0 0 0 130 1 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851812653808 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13744] ppid=13725 vsize=28834900 memory=5794566343376982629 CPUtime=0.77 cores=0-7 /proc/13727/task/13744/stat : 13744 (java) S 13725 13725 11717 0 -1 1077944384 3916 0 0 0 76 1 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851811601264 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13745] ppid=13725 vsize=28834900 memory=5794566343376982629 CPUtime=0 cores=0-7 /proc/13727/task/13745/stat : 13745 (java) S 13725 13725 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851810547936 139853998593749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13746] ppid=13725 vsize=28834900 memory=7156336834533682002 CPUtime=0 cores=0-7 /proc/13727/task/13746/stat : 13746 (java) S 13725 13725 11717 0 -1 1077944384 501 0 0 0 0 0 0 0 20 0 28 0 510872094 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851809495472 139853998594690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13907] ppid=13725 vsize=28834900 memory=7156336834533682002 CPUtime=11.56 cores=0-7 /proc/13727/task/13907/stat : 13907 (java) R 13725 13725 11717 0 -1 4202560 285 0 0 0 1156 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851793147592 139853620242496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13908] ppid=13725 vsize=28834900 memory=6791534058613427641 CPUtime=11.5 cores=0-7 /proc/13727/task/13908/stat : 13908 (java) R 13725 13725 11717 0 -1 4202560 240 0 0 0 1150 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851797360576 139853617676939 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13909] ppid=13725 vsize=28834900 memory=14012 CPUtime=11.54 cores=0-7 /proc/13727/task/13909/stat : 13909 (java) R 13725 13725 11717 0 -1 4202560 274 0 0 0 1154 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851794202272 139853615419724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13910] ppid=13725 vsize=28834900 memory=2112 CPUtime=11.47 cores=0-7 /proc/13727/task/13910/stat : 13910 (java) R 13725 13725 11717 0 -1 4202560 468 0 0 0 1147 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851795252088 139853620242360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13911] ppid=13725 vsize=28834900 memory=12040 CPUtime=11.68 cores=0-7 /proc/13727/task/13911/stat : 13911 (java) R 13725 13725 11717 0 -1 4202560 315 0 0 0 1168 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851798409504 139853617677499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13912] ppid=13725 vsize=28834900 memory=37244 CPUtime=11.51 cores=0-7 /proc/13727/task/13912/stat : 13912 (java) R 13725 13725 11717 0 -1 4202560 436 0 0 0 1151 0 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851796304600 139853619611990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13913] ppid=13725 vsize=28834900 memory=1556 CPUtime=11.5 cores=0-7 /proc/13727/task/13913/stat : 13913 (java) R 13725 13725 11717 0 -1 4202560 664 0 0 0 1149 1 0 0 20 0 28 0 510872230 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851799461360 139853620678782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 [pid=13727/tid=13914] ppid=13725 vsize=28834900 memory=532 CPUtime=11.57 cores=0-7 /proc/13727/task/13914/stat : 13914 (java) R 13725 13725 11717 0 -1 4202560 464 0 0 0 1157 0 0 0 20 0 28 0 510872231 29526937600 41264 33554432000 4194304 4196468 140721404733920 139851800514392 139853620239767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26980352 140721404740572 140721404740747 140721404740747 140721404743631 0 Current children cumulated CPU time: 101.18 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 166512 KiB Child status: 0 Real time (s): 13.3559 CPU time (s): 101.573 CPU user time (s): 101.325 CPU system time (s): 0.247827 CPU usage (%): 760.505 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 215808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 101.325 system time used= 0.247827 maximum resident set size= 218548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38972 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6838 involuntary context switches= 1667 # summary of solver processes directly reported to runsolver: # pid: 13725 # total CPU time (s): 101.573 # total CPU user time (s): 101.325 # total CPU system time (s): 0.247827 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.169332 second user time and 0.165098 second system time The end
Begin job on node149 at 2019-09-24 19:31:36 IDJOB=4407322 IDBENCH=115938 IDSOLVER=2872 FILE ID=node149/4407322-1569346335 RUNJOBID= node149-1569335940-11744 PBS_JOBID= 21705048 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 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 /var/tmp/evaluation-result-4407322-1569346335/watcher-4407322-1569346335 -o /var/tmp/evaluation-result-4407322-1569346335/solver-4407322-1569346335 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2009945970 HOME/instance-4407322-1569346335.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19ed80590beafaab4553f21dc50e09e4 RANDOM SEED=2009945970 node149.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.81 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.81 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.81 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.81 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: 27709448 kB MemAvailable: 31805760 kB Buffers: 102564 kB Cached: 4087396 kB SwapCached: 42408 kB Active: 2923792 kB Inactive: 1312212 kB Active(anon): 4088 kB Inactive(anon): 95480 kB Active(file): 2919704 kB Inactive(file): 1216732 kB Unevictable: 108416 kB Mlocked: 108416 kB SwapTotal: 67108860 kB SwapFree: 66957756 kB Dirty: 26092 kB Writeback: 4 kB AnonPages: 113120 kB Mapped: 57104 kB Shmem: 44908 kB Slab: 417440 kB SReclaimable: 388336 kB SUnreclaim: 29104 kB KernelStack: 3456 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-24 19:31:50