Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 37.6111 | 5.5835 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-144.xml |
MD5SUM | b8938fafa0a7bd5ba97e6b9454c94e7b |
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 | 31.3337 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 288 |
Number of constraints | 152 |
Number of domains | 2 |
Minimum domain size | 144 |
Maximum domain size | 20736 |
Distribution of domain sizes | [{"size":144,"count":144},{"size":20736,"count":144}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":144},{"degree":4,"count":143},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":144},{"arity":72,"count":6},{"arity":144,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 145 |
Distribution of constraint types | [{"type":"intension","count":145},{"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-4404454-1568996155.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404454-1568996155.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.98/0.87 c solve instance... 37.16/5.56 s SATISFIABLE 37.16/5.56 v <instantiation> 37.16/5.56 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] 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] 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] 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] </list> 37.16/5.56 v <values>1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20 21 23 58 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 113 114 115 116 117 118 119 120 121 123 124 19 22 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 122 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 400 441 529 3364 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 12769 12996 13225 13456 13689 13924 14161 14400 14641 15129 15376 361 484 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 14884 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 19881 20164 20449 20736 </values> 37.16/5.56 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 (8176 MiB free) memory of node 1: 16384 MiB (8265 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404454-1568996155/watcher-4404454-1568996155 -o /tmp/evaluation-result-4404454-1568996155/solver-4404454-1568996155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568996102-21385 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 652377707 HOME/instance-4404454-1568996155.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=21593, runsolver pid=21590 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 1.88 1.22 1.69 2/212 21614 /proc/meminfo: memFree=16818356/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28227396 memory=30212 CPUtime=0.13 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 6029 0 0 0 11 2 0 0 20 0 20 0 475882289 28904853504 7553 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7056849 7553 3123 1 0 7019032 0 [pid=21595/tid=21596] ppid=21593 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) R 21593 21593 21358 0 -1 4202560 3934 0 0 0 8 1 0 0 20 0 20 0 475882289 28904853504 7553 33554432000 4194304 4196468 140723386754368 140712230005792 140711863069915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28227396 memory=139708864583296 CPUtime=0 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21600] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21600/stat : 21600 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711773973648 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21601] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21601/stat : 21601 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711772920080 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21602] ppid=21593 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21602/stat : 21602 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711771867536 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21603] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21603/stat : 21603 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711770814992 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21604] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21604/stat : 21604 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711769762448 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21605] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21605/stat : 21605 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711726823920 140712225782402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21606] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21606/stat : 21606 (java) S 21593 21593 21358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711725770144 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21607] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21607/stat : 21607 (java) S 21593 21593 21358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711724717552 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21608] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21608/stat : 21608 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711723666128 140712225789851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21609] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21609/stat : 21609 (java) S 21593 21593 21358 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711722612720 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21610] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21610/stat : 21610 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711721560176 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21611] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21611/stat : 21611 (java) S 21593 21593 21358 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711720507632 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21612] ppid=21593 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) S 21593 21593 21358 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711333849456 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 7553 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31668 KiB [startup+0.210568 s]* /proc/loadavg: 1.88 1.22 1.69 2/212 21614 /proc/meminfo: memFree=16805624/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28227396 memory=41672 CPUtime=0.33 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 9599 0 0 0 30 3 0 0 20 0 20 0 475882289 28904853504 10418 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7056849 10418 3303 1 0 7019032 0 [pid=21595/tid=21596] ppid=21593 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) R 21593 21593 21358 0 -1 4202560 6746 0 0 0 17 2 0 0 20 0 20 0 475882289 28904853504 10418 33554432000 4194304 4196468 140723386754368 140712230004432 140711863128328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28227396 memory=3832759299600471712 CPUtime=0 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21600] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21600/stat : 21600 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711773973648 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21601] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21601/stat : 21601 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711772920080 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21602] ppid=21593 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21602/stat : 21602 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711771867536 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21603] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21603/stat : 21603 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711770814992 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21604] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21604/stat : 21604 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882290 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711769762448 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21605] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21605/stat : 21605 (java) S 21593 21593 21358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711726823920 140712225782402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21606] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21606/stat : 21606 (java) S 21593 21593 21358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711725770144 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21607] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21607/stat : 21607 (java) S 21593 21593 21358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475882292 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711724717552 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21608] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21608/stat : 21608 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711723666128 140712225789851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21609] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21609/stat : 21609 (java) S 21593 21593 21358 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711722612720 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21610] ppid=21593 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21595/task/21610/stat : 21610 (java) S 21593 21593 21358 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711721560176 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21611] ppid=21593 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/21595/task/21611/stat : 21611 (java) S 21593 21593 21358 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711720507632 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21612] ppid=21593 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) R 21593 21593 21358 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711333849264 140712218008382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28904853504 10418 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 43128 KiB [startup+0.320186 s]* /proc/loadavg: 1.88 1.22 1.69 3/212 21614 /proc/meminfo: memFree=16798488/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28231652 memory=50624 CPUtime=0.54 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 11044 0 0 0 49 5 0 0 20 0 20 0 475882289 28909211648 12656 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7057913 12656 3348 1 0 7019032 0 [pid=21595/tid=21596] ppid=21593 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) R 21593 21593 21358 0 -1 4202560 7959 0 0 0 27 3 0 0 20 0 20 0 475882289 28909211648 12656 33554432000 4194304 4196468 140723386754368 140712230002368 140712225793181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12656 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12656 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12656 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21600] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21600/stat : 21600 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711773973648 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21601] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21601/stat : 21601 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711772920080 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21602] ppid=21593 vsize=28231652 memory=139708709563055 CPUtime=0 cores=0-7 /proc/21595/task/21602/stat : 21602 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711771867536 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21603] ppid=21593 vsize=28231652 memory=139708709565360 CPUtime=0 cores=0-7 /proc/21595/task/21603/stat : 21603 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711770814992 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21604] ppid=21593 vsize=28231652 memory=139708709567664 CPUtime=0 cores=0-7 /proc/21595/task/21604/stat : 21604 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882290 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711769762448 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21605] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21605/stat : 21605 (java) S 21593 21593 21358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475882292 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711726823920 140712225782402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21606] ppid=21593 vsize=28231652 memory=279417419149200 CPUtime=0 cores=0-7 /proc/21595/task/21606/stat : 21606 (java) S 21593 21593 21358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475882292 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711725770144 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21607] ppid=21593 vsize=28231652 memory=279417419146896 CPUtime=0 cores=0-7 /proc/21595/task/21607/stat : 21607 (java) S 21593 21593 21358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475882292 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711724717552 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21608] ppid=21593 vsize=28231652 memory=279417419153808 CPUtime=0 cores=0-7 /proc/21595/task/21608/stat : 21608 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711723666128 140712225789851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21609] ppid=21593 vsize=28231652 memory=279417419095088 CPUtime=0.01 cores=0-7 /proc/21595/task/21609/stat : 21609 (java) S 21593 21593 21358 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711722612720 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21610] ppid=21593 vsize=28231652 memory=279417419167632 CPUtime=0.02 cores=0-7 /proc/21595/task/21610/stat : 21610 (java) R 21593 21593 21358 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711721560176 140712225782402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21611] ppid=21593 vsize=28231652 memory=279417419174544 CPUtime=0.04 cores=0-7 /proc/21595/task/21611/stat : 21611 (java) S 21593 21593 21358 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711720507632 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21612] ppid=21593 vsize=28231652 memory=279417419172240 CPUtime=0.12 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) S 21593 21593 21358 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711333849456 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882295 28909211648 12721 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52080 KiB [startup+0.700964 s] /proc/loadavg: 1.88 1.22 1.69 6/212 21614 /proc/meminfo: memFree=16782080/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28233776 memory=95040 CPUtime=1.62 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 14558 0 0 0 155 7 0 0 20 0 20 0 475882289 28911386624 23760 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7058444 23760 3450 1 0 7019544 0 [pid=21595/tid=21596] ppid=21593 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) R 21593 21593 21358 0 -1 4202560 9048 0 0 0 64 4 0 0 20 0 20 0 475882289 28911386624 23760 33554432000 4194304 4196468 140723386754368 140712230009600 140712211487298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28233776 memory=139708709774192 CPUtime=0 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28911386624 23760 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475882290 28911386624 23760 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28233776 memory=1192 CPUtime=0 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475882290 28911386624 23760 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 ################ # More data... # ################ [pid=21595/tid=21612] ppid=21593 vsize=28768336 memory=0 CPUtime=0.81 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) S 21593 21593 21358 0 -1 1077944384 3342 0 0 0 79 2 0 0 20 0 28 0 475882295 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711333849456 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21615] ppid=21593 vsize=28768336 memory=-2895008908443675764 CPUtime=2.88 cores=0-7 /proc/21595/task/21615/stat : 21615 (java) R 21593 21593 21358 0 -1 4202560 164 0 0 0 287 1 0 0 20 0 28 0 475882377 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711322762256 140711871052472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21616] ppid=21593 vsize=28768336 memory=0 CPUtime=2.7 cores=0-7 /proc/21595/task/21616/stat : 21616 (java) R 21593 21593 21358 0 -1 4202560 134 0 0 0 268 2 0 0 20 0 28 0 475882377 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711319613896 140711870548735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21617] ppid=21593 vsize=28768336 memory=57 CPUtime=2.98 cores=0-7 /proc/21595/task/21617/stat : 21617 (java) R 21593 21593 21358 0 -1 4202560 366 0 0 0 297 1 0 0 20 0 28 0 475882377 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711318561064 140711870591334 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21618] ppid=21593 vsize=28768336 memory=279417420091088 CPUtime=3.02 cores=0-7 /proc/21595/task/21618/stat : 21618 (java) R 21593 21593 21358 0 -1 4202560 236 0 0 0 301 1 0 0 20 0 28 0 475882377 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711317507320 140711871527760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21619] ppid=21593 vsize=28768336 memory=3054355819557830758 CPUtime=3.1 cores=0-7 /proc/21595/task/21619/stat : 21619 (java) R 21593 21593 21358 0 -1 4202560 144 0 0 0 309 1 0 0 20 0 28 0 475882377 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711248776912 140711870591725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21620] ppid=21593 vsize=28768336 memory=-7966001967340291680 CPUtime=2.66 cores=0-7 /proc/21595/task/21620/stat : 21620 (java) R 21593 21593 21358 0 -1 4202560 621 0 0 0 265 1 0 0 20 0 28 0 475882378 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711247724256 140711870548735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21621] ppid=21593 vsize=28768336 memory=-7025452035942946156 CPUtime=2.99 cores=0-7 /proc/21595/task/21621/stat : 21621 (java) R 21593 21593 21358 0 -1 4202560 121 0 0 0 297 2 0 0 20 0 28 0 475882378 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711246671808 140711870548686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21622] ppid=21593 vsize=28768336 memory=7959677418182421067 CPUtime=2.98 cores=0-7 /proc/21595/task/21622/stat : 21622 (java) R 21593 21593 21358 0 -1 4202560 202 0 0 0 296 2 0 0 20 0 28 0 475882378 29458776064 169085 33554432000 4194304 4196468 140723386754368 140711245619416 140711870548652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 34.76 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 677796 KiB [startup+5.40119 s] /proc/loadavg: 2.45 1.34 1.73 9/219 21622 /proc/meminfo: memFree=16166336/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28768336 memory=676444 CPUtime=36.36 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 33646 0 0 0 3523 113 0 0 20 0 28 0 475882289 29458776064 169111 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7192084 169111 3538 1 0 7153184 0 [pid=21595/tid=21596] ppid=21593 vsize=28768336 memory=8029189526216729174 CPUtime=0.86 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) S 21593 21593 21358 0 -1 1077944384 9557 0 0 0 81 5 0 0 20 0 28 0 475882289 29458776064 169111 33554432000 4194304 4196468 140723386754368 140712230012032 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28768336 memory=7522791909538947929 CPUtime=0.6 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 224 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28768336 memory=6299802978650451056 CPUtime=0.6 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 268 0 0 0 49 11 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 232 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21600] ppid=21593 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/21595/task/21600/stat : 21600 (java) S 21593 21593 21358 0 -1 1077944384 231 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711773973648 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21601] ppid=21593 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/21595/task/21601/stat : 21601 (java) S 21593 21593 21358 0 -1 1077944384 236 0 0 0 49 11 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711772920080 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21602] ppid=21593 vsize=28768336 memory=0 CPUtime=0.6 cores=0-7 /proc/21595/task/21602/stat : 21602 (java) S 21593 21593 21358 0 -1 1077944384 278 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711771867536 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21603] ppid=21593 vsize=28768336 memory=0 CPUtime=0.59 cores=0-7 /proc/21595/task/21603/stat : 21603 (java) S 21593 21593 21358 0 -1 1077944384 303 0 0 0 49 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711770814992 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21604] ppid=21593 vsize=28768336 memory=0 CPUtime=0.59 cores=0-7 /proc/21595/task/21604/stat : 21604 (java) S 21593 21593 21358 0 -1 1077944384 260 0 0 0 49 10 0 0 20 0 28 0 475882290 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711769762448 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21605] ppid=21593 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7 /proc/21595/task/21605/stat : 21605 (java) S 21593 21593 21358 0 -1 1077944384 734 0 0 0 22 0 0 0 20 0 28 0 475882292 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711726823920 140712225782402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21606] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21606/stat : 21606 (java) S 21593 21593 21358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475882292 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711725770208 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21607] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21607/stat : 21607 (java) S 21593 21593 21358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475882292 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711724717568 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21608] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21608/stat : 21608 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711723666128 140712225789851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21609] ppid=21593 vsize=28768336 memory=0 CPUtime=1.45 cores=0-7 /proc/21595/task/21609/stat : 21609 (java) R 21593 21593 21358 0 -1 1077944384 5668 0 0 0 144 1 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711722612720 140712225782402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21610] ppid=21593 vsize=28768336 memory=0 CPUtime=1.62 cores=0-7 /proc/21595/task/21610/stat : 21610 (java) R 21593 21593 21358 0 -1 12591168 4594 0 0 0 161 1 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711721560176 140712218060704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21611] ppid=21593 vsize=28768336 memory=0 CPUtime=1.55 cores=0-7 /proc/21595/task/21611/stat : 21611 (java) S 21593 21593 21358 0 -1 1077944384 3600 0 0 0 154 1 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711720507632 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21612] ppid=21593 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) S 21593 21593 21358 0 -1 1077944384 3491 0 0 0 80 2 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711333849456 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21615] ppid=21593 vsize=28768336 memory=0 CPUtime=3.08 cores=0-7 /proc/21595/task/21615/stat : 21615 (java) R 21593 21593 21358 0 -1 4202560 184 0 0 0 307 1 0 0 20 0 28 0 475882377 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711322762392 140711870591624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21616] ppid=21593 vsize=28768336 memory=0 CPUtime=2.87 cores=0-7 /proc/21595/task/21616/stat : 21616 (java) R 21593 21593 21358 0 -1 4202560 170 0 0 0 285 2 0 0 20 0 28 0 475882377 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711319614328 140711871935114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21617] ppid=21593 vsize=28768336 memory=0 CPUtime=3.18 cores=0-7 /proc/21595/task/21617/stat : 21617 (java) R 21593 21593 21358 0 -1 4202560 383 0 0 0 317 1 0 0 20 0 28 0 475882377 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711318562600 140711870591620 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21618] ppid=21593 vsize=28768336 memory=0 CPUtime=3.22 cores=0-7 /proc/21595/task/21618/stat : 21618 (java) R 21593 21593 21358 0 -1 4202560 244 0 0 0 321 1 0 0 20 0 28 0 475882377 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711317507320 140711871527667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21619] ppid=21593 vsize=28768336 memory=0 CPUtime=3.3 cores=0-7 /proc/21595/task/21619/stat : 21619 (java) R 21593 21593 21358 0 -1 4202560 155 0 0 0 329 1 0 0 20 0 28 0 475882377 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711248777048 140711871041935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21620] ppid=21593 vsize=28768336 memory=0 CPUtime=2.85 cores=0-7 /proc/21595/task/21620/stat : 21620 (java) R 21593 21593 21358 0 -1 4202560 640 0 0 0 284 1 0 0 20 0 28 0 475882378 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711247724256 140711871687147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21621] ppid=21593 vsize=28768336 memory=0 CPUtime=3.19 cores=0-7 /proc/21595/task/21621/stat : 21621 (java) R 21593 21593 21358 0 -1 4202560 148 0 0 0 317 2 0 0 20 0 28 0 475882378 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711246674472 140711871041935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21622] ppid=21593 vsize=28768336 memory=0 CPUtime=3.17 cores=0-7 /proc/21595/task/21622/stat : 21622 (java) R 21593 21593 21358 0 -1 4202560 207 0 0 0 315 2 0 0 20 0 28 0 475882378 29458776064 169111 33554432000 4194304 4196468 140723386754368 140711245621624 140711870548668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 36.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 677900 KiB [startup+5.50119 s] /proc/loadavg: 2.45 1.34 1.73 9/219 21622 /proc/meminfo: memFree=16166336/32770624 swapFree=66974568/67108860 [pid=21593] ppid=21590 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21593/stat : 21593 (xcsp3-exec) S 21590 21593 21358 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475882289 115843072 364 33554432000 4194304 5098028 140730426737888 140730426735992 140315431953020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32210944 140730426745718 140730426745961 140730426745961 140730426748874 0 /proc/21593/statm: 28282 364 305 221 0 87 0 [pid=21595] ppid=21593 vsize=28768336 memory=676468 CPUtime=37.16 cores=0-7 /proc/21595/stat : 21595 (java) S 21593 21593 21358 0 -1 1077944320 33995 0 0 0 3603 113 0 0 20 0 28 0 475882289 29458776064 169117 33554432000 4194304 4196468 140723386754368 140723386736912 140712225771255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 /proc/21595/statm: 7192084 169117 3538 1 0 7153184 0 [pid=21595/tid=21596] ppid=21593 vsize=28768336 memory=3620 CPUtime=0.86 cores=0-7 /proc/21595/task/21596/stat : 21596 (java) S 21593 21593 21358 0 -1 1077944384 9557 0 0 0 81 5 0 0 20 0 28 0 475882289 29458776064 169117 33554432000 4194304 4196468 140723386754368 140712230012032 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21597] ppid=21593 vsize=28768336 memory=54508 CPUtime=0.6 cores=0-7 /proc/21595/task/21597/stat : 21597 (java) S 21593 21593 21358 0 -1 1077944384 224 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711777131280 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21598] ppid=21593 vsize=28768336 memory=984 CPUtime=0.6 cores=0-7 /proc/21595/task/21598/stat : 21598 (java) S 21593 21593 21358 0 -1 1077944384 268 0 0 0 49 11 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711776078736 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21599] ppid=21593 vsize=28768336 memory=2004 CPUtime=0.6 cores=0-7 /proc/21595/task/21599/stat : 21599 (java) S 21593 21593 21358 0 -1 1077944384 232 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711775026192 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21600] ppid=21593 vsize=28768336 memory=57 CPUtime=0.6 cores=0-7 /proc/21595/task/21600/stat : 21600 (java) S 21593 21593 21358 0 -1 1077944384 231 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711773973648 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21601] ppid=21593 vsize=28768336 memory=111632 CPUtime=0.6 cores=0-7 /proc/21595/task/21601/stat : 21601 (java) S 21593 21593 21358 0 -1 1077944384 236 0 0 0 49 11 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711772920080 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21602] ppid=21593 vsize=28768336 memory=804 CPUtime=0.6 cores=0-7 /proc/21595/task/21602/stat : 21602 (java) S 21593 21593 21358 0 -1 1077944384 278 0 0 0 50 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711771867536 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21603] ppid=21593 vsize=28768336 memory=4108 CPUtime=0.59 cores=0-7 /proc/21595/task/21603/stat : 21603 (java) S 21593 21593 21358 0 -1 1077944384 303 0 0 0 49 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711770814992 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21604] ppid=21593 vsize=28768336 memory=1804 CPUtime=0.59 cores=0-7 /proc/21595/task/21604/stat : 21604 (java) S 21593 21593 21358 0 -1 1077944384 260 0 0 0 49 10 0 0 20 0 28 0 475882290 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711769762448 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21605] ppid=21593 vsize=28768336 memory=920 CPUtime=0.22 cores=0-7 /proc/21595/task/21605/stat : 21605 (java) S 21593 21593 21358 0 -1 1077944384 734 0 0 0 22 0 0 0 20 0 28 0 475882292 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711726823920 140712225782402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21606] ppid=21593 vsize=28768336 memory=69 CPUtime=0 cores=0-7 /proc/21595/task/21606/stat : 21606 (java) S 21593 21593 21358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475882292 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711725770208 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21607] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21607/stat : 21607 (java) S 21593 21593 21358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475882292 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711724717568 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21608] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21608/stat : 21608 (java) S 21593 21593 21358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711723666128 140712225789851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21609] ppid=21593 vsize=28768336 memory=129 CPUtime=1.46 cores=0-7 /proc/21595/task/21609/stat : 21609 (java) S 21593 21593 21358 0 -1 1077944384 5676 0 0 0 145 1 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711722612720 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21610] ppid=21593 vsize=28768336 memory=121 CPUtime=1.64 cores=0-7 /proc/21595/task/21610/stat : 21610 (java) S 21593 21593 21358 0 -1 1077944384 4733 0 0 0 163 1 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711721560176 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21611] ppid=21593 vsize=28768336 memory=129 CPUtime=1.57 cores=0-7 /proc/21595/task/21611/stat : 21611 (java) S 21593 21593 21358 0 -1 1077944384 3707 0 0 0 156 1 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711720507632 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21612] ppid=21593 vsize=28768336 memory=131 CPUtime=0.82 cores=0-7 /proc/21595/task/21612/stat : 21612 (java) S 21593 21593 21358 0 -1 1077944384 3557 0 0 0 80 2 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711333849456 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21613] ppid=21593 vsize=28768336 memory=125 CPUtime=0 cores=0-7 /proc/21595/task/21613/stat : 21613 (java) S 21593 21593 21358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711332797152 140712225781461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21614] ppid=21593 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21595/task/21614/stat : 21614 (java) S 21593 21593 21358 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 28 0 475882295 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711331744688 140712225782402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21615] ppid=21593 vsize=28768336 memory=0 CPUtime=3.18 cores=0-7 /proc/21595/task/21615/stat : 21615 (java) R 21593 21593 21358 0 -1 4202560 185 0 0 0 317 1 0 0 20 0 28 0 475882377 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711322762392 140711870548735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21616] ppid=21593 vsize=28768336 memory=0 CPUtime=2.95 cores=0-7 /proc/21595/task/21616/stat : 21616 (java) R 21593 21593 21358 0 -1 4202560 178 0 0 0 293 2 0 0 20 0 28 0 475882377 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711319615800 140711870548759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21617] ppid=21593 vsize=28768336 memory=0 CPUtime=3.28 cores=0-7 /proc/21595/task/21617/stat : 21617 (java) R 21593 21593 21358 0 -1 4202560 383 0 0 0 327 1 0 0 20 0 28 0 475882377 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711318562600 140711870548918 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21618] ppid=21593 vsize=28768336 memory=1376 CPUtime=3.32 cores=0-7 /proc/21595/task/21618/stat : 21618 (java) R 21593 21593 21358 0 -1 4202560 244 0 0 0 331 1 0 0 20 0 28 0 475882377 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711317507320 140712204826592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21619] ppid=21593 vsize=28768336 memory=1060 CPUtime=3.4 cores=0-7 /proc/21595/task/21619/stat : 21619 (java) R 21593 21593 21358 0 -1 4202560 171 0 0 0 339 1 0 0 20 0 28 0 475882377 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711248777048 140711871527655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21620] ppid=21593 vsize=28768336 memory=3636 CPUtime=2.93 cores=0-7 /proc/21595/task/21620/stat : 21620 (java) R 21593 21593 21358 0 -1 4202560 640 0 0 0 292 1 0 0 20 0 28 0 475882378 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711247724256 140711870591480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21621] ppid=21593 vsize=28768336 memory=1724 CPUtime=3.28 cores=0-7 /proc/21595/task/21621/stat : 21621 (java) R 21593 21593 21358 0 -1 4202560 148 0 0 0 326 2 0 0 20 0 28 0 475882378 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711246674472 140711870591480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 [pid=21595/tid=21622] ppid=21593 vsize=28768336 memory=6088 CPUtime=3.27 cores=0-7 /proc/21595/task/21622/stat : 21622 (java) R 21593 21593 21358 0 -1 4202560 207 0 0 0 325 2 0 0 20 0 28 0 475882378 29458776064 169117 33554432000 4194304 4196468 140723386754368 140711245621624 140711870591443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8019968 140723386762218 140723386762390 140723386762390 140723386765263 0 Current children cumulated CPU time: 37.16 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 677924 KiB Child status: 0 Real time (s): 5.5835 CPU time (s): 37.6111 CPU user time (s): 36.4594 CPU system time (s): 1.15176 CPU usage (%): 673.612 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 679828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.4594 system time used= 1.15176 maximum resident set size= 678564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35533 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= 4922 involuntary context switches= 1037 # summary of solver processes directly reported to runsolver: # pid: 21593 # total CPU time (s): 37.6111 # total CPU user time (s): 36.4594 # total CPU system time (s): 1.15176 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.066967 second user time and 0.108178 second system time The end
Begin job on node125 at 2019-09-20 18:15:12 IDJOB=4404454 IDBENCH=122886 IDSOLVER=2865 FILE ID=node125/4404454-1568996155 RUNJOBID= node125-1568996102-21385 PBS_JOBID= 21704736 Free space on /tmp= 4228 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-144.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-4404454-1568996155/watcher-4404454-1568996155 -o /tmp/evaluation-result-4404454-1568996155/solver-4404454-1568996155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568996102-21385 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 652377707 HOME/instance-4404454-1568996155.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8938fafa0a7bd5ba97e6b9454c94e7b RANDOM SEED=652377707 node125.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.29 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.29 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.29 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.29 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: 16836148 kB MemAvailable: 31822420 kB Buffers: 91784 kB Cached: 14801556 kB SwapCached: 30080 kB Active: 7382332 kB Inactive: 7543328 kB Active(anon): 3596 kB Inactive(anon): 75476 kB Active(file): 7378736 kB Inactive(file): 7467852 kB Unevictable: 109344 kB Mlocked: 109344 kB SwapTotal: 67108860 kB SwapFree: 66974568 kB Dirty: 26376 kB Writeback: 4 kB AnonPages: 113112 kB Mapped: 51752 kB Shmem: 38220 kB Slab: 597720 kB SReclaimable: 568144 kB SUnreclaim: 29576 kB KernelStack: 3456 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 4204 MiB End job on node125 at 2019-09-20 18:15:18