Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 33.8376 | 5.36557 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-152.xml |
MD5SUM | 70d9add84a9acab5bfce09ac7a4943a4 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.68468 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 304 |
Number of constraints | 160 |
Number of domains | 2 |
Minimum domain size | 152 |
Maximum domain size | 23104 |
Distribution of domain sizes | [{"size":152,"count":152},{"size":23104,"count":152}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":152},{"degree":4,"count":151},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 152 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":152},{"arity":76,"count":6},{"arity":152,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 153 |
Distribution of constraint types | [{"type":"intension","count":153},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399582-1568702536.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399582-1568702536.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.02/0.89 c solve instance... 33.55/5.35 s SATISFIABLE 33.55/5.35 v <instantiation> 33.55/5.35 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58] cx[59] cx[60] cx[61] cx[62] cx[63] cx[64] cx[65] cx[66] cx[67] cx[68] cx[69] cx[70] cx[71] cx[72] cx[73] cx[74] cx[75] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] cy[64] cy[65] cy[66] cy[67] cy[68] cy[69] cy[70] cy[71] cy[72] cy[73] cy[74] cy[75] </list> 33.55/5.35 v <values>1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 126 127 135 136 137 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 125 128 129 130 131 132 133 134 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15876 16129 18225 18496 18769 529 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625 15625 16384 16641 16900 17161 17424 17689 17956 19044 19321 19600 19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 </values> 33.55/5.35 v </instantiation>
OK
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 (11634 MiB free) memory of node 1: 16384 MiB (14963 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399582-1568702536/watcher-4399582-1568702536 -o /tmp/evaluation-result-4399582-1568702536/solver-4399582-1568702536 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 27343615 HOME/instance-4399582-1568702536.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=30713, runsolver pid=30710 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 6.75 5.73 6.57 2/215 30734 /proc/meminfo: memFree=27221208/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28227396 memory=29304 CPUtime=0.13 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 5808 0 0 0 12 1 0 0 20 0 20 0 446191963 28904853504 7326 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7056849 7326 3122 1 0 7019032 0 [pid=30715/tid=30716] ppid=30713 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) R 30713 30713 29646 0 -1 4202560 3704 0 0 0 8 0 0 0 20 0 20 0 446191963 28904853504 7326 33554432000 4194304 4196468 140730567097600 140567072420528 140567068213850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28227396 memory=140195076429440 CPUtime=0 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30720] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30720/stat : 30720 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566616378512 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30721] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30721/stat : 30721 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566615324944 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30722] ppid=30713 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30722/stat : 30722 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566614272400 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30723] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30723/stat : 30723 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566613219856 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30724] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30724/stat : 30724 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566612167312 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30725] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30725/stat : 30725 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191965 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566569228784 140567068203650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30726] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30726/stat : 30726 (java) S 30713 30713 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446191966 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566568175008 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30727] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30727/stat : 30727 (java) S 30713 30713 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446191966 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566567122416 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30728] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30728/stat : 30728 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566566070992 140567068211099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30729] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30729/stat : 30729 (java) S 30713 30713 29646 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566565017584 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30730] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30730/stat : 30730 (java) S 30713 30713 29646 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566563965040 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30731] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30731/stat : 30731 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566177376496 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30732] ppid=30713 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) R 30713 30713 29646 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 446191968 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566176323136 140567068213850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191969 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191969 28904853504 7326 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30760 KiB [startup+0.210276 s]* /proc/loadavg: 6.75 5.73 6.57 3/215 30734 /proc/meminfo: memFree=27208236/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28227396 memory=40808 CPUtime=0.33 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 9380 0 0 0 31 2 0 0 20 0 20 0 446191963 28904853504 10202 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7056849 10202 3293 1 0 7019032 0 [pid=30715/tid=30716] ppid=30713 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) R 30713 30713 29646 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 446191963 28904853504 10202 33554432000 4194304 4196468 140730567097600 140567072421216 140567052272990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28227396 memory=288370571228141184 CPUtime=0 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30720] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30720/stat : 30720 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566616378512 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30721] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30721/stat : 30721 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566615324944 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30722] ppid=30713 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30722/stat : 30722 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566614272400 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30723] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30723/stat : 30723 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566613219856 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30724] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30724/stat : 30724 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566612167312 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30725] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30725/stat : 30725 (java) S 30713 30713 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446191965 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566569228784 140567068203650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30726] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30726/stat : 30726 (java) S 30713 30713 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446191966 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566568175008 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30727] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30727/stat : 30727 (java) S 30713 30713 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446191966 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566567122416 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30728] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30728/stat : 30728 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566566070992 140567068211099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30729] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30729/stat : 30729 (java) S 30713 30713 29646 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 446191968 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566565017584 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30730] ppid=30713 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30715/task/30730/stat : 30730 (java) S 30713 30713 29646 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 446191968 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566563965040 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30731] ppid=30713 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30715/task/30731/stat : 30731 (java) S 30713 30713 29646 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 446191968 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566177376496 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30732] ppid=30713 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) R 30713 30713 29646 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 20 0 446191968 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566176323952 140567068213850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191969 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191969 28904853504 10202 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42264 KiB [startup+0.30972 s]* /proc/loadavg: 6.75 5.73 6.57 3/215 30734 /proc/meminfo: memFree=27203300/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28231652 memory=49476 CPUtime=0.52 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 10698 0 0 0 49 3 0 0 20 0 20 0 446191963 28909211648 12369 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7057913 12369 3340 1 0 7019032 0 [pid=30715/tid=30716] ppid=30713 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) R 30713 30713 29646 0 -1 4202560 7690 0 0 0 27 2 0 0 20 0 20 0 446191963 28909211648 12369 33554432000 4194304 4196468 140730567097600 140567072423616 140567068214429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30720] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30720/stat : 30720 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566616378512 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30721] ppid=30713 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30715/task/30721/stat : 30721 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566615324944 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30722] ppid=30713 vsize=28231652 memory=140194913285039 CPUtime=0 cores=0-7 /proc/30715/task/30722/stat : 30722 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566614272400 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30723] ppid=30713 vsize=28231652 memory=140194913287344 CPUtime=0 cores=0-7 /proc/30715/task/30723/stat : 30723 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566613219856 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30724] ppid=30713 vsize=28231652 memory=140194913289648 CPUtime=0 cores=0-7 /proc/30715/task/30724/stat : 30724 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566612167312 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30725] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30725/stat : 30725 (java) S 30713 30713 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446191965 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566569228784 140567068203650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30726] ppid=30713 vsize=28231652 memory=280389826586256 CPUtime=0 cores=0-7 /proc/30715/task/30726/stat : 30726 (java) S 30713 30713 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446191966 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566568175008 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30727] ppid=30713 vsize=28231652 memory=280389826593168 CPUtime=0 cores=0-7 /proc/30715/task/30727/stat : 30727 (java) S 30713 30713 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446191966 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566567122416 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30728] ppid=30713 vsize=28231652 memory=280389826534320 CPUtime=0 cores=0-7 /proc/30715/task/30728/stat : 30728 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191968 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566566070992 140567068211099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30729] ppid=30713 vsize=28231652 memory=280389826606992 CPUtime=0.02 cores=0-7 /proc/30715/task/30729/stat : 30729 (java) R 30713 30713 29646 0 -1 4202560 424 0 0 0 2 0 0 0 20 0 20 0 446191968 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566565007968 140567051689039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30730] ppid=30713 vsize=28231652 memory=280389826613904 CPUtime=0.04 cores=0-7 /proc/30715/task/30730/stat : 30730 (java) S 30713 30713 29646 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 20 0 446191968 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566563965040 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30731] ppid=30713 vsize=28231652 memory=280389826611600 CPUtime=0.02 cores=0-7 /proc/30715/task/30731/stat : 30731 (java) S 30713 30713 29646 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 446191968 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566177376496 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30732] ppid=30713 vsize=28231652 memory=280389826627760 CPUtime=0.12 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) R 30713 30713 29646 0 -1 4202560 943 0 0 0 12 0 0 0 20 0 20 0 446191968 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566176323952 140567052272990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191969 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191969 28909211648 12369 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50932 KiB [startup+0.700927 s] /proc/loadavg: 6.75 5.73 6.57 6/215 30734 /proc/meminfo: memFree=27186932/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28233776 memory=92436 CPUtime=1.67 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 14659 0 0 0 161 6 0 0 20 0 20 0 446191963 28911386624 23109 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7058444 23109 3453 1 0 7019544 0 [pid=30715/tid=30716] ppid=30713 vsize=28233776 memory=280389826985648 CPUtime=0.67 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) R 30713 30713 29646 0 -1 4202560 9270 0 0 0 64 3 0 0 20 0 20 0 446191963 28911386624 23109 33554432000 4194304 4196468 140730567097600 140567072430880 140566708620666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28233776 memory=140194913493872 CPUtime=0 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446191964 28911386624 23109 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446191964 28911386624 23109 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28233776 memory=6020 CPUtime=0 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446191964 28911386624 23109 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 ################ # More data... # ################ [pid=30715/tid=30732] ppid=30713 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) S 30713 30713 29646 0 -1 1077944384 3227 0 0 0 78 1 0 0 20 0 28 0 446191968 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566176323952 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28768336 memory=3761121670502705761 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28768336 memory=280389826384384 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30735] ppid=30713 vsize=28768336 memory=288230587429583822 CPUtime=2.02 cores=0-7 /proc/30715/task/30735/stat : 30735 (java) R 30713 30713 29646 0 -1 4202560 134 0 0 0 202 0 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566163140648 140566711884077 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30736] ppid=30713 vsize=28768336 memory=13564886229754923 CPUtime=2.09 cores=0-7 /proc/30715/task/30736/stat : 30736 (java) R 30713 30713 29646 0 -1 4202560 103 0 0 0 208 1 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566162088376 140566712300804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30737] ppid=30713 vsize=28768336 memory=0 CPUtime=2.07 cores=0-7 /proc/30715/task/30737/stat : 30737 (java) R 30713 30713 29646 0 -1 4202560 545 0 0 0 205 2 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566161034696 140566711458017 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30738] ppid=30713 vsize=28768336 memory=0 CPUtime=2.17 cores=0-7 /proc/30715/task/30738/stat : 30738 (java) R 30713 30713 29646 0 -1 4202560 180 0 0 0 215 2 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566092304120 140566711457933 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30739] ppid=30713 vsize=28768336 memory=0 CPUtime=2.14 cores=0-7 /proc/30715/task/30739/stat : 30739 (java) R 30713 30713 29646 0 -1 4202560 96 0 0 0 211 3 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566091251608 140566712101488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30740] ppid=30713 vsize=28768336 memory=0 CPUtime=2.37 cores=0-7 /proc/30715/task/30740/stat : 30740 (java) R 30713 30713 29646 0 -1 4202560 475 0 0 0 235 2 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566090199064 140566711457968 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30741] ppid=30713 vsize=28768336 memory=0 CPUtime=2.22 cores=0-7 /proc/30715/task/30741/stat : 30741 (java) R 30713 30713 29646 0 -1 4202560 75 0 0 0 220 2 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566089146520 140566712101852 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30742] ppid=30713 vsize=28768336 memory=0 CPUtime=2.16 cores=0-7 /proc/30715/task/30742/stat : 30742 (java) R 30713 30713 29646 0 -1 4202560 120 0 0 0 215 1 0 0 20 0 28 0 446192053 29458776064 193256 33554432000 4194304 4196468 140730567097600 140566088094232 140566711457955 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 29.57 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 774480 KiB [startup+5.20172 s] /proc/loadavg: 7.17 5.83 6.60 13/223 30742 /proc/meminfo: memFree=26474144/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28768336 memory=780516 CPUtime=32.74 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 33950 0 0 0 3162 112 0 0 20 0 28 0 446191963 29458776064 195129 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7192084 195129 3544 1 0 7153184 0 [pid=30715/tid=30716] ppid=30713 vsize=28768336 memory=0 CPUtime=0.87 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) S 30713 30713 29646 0 -1 1077944384 9532 0 0 0 83 4 0 0 20 0 28 0 446191963 29458776064 195129 33554432000 4194304 4196468 140730567097600 140567072433280 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28768336 memory=7450766231489500773 CPUtime=0.61 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 335 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28768336 memory=7594309591931250288 CPUtime=0.57 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 181 0 0 0 48 9 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28768336 memory=7594309591931250288 CPUtime=0.59 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 229 0 0 0 50 9 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30720] ppid=30713 vsize=28768336 memory=7594309591931250288 CPUtime=0.61 cores=0-7 /proc/30715/task/30720/stat : 30720 (java) S 30713 30713 29646 0 -1 1077944384 250 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566616378512 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30721] ppid=30713 vsize=28768336 memory=6226055409588331569 CPUtime=0.6 cores=0-7 /proc/30715/task/30721/stat : 30721 (java) S 30713 30713 29646 0 -1 1077944384 305 0 0 0 49 11 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566615324944 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30722] ppid=30713 vsize=28768336 memory=7450766231489500720 CPUtime=0.6 cores=0-7 /proc/30715/task/30722/stat : 30722 (java) S 30713 30713 29646 0 -1 1077944384 270 0 0 0 50 10 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566614272400 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30723] ppid=30713 vsize=28768336 memory=7450766231489500720 CPUtime=0.61 cores=0-7 /proc/30715/task/30723/stat : 30723 (java) S 30713 30713 29646 0 -1 1077944384 242 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566613219856 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30724] ppid=30713 vsize=28768336 memory=7523358192386990929 CPUtime=0.59 cores=0-7 /proc/30715/task/30724/stat : 30724 (java) S 30713 30713 29646 0 -1 1077944384 287 0 0 0 50 9 0 0 20 0 28 0 446191964 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566612167312 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30725] ppid=30713 vsize=28768336 memory=7593752221325022568 CPUtime=0.27 cores=0-7 /proc/30715/task/30725/stat : 30725 (java) S 30713 30713 29646 0 -1 1077944384 722 0 0 0 27 0 0 0 20 0 28 0 446191965 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566569228784 140567068203650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30726] ppid=30713 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/30715/task/30726/stat : 30726 (java) S 30713 30713 29646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446191966 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566568175072 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30727] ppid=30713 vsize=28768336 memory=773008 CPUtime=0 cores=0-7 /proc/30715/task/30727/stat : 30727 (java) S 30713 30713 29646 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446191966 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566567122432 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30728] ppid=30713 vsize=28768336 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/30715/task/30728/stat : 30728 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446191968 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566566070992 140567068211099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30729] ppid=30713 vsize=28768336 memory=4945125699554088323 CPUtime=1.8 cores=0-7 /proc/30715/task/30729/stat : 30729 (java) S 30713 30713 29646 0 -1 1077944384 4843 0 0 0 179 1 0 0 20 0 28 0 446191968 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566565017584 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30730] ppid=30713 vsize=28768336 memory=-7523660553960122769 CPUtime=2.17 cores=0-7 /proc/30715/task/30730/stat : 30730 (java) R 30713 30713 29646 0 -1 4202560 5380 0 0 0 216 1 0 0 20 0 28 0 446191968 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566563952512 140567051678878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30731] ppid=30713 vsize=28768336 memory=-7531822216213012384 CPUtime=1.8 cores=0-7 /proc/30715/task/30731/stat : 30731 (java) S 30713 30713 29646 0 -1 1077944384 3956 0 0 0 179 1 0 0 20 0 28 0 446191968 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566177376496 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30732] ppid=30713 vsize=28768336 memory=-8851153767425282909 CPUtime=0.8 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) R 30713 30713 29646 0 -1 1077944384 3381 0 0 0 79 1 0 0 20 0 28 0 446191968 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566176323952 140567068203650 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28768336 memory=-8383301583103171957 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28768336 memory=-6524724626058237342 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30735] ppid=30713 vsize=28768336 memory=-7663812099307558535 CPUtime=2.24 cores=0-7 /proc/30715/task/30735/stat : 30735 (java) R 30713 30713 29646 0 -1 4202560 167 0 0 0 224 0 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566163139632 140566711884209 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30736] ppid=30713 vsize=28768336 memory=0 CPUtime=2.49 cores=0-7 /proc/30715/task/30736/stat : 30736 (java) R 30713 30713 29646 0 -1 4202560 242 0 0 0 247 2 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566162088376 140566712101535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30737] ppid=30713 vsize=28768336 memory=0 CPUtime=2.45 cores=0-7 /proc/30715/task/30737/stat : 30737 (java) R 30713 30713 29646 0 -1 4202560 693 0 0 0 243 2 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566161035464 140566711884267 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30738] ppid=30713 vsize=28768336 memory=140194913813840 CPUtime=2.48 cores=0-7 /proc/30715/task/30738/stat : 30738 (java) R 30713 30713 29646 0 -1 4202560 369 0 0 0 245 3 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566092305912 140566712102659 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30739] ppid=30713 vsize=28768336 memory=7660742144744843625 CPUtime=2.54 cores=0-7 /proc/30715/task/30739/stat : 30739 (java) R 30713 30713 29646 0 -1 4202560 171 0 0 0 251 3 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566091251608 140566711883966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30740] ppid=30713 vsize=28768336 memory=6456377914987691086 CPUtime=2.7 cores=0-7 /proc/30715/task/30740/stat : 30740 (java) R 30713 30713 29646 0 -1 4202560 570 0 0 0 268 2 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566090199336 140566711457968 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30741] ppid=30713 vsize=28768336 memory=1 CPUtime=2.59 cores=0-7 /proc/30715/task/30741/stat : 30741 (java) R 30713 30713 29646 0 -1 4202560 144 0 0 0 257 2 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566089146520 140566712101701 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30742] ppid=30713 vsize=28768336 memory=280389827564784 CPUtime=2.54 cores=0-7 /proc/30715/task/30742/stat : 30742 (java) R 30713 30713 29646 0 -1 4202560 368 0 0 0 253 1 0 0 20 0 28 0 446192053 29458776064 195129 33554432000 4194304 4196468 140730567097600 140566088094600 140566711884077 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 32.74 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 781972 KiB [startup+5.30172 s] /proc/loadavg: 7.17 5.83 6.60 13/223 30742 /proc/meminfo: memFree=26474144/32770624 swapFree=66999436/67108860 [pid=30713] ppid=30710 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30713/stat : 30713 (xcsp3-exec) S 30710 30713 29646 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446191962 115843072 364 33554432000 4194304 5098028 140728052930976 140728052929080 139976137646716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29761536 140728052937591 140728052937833 140728052937833 140728052940746 0 /proc/30713/statm: 28282 364 305 221 0 87 0 [pid=30715] ppid=30713 vsize=28768336 memory=782632 CPUtime=33.55 cores=0-7 /proc/30715/stat : 30715 (java) S 30713 30713 29646 0 -1 1077944320 34138 0 0 0 3242 113 0 0 20 0 28 0 446191963 29458776064 195658 33554432000 4194304 4196468 140730567097600 140730567080144 140567068192503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 /proc/30715/statm: 7192084 195658 3544 1 0 7153184 0 [pid=30715/tid=30716] ppid=30713 vsize=28768336 memory=288230583166042425 CPUtime=0.87 cores=0-7 /proc/30715/task/30716/stat : 30716 (java) S 30713 30713 29646 0 -1 1077944384 9532 0 0 0 83 4 0 0 20 0 28 0 446191963 29458776064 195658 33554432000 4194304 4196468 140730567097600 140567072433280 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30717] ppid=30713 vsize=28768336 memory=778280 CPUtime=0.61 cores=0-7 /proc/30715/task/30717/stat : 30717 (java) S 30713 30713 29646 0 -1 1077944384 335 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140567033473808 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30718] ppid=30713 vsize=28768336 memory=140199371396735 CPUtime=0.57 cores=0-7 /proc/30715/task/30718/stat : 30718 (java) S 30713 30713 29646 0 -1 1077944384 181 0 0 0 48 9 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566618483600 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30719] ppid=30713 vsize=28768336 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/30715/task/30719/stat : 30719 (java) S 30713 30713 29646 0 -1 1077944384 229 0 0 0 50 9 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566617431056 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30720] ppid=30713 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7 /proc/30715/task/30720/stat : 30720 (java) S 30713 30713 29646 0 -1 1077944384 250 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566616378512 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30721] ppid=30713 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/30715/task/30721/stat : 30721 (java) S 30713 30713 29646 0 -1 1077944384 305 0 0 0 49 11 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566615324944 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30722] ppid=30713 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/30715/task/30722/stat : 30722 (java) S 30713 30713 29646 0 -1 1077944384 270 0 0 0 50 10 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566614272400 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30723] ppid=30713 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7 /proc/30715/task/30723/stat : 30723 (java) S 30713 30713 29646 0 -1 1077944384 242 0 0 0 51 10 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566613219856 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30724] ppid=30713 vsize=28768336 memory=1456 CPUtime=0.59 cores=0-7 /proc/30715/task/30724/stat : 30724 (java) S 30713 30713 29646 0 -1 1077944384 287 0 0 0 50 9 0 0 20 0 28 0 446191964 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566612167312 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30725] ppid=30713 vsize=28768336 memory=663936 CPUtime=0.27 cores=0-7 /proc/30715/task/30725/stat : 30725 (java) S 30713 30713 29646 0 -1 1077944384 722 0 0 0 27 0 0 0 20 0 28 0 446191965 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566569228784 140567068203650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30726] ppid=30713 vsize=28768336 memory=134096059632362 CPUtime=0 cores=0-7 /proc/30715/task/30726/stat : 30726 (java) S 30713 30713 29646 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446191966 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566568175072 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30727] ppid=30713 vsize=28768336 memory=48012 CPUtime=0 cores=0-7 /proc/30715/task/30727/stat : 30727 (java) S 30713 30713 29646 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446191966 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566567122432 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30728] ppid=30713 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/30715/task/30728/stat : 30728 (java) S 30713 30713 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446191968 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566566070992 140567068211099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30729] ppid=30713 vsize=28768336 memory=2016 CPUtime=1.83 cores=0-7 /proc/30715/task/30729/stat : 30729 (java) S 30713 30713 29646 0 -1 1077944384 4930 0 0 0 182 1 0 0 20 0 28 0 446191968 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566565017584 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30730] ppid=30713 vsize=28768336 memory=0 CPUtime=2.21 cores=0-7 /proc/30715/task/30730/stat : 30730 (java) S 30713 30713 29646 0 -1 1077944384 5396 0 0 0 220 1 0 0 20 0 28 0 446191968 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566563965040 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30731] ppid=30713 vsize=28768336 memory=0 CPUtime=1.8 cores=0-7 /proc/30715/task/30731/stat : 30731 (java) S 30713 30713 29646 0 -1 1077944384 3972 0 0 0 179 1 0 0 20 0 28 0 446191968 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566177376496 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30732] ppid=30713 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7 /proc/30715/task/30732/stat : 30732 (java) S 30713 30713 29646 0 -1 1077944384 3398 0 0 0 79 1 0 0 20 0 28 0 446191968 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566176323952 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30733] ppid=30713 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30733/stat : 30733 (java) S 30713 30713 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566175271648 140567068202709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30734] ppid=30713 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/30715/task/30734/stat : 30734 (java) S 30713 30713 29646 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446191969 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566174219184 140567068203650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30735] ppid=30713 vsize=28768336 memory=0 CPUtime=2.34 cores=0-7 /proc/30715/task/30735/stat : 30735 (java) R 30713 30713 29646 0 -1 4202560 184 0 0 0 234 0 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566163139632 140566711457877 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30736] ppid=30713 vsize=28768336 memory=0 CPUtime=2.59 cores=0-7 /proc/30715/task/30736/stat : 30736 (java) R 30713 30713 29646 0 -1 4202560 262 0 0 0 257 2 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566162088376 140566712101617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30737] ppid=30713 vsize=28768336 memory=154 CPUtime=2.55 cores=0-7 /proc/30715/task/30737/stat : 30737 (java) R 30713 30713 29646 0 -1 4202560 694 0 0 0 253 2 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566161035464 140566711883865 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30738] ppid=30713 vsize=28768336 memory=194 CPUtime=2.57 cores=0-7 /proc/30715/task/30738/stat : 30738 (java) R 30713 30713 29646 0 -1 4202560 378 0 0 0 254 3 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566092305912 140566712101712 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30739] ppid=30713 vsize=28768336 memory=169 CPUtime=2.64 cores=0-7 /proc/30715/task/30739/stat : 30739 (java) R 30713 30713 29646 0 -1 4202560 171 0 0 0 261 3 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566091251608 140566712101535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30740] ppid=30713 vsize=28768336 memory=76 CPUtime=2.8 cores=0-7 /proc/30715/task/30740/stat : 30740 (java) R 30713 30713 29646 0 -1 4202560 573 0 0 0 278 2 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566090199336 140566711457858 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30741] ppid=30713 vsize=28768336 memory=0 CPUtime=2.64 cores=0-7 /proc/30715/task/30741/stat : 30741 (java) R 30713 30713 29646 0 -1 4202560 144 0 0 0 262 2 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566089146520 140566711884160 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 [pid=30715/tid=30742] ppid=30713 vsize=28768336 memory=0 CPUtime=2.61 cores=0-7 /proc/30715/task/30742/stat : 30742 (java) R 30713 30713 29646 0 -1 4202560 370 0 0 0 260 1 0 0 20 0 28 0 446192053 29458776064 195658 33554432000 4194304 4196468 140730567097600 140566088094600 140566711883843 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9240576 140730567099370 140730567099542 140730567099542 140730567102415 0 Current children cumulated CPU time: 33.55 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 784088 KiB Child status: 0 Real time (s): 5.36557 CPU time (s): 33.8376 CPU user time (s): 32.6894 CPU system time (s): 1.14814 CPU usage (%): 630.642 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 784088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.6894 system time used= 1.14814 maximum resident set size= 784772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35574 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4310 involuntary context switches= 953 # summary of solver processes directly reported to runsolver: # pid: 30713 # total CPU time (s): 33.8376 # total CPU user time (s): 32.6894 # total CPU system time (s): 1.14814 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.071716 second user time and 0.102897 second system time The end
Begin job on node140 at 2019-09-17 08:41:35 IDJOB=4399582 IDBENCH=122923 IDSOLVER=2854 FILE ID=node140/4399582-1568702536 RUNJOBID= node140-1568700822-29673 PBS_JOBID= 21703906 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-152.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-4399582-1568702536/watcher-4399582-1568702536 -o /tmp/evaluation-result-4399582-1568702536/solver-4399582-1568702536 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 27343615 HOME/instance-4399582-1568702536.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 70d9add84a9acab5bfce09ac7a4943a4 RANDOM SEED=27343615 node140.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.43 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.43 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.43 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.43 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: 27236544 kB MemAvailable: 31848320 kB Buffers: 197532 kB Cached: 4656240 kB SwapCached: 2596 kB Active: 1635392 kB Inactive: 3228232 kB Active(anon): 5116 kB Inactive(anon): 53588 kB Active(file): 1630276 kB Inactive(file): 3174644 kB Unevictable: 106608 kB Mlocked: 106608 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26116 kB Writeback: 0 kB AnonPages: 113148 kB Mapped: 48796 kB Shmem: 40584 kB Slab: 265408 kB SReclaimable: 235316 kB SUnreclaim: 30092 kB KernelStack: 3440 kB PageTables: 5936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58088 MiB End job on node140 at 2019-09-17 08:41:40