Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 3086.45 | 396.183 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-164.xml |
MD5SUM | b2fe288f8dde57e646dfc9c4f090c29d |
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 | 118.733 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 328 |
Number of constraints | 172 |
Number of domains | 2 |
Minimum domain size | 164 |
Maximum domain size | 26896 |
Distribution of domain sizes | [{"size":164,"count":164},{"size":26896,"count":164}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":164},{"degree":4,"count":163},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 164 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":164},{"arity":82,"count":6},{"arity":164,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 165 |
Distribution of constraint types | [{"type":"intension","count":165},{"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-4406911-1569345856.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406911-1569345856.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.00/0.89 c solve instance... 3086.36/396.14 s SATISFIABLE 3086.36/396.14 v <instantiation> 3086.36/396.14 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] x[76] x[77] x[78] x[79] x[80] x[81] 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] y[76] y[77] y[78] y[79] y[80] y[81] 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] cx[76] cx[77] cx[78] cx[79] cx[80] cx[81] 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] cy[76] cy[77] cy[78] cy[79] cy[80] cy[81] </list> 3086.36/396.14 v <values>1 2 3 4 5 6 7 13 33 40 41 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 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 93 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 8 9 10 11 12 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 34 35 36 37 38 39 42 92 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 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 1 4 9 16 25 36 49 169 1089 1600 1681 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 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8649 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336 24649 24964 25281 25600 25921 26244 26569 26896 64 81 100 121 144 196 225 256 289 324 361 400 441 484 529 576 625 676 729 784 841 900 961 1024 1156 1225 1296 1369 1444 1521 1764 8464 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 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 19881 20164 20449 </values> 3086.36/396.14 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 (13705 MiB free) memory of node 1: 16384 MiB (14481 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406911-1569345856/watcher-4406911-1569345856 -o /tmp/evaluation-result-4406911-1569345856/solver-4406911-1569345856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4406911-1569345856.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=20590, runsolver pid=20587 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 7.36 7.69 7.63 2/213 20611 /proc/meminfo: memFree=28847632/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28227396 memory=28788 CPUtime=0.12 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 5640 0 0 0 11 1 0 0 20 0 20 0 510838712 28904853504 7197 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7056849 7197 3126 1 0 7019032 0 [pid=20592/tid=20593] ppid=20590 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) S 20590 20590 18413 0 -1 1077944384 3577 0 0 0 8 0 0 0 20 0 20 0 510838712 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554573662960 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28227396 memory=288370906612995712 CPUtime=0 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20597] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20597/stat : 20597 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554486127376 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20598] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20598/stat : 20598 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554485074576 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20599] ppid=20590 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20599/stat : 20599 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554484021776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20600] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20600/stat : 20600 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554114554256 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20601] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20601/stat : 20601 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 7197 33554432000 4194304 4196468 140735691343584 140554113501456 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20602] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20602/stat : 20602 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838714 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553954089840 140554569443970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20603] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20603/stat : 20603 (java) S 20590 20590 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510838715 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553953035808 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20604] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20604/stat : 20604 (java) S 20590 20590 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510838715 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553951982960 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20605] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20605/stat : 20605 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553950931280 140554569451419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20606] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20606/stat : 20606 (java) S 20590 20590 18413 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553949878640 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20607] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20607/stat : 20607 (java) R 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553948825840 140554569443970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20608] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20608/stat : 20608 (java) S 20590 20590 18413 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553947773040 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20609] ppid=20590 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) R 20590 20590 18413 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553946720240 140554548392658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838718 28904853504 7197 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30240 KiB [startup+0.210831 s]* /proc/loadavg: 7.36 7.69 7.63 2/213 20611 /proc/meminfo: memFree=28832880/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28227396 memory=41160 CPUtime=0.33 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 9542 0 0 0 31 2 0 0 20 0 20 0 510838712 28904853504 10290 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7056849 10290 3307 1 0 7019032 0 [pid=20592/tid=20593] ppid=20590 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) R 20590 20590 18413 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 20 0 510838712 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554573666880 140554163793652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28227396 memory=140530461304647 CPUtime=0 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20597] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20597/stat : 20597 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554486127376 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20598] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20598/stat : 20598 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554485074576 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20599] ppid=20590 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20599/stat : 20599 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554484021776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20600] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20600/stat : 20600 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554114554256 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20601] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20601/stat : 20601 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838713 28904853504 10290 33554432000 4194304 4196468 140735691343584 140554113501456 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20602] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20602/stat : 20602 (java) S 20590 20590 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510838714 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553954089840 140554569443970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20603] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20603/stat : 20603 (java) S 20590 20590 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510838715 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553953035808 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20604] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20604/stat : 20604 (java) S 20590 20590 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510838715 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553951982960 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20605] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20605/stat : 20605 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553950931280 140554569451419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20606] ppid=20590 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20592/task/20606/stat : 20606 (java) S 20590 20590 18413 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553949878640 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20607] ppid=20590 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20592/task/20607/stat : 20607 (java) S 20590 20590 18413 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553948825840 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20608] ppid=20590 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/20592/task/20608/stat : 20608 (java) S 20590 20590 18413 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553947773040 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20609] ppid=20590 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) R 20590 20590 18413 0 -1 4202560 772 0 0 0 8 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553946720240 140554561669950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838717 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838718 28904853504 10290 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42612 KiB [startup+0.310657 s]* /proc/loadavg: 7.36 7.69 7.63 3/213 20611 /proc/meminfo: memFree=28825980/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28231652 memory=50380 CPUtime=0.52 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 10929 0 0 0 49 3 0 0 20 0 20 0 510838712 28909211648 12595 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7057913 12595 3355 1 0 7019032 0 [pid=20592/tid=20593] ppid=20590 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) R 20590 20590 18413 0 -1 4202560 7759 0 0 0 27 2 0 0 20 0 20 0 510838712 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554573666608 140554569454170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20597] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20597/stat : 20597 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554486127376 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20598] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20598/stat : 20598 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554485074576 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20599] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20599/stat : 20599 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554484021776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20600] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20600/stat : 20600 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554114554256 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20601] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20601/stat : 20601 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838713 28909211648 12595 33554432000 4194304 4196468 140735691343584 140554113501456 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20602] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20602/stat : 20602 (java) S 20590 20590 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510838714 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553954089840 140554569443970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20603] ppid=20590 vsize=28231652 memory=281060646788480 CPUtime=0 cores=0-7 /proc/20592/task/20603/stat : 20603 (java) S 20590 20590 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510838715 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553953035808 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20604] ppid=20590 vsize=28231652 memory=281060646793088 CPUtime=0 cores=0-7 /proc/20592/task/20604/stat : 20604 (java) S 20590 20590 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510838715 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553951982960 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20605] ppid=20590 vsize=28231652 memory=281060646797696 CPUtime=0 cores=0-7 /proc/20592/task/20605/stat : 20605 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553950931280 140554569451419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20606] ppid=20590 vsize=28231652 memory=281060646802304 CPUtime=0.02 cores=0-7 /proc/20592/task/20606/stat : 20606 (java) S 20590 20590 18413 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553949878640 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20607] ppid=20590 vsize=28231652 memory=281060646806912 CPUtime=0.03 cores=0-7 /proc/20592/task/20607/stat : 20607 (java) R 20590 20590 18413 0 -1 4202560 405 0 0 0 3 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553948816224 140554550978122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20608] ppid=20590 vsize=28231652 memory=281060646811520 CPUtime=0.02 cores=0-7 /proc/20592/task/20608/stat : 20608 (java) S 20590 20590 18413 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553947773040 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20609] ppid=20590 vsize=28231652 memory=281060646816128 CPUtime=0.12 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) S 20590 20590 18413 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553946720240 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510838717 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838718 28909211648 12595 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51832 KiB [startup+0.700993 s] /proc/loadavg: 7.36 7.69 7.63 4/213 20611 /proc/meminfo: memFree=28812140/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28233776 memory=95864 CPUtime=1.63 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 14462 0 0 0 157 6 0 0 20 0 20 0 510838712 28911386624 23966 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7058444 23966 3453 1 0 7019544 0 [pid=20592/tid=20593] ppid=20590 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) R 20590 20590 18413 0 -1 4202560 9182 0 0 0 63 4 0 0 20 0 20 0 510838712 28911386624 23966 33554432000 4194304 4196468 140735691343584 140554573665616 140554163843848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510838713 28911386624 23966 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28911386624 23966 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510838713 28911386624 23966 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 ################ # More data... # ################ [pid=20592/tid=20609] ppid=20590 vsize=28768336 memory=12024 CPUtime=0.84 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) S 20590 20590 18413 0 -1 1077944384 7759 0 0 0 83 1 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553946720240 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28768336 memory=500 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28768336 memory=1560 CPUtime=0.19 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1341 0 0 0 11 8 0 0 20 0 28 0 510838718 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20612] ppid=20590 vsize=28768336 memory=932 CPUtime=378.83 cores=0-7 /proc/20592/task/20612/stat : 20612 (java) S 20590 20590 18413 0 -1 1077944384 3998 0 0 0 37875 8 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553868230512 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20613] ppid=20590 vsize=28768336 memory=3768 CPUtime=383.4 cores=0-7 /proc/20592/task/20613/stat : 20613 (java) S 20590 20590 18413 0 -1 1077944384 3075 0 0 0 38333 7 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553865082064 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20614] ppid=20590 vsize=28768336 memory=1980 CPUtime=390.83 cores=0-7 /proc/20592/task/20614/stat : 20614 (java) R 20590 20590 18413 0 -1 4202560 21936 0 0 0 39035 48 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553864023696 140554173156856 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20615] ppid=20590 vsize=28768336 memory=2512 CPUtime=381 cores=0-7 /proc/20592/task/20615/stat : 20615 (java) S 20590 20590 18413 0 -1 1077944384 7723 0 0 0 38089 11 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553862976464 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20616] ppid=20590 vsize=28768336 memory=1436 CPUtime=382.48 cores=0-7 /proc/20592/task/20616/stat : 20616 (java) S 20590 20590 18413 0 -1 1077944384 4043 0 0 0 38239 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553861923664 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20617] ppid=20590 vsize=28768336 memory=796 CPUtime=382.82 cores=0-7 /proc/20592/task/20617/stat : 20617 (java) S 20590 20590 18413 0 -1 1077944384 4415 0 0 0 38273 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553860870864 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20618] ppid=20590 vsize=28768336 memory=1764 CPUtime=382.41 cores=0-7 /proc/20592/task/20618/stat : 20618 (java) S 20590 20590 18413 0 -1 1077944384 2027 0 0 0 38236 5 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553859819088 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20619] ppid=20590 vsize=28768336 memory=111628 CPUtime=383.24 cores=0-7 /proc/20592/task/20619/stat : 20619 (java) S 20590 20590 18413 0 -1 1077944384 4877 0 0 0 38312 12 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553858766288 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 3085.85 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2038652 KiB [startup+396.001 s]* /proc/loadavg: 7.27 7.91 7.77 2/219 20644 /proc/meminfo: memFree=26838604/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28768336 memory=2037200 CPUtime=3086.25 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 131944 0 0 0 308191 434 0 0 20 0 28 0 510838712 29458776064 509300 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7192084 509300 3551 1 0 7153184 0 [pid=20592/tid=20593] ppid=20590 vsize=28768336 memory=1398722017469774279 CPUtime=0.87 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) S 20590 20590 18413 0 -1 1077944384 9440 0 0 0 82 5 0 0 20 0 28 0 510838712 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554573673600 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28768336 memory=3768 CPUtime=1.54 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2223 0 0 0 118 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28768336 memory=1980 CPUtime=1.56 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 916 0 0 0 120 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28768336 memory=1452 CPUtime=1.57 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1049 0 0 0 119 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20597] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.54 cores=0-7 /proc/20592/task/20597/stat : 20597 (java) S 20590 20590 18413 0 -1 1077944384 3320 0 0 0 117 37 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554486127376 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20598] ppid=20590 vsize=28768336 memory=1712 CPUtime=1.55 cores=0-7 /proc/20592/task/20598/stat : 20598 (java) S 20590 20590 18413 0 -1 1077944384 1566 0 0 0 119 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554485074576 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20599] ppid=20590 vsize=28768336 memory=140530323367537 CPUtime=1.55 cores=0-7 /proc/20592/task/20599/stat : 20599 (java) S 20590 20590 18413 0 -1 1077944384 1494 0 0 0 117 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554484021776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20600] ppid=20590 vsize=28768336 memory=5860981295129389675 CPUtime=1.48 cores=0-7 /proc/20592/task/20600/stat : 20600 (java) S 20590 20590 18413 0 -1 1077944384 1029 0 0 0 111 37 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554114554256 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20601] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=1.58 cores=0-7 /proc/20592/task/20601/stat : 20601 (java) S 20590 20590 18413 0 -1 1077944384 1618 0 0 0 120 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554113501456 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20602] ppid=20590 vsize=28768336 memory=6224941582650076007 CPUtime=0.48 cores=0-7 /proc/20592/task/20602/stat : 20602 (java) S 20590 20590 18413 0 -1 1077944384 4403 0 0 0 45 3 0 0 20 0 28 0 510838714 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553954089840 140554569443970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20603] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=0 cores=0-7 /proc/20592/task/20603/stat : 20603 (java) S 20590 20590 18413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510838715 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553953035872 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20604] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=0 cores=0-7 /proc/20592/task/20604/stat : 20604 (java) S 20590 20590 18413 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 510838715 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553951982976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20605] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=0 cores=0-7 /proc/20592/task/20605/stat : 20605 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553950931280 140554569451419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20606] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=1.76 cores=0-7 /proc/20592/task/20606/stat : 20606 (java) S 20590 20590 18413 0 -1 1077944384 11777 0 0 0 174 2 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553949878640 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20607] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=2.03 cores=0-7 /proc/20592/task/20607/stat : 20607 (java) S 20590 20590 18413 0 -1 1077944384 15393 0 0 0 200 3 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553948825840 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20608] ppid=20590 vsize=28768336 memory=7165054819398018880 CPUtime=2.07 cores=0-7 /proc/20592/task/20608/stat : 20608 (java) S 20590 20590 18413 0 -1 1077944384 15193 0 0 0 204 3 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553947773040 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20609] ppid=20590 vsize=28768336 memory=5860981295129389675 CPUtime=0.84 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) S 20590 20590 18413 0 -1 1077944384 7759 0 0 0 83 1 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553946720240 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28768336 memory=7018132491901038435 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28768336 memory=7018132491901038435 CPUtime=0.19 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1341 0 0 0 11 8 0 0 20 0 28 0 510838718 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20612] ppid=20590 vsize=28768336 memory=7521404359990993775 CPUtime=378.83 cores=0-7 /proc/20592/task/20612/stat : 20612 (java) S 20590 20590 18413 0 -1 1077944384 3998 0 0 0 37875 8 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553868230512 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20613] ppid=20590 vsize=28768336 memory=8026370468647223396 CPUtime=383.4 cores=0-7 /proc/20592/task/20613/stat : 20613 (java) S 20590 20590 18413 0 -1 1077944384 3075 0 0 0 38333 7 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553865082064 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20614] ppid=20590 vsize=28768336 memory=8026370468647223396 CPUtime=391.24 cores=0-7 /proc/20592/task/20614/stat : 20614 (java) R 20590 20590 18413 0 -1 4202560 21944 0 0 0 39076 48 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553864023696 140554173156856 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20615] ppid=20590 vsize=28768336 memory=8026370468647223396 CPUtime=381 cores=0-7 /proc/20592/task/20615/stat : 20615 (java) S 20590 20590 18413 0 -1 1077944384 7723 0 0 0 38089 11 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553862976464 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20616] ppid=20590 vsize=28768336 memory=6224941582650076007 CPUtime=382.48 cores=0-7 /proc/20592/task/20616/stat : 20616 (java) S 20590 20590 18413 0 -1 1077944384 4043 0 0 0 38239 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553861923664 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20617] ppid=20590 vsize=28768336 memory=7521404359990993775 CPUtime=382.82 cores=0-7 /proc/20592/task/20617/stat : 20617 (java) S 20590 20590 18413 0 -1 1077944384 4415 0 0 0 38273 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553860870864 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20618] ppid=20590 vsize=28768336 memory=6224941582650076007 CPUtime=382.41 cores=0-7 /proc/20592/task/20618/stat : 20618 (java) S 20590 20590 18413 0 -1 1077944384 2027 0 0 0 38236 5 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553859819088 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20619] ppid=20590 vsize=28768336 memory=8026370468647223396 CPUtime=383.24 cores=0-7 /proc/20592/task/20619/stat : 20619 (java) S 20590 20590 18413 0 -1 1077944384 4877 0 0 0 38312 12 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553858766288 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 3086.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2038652 KiB [startup+396.109 s] /proc/loadavg: 7.27 7.91 7.77 2/219 20644 /proc/meminfo: memFree=26838604/32770624 swapFree=66999256/67108860 [pid=20590] ppid=20587 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20590/stat : 20590 (xcsp3-exec) S 20587 20590 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510838711 115843072 363 33554432000 4194304 5098028 140730514980576 140730514978680 140568212337276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33984512 140730514985845 140730514986089 140730514986089 140730514989002 0 /proc/20590/statm: 28282 363 304 221 0 87 0 [pid=20592] ppid=20590 vsize=28768336 memory=2037200 CPUtime=3086.36 cores=0-7 /proc/20592/stat : 20592 (java) S 20590 20590 18413 0 -1 1077944320 131946 0 0 0 308202 434 0 0 20 0 28 0 510838712 29458776064 509300 33554432000 4194304 4196468 140735691343584 140735691326128 140554569432823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 /proc/20592/statm: 7192084 509300 3551 1 0 7153184 0 [pid=20592/tid=20593] ppid=20590 vsize=28768336 memory=1452 CPUtime=0.87 cores=0-7 /proc/20592/task/20593/stat : 20593 (java) S 20590 20590 18413 0 -1 1077944384 9440 0 0 0 82 5 0 0 20 0 28 0 510838712 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554573673600 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20594] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.54 cores=0-7 /proc/20592/task/20594/stat : 20594 (java) S 20590 20590 18413 0 -1 1077944384 2223 0 0 0 118 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554489285776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20595] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.56 cores=0-7 /proc/20592/task/20595/stat : 20595 (java) S 20590 20590 18413 0 -1 1077944384 916 0 0 0 120 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554488232976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20596] ppid=20590 vsize=28768336 memory=1452 CPUtime=1.57 cores=0-7 /proc/20592/task/20596/stat : 20596 (java) S 20590 20590 18413 0 -1 1077944384 1049 0 0 0 119 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554487180176 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20597] ppid=20590 vsize=28768336 memory=1452 CPUtime=1.54 cores=0-7 /proc/20592/task/20597/stat : 20597 (java) S 20590 20590 18413 0 -1 1077944384 3320 0 0 0 117 37 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554486127376 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20598] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.55 cores=0-7 /proc/20592/task/20598/stat : 20598 (java) S 20590 20590 18413 0 -1 1077944384 1566 0 0 0 119 36 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554485074576 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20599] ppid=20590 vsize=28768336 memory=2037140 CPUtime=1.55 cores=0-7 /proc/20592/task/20599/stat : 20599 (java) S 20590 20590 18413 0 -1 1077944384 1494 0 0 0 117 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554484021776 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20600] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.48 cores=0-7 /proc/20592/task/20600/stat : 20600 (java) S 20590 20590 18413 0 -1 1077944384 1029 0 0 0 111 37 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554114554256 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20601] ppid=20590 vsize=28768336 memory=2037200 CPUtime=1.58 cores=0-7 /proc/20592/task/20601/stat : 20601 (java) S 20590 20590 18413 0 -1 1077944384 1618 0 0 0 120 38 0 0 20 0 28 0 510838713 29458776064 509300 33554432000 4194304 4196468 140735691343584 140554113501456 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20602] ppid=20590 vsize=28768336 memory=1452 CPUtime=0.48 cores=0-7 /proc/20592/task/20602/stat : 20602 (java) S 20590 20590 18413 0 -1 1077944384 4403 0 0 0 45 3 0 0 20 0 28 0 510838714 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553954089840 140554569443970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20603] ppid=20590 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/20592/task/20603/stat : 20603 (java) S 20590 20590 18413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510838715 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553953035872 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20604] ppid=20590 vsize=28768336 memory=2037200 CPUtime=0 cores=0-7 /proc/20592/task/20604/stat : 20604 (java) S 20590 20590 18413 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 510838715 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553951982976 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20605] ppid=20590 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/20592/task/20605/stat : 20605 (java) S 20590 20590 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553950931280 140554569451419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20606] ppid=20590 vsize=28768336 memory=1452 CPUtime=1.76 cores=0-7 /proc/20592/task/20606/stat : 20606 (java) S 20590 20590 18413 0 -1 1077944384 11777 0 0 0 174 2 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553949878640 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20607] ppid=20590 vsize=28768336 memory=1452 CPUtime=2.03 cores=0-7 /proc/20592/task/20607/stat : 20607 (java) S 20590 20590 18413 0 -1 1077944384 15393 0 0 0 200 3 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553948825840 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20608] ppid=20590 vsize=28768336 memory=6791534058613427641 CPUtime=2.07 cores=0-7 /proc/20592/task/20608/stat : 20608 (java) S 20590 20590 18413 0 -1 1077944384 15193 0 0 0 204 3 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553947773040 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20609] ppid=20590 vsize=28768336 memory=2037140 CPUtime=0.84 cores=0-7 /proc/20592/task/20609/stat : 20609 (java) S 20590 20590 18413 0 -1 1077944384 7759 0 0 0 83 1 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553946720240 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20610] ppid=20590 vsize=28768336 memory=3504 CPUtime=0 cores=0-7 /proc/20592/task/20610/stat : 20610 (java) S 20590 20590 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510838717 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553878498400 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20611] ppid=20590 vsize=28768336 memory=65056 CPUtime=0.19 cores=0-7 /proc/20592/task/20611/stat : 20611 (java) S 20590 20590 18413 0 -1 1077944384 1341 0 0 0 11 8 0 0 20 0 28 0 510838718 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553877445680 140554569443970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20612] ppid=20590 vsize=28768336 memory=2037140 CPUtime=378.83 cores=0-7 /proc/20592/task/20612/stat : 20612 (java) S 20590 20590 18413 0 -1 1077944384 3998 0 0 0 37875 8 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553868230512 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20613] ppid=20590 vsize=28768336 memory=2037140 CPUtime=383.4 cores=0-7 /proc/20592/task/20613/stat : 20613 (java) S 20590 20590 18413 0 -1 1077944384 3075 0 0 0 38333 7 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553865082064 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20614] ppid=20590 vsize=28768336 memory=1997968 CPUtime=391.34 cores=0-7 /proc/20592/task/20614/stat : 20614 (java) R 20590 20590 18413 0 -1 4202560 21946 0 0 0 39086 48 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553864023696 140554173156816 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20615] ppid=20590 vsize=28768336 memory=1452 CPUtime=381 cores=0-7 /proc/20592/task/20615/stat : 20615 (java) S 20590 20590 18413 0 -1 1077944384 7723 0 0 0 38089 11 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553862976464 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20616] ppid=20590 vsize=28768336 memory=1452 CPUtime=382.48 cores=0-7 /proc/20592/task/20616/stat : 20616 (java) S 20590 20590 18413 0 -1 1077944384 4043 0 0 0 38239 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553861923664 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20617] ppid=20590 vsize=28768336 memory=1452 CPUtime=382.82 cores=0-7 /proc/20592/task/20617/stat : 20617 (java) S 20590 20590 18413 0 -1 1077944384 4415 0 0 0 38273 9 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553860870864 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20618] ppid=20590 vsize=28768336 memory=776 CPUtime=382.41 cores=0-7 /proc/20592/task/20618/stat : 20618 (java) S 20590 20590 18413 0 -1 1077944384 2027 0 0 0 38236 5 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553859819088 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 [pid=20592/tid=20619] ppid=20590 vsize=28768336 memory=3604 CPUtime=383.24 cores=0-7 /proc/20592/task/20619/stat : 20619 (java) S 20590 20590 18413 0 -1 1077944384 4877 0 0 0 38312 12 0 0 20 0 28 0 510838802 29458776064 509300 33554432000 4194304 4196468 140735691343584 140553858766288 140554569443029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19111936 140735691346922 140735691347094 140735691347094 140735691349967 0 Current children cumulated CPU time: 3086.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 2038652 KiB Child status: 0 Real time (s): 396.183 CPU time (s): 3086.45 CPU user time (s): 3082.07 CPU system time (s): 4.37713 CPU usage (%): 779.045 Max. virtual memory (cumulated for all children) (KiB): 28882488 Max. memory (cumulated for all children) (KiB): 2038652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3082.07 system time used= 4.37713 maximum resident set size= 2037436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135139 page faults= 0 swaps= 0 block input operations= 8 block output operations= 616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14771 involuntary context switches= 34900 # summary of solver processes directly reported to runsolver: # pid: 20590 # total CPU time (s): 3086.45 # total CPU user time (s): 3082.07 # total CPU system time (s): 4.37713 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.5069 second user time and 4.87677 second system time The end
Begin job on node103 at 2019-09-24 19:23:17 IDJOB=4406911 IDBENCH=122900 IDSOLVER=2871 FILE ID=node103/4406911-1569345856 RUNJOBID= node103-1569335920-18440 PBS_JOBID= 21705072 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-164.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-4406911-1569345856/watcher-4406911-1569345856 -o /tmp/evaluation-result-4406911-1569345856/solver-4406911-1569345856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4406911-1569345856.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b2fe288f8dde57e646dfc9c4f090c29d RANDOM SEED=1201978005 node103.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.74 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.74 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.74 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.74 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: 28864256 kB MemAvailable: 31850300 kB Buffers: 51772 kB Cached: 3211116 kB SwapCached: 7000 kB Active: 3138292 kB Inactive: 138460 kB Active(anon): 2140 kB Inactive(anon): 69352 kB Active(file): 3136152 kB Inactive(file): 69108 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 26160 kB Writeback: 0 kB AnonPages: 114432 kB Mapped: 57528 kB Shmem: 49080 kB Slab: 221968 kB SReclaimable: 193240 kB SUnreclaim: 28728 kB KernelStack: 3488 kB PageTables: 5408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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= 20836 MiB End job on node103 at 2019-09-24 19:29:54