Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | OPT | 69 | 2.6243401 | 1.34567 |
| Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml |
| MD5SUM | 0b1e0c7924bcaa294ffaf4f952f89b7c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 69 |
| Best CPU time to get the best result obtained on this benchmark | 0.78407902 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 62 |
| Number of constraints | 135 |
| Number of domains | 2 |
| Minimum domain size | 1 |
| Maximum domain size | 335 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":335,"count":61}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 7 |
| Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":43},{"degree":6,"count":9},{"degree":7,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 19 |
| Distribution of constraint arities | [{"arity":2,"count":131},{"arity":10,"count":1},{"arity":14,"count":1},{"arity":17,"count":1},{"arity":19,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 131 |
| Distribution of constraint types | [{"type":"intension","count":131},{"type":"cumulative","count":4}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.21/0.39 c version: 2017-07-26 0.21/0.39 c seed: 1435974960 0.21/0.40 c timeout: 264 0.21/0.40 c memlimit: 11000 0.21/0.40 c nbcore: 4 0.38/0.42 c Parsing instance... 1.30/0.93 c Parsing done, starting search... 1.30/0.95 o 334 1.30/0.96 o 333 1.30/0.96 o 332 1.30/0.97 o 331 1.30/0.97 o 330 1.30/0.97 o 329 1.30/0.97 o 328 1.30/0.97 o 327 1.30/0.98 o 326 1.30/0.98 o 325 1.30/0.98 o 324 1.30/0.99 o 323 1.30/0.99 o 322 1.30/0.99 o 321 1.30/0.99 o 320 1.30/0.99 o 319 1.30/0.99 o 318 1.57/1.00 o 317 1.57/1.00 o 316 1.57/1.00 o 315 1.57/1.00 o 314 1.57/1.00 o 313 1.57/1.01 o 312 1.57/1.01 o 311 1.57/1.01 o 310 1.57/1.01 o 309 1.57/1.01 o 308 1.57/1.01 o 307 1.57/1.02 o 306 1.57/1.02 o 305 1.57/1.02 o 304 1.57/1.02 o 303 1.57/1.02 o 302 1.57/1.02 o 301 1.57/1.02 o 300 1.57/1.03 o 299 1.57/1.03 o 298 1.57/1.03 o 297 1.57/1.03 o 296 1.57/1.03 o 295 1.57/1.03 o 294 1.57/1.04 o 293 1.57/1.04 o 292 1.57/1.04 o 291 1.57/1.04 o 290 1.57/1.04 o 289 1.57/1.04 o 288 1.57/1.05 o 287 1.57/1.05 o 286 1.57/1.05 o 285 1.57/1.05 o 284 1.57/1.05 o 283 1.57/1.05 o 282 1.57/1.05 o 281 1.57/1.06 o 280 1.57/1.06 o 279 1.57/1.06 o 278 1.57/1.06 o 277 1.57/1.06 o 276 1.57/1.06 o 275 1.57/1.07 o 274 1.57/1.07 o 273 1.57/1.07 o 272 1.57/1.07 o 271 1.57/1.07 o 270 1.57/1.07 o 269 1.57/1.08 o 268 1.57/1.08 o 267 1.57/1.08 o 266 1.57/1.08 o 265 1.57/1.08 o 264 1.57/1.08 o 263 1.57/1.08 o 262 1.57/1.09 o 261 1.57/1.09 o 260 1.57/1.09 o 259 1.57/1.09 o 258 1.57/1.09 o 257 1.57/1.09 o 256 1.57/1.10 o 255 1.57/1.10 o 254 1.57/1.10 o 253 1.89/1.11 o 252 1.89/1.11 o 251 1.89/1.11 o 250 1.89/1.11 o 249 1.89/1.11 o 248 1.89/1.11 o 247 1.89/1.11 o 246 1.89/1.11 o 245 1.89/1.11 o 244 1.89/1.11 o 243 1.89/1.12 o 242 1.89/1.12 o 241 1.89/1.12 o 240 1.89/1.12 o 239 1.89/1.12 o 238 1.89/1.12 o 237 1.89/1.13 o 236 1.89/1.13 o 235 1.89/1.13 o 234 1.89/1.13 o 233 1.89/1.13 o 232 1.89/1.13 o 231 1.89/1.13 o 230 1.89/1.14 o 229 1.89/1.14 o 228 1.89/1.14 o 227 1.89/1.14 o 226 1.89/1.14 o 225 1.89/1.14 o 224 1.89/1.15 o 223 1.89/1.15 o 222 1.89/1.15 o 221 1.89/1.15 o 220 1.89/1.15 o 219 1.89/1.15 o 218 1.89/1.16 o 217 1.89/1.16 o 216 1.89/1.16 o 215 1.89/1.16 o 214 1.89/1.16 o 213 1.89/1.16 o 212 1.89/1.16 o 211 1.89/1.16 o 210 1.89/1.17 o 209 1.89/1.17 o 208 1.89/1.17 o 207 1.89/1.17 o 206 1.89/1.17 o 205 1.89/1.17 o 204 1.89/1.17 o 203 1.89/1.18 o 202 1.89/1.18 o 201 1.89/1.18 o 200 1.89/1.18 o 199 1.89/1.18 o 198 1.89/1.18 o 197 1.89/1.18 o 196 1.89/1.19 o 195 1.89/1.19 o 194 1.89/1.19 o 193 1.89/1.19 o 192 1.89/1.19 o 191 1.89/1.19 o 190 1.89/1.19 o 189 1.89/1.20 o 188 1.89/1.20 o 187 1.89/1.20 o 186 1.89/1.20 o 185 1.89/1.20 o 184 2.20/1.20 o 183 2.20/1.20 o 182 2.20/1.21 o 181 2.20/1.21 o 180 2.20/1.21 o 179 2.20/1.21 o 178 2.20/1.21 o 177 2.20/1.21 o 176 2.20/1.21 o 175 2.20/1.21 o 174 2.20/1.22 o 173 2.20/1.22 o 172 2.20/1.22 o 171 2.20/1.22 o 170 2.20/1.22 o 169 2.20/1.22 o 168 2.20/1.22 o 167 2.20/1.22 o 166 2.20/1.23 o 165 2.20/1.23 o 164 2.20/1.23 o 163 2.20/1.23 o 162 2.20/1.23 o 161 2.20/1.23 o 160 2.20/1.23 o 159 2.20/1.23 o 158 2.20/1.23 o 157 2.20/1.23 o 156 2.20/1.24 o 155 2.20/1.24 o 154 2.20/1.24 o 153 2.20/1.24 o 152 2.20/1.24 o 151 2.20/1.24 o 150 2.20/1.24 o 149 2.20/1.24 o 148 2.20/1.24 o 147 2.20/1.25 o 146 2.20/1.25 o 145 2.20/1.25 o 144 2.20/1.25 o 143 2.20/1.25 o 142 2.20/1.25 o 141 2.20/1.25 o 140 2.20/1.25 o 139 2.20/1.25 o 138 2.20/1.26 o 137 2.20/1.26 o 136 2.20/1.26 o 135 2.20/1.26 o 134 2.20/1.26 o 133 2.20/1.26 o 132 2.20/1.26 o 131 2.20/1.26 o 130 2.20/1.26 o 129 2.20/1.26 o 128 2.20/1.27 o 127 2.20/1.27 o 126 2.20/1.27 o 125 2.20/1.27 o 124 2.20/1.27 o 123 2.20/1.27 o 122 2.20/1.27 o 121 2.20/1.27 o 120 2.20/1.27 o 119 2.20/1.27 o 118 2.20/1.28 o 117 2.20/1.28 o 116 2.20/1.28 o 115 2.20/1.28 o 114 2.20/1.28 o 113 2.20/1.28 o 112 2.20/1.28 o 111 2.20/1.28 o 110 2.20/1.28 o 109 2.20/1.28 o 108 2.20/1.29 o 107 2.20/1.29 o 106 2.20/1.29 o 105 2.20/1.29 o 104 2.20/1.29 o 103 2.20/1.29 o 102 2.20/1.29 o 101 2.20/1.29 o 100 2.20/1.29 o 99 2.20/1.29 o 98 2.20/1.29 o 97 2.20/1.30 o 96 2.49/1.30 o 95 2.49/1.30 o 94 2.49/1.30 o 93 2.49/1.30 o 92 2.49/1.31 o 91 2.49/1.31 o 90 2.49/1.31 o 89 2.49/1.31 o 88 2.49/1.31 o 87 2.49/1.31 o 86 2.49/1.31 o 85 2.49/1.31 o 84 2.49/1.31 o 83 2.49/1.31 o 82 2.49/1.31 o 81 2.49/1.31 o 80 2.49/1.32 o 79 2.49/1.32 o 78 2.49/1.32 o 77 2.49/1.32 o 76 2.49/1.32 o 75 2.49/1.32 o 74 2.49/1.32 o 73 2.49/1.32 o 72 2.49/1.32 o 71 2.49/1.32 o 70 2.49/1.32 o 69 2.49/1.33 s OPTIMUM FOUND 2.49/1.33 v <instantiation> 2.49/1.33 v <list> 2.49/1.33 v 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] 2.49/1.33 v </list> 2.49/1.33 v <values> 2.49/1.33 v 0 11 14 0 17 16 20 6 9 27 33 17 25 16 31 26 19 23 27 31 26 50 37 44 36 27 59 21 26 35 38 36 29 45 45 29 38 36 45 41 51 59 47 46 57 48 46 51 53 42 58 61 54 49 63 52 61 57 64 62 64 69 2.49/1.33 v </values> 2.49/1.33 v </instantiation>
OK 69
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256235-1501636515/watcher-4256235-1501636515 -o /tmp/evaluation-result-4256235-1501636515/solver-4256235-1501636515 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1435974960 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256235-1501636515.xml pid=27122 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/27125/stat : 27125 (runsolver) D 27122 27125 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11466816 24240128 106 18446744073709551615 4194304 4338465 140725930088960 140725930086600 139663294624471 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38739968 140725930090598 140725930091078 140725930091078 140725930094538 0 /proc/27125/statm: 5918 106 53 36 0 2156 0 [startup+0.100113 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=356952 CPUtime=0 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 1732 0 0 0 0 0 0 0 20 0 2 0 11466816 365518848 1881 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 89238 1881 1032 1 0 79216 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 356952 [startup+0.200326 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13906484 CPUtime=0.05 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 4954 0 0 0 4 1 0 0 20 0 14 0 11466816 14240239616 5498 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3476621 5498 2573 1 0 3466126 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13906484 [startup+0.300285 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13975920 CPUtime=0.21 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 9944 0 0 0 18 3 0 0 20 0 15 0 11466816 14311342080 9843 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3493980 9843 3532 1 0 3482767 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 13975920 [startup+0.700222 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13977988 CPUtime=0.95 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 13847 0 0 0 90 5 0 0 20 0 15 0 11466816 14313459712 16627 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3494497 16627 3707 1 0 3483279 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 13977988 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27125 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.8003 s] /proc/loadavg: 2.02 1.91 1.70 3/203 27125 /proc/meminfo: memFree=31441060/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13980036 CPUtime=1.13 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 14417 0 0 0 108 5 0 0 20 0 15 0 11466816 14315556864 18189 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3495009 18189 3719 1 0 3483791 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 13980036 [startup+1.20712 s] /proc/loadavg: 2.02 1.91 1.70 5/218 27140 /proc/meminfo: memFree=31354832/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13980036 CPUtime=2.2 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 21953 0 0 0 213 7 0 0 20 0 15 0 11466816 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3495009 27308 3749 1 0 3483791 0 [pid=27125/tid=27127] ppid=27122 vsize=13980036 CPUtime=1.04 cores=1,3,5,7 /proc/27125/task/27127/stat : 27127 (java) R 27122 27125 5228 0 -1 4202560 13941 0 0 0 99 5 0 0 20 0 15 0 11466826 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139661380845968 139661016312669 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27128] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27128/stat : 27128 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139661333576208 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27129] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27129/stat : 27129 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139661332523664 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27130] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27130/stat : 27130 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660974287120 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27131] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27131/stat : 27131 (java) S 27122 27125 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660973234576 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27132] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27132/stat : 27132 (java) S 27122 27125 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11466827 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660360915696 139661376621186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27133] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27133/stat : 27133 (java) S 27122 27125 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11466828 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660359861920 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27134] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27134/stat : 27134 (java) S 27122 27125 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11466828 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660358808816 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27135] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27135/stat : 27135 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466831 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660357757392 139661376628635 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27136] ppid=27122 vsize=13980036 CPUtime=0.4 cores=1,3,5,7 /proc/27125/task/27136/stat : 27136 (java) R 27122 27125 5228 0 -1 4202560 3069 0 0 0 40 0 0 0 20 0 15 0 11466831 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660356691008 139661355865506 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27137] ppid=27122 vsize=13980036 CPUtime=0.35 cores=1,3,5,7 /proc/27125/task/27137/stat : 27137 (java) R 27122 27125 5228 0 -1 4202560 1948 0 0 0 35 0 0 0 20 0 15 0 11466831 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660355637832 139661361531712 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27138] ppid=27122 vsize=13980036 CPUtime=0.38 cores=1,3,5,7 /proc/27125/task/27138/stat : 27138 (java) S 27122 27125 5228 0 -1 1077944384 1615 0 0 0 38 0 0 0 20 0 15 0 11466831 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660354598896 139661376621186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27139] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27139/stat : 27139 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466831 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660353546592 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27140] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27140/stat : 27140 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466836 14315556864 27308 18446744073709551615 4194304 4196468 140730859869232 139660352494640 139661376621186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 13980036 [startup+1.30068 s] /proc/loadavg: 2.02 1.91 1.70 5/218 27140 /proc/meminfo: memFree=31354832/32770624 swapFree=0/208652 [pid=27125] ppid=27122 vsize=13980036 CPUtime=2.49 cores=1,3,5,7 /proc/27125/stat : 27125 (java) S 27122 27125 5228 0 -1 1077944320 22685 0 0 0 242 7 0 0 20 0 15 0 11466816 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 140730859851776 139661376610039 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 /proc/27125/statm: 3495009 28521 3750 1 0 3483791 0 [pid=27125/tid=27127] ppid=27122 vsize=13980036 CPUtime=1.13 cores=1,3,5,7 /proc/27125/task/27127/stat : 27127 (java) R 27122 27125 5228 0 -1 4202560 13954 0 0 0 108 5 0 0 20 0 15 0 11466826 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139661380845568 139661376631869 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27128] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27128/stat : 27128 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139661333576208 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27129] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27129/stat : 27129 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139661332523664 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27130] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27130/stat : 27130 (java) S 27122 27125 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660974287120 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27131] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27131/stat : 27131 (java) S 27122 27125 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11466826 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660973234576 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27132] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27132/stat : 27132 (java) S 27122 27125 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11466827 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660360915696 139661376621186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27133] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27133/stat : 27133 (java) S 27122 27125 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11466828 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660359861920 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27134] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27134/stat : 27134 (java) S 27122 27125 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11466828 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660358808816 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27135] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27135/stat : 27135 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466831 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660357757392 139661376628635 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27136] ppid=27122 vsize=13980036 CPUtime=0.49 cores=1,3,5,7 /proc/27125/task/27136/stat : 27136 (java) R 27122 27125 5228 0 -1 4202560 3358 0 0 0 49 0 0 0 20 0 15 0 11466831 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660356691280 139661360520734 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27137] ppid=27122 vsize=13980036 CPUtime=0.44 cores=1,3,5,7 /proc/27125/task/27137/stat : 27137 (java) R 27122 27125 5228 0 -1 4202560 2339 0 0 0 44 0 0 0 20 0 15 0 11466831 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660355650352 139661358154192 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27138] ppid=27122 vsize=13980036 CPUtime=0.39 cores=1,3,5,7 /proc/27125/task/27138/stat : 27138 (java) S 27122 27125 5228 0 -1 1077944384 1654 0 0 0 39 0 0 0 20 0 15 0 11466831 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660354598896 139661376621186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27139] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27139/stat : 27139 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466831 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660353546592 139661376620245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 [pid=27125/tid=27140] ppid=27122 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/27125/task/27140/stat : 27140 (java) S 27122 27125 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11466836 14315556864 28521 18446744073709551615 4194304 4196468 140730859869232 139660352494640 139661376621186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13991936 140730859876753 140730859876939 140730859876939 140730859880399 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 13980036 Child status: 0 Real time (s): 1.34567 CPU time (s): 2.62434 CPU user time (s): 2.53966 CPU system time (s): 0.084689 CPU usage (%): 195.022 Max. virtual memory (cumulated for all children) (KiB): 13980036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.53965 system time used= 0.084689 maximum resident set size= 117260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23152 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2290 involuntary context switches= 9 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.011398 second user time and 0.021372 second system time The end
Begin job on node133 at 2017-08-02 03:01:08 IDJOB=4256235 IDBENCH=128318 IDSOLVER=2639 FILE ID=node133/4256235-1501636515 RUNJOBID= node133-1501622945-15686 PBS_JOBID= Free space on /tmp= 61820 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-36-08.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256235-1501636515/watcher-4256235-1501636515 -o /tmp/evaluation-result-4256235-1501636515/solver-4256235-1501636515 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1435974960 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256235-1501636515.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b1e0c7924bcaa294ffaf4f952f89b7c RANDOM SEED=1435974960 node133.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.17 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.17 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.17 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.17 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: 31441060 kB MemAvailable: 31651352 kB Buffers: 108024 kB Cached: 384452 kB SwapCached: 0 kB Active: 703544 kB Inactive: 217200 kB Active(anon): 428816 kB Inactive(anon): 8548 kB Active(file): 274728 kB Inactive(file): 208652 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42496 kB Writeback: 4 kB AnonPages: 428444 kB Mapped: 45740 kB Shmem: 8924 kB Slab: 111136 kB SReclaimable: 85496 kB SUnreclaim: 25640 kB KernelStack: 3552 kB PageTables: 6164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1639872 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 321536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61780 MiB End job on node133 at 2017-08-02 03:01:10