Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 53.356899 | 7.5142002 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-136.xml |
MD5SUM | b86bbac9d1c2750a8bd8bee071b595c8 |
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 | 3.5399001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 272 |
Number of constraints | 144 |
Number of domains | 2 |
Minimum domain size | 136 |
Maximum domain size | 18496 |
Distribution of domain sizes | [{"size":136,"count":136},{"size":18496,"count":136}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":136},{"degree":4,"count":135},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 136 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":136},{"arity":68,"count":6},{"arity":136,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 137 |
Distribution of constraint types | [{"type":"intension","count":137},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280893-1503124423.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280893-1503124423.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.71/0.73 c solve instance... 53.33/7.50 s SATISFIABLE 53.33/7.50 v <instantiation> 53.33/7.50 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] 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] 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] 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] </list> 53.33/7.50 v <values>1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 24 69 70 71 72 73 74 75 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 114 115 116 117 20 21 22 23 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 113 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 576 4761 4900 5041 5184 5329 5476 5625 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 12996 13225 13456 13689 400 441 484 529 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 12769 13924 14161 14400 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 </values> 53.33/7.50 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 (11248 MiB free) memory of node 1: 16384 MiB (12242 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280893-1503124423/watcher-4280893-1503124423 -o /tmp/evaluation-result-4280893-1503124423/solver-4280893-1503124423 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503121039-12355 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1129458959 HOME/instance-4280893-1503124423.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=12649, runsolver pid=12646 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 8.17 8.27 8.19 2/199 12670 /proc/meminfo: memFree=24039572/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=25999808 memory=26864 CPUtime=0.12 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 5583 0 0 0 10 2 0 0 20 0 20 0 145530071 26623803392 6716 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6499952 6716 2864 1 0 6488269 0 [pid=12651/tid=12652] ppid=12649 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) R 12649 12649 12328 0 -1 4202560 3590 0 0 0 8 1 0 0 20 0 20 0 145530072 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039920473728 140039901435517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530072 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=25999808 memory=140348751791744 CPUtime=0 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530072 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12656] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12656/stat : 12656 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039835675792 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12657] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12657/stat : 12657 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039834622224 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12658] ppid=12649 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12658/stat : 12658 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039833569680 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12659] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12659/stat : 12659 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039832517136 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12660] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26623803392 6716 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530074 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145530074 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038321751456 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145530075 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038320698864 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038317541488 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) R 12649 12649 12328 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038315436400 140039916264854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530077 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530078 26623803392 6716 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28248 KiB [startup+0.210414 s]* /proc/loadavg: 8.17 8.27 8.19 3/199 12670 /proc/meminfo: memFree=24028160/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=26004064 memory=38960 CPUtime=0.33 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 8309 0 0 0 30 3 0 0 20 0 20 0 145530071 26628161536 9740 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6501016 9740 3044 1 0 6488269 0 [pid=12651/tid=12652] ppid=12649 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) R 12649 12649 12328 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 145530072 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039920489760 140039908930933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530072 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=26004064 memory=140348751804515 CPUtime=0 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530072 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12656] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12656/stat : 12656 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039835675792 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12657] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12657/stat : 12657 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039834622224 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12658] ppid=12649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12658/stat : 12658 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039833569680 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12659] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12659/stat : 12659 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039832517136 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12660] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 9740 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530074 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145530074 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038321751456 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145530075 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038320698864 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) S 12649 12649 12328 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038317541488 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) R 12649 12649 12328 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038315436400 140039900333406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530077 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530078 26628161536 9740 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40344 KiB [startup+0.310464 s]* /proc/loadavg: 7.67 8.17 8.16 3/199 12670 /proc/meminfo: memFree=24023880/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=26004064 memory=45916 CPUtime=0.5 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 9209 0 0 0 46 4 0 0 20 0 20 0 145530071 26628161536 11479 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6501016 11479 3093 1 0 6488269 0 [pid=12651/tid=12652] ppid=12649 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) R 12649 12649 12328 0 -1 4202560 6142 0 0 0 27 2 0 0 20 0 20 0 145530072 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039920487968 140039900333406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530072 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530072 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12656] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12656/stat : 12656 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039835675792 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12657] ppid=12649 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/12651/task/12657/stat : 12657 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039834622224 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12658] ppid=12649 vsize=26004064 memory=140348592583599 CPUtime=0 cores=0-7 /proc/12651/task/12658/stat : 12658 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039833569680 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12659] ppid=12649 vsize=26004064 memory=140348592585904 CPUtime=0 cores=0-7 /proc/12651/task/12659/stat : 12659 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039832517136 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12660] ppid=12649 vsize=26004064 memory=140348592588208 CPUtime=0 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530073 26628161536 11479 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530074 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=26004064 memory=280697185183376 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145530074 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038321751456 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=26004064 memory=280697185190288 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145530075 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038320698864 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=26004064 memory=280697185131568 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=26004064 memory=280697185204112 CPUtime=0.02 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 608 0 0 0 2 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=26004064 memory=280697185211024 CPUtime=0.01 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) R 12649 12649 12328 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038317541488 140039895509494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=26004064 memory=280697185208720 CPUtime=0.01 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=26004064 memory=280697185224880 CPUtime=0.12 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) S 12649 12649 12328 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038315436400 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530077 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530078 26628161536 11479 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47300 KiB [startup+0.701029 s] /proc/loadavg: 7.67 8.17 8.16 2/199 12670 /proc/meminfo: memFree=24003424/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=26006188 memory=107112 CPUtime=1.71 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 13841 0 0 0 165 6 0 0 20 0 20 0 145530071 26630336512 26778 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6501547 26778 3205 1 0 6488781 0 [pid=12651/tid=12652] ppid=12649 vsize=26006188 memory=280697185582768 CPUtime=0.67 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) R 12649 12649 12328 0 -1 4202560 6885 0 0 0 64 3 0 0 20 0 20 0 145530072 26630336512 26778 33554432000 4194304 4196468 140730006518144 140039920488288 140039505871574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=26006188 memory=140348592792432 CPUtime=0 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145530072 26630336512 26778 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530072 26630336512 26778 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=26006188 memory=11112 CPUtime=0 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530073 26630336512 26778 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 ################ # More data... # ################ [pid=12651/tid=12660] ppid=12649 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 189 0 0 0 46 10 0 0 20 0 28 0 145530073 27175628800 169522 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=26538700 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 898 0 0 0 27 0 0 0 20 0 28 0 145530074 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=26538700 memory=33284 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145530074 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038321751520 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=26538700 memory=7680491646476186387 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145530075 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038320698880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=26538700 memory=7739276948478193263 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=26538700 memory=212 CPUtime=1.65 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 5972 0 0 0 164 1 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=26538700 memory=0 CPUtime=1.68 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) S 12649 12649 12328 0 -1 1077944384 4390 0 0 0 166 2 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038317541488 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 3584 0 0 0 141 1 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=26538700 memory=6226596351323422817 CPUtime=0.78 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) S 12649 12649 12328 0 -1 1077944384 3417 0 0 0 77 1 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038315436400 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=26538700 memory=7662705889289527641 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145530077 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=26538700 memory=4951 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 28 0 145530078 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12671] ppid=12649 vsize=26538700 memory=109 CPUtime=4.86 cores=0-7 /proc/12651/task/12671/stat : 12671 (java) R 12649 12649 12328 0 -1 4202560 313 0 0 0 485 1 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038305320112 140039512915717 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12672] ppid=12649 vsize=26538700 memory=4 CPUtime=5.06 cores=0-7 /proc/12651/task/12672/stat : 12672 (java) R 12649 12649 12328 0 -1 4202560 271 0 0 0 504 2 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038304268656 140039512998284 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12673] ppid=12649 vsize=26538700 memory=9292 CPUtime=4.97 cores=0-7 /proc/12651/task/12673/stat : 12673 (java) R 12649 12649 12328 0 -1 4202560 868 0 0 0 493 4 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038303217960 140039512468684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12674] ppid=12649 vsize=26538700 memory=447 CPUtime=4.91 cores=0-7 /proc/12651/task/12674/stat : 12674 (java) R 12649 12649 12328 0 -1 4202560 607 0 0 0 489 2 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038302162544 140039512719618 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12675] ppid=12649 vsize=26538700 memory=140348592867451 CPUtime=4.9 cores=0-7 /proc/12651/task/12675/stat : 12675 (java) R 12649 12649 12328 0 -1 4202560 589 0 0 0 489 1 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038301110056 140039512915826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12676] ppid=12649 vsize=26538700 memory=280697185742112 CPUtime=4.95 cores=0-7 /proc/12651/task/12676/stat : 12676 (java) R 12649 12649 12328 0 -1 4202560 469 0 0 0 493 2 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038300057592 140039513719263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12677] ppid=12649 vsize=26538700 memory=365 CPUtime=5.02 cores=0-7 /proc/12651/task/12677/stat : 12677 (java) R 12649 12649 12328 0 -1 4202560 286 0 0 0 501 1 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038299004976 140039512915826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12678] ppid=12649 vsize=26538700 memory=376 CPUtime=4.98 cores=0-7 /proc/12651/task/12678/stat : 12678 (java) R 12649 12649 12328 0 -1 4202560 327 0 0 0 497 1 0 0 20 0 28 0 145530146 27175628800 169522 33554432000 4194304 4196468 140730006518144 140038297952368 140039512719825 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 50.97 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 679472 KiB [startup+7.40547 s] /proc/loadavg: 7.38 8.10 8.13 9/207 12678 /proc/meminfo: memFree=23387232/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=26538700 memory=678092 CPUtime=52.59 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 33336 0 0 0 5140 119 0 0 20 0 28 0 145530071 27175628800 169523 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6634675 169523 3289 1 0 6621909 0 [pid=12651/tid=12652] ppid=12649 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) S 12649 12649 12328 0 -1 1077944384 6946 0 0 0 68 3 0 0 20 0 28 0 145530072 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039920493696 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=26538700 memory=140348593132592 CPUtime=0.58 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 190 0 0 0 47 11 0 0 20 0 28 0 145530072 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 177 0 0 0 45 11 0 0 20 0 28 0 145530072 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=26538700 memory=0 CPUtime=0.58 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 188 0 0 0 47 11 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12656] ppid=12649 vsize=26538700 memory=140348592765184 CPUtime=0.59 cores=0-7 /proc/12651/task/12656/stat : 12656 (java) S 12649 12649 12328 0 -1 1077944384 209 0 0 0 47 12 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039835675792 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12657] ppid=12649 vsize=26538700 memory=2241 CPUtime=0.53 cores=0-7 /proc/12651/task/12657/stat : 12657 (java) S 12649 12649 12328 0 -1 1077944384 199 0 0 0 45 8 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039834622224 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12658] ppid=12649 vsize=26538700 memory=2244 CPUtime=0.57 cores=0-7 /proc/12651/task/12658/stat : 12658 (java) S 12649 12649 12328 0 -1 1077944384 188 0 0 0 46 11 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039833569680 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12659] ppid=12649 vsize=26538700 memory=6944656575208382560 CPUtime=0.6 cores=0-7 /proc/12651/task/12659/stat : 12659 (java) S 12649 12649 12328 0 -1 1077944384 195 0 0 0 48 12 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039832517136 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12660] ppid=12649 vsize=26538700 memory=6944656592387989600 CPUtime=0.56 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 189 0 0 0 46 10 0 0 20 0 28 0 145530073 27175628800 169523 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=26538700 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 898 0 0 0 27 0 0 0 20 0 28 0 145530074 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145530074 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038321751520 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145530075 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038320698880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=26538700 memory=6944656575208382560 CPUtime=1.65 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 5975 0 0 0 164 1 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=26538700 memory=6944656592455359580 CPUtime=1.68 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) S 12649 12649 12328 0 -1 1077944384 4393 0 0 0 166 2 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038317541488 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=26538700 memory=6944656592387989600 CPUtime=1.42 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 3587 0 0 0 141 1 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=26538700 memory=6944656592455097440 CPUtime=0.78 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) S 12649 12649 12328 0 -1 1077944384 3686 0 0 0 77 1 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038315436400 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145530077 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 28 0 145530078 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12671] ppid=12649 vsize=26538700 memory=6791534058613427641 CPUtime=5.05 cores=0-7 /proc/12651/task/12671/stat : 12671 (java) R 12649 12649 12328 0 -1 4202560 350 0 0 0 504 1 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038305320112 140039512719954 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12672] ppid=12649 vsize=26538700 memory=6944656592455097440 CPUtime=5.26 cores=0-7 /proc/12651/task/12672/stat : 12672 (java) R 12649 12649 12328 0 -1 4202560 294 0 0 0 524 2 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038304268792 140039512998163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12673] ppid=12649 vsize=26538700 memory=6944656592455097440 CPUtime=5.18 cores=0-7 /proc/12651/task/12673/stat : 12673 (java) R 12649 12649 12328 0 -1 4202560 1165 0 0 0 514 4 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038303217960 140039512502515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12674] ppid=12649 vsize=26538700 memory=57 CPUtime=5.12 cores=0-7 /proc/12651/task/12674/stat : 12674 (java) R 12649 12649 12328 0 -1 4202560 722 0 0 0 510 2 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038302162424 140039512719561 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12675] ppid=12649 vsize=26538700 memory=7444825561389879400 CPUtime=5.1 cores=0-7 /proc/12651/task/12675/stat : 12675 (java) R 12649 12649 12328 0 -1 4202560 718 0 0 0 509 1 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038301110808 140039512998364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12676] ppid=12649 vsize=26538700 memory=4642197910265684584 CPUtime=5.15 cores=0-7 /proc/12651/task/12676/stat : 12676 (java) R 12649 12649 12328 0 -1 4202560 625 0 0 0 513 2 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038300057592 140039512719864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12677] ppid=12649 vsize=26538700 memory=5787213934453870672 CPUtime=5.23 cores=0-7 /proc/12651/task/12677/stat : 12677 (java) R 12649 12649 12328 0 -1 4202560 371 0 0 0 522 1 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038299005112 140039513199690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12678] ppid=12649 vsize=26538700 memory=7649399367118762545 CPUtime=5.18 cores=0-7 /proc/12651/task/12678/stat : 12678 (java) R 12649 12649 12328 0 -1 4202560 403 0 0 0 517 1 0 0 20 0 28 0 145530146 27175628800 169523 33554432000 4194304 4196468 140730006518144 140038297952504 140039512719631 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 52.59 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 679476 KiB [startup+7.50125 s] /proc/loadavg: 7.38 8.10 8.13 9/207 12678 /proc/meminfo: memFree=23387232/32770624 swapFree=67108860/67108860 [pid=12649] ppid=12646 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12649/stat : 12649 (xcsp3-exec) S 12646 12649 12328 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145530071 9740288 346 33554432000 4194304 5098028 140724351850752 140724351848856 140387763315324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31997952 140724351857764 140724351857975 140724351857975 140724351860715 0 /proc/12649/statm: 2378 346 289 221 0 87 0 [pid=12651] ppid=12649 vsize=26538700 memory=677556 CPUtime=53.33 cores=0-7 /proc/12651/stat : 12651 (java) S 12649 12649 12328 0 -1 1077944320 35715 0 0 0 5214 119 0 0 20 0 20 0 145530071 27175628800 169389 33554432000 4194304 4196468 140730006518144 140730006500688 140039916252919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 /proc/12651/statm: 6634675 169389 3291 1 0 6621909 0 [pid=12651/tid=12652] ppid=12649 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7 /proc/12651/task/12652/stat : 12652 (java) R 12649 12649 12328 0 -1 12591168 7237 0 0 0 68 3 0 0 20 0 20 0 145530072 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039920492912 140039508951872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12653] ppid=12649 vsize=26538700 memory=678088 CPUtime=0.58 cores=0-7 /proc/12651/task/12653/stat : 12653 (java) S 12649 12649 12328 0 -1 1077944384 190 0 0 0 47 11 0 0 20 0 20 0 145530072 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039838833424 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12654] ppid=12649 vsize=26538700 memory=1384 CPUtime=0.56 cores=0-7 /proc/12651/task/12654/stat : 12654 (java) S 12649 12649 12328 0 -1 1077944384 177 0 0 0 45 11 0 0 20 0 20 0 145530072 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039837780880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12655] ppid=12649 vsize=26538700 memory=678048 CPUtime=0.58 cores=0-7 /proc/12651/task/12655/stat : 12655 (java) S 12649 12649 12328 0 -1 1077944384 188 0 0 0 47 11 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039836728336 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12656] ppid=12649 vsize=26538700 memory=56510830872810 CPUtime=0.59 cores=0-7 /proc/12651/task/12656/stat : 12656 (java) S 12649 12649 12328 0 -1 1077944384 209 0 0 0 47 12 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039835675792 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12657] ppid=12649 vsize=26538700 memory=1384 CPUtime=0.53 cores=0-7 /proc/12651/task/12657/stat : 12657 (java) S 12649 12649 12328 0 -1 1077944384 199 0 0 0 45 8 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039834622224 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12658] ppid=12649 vsize=26538700 memory=678048 CPUtime=0.57 cores=0-7 /proc/12651/task/12658/stat : 12658 (java) S 12649 12649 12328 0 -1 1077944384 188 0 0 0 46 11 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039833569680 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12659] ppid=12649 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7 /proc/12651/task/12659/stat : 12659 (java) S 12649 12649 12328 0 -1 1077944384 195 0 0 0 48 12 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039832517136 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12660] ppid=12649 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7 /proc/12651/task/12660/stat : 12660 (java) S 12649 12649 12328 0 -1 1077944384 189 0 0 0 46 10 0 0 20 0 20 0 145530073 27175628800 169389 33554432000 4194304 4196468 140730006518144 140039831464592 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12661] ppid=12649 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7 /proc/12651/task/12661/stat : 12661 (java) S 12649 12649 12328 0 -1 1077944384 898 0 0 0 27 0 0 0 20 0 20 0 145530074 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038322805232 140039916264066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12662] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12662/stat : 12662 (java) S 12649 12649 12328 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145530074 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038321751520 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12663] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12663/stat : 12663 (java) S 12649 12649 12328 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 145530075 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038320698880 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12664] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12664/stat : 12664 (java) S 12649 12649 12328 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038319647440 140039916271515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12665] ppid=12649 vsize=26538700 memory=2241 CPUtime=1.66 cores=0-7 /proc/12651/task/12665/stat : 12665 (java) S 12649 12649 12328 0 -1 1077944384 5990 0 0 0 165 1 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038318594032 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12666] ppid=12649 vsize=26538700 memory=2244 CPUtime=1.71 cores=0-7 /proc/12651/task/12666/stat : 12666 (java) S 12649 12649 12328 0 -1 1077944384 5167 0 0 0 169 2 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038317541488 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12667] ppid=12649 vsize=26538700 memory=7595127705925609314 CPUtime=1.44 cores=0-7 /proc/12651/task/12667/stat : 12667 (java) S 12649 12649 12328 0 -1 1077944384 4074 0 0 0 143 1 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038316488944 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12668] ppid=12649 vsize=26538700 memory=6791534058613427641 CPUtime=0.79 cores=0-7 /proc/12651/task/12668/stat : 12668 (java) R 12649 12649 12328 0 -1 4202560 4025 0 0 0 78 1 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038315436400 140039894854107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12669] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12669/stat : 12669 (java) S 12649 12649 12328 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145530077 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038314384096 140039916263125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 [pid=12651/tid=12670] ppid=12649 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12651/task/12670/stat : 12670 (java) S 12649 12649 12328 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 20 0 145530078 27175628800 169389 33554432000 4194304 4196468 140730006518144 140038313331632 140039916264066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140730006520978 140730006521155 140730006521155 140730006523855 0 Current children cumulated CPU time: 53.33 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 678940 KiB Child status: 0 Real time (s): 7.5142 CPU time (s): 53.3569 CPU user time (s): 52.1451 CPU system time (s): 1.21178 CPU usage (%): 710.081 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 682420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 52.1451 system time used= 1.21178 maximum resident set size= 681040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36734 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4578 involuntary context switches= 1620 # summary of solver processes directly reported to runsolver: # pid: 12649 # total CPU time (s): 53.3569 # total CPU user time (s): 52.1451 # total CPU system time (s): 1.21178 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.085118 second user time and 0.131355 second system time The end
Begin job on node104 at 2017-08-19 08:19:23 IDJOB=4280893 IDBENCH=122905 IDSOLVER=2675 FILE ID=node104/4280893-1503124423 RUNJOBID= node104-1503121039-12355 PBS_JOBID= 20630772 Free space on /tmp= 61784 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-136.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280893-1503124423/watcher-4280893-1503124423 -o /tmp/evaluation-result-4280893-1503124423/solver-4280893-1503124423 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503121039-12355 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1129458959 HOME/instance-4280893-1503124423.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b86bbac9d1c2750a8bd8bee071b595c8 RANDOM SEED=1129458959 node104.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: 24055652 kB MemAvailable: 31965096 kB Buffers: 270676 kB Cached: 7918700 kB SwapCached: 0 kB Active: 3245244 kB Inactive: 4994208 kB Active(anon): 52996 kB Inactive(anon): 33192 kB Active(file): 3192248 kB Inactive(file): 4961016 kB Unevictable: 7828 kB Mlocked: 7828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7864 kB Writeback: 0 kB AnonPages: 57852 kB Mapped: 50560 kB Shmem: 33420 kB Slab: 169952 kB SReclaimable: 144028 kB SUnreclaim: 25924 kB KernelStack: 3280 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61776 MiB End job on node104 at 2017-08-19 08:19:31