Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | OPT | 4783 | 16.073 | 13.0499 |
Name | Mario/ Mario-zinc-s1/Mario-t-hard-1.xml |
MD5SUM | d0ad504447153d615b89b5c6990e2d3b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4783 |
Best CPU time to get the best result obtained on this benchmark | 4.91567 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 201 |
Number of domains | 164 |
Minimum domain size | 1 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 99 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406172-1569408272.xml" -tl '2520s' -p 1 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4406172-1569408272.xml, -tl, 2520s, -p, 1] 0.34/0.24 c simple solver 0.34/0.31 c parse instance... 2.02/0.86 c solve instance... 16.01/13.02 o 4783 16.01/13.03 s OPTIMUM FOUND 16.01/13.03 v <instantiation> 16.01/13.03 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list> 16.01/13.03 v <values>49 0 19 33 37 29 74 9 28 31 88 63 61 7 11 4 22 69 55 91 47 46 38 35 85 12 80 92 18 24 82 34 32 76 51 3 78 58 41 99 10 15 36 97 26 39 67 57 48 83 75 62 96 25 89 90 77 84 50 13 60 65 86 2 59 70 30 73 42 68 79 21 14 17 54 23 43 66 8 81 93 16 44 71 87 53 40 72 56 1 94 5 45 98 95 64 6 52 27 20 0 0 479 31 4 7 9 1 0 198 9 396 5 3 5 4 16 5 8 1 4 10 11 9 35 0 0 24 10 28 398 334 0 52 415 3 22 437 1 485 297 7 2 16 305 40 29 4 0 12 10 12 278 396 25 6 12 45 0 6 0 3 5 2 148 367 6 4 10 17 6 3 12 12 7 9 20 14 2 74 9 5 14 5 378 3 1 14 275 28 6 76 10 7 0 3 15 43 6 3 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34 92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98 96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 </values> 16.01/13.03 v </instantiation>
OK 4783
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: 16375 MiB (15408 MiB free) memory of node 1: 16384 MiB (9579 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406172-1569408272/watcher-4406172-1569408272 -o /tmp/evaluation-result-4406172-1569408272/solver-4406172-1569408272 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24921 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1761919512 HOME/instance-4406172-1569408272.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24940, runsolver pid=24937 [startup+0.100094 s]* /proc/loadavg: 1.22 1.80 1.96 5/228 24979 /proc/meminfo: memFree=25559484/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15144776 memory=27004 CPUtime=0.12 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 5739 0 0 0 11 1 0 0 20 0 15 0 516768769 15508250624 6751 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3786194 6751 3141 1 0 3748377 0 [pid=24942/tid=24943] ppid=24940 vsize=15144776 memory=8036256212623698507 CPUtime=0.09 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 15 0 516768769 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711966451504 139711962230166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15144776 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15144776 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768771 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516768772 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711454610720 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516768772 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711453558384 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 516768774 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15144776 memory=140376246806144 CPUtime=0.01 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) R 24940 24940 24889 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 15 0 516768775 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711449348464 139711946298718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15144776 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768775 15508250624 6751 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 28452 KiB [startup+0.211853 s]* /proc/loadavg: 1.22 1.80 1.96 4/230 24981 /proc/meminfo: memFree=25533368/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15144776 memory=39552 CPUtime=0.34 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 9617 0 0 0 31 3 0 0 20 0 15 0 516768769 15508250624 9888 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3786194 9888 3280 1 0 3748377 0 [pid=24942/tid=24943] ppid=24940 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 516768769 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711966452576 139711941295723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15144776 memory=9642 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15144776 memory=3852098 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768771 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516768772 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711454610720 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15144776 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516768772 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711453558384 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15144776 memory=0 CPUtime=0.03 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 713 0 0 0 3 0 0 0 20 0 15 0 516768774 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15144776 memory=-1 CPUtime=0.01 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 516768774 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) R 24940 24940 24889 0 -1 4202560 904 0 0 0 8 0 0 0 20 0 15 0 516768775 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711449348464 139711954455358 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768775 15508250624 9888 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41000 KiB [startup+0.311605 s]* /proc/loadavg: 1.22 1.80 1.96 3/230 24981 /proc/meminfo: memFree=25523796/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15149032 memory=45968 CPUtime=0.53 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 10856 0 0 0 49 4 0 0 20 0 15 0 516768769 15512608768 11492 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3787258 11492 3341 1 0 3748377 0 [pid=24942/tid=24943] ppid=24940 vsize=15149032 memory=280752214435744 CPUtime=0.29 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 7615 0 0 0 27 2 0 0 20 0 15 0 516768769 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711966432160 139711946298718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15149032 memory=67 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768770 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15149032 memory=280752354024016 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768770 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15149032 memory=67 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15149032 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516768771 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15149032 memory=67 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516768772 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711454610720 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15149032 memory=67300 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516768772 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711453558384 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15149032 memory=69604 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 761 0 0 0 4 0 0 0 20 0 15 0 516768774 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15149032 memory=140376107238671 CPUtime=0.03 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) R 24940 24940 24889 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 516768774 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15149032 memory=280752354053984 CPUtime=0.13 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) R 24940 24940 24889 0 -1 1077944384 1043 0 0 0 13 0 0 0 20 0 15 0 516768775 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15149032 memory=140376107243279 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15149032 memory=140376246806144 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768775 15512608768 11492 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 47416 KiB [startup+0.71061 s] /proc/loadavg: 1.22 1.80 1.96 9/230 24981 /proc/meminfo: memFree=25491120/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15151156 memory=93756 CPUtime=1.67 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 14556 0 0 0 160 7 0 0 20 0 15 0 516768769 15514783744 23439 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3787789 23439 3450 1 0 3748889 0 [pid=24942/tid=24943] ppid=24940 vsize=15151156 memory=0 CPUtime=0.68 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 9092 0 0 0 64 4 0 0 20 0 15 0 516768769 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711966456432 139711946261861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15151156 memory=7886766292050655029 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768770 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15151156 memory=5788646597804118886 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768770 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15151156 memory=7519148084804674902 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15151156 memory=6124 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516768770 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15151156 memory=780 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516768771 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15151156 memory=3516 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516768772 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711454610720 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15151156 memory=1088 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516768772 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711453558384 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15151156 memory=2832 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15151156 memory=1564 CPUtime=0.29 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) R 24940 24940 24889 0 -1 4202560 1338 0 0 0 29 0 0 0 20 0 15 0 516768774 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711451440368 139711941911327 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15151156 memory=8392 CPUtime=0.27 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) R 24940 24940 24889 0 -1 4202560 779 0 0 0 27 0 0 0 20 0 15 0 516768774 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711450390352 139711941935367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15151156 memory=14008 CPUtime=0.38 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) S 24940 24940 24889 0 -1 1077944384 2039 0 0 0 38 0 0 0 20 0 15 0 516768775 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15151156 memory=33488 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15151156 memory=6297835844906604903 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516768775 15514783744 23439 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 1.67 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 95204 KiB [startup+1.50093 s] /proc/loadavg: 1.53 1.86 1.98 6/230 24981 /proc/meminfo: memFree=25399540/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15153204 memory=140376107217816 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 683 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15153204 memory=64168 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15153204 memory=984 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15153204 memory=2044 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 516768771 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15153204 memory=1368 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711454610784 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15153204 memory=3608 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711453558400 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15153204 memory=64168 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15153204 memory=182208 CPUtime=1.14 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 2492 0 0 0 113 1 0 0 20 0 15 0 516768774 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15153204 memory=173996 CPUtime=1.08 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 2354 0 0 0 108 0 0 0 20 0 15 0 516768774 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15153204 memory=180 CPUtime=0.63 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) S 24940 24940 24889 0 -1 1077944384 4515 0 0 0 62 1 0 0 20 0 15 0 516768775 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15153204 memory=280752214245616 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15153204 memory=7739551865356969826 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 48691 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 9.19 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 196212 KiB [startup+12.7008 s] /proc/loadavg: 1.60 1.86 1.98 3/230 24981 /proc/meminfo: memFree=25206008/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15153204 memory=203548 CPUtime=15.7 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 26491 0 0 0 1558 12 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3788301 50887 3509 1 0 3749401 0 [pid=24942/tid=24943] ppid=24940 vsize=15153204 memory=280752214796048 CPUtime=12.65 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 10753 0 0 0 1259 6 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711966454664 139711604664432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15153204 memory=257 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15153204 memory=203548 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15153204 memory=3608 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 893 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15153204 memory=64168 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15153204 memory=1448 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 516768771 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15153204 memory=194784 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711454610784 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15153204 memory=3608 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711453558400 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15153204 memory=64168 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15153204 memory=1448 CPUtime=1.19 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 3553 0 0 0 118 1 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15153204 memory=203520 CPUtime=1.11 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 2877 0 0 0 111 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15153204 memory=8392 CPUtime=0.64 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) S 24940 24940 24889 0 -1 1077944384 4987 0 0 0 63 1 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15153204 memory=14008 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 15.7 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 204996 KiB [startup+13.0498 s] # the end of solver process 24940 was just reported to runsolver # cumulated CPU time of all completed processes: user=15.9388 s, system=0.134185 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8009 s] /proc/loadavg: 1.60 1.86 1.98 3/230 24981 /proc/meminfo: memFree=25206008/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15153204 memory=203548 CPUtime=15.8 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 26527 0 0 0 1568 12 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3788301 50887 3509 1 0 3749401 0 [pid=24942/tid=24943] ppid=24940 vsize=15153204 memory=-5921431000321636112 CPUtime=12.75 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 10754 0 0 0 1269 6 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711966453808 139711604737124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 893 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15153204 memory=280752214590256 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15153204 memory=3472468672335153184 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 516768771 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15153204 memory=140376107166208 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711454610784 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711453558400 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15153204 memory=0 CPUtime=1.19 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 3553 0 0 0 118 1 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15153204 memory=0 CPUtime=1.11 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 2877 0 0 0 111 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15153204 memory=0 CPUtime=0.64 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) S 24940 24940 24889 0 -1 1077944384 5022 0 0 0 63 1 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15153204 memory=0 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15153204 memory=139272904532329 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 15.8 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 204996 KiB [startup+13.0007 s]* /proc/loadavg: 1.60 1.86 1.98 3/230 24981 /proc/meminfo: memFree=25206256/32770688 swapFree=67001280/67108860 [pid=24940] ppid=24937 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/24940/stat : 24940 (xcsp3-exec) S 24937 24940 24889 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516768768 115843072 362 33554432000 4194304 5098028 140731731136832 140731731134936 140140874023548 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37871616 140731731145594 140731731145837 140731731145837 140731731148746 0 /proc/24940/statm: 28282 362 304 221 0 87 0 [pid=24942] ppid=24940 vsize=15153204 memory=203548 CPUtime=16.01 cores=4-7 /proc/24942/stat : 24942 (java) S 24940 24940 24889 0 -1 1077944320 26535 0 0 0 1589 12 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 140730406667504 139711962218231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 /proc/24942/statm: 3788301 50887 3509 1 0 3749401 0 [pid=24942/tid=24943] ppid=24940 vsize=15153204 memory=1398722017469774279 CPUtime=12.96 cores=4-7 /proc/24942/task/24943/stat : 24943 (java) R 24940 24940 24889 0 -1 4202560 10762 0 0 0 1290 6 0 0 20 0 15 0 516768769 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711966453808 139711603132374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24944] ppid=24940 vsize=15153204 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/24942/task/24944/stat : 24944 (java) S 24940 24940 24889 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711931931024 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24945] ppid=24940 vsize=15153204 memory=1760 CPUtime=0 cores=4-7 /proc/24942/task/24945/stat : 24945 (java) S 24940 24940 24889 0 -1 1077944384 733 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711553866000 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24946] ppid=24940 vsize=15153204 memory=984 CPUtime=0 cores=4-7 /proc/24942/task/24946/stat : 24946 (java) S 24940 24940 24889 0 -1 1077944384 893 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711552813712 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24947] ppid=24940 vsize=15153204 memory=2044 CPUtime=0 cores=4-7 /proc/24942/task/24947/stat : 24947 (java) S 24940 24940 24889 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 516768770 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711551760912 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24952] ppid=24940 vsize=15153204 memory=1368 CPUtime=0 cores=4-7 /proc/24942/task/24952/stat : 24952 (java) S 24940 24940 24889 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 516768771 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711455664752 139711962229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24955] ppid=24940 vsize=15153204 memory=1056 CPUtime=0 cores=4-7 /proc/24942/task/24955/stat : 24955 (java) S 24940 24940 24889 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711454610784 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24956] ppid=24940 vsize=15153204 memory=772 CPUtime=0 cores=4-7 /proc/24942/task/24956/stat : 24956 (java) S 24940 24940 24889 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 516768772 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711453558400 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24967] ppid=24940 vsize=15153204 memory=1696 CPUtime=0 cores=4-7 /proc/24942/task/24967/stat : 24967 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711452506704 139711962236827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24968] ppid=24940 vsize=15153204 memory=194764 CPUtime=1.19 cores=4-7 /proc/24942/task/24968/stat : 24968 (java) S 24940 24940 24889 0 -1 1077944384 3553 0 0 0 118 1 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711451453552 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24969] ppid=24940 vsize=15153204 memory=1412 CPUtime=1.11 cores=4-7 /proc/24942/task/24969/stat : 24969 (java) S 24940 24940 24889 0 -1 1077944384 2877 0 0 0 111 0 0 0 20 0 15 0 516768774 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711450400752 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24970] ppid=24940 vsize=15153204 memory=2544 CPUtime=0.64 cores=4-7 /proc/24942/task/24970/stat : 24970 (java) S 24940 24940 24889 0 -1 1077944384 5022 0 0 0 63 1 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711449348464 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24971] ppid=24940 vsize=15153204 memory=1452 CPUtime=0 cores=4-7 /proc/24942/task/24971/stat : 24971 (java) S 24940 24940 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711448295904 139711962228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 [pid=24942/tid=24973] ppid=24940 vsize=15153204 memory=198740 CPUtime=0 cores=4-7 /proc/24942/task/24973/stat : 24973 (java) S 24940 24940 24889 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 516768775 15516880896 50887 33554432000 4194304 4196468 140730406684960 139711447243696 139711962229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140730406691823 140730406691994 140730406691994 140730406694863 0 Current children cumulated CPU time: 16.01 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 204996 KiB Child status: 0 Real time (s): 13.0499 CPU time (s): 16.073 CPU user time (s): 15.9388 CPU system time (s): 0.134185 CPU usage (%): 123.166 Max. virtual memory (cumulated for all children) (KiB): 15266332 Max. memory (cumulated for all children) (KiB): 204996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.9388 system time used= 0.134185 maximum resident set size= 203680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28018 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2767 involuntary context switches= 30 # summary of solver processes directly reported to runsolver: # pid: 24940 # total CPU time (s): 16.073 # total CPU user time (s): 15.9388 # total CPU system time (s): 0.134185 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.115957 second user time and 0.186502 second system time The end
Begin job on node116 at 2019-09-25 12:43:50 IDJOB=4406172 IDBENCH=133275 IDSOLVER=2869 FILE ID=node116/4406172-1569408272 RUNJOBID= node116-1569408230-24921 PBS_JOBID= 21705707 Free space on /tmp= 6552 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406172-1569408272/watcher-4406172-1569408272 -o /tmp/evaluation-result-4406172-1569408272/solver-4406172-1569408272 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24921 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1761919512 HOME/instance-4406172-1569408272.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b RANDOM SEED=1761919512 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25588324 kB MemAvailable: 31845212 kB Buffers: 123332 kB Cached: 6305568 kB SwapCached: 3304 kB Active: 3193272 kB Inactive: 3241808 kB Active(anon): 5260 kB Inactive(anon): 56924 kB Active(file): 3188012 kB Inactive(file): 3184884 kB Unevictable: 109432 kB Mlocked: 109432 kB SwapTotal: 67108860 kB SwapFree: 67001280 kB Dirty: 52080 kB Writeback: 0 kB AnonPages: 112460 kB Mapped: 56720 kB Shmem: 47784 kB Slab: 341264 kB SReclaimable: 312452 kB SUnreclaim: 28812 kB KernelStack: 3296 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 517872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6500 MiB End job on node116 at 2019-09-25 12:44:03