Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7 seq (493a269) | SAT (TO) | 3958 | 2400.05 | 2388.81 |
| Name | SumColoring/ SumColoring-dsjc-250-5_c18.xml |
| MD5SUM | 6d15d8403aebe79e9693643b2fca1a5e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3754 |
| Best CPU time to get the best result obtained on this benchmark | 2520.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 250 |
| Number of constraints | 15668 |
| Number of domains | 1 |
| Minimum domain size | 250 |
| Maximum domain size | 250 |
| Distribution of domain sizes | [{"size":250,"count":250}] |
| Minimum variable degree | 102 |
| Maximum variable degree | 148 |
| Distribution of variable degrees | [{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":15668}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15668 |
| Distribution of constraint types | [{"type":"intension","count":15668}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292419-1532291514.xml" -tl '2400s' -p 1 -x 0 0.12/0.17 c Choco 493a269 0.12/0.18 c [HOME/instance-4292419-1532291514.xml, -tl, 2400s, -p, 1, -x, 0] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 4.14/1.84 c solve instance... 5.41/2.21 o 4260 6.89/2.78 o 4234 7.20/2.80 o 4233 7.20/2.81 o 4232 7.20/2.82 o 4230 7.20/2.86 o 4229 7.20/2.86 o 4225 7.20/2.88 o 4224 7.79/3.10 o 4137 7.98/3.11 o 4135 7.98/3.11 o 4134 7.98/3.14 o 4115 7.98/3.19 o 4111 25.89/20.43 o 4089 25.89/20.43 o 4088 25.89/20.49 o 4085 81.81/76.10 o 4084 81.91/76.11 o 4082 82.00/76.22 o 4075 163.10/157.14 o 3983 163.10/157.15 o 3982 163.10/157.15 o 3981 163.10/157.15 o 3979 485.68/479.39 o 3961 485.68/479.39 o 3960 485.78/479.43 o 3959 485.78/479.45 o 3958 2400.02/2388.80 s SATISFIABLE 2400.02/2388.80 v <instantiation> 2400.02/2388.80 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] </list> 2400.02/2388.80 v <values>25 37 22 25 3 10 10 29 25 30 6 13 28 7 12 31 11 6 22 15 35 12 12 24 30 7 11 27 28 12 12 29 29 32 0 31 33 27 18 15 1 34 28 26 16 21 9 25 16 0 28 14 19 26 0 10 23 27 13 19 5 33 31 15 14 24 21 20 30 14 8 30 11 4 24 18 18 20 24 15 13 26 29 25 17 7 36 23 24 33 29 21 17 23 11 18 19 14 17 19 18 4 11 33 5 0 4 16 13 16 17 28 19 22 34 17 35 27 32 13 34 8 11 1 15 14 9 19 0 20 18 30 16 27 20 8 20 22 24 11 13 19 14 20 7 22 12 32 29 22 27 32 34 25 17 6 21 16 11 23 12 28 17 5 26 19 14 6 12 13 0 9 10 29 7 1 26 30 2 6 8 10 13 22 4 15 26 17 9 12 14 3 23 6 31 26 2 5 1 7 21 2 6 5 11 4 0 3 24 10 18 8 3 4 7 5 2 0 1 7 4 2 9 4 20 2 8 3 5 2 5 8 6 3 3 34 36 21 0 1 1 6 10 3 9 19 1 2 16 9 </values> 2400.02/2388.80 v </instantiation> 2400.02/2388.80 c Unexpected resolution interruption!
OK 3958
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 (13468 MiB free)
memory of node 1: 16384 MiB (14246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292419-1532291514/watcher-4292419-1532291514 -o /tmp/evaluation-result-4292419-1532291514/solver-4292419-1532291514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532288873-2252 --watchdog 2560 HOME/xcsp3-exec -seed 68020401 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292419-1532291514.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2794, runsolver pid=2791
[startup+0.100148 s]*
/proc/loadavg: 2.11 2.15 2.04 3/218 2810
/proc/meminfo: memFree=28363624/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14082840 memory=28412 CPUtime=0.12 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 5451 0 0 0 11 1 0 0 20 0 15 0 46714611 14420828160 7103 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3520710 7103 3002 1 0 3483008 0
[pid=2796/tid=2797] ppid=2794 vsize=14082840 memory=7898910893248706067 CPUtime=0.09 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 3475 0 0 0 8 1 0 0 20 0 15 0 46714611 14420828160 7168 33554432000 4194304 4196468 140725566322560 140040118426816 140040114199958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14082840 memory=3472468575672128720 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14420828160 7168 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14082840 memory=140446776977024 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14420828160 7168 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14420828160 7168 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46714612 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46714613 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46714613 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039587436064 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46714614 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039586383216 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 46714616 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14082840 memory=140446776977024 CPUtime=0.01 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) R 2794 2794 30989 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 46714616 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039582173296 140040095425584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14082840 memory=140446776977024 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714617 14420828160 7168 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29864 KiB
[startup+0.211121 s]*
/proc/loadavg: 2.11 2.15 2.04 5/218 2810
/proc/meminfo: memFree=28351916/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14082840 memory=40744 CPUtime=0.34 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 8293 0 0 0 32 2 0 0 20 0 15 0 46714611 14420828160 10186 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3520710 10186 3136 1 0 3483008 0
[pid=2796/tid=2797] ppid=2794 vsize=14087096 memory=7898910893248706067 CPUtime=0.2 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 5423 0 0 0 19 1 0 0 20 0 15 0 46714611 14425186304 10243 33554432000 4194304 4196468 140725566322560 140040118409016 140040106869954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14087096 memory=3472468575672128720 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 10243 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14087096 memory=140446776977024 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 10243 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 10243 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14087096 memory=140446776977024 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46714613 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46714613 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039587436064 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46714614 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039586383216 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 15 0 46714616 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 46714616 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14087096 memory=140446776977024 CPUtime=0.07 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 809 0 0 0 7 0 0 0 20 0 15 0 46714616 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14087096 memory=140446776977024 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714617 14425186304 10243 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42196 KiB
[startup+0.311179 s]*
/proc/loadavg: 2.11 2.15 2.04 3/218 2810
/proc/meminfo: memFree=28345588/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14087096 memory=48136 CPUtime=0.51 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 9114 0 0 0 49 2 0 0 20 0 15 0 46714611 14425186304 12034 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3521774 12034 3251 1 0 3483008 0
[pid=2796/tid=2797] ppid=2794 vsize=14087096 memory=280893277077744 CPUtime=0.29 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 6131 0 0 0 28 1 0 0 20 0 15 0 46714611 14425186304 12034 33554432000 4194304 4196468 140725566322560 140040118425488 140040114209949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14087096 memory=6055707664168806735 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 12034 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14087096 memory=280893415624832 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 12034 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14087096 memory=280893277307136 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 12034 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14087096 memory=140446638645519 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46714612 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14087096 memory=280893415629440 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46714613 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14087096 memory=140446638650127 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46714613 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039587436064 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14087096 memory=140446638654776 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46714614 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039586383216 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14087096 memory=140446638657438 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 46714616 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 270 0 0 0 4 0 0 0 20 0 15 0 46714616 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14087096 memory=140446776977024 CPUtime=0.12 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 15 0 46714616 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14087096 memory=140446776978476 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714617 14425186304 12034 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49588 KiB
[startup+0.701119 s]
/proc/loadavg: 2.11 2.15 2.04 5/218 2810
/proc/meminfo: memFree=28322592/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14089220 memory=111400 CPUtime=1.67 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 12217 0 0 0 164 3 0 0 20 0 15 0 46714611 14427361280 27850 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3522305 27850 3324 1 0 3483520 0
[pid=2796/tid=2797] ppid=2794 vsize=14089220 memory=7379826758870984815 CPUtime=0.68 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 6526 0 0 0 65 3 0 0 20 0 15 0 46714611 14427361280 27850 33554432000 4194304 4196468 140725566322560 140040118422016 140040095769870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14089220 memory=6298654963654613345 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14427361280 27850 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14089220 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14427361280 27850 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14089220 memory=-8382737541924953461 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714612 14427361280 27850 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14089220 memory=7100839887182984304 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46714612 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46714613 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46714613 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039587436064 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14089220 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46714614 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039586383216 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14089220 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14089220 memory=1004 CPUtime=0.34 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) R 2794 2794 30989 0 -1 4202560 1414 0 0 0 34 0 0 0 20 0 15 0 46714616 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039584265464 140040095707608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14089220 memory=14004 CPUtime=0.35 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) R 2794 2794 30989 0 -1 4202560 1285 0 0 0 35 0 0 0 20 0 15 0 46714616 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039583211976 140040095709372 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14089220 memory=796 CPUtime=0.28 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 1685 0 0 0 28 0 0 0 20 0 15 0 46714616 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14089220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14089220 memory=1956 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46714617 14427361280 27850 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 112852 KiB
[startup+1.50112 s]
/proc/loadavg: 2.11 2.15 2.04 3/218 2810
/proc/meminfo: memFree=28229320/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 46714614 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039586383232 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14089220 memory=15696 CPUtime=2.66 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 17185 0 0 0 264 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14089220 memory=1296 CPUtime=2.67 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 13481 0 0 0 265 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14089220 memory=2344 CPUtime=0.76 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 11813 0 0 0 75 1 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14089220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14089220 memory=6935054825532540783 CPUtime=0.57 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1210 0 0 0 26 31 0 0 20 0 15 0 46714617 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 2273.17 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 692572 KiB
[startup+2322.3 s]
/proc/loadavg: 1.67 1.67 1.73 3/218 2982
/proc/meminfo: memFree=28350116/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14089220 memory=691120 CPUtime=2333.34 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 109338 0 0 0 233221 113 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3522305 172780 3414 1 0 3483520 0
[pid=2796/tid=2797] ppid=2794 vsize=14089220 memory=1452 CPUtime=2318.35 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 29777 0 0 0 231819 16 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040118427632 140039714985726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.65 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 4569 0 0 0 147 18 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.65 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 8039 0 0 0 149 16 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.65 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 5475 0 0 0 147 18 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.64 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 6372 0 0 0 145 19 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.63 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 10002 0 0 0 152 11 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14089220 memory=691120 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039587436128 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 46714614 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039586383232 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14089220 memory=691120 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14089220 memory=1452 CPUtime=2.66 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 17187 0 0 0 264 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14089220 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 13483 0 0 0 265 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14089220 memory=691120 CPUtime=0.76 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 11815 0 0 0 75 1 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14089220 memory=691120 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14089220 memory=1452 CPUtime=0.59 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1224 0 0 0 27 32 0 0 20 0 15 0 46714617 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 2333.34 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 692572 KiB
[startup+2382.3 s]
/proc/loadavg: 1.74 1.69 1.73 3/218 2983
/proc/meminfo: memFree=28348400/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14089220 memory=691120 CPUtime=2393.5 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 110299 0 0 0 239236 114 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3522305 172780 3414 1 0 3483520 0
[pid=2796/tid=2797] ppid=2794 vsize=14089220 memory=691120 CPUtime=2378.25 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 30127 0 0 0 237809 16 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040118427664 140039714768336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.7 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 4584 0 0 0 152 18 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.71 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 8070 0 0 0 155 16 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14089220 memory=1452 CPUtime=1.71 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 5486 0 0 0 152 19 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14089220 memory=1296 CPUtime=1.69 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 6730 0 0 0 150 19 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14089220 memory=2344 CPUtime=1.67 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 10177 0 0 0 156 11 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14089220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039587436128 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14089220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 46714614 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039586383232 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14089220 memory=68 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14089220 memory=7881672444735218278 CPUtime=2.66 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 17189 0 0 0 264 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14089220 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 13485 0 0 0 265 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14089220 memory=691120 CPUtime=0.76 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 11817 0 0 0 75 1 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14089220 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1239 0 0 0 28 33 0 0 20 0 15 0 46714617 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 2393.5 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 692572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.8 s]
/proc/loadavg: 1.70 1.68 1.73 3/218 2983
/proc/meminfo: memFree=28348276/32770624 swapFree=67108860/67108860
[pid=2794] ppid=2791 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2794/stat : 2794 (xcsp3-exec) S 2791 2794 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46714610 115843072 363 33554432000 4194304 5098028 140721481600016 140721481598120 139862453002876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40738816 140721481602108 140721481602308 140721481602308 140721481605066 0
/proc/2794/statm: 28282 363 306 221 0 87 0
[pid=2796] ppid=2794 vsize=14089220 memory=691120 CPUtime=2400.02 cores=1,3,5,7
/proc/2796/stat : 2796 (java) S 2794 2794 30989 0 -1 1077944320 110406 0 0 0 239888 114 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140725566305104 140040114188023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
/proc/2796/statm: 3522305 172780 3414 1 0 3483520 0
[pid=2796/tid=2797] ppid=2794 vsize=14089220 memory=236238 CPUtime=2384.74 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (java) R 2794 2794 30989 0 -1 4202560 30219 0 0 0 238458 16 0 0 20 0 15 0 46714611 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040118427632 140039714768946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2798] ppid=2794 vsize=14089220 memory=1452 CPUtime=1.71 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (java) S 2794 2794 30989 0 -1 1077944384 4584 0 0 0 153 18 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040029256336 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2799] ppid=2794 vsize=14089220 memory=691120 CPUtime=1.71 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (java) S 2794 2794 30989 0 -1 1077944384 8070 0 0 0 155 16 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040028203536 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2800] ppid=2794 vsize=14089220 memory=8112282956445269571 CPUtime=1.71 cores=1,3,5,7
/proc/2796/task/2800/stat : 2800 (java) S 2794 2794 30989 0 -1 1077944384 5486 0 0 0 152 19 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140040027150736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2801] ppid=2794 vsize=14089220 memory=640 CPUtime=1.69 cores=1,3,5,7
/proc/2796/task/2801/stat : 2801 (java) S 2794 2794 30989 0 -1 1077944384 6730 0 0 0 150 19 0 0 20 0 15 0 46714612 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039707158800 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2802] ppid=2794 vsize=14089220 memory=1792 CPUtime=1.67 cores=1,3,5,7
/proc/2796/task/2802/stat : 2802 (java) S 2794 2794 30989 0 -1 1077944384 10179 0 0 0 156 11 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039588490096 140040114199170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2803] ppid=2794 vsize=14089220 memory=956 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2803/stat : 2803 (java) S 2794 2794 30989 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46714613 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039587436128 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2804] ppid=2794 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2804/stat : 2804 (java) S 2794 2794 30989 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 46714614 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039586383232 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2805] ppid=2794 vsize=14089220 memory=691120 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2805/stat : 2805 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039585331536 140040114206619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2806] ppid=2794 vsize=14089220 memory=8112282956445269571 CPUtime=2.66 cores=1,3,5,7
/proc/2796/task/2806/stat : 2806 (java) S 2794 2794 30989 0 -1 1077944384 17189 0 0 0 264 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039584278896 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2807] ppid=2794 vsize=14089220 memory=1696 CPUtime=2.67 cores=1,3,5,7
/proc/2796/task/2807/stat : 2807 (java) S 2794 2794 30989 0 -1 1077944384 13485 0 0 0 265 2 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039583226096 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2808] ppid=2794 vsize=14089220 memory=916 CPUtime=0.76 cores=1,3,5,7
/proc/2796/task/2808/stat : 2808 (java) S 2794 2794 30989 0 -1 1077944384 11817 0 0 0 75 1 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039582173296 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2809] ppid=2794 vsize=14089220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2809/stat : 2809 (java) S 2794 2794 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46714616 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039581120736 140040114198229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
[pid=2796/tid=2810] ppid=2794 vsize=14089220 memory=3904955339774394206 CPUtime=0.61 cores=1,3,5,7
/proc/2796/task/2810/stat : 2810 (java) S 2794 2794 30989 0 -1 1077944384 1252 0 0 0 28 33 0 0 20 0 15 0 46714617 14427361280 172780 33554432000 4194304 4196468 140725566322560 140039580069040 140040114199170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 30920704 140725566329985 140725566330161 140725566330161 140725566332879 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 692572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2388.81 s]
# the end of solver process 2794 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002238 s
[startup+2388.81 s]
# the end of solver process 2796 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.89 s, system=1.15723 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2388.81
CPU time (s): 2400.05
CPU user time (s): 2398.89
CPU system time (s): 1.15723
CPU usage (%): 100.47
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 692572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.89
system time used= 1.15723
maximum resident set size= 691472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98916
involuntary context switches= 1649
# summary of solver processes directly reported to runsolver:
# pid: 2794,2796
# total CPU time (s): 2400.05
# total CPU user time (s): 2398.89
# total CPU system time (s): 1.15723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5524 second user time and 23.3673 second system time
The end
Begin job on node149 at 2018-07-22 22:31:54 IDJOB=4292419 IDBENCH=141218 IDSOLVER=2747 FILE ID=node149/4292419-1532291514 RUNJOBID= node149-1532288873-2252 PBS_JOBID= 21018976 Free space on /tmp= 51864 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292419-1532291514/watcher-4292419-1532291514 -o /tmp/evaluation-result-4292419-1532291514/solver-4292419-1532291514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532288873-2252 --watchdog 2560 HOME/xcsp3-exec -seed 68020401 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292419-1532291514.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e RANDOM SEED=68020401 node149.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.60 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.60 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.60 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.60 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: 28380300 kB MemAvailable: 31115608 kB Buffers: 130844 kB Cached: 2863996 kB SwapCached: 0 kB Active: 2408424 kB Inactive: 1498460 kB Active(anon): 861432 kB Inactive(anon): 70172 kB Active(file): 1546992 kB Inactive(file): 1428288 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21072 kB Writeback: 0 kB AnonPages: 919884 kB Mapped: 48672 kB Shmem: 17032 kB Slab: 179708 kB SReclaimable: 151724 kB SUnreclaim: 27984 kB KernelStack: 3728 kB PageTables: 6860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2207272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 794624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51844 MiB End job on node149 at 2018-07-22 23:11:43