Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 4.52221 | 0.72549 |
Name | Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml |
MD5SUM | 47da5ea68f3d94e6d7990d40a1ef4aa5 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.530623 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 540 |
Number of constraints | 1676 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":540}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 540 |
Distribution of constraint arities | [{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}] |
Number of extensional constraints | 1675 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1675},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
2.44/0.44 c root propagations : 133605 2.44/0.44 c restarts enabled, print stats at every restarts 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c This is cosoco 2.00 -- 2.44/0.44 c 2.44/0.44 c command line: cosoco -model -nbcores=8 HOME/instance-4398058-1568605540.xml 2.44/0.44 c ========================================[ Problem Statistics ]=========================================== 2.44/0.44 c | 2.44/0.44 c | Parse time : 0.07 s 2.44/0.44 c | 2.44/0.44 c | Variables: 540 2.44/0.44 c | Domain Sizes: 600..600 2.44/0.44 c | 2.44/0.44 c | Constraints: 1676 2.44/0.44 c | Arity: 1..540 -- Unary: 216 -- Binary: 1459 2.44/0.44 c | 2.44/0.44 c | Types: 2.44/0.44 c | All Different: 1 2.44/0.44 c | Extension: 1459 (nb tuples: 3582..3582) -- (shared: 13368) 2.44/0.44 c | Unary: 216 2.44/0.44 c | 2.44/0.44 c ========================================================================================================= 2.44/0.44 c Parallel mode: Portfolio 2.44/0.44 c [pFactory][Group N°0] created (threads:8). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2.44/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2.44/0.44 c [pFactory][Group N°0] concurrent mode: enabled. 2.44/0.44 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2.44/0.44 c [pFactory][Group N°0] task 7 launched on thread 1. 2.44/0.44 c [pFactory][Group N°0] task 6 launched on thread 0. 2.44/0.44 c [pFactory][Group N°0] task 5 launched on thread 4. 2.44/0.44 c [pFactory][Group N°0] task 4 launched on thread 6. 2.44/0.44 c [pFactory][Group N°0] task 3 launched on thread 7. 2.44/0.44 c [pFactory][Group N°0] task 2 launched on thread 2. 2.44/0.44 c [pFactory][Group N°0] task 1 launched on thread 3. 2.44/0.44 c [pFactory][Group N°0] task 0 launched on thread 5. 2.44/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.44 c root propagations : 133605 2.44/0.44 c restarts enabled, print stats at every restarts 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.44 c root propagations : 133605 2.44/0.44 c restarts enabled, print stats at every restarts 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.44 c root propagations : 133605 2.44/0.44 c restarts enabled, print stats at every restarts 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.44 c root propagations : 133605 2.44/0.44 c restarts enabled, print stats at every restarts 2.44/0.44 c 2.44/0.44 c 2.44/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.45 c root propagations : 133605 2.44/0.45 c restarts enabled, print stats at every restarts 2.44/0.45 c 2.44/0.45 c 2.44/0.45 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.46 c root propagations : 133605 2.44/0.46 c restarts enabled, print stats at every restarts 2.44/0.46 c 2.44/0.46 c 2.44/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.46 c root propagations : 133605 2.44/0.46 c restarts enabled, print stats at every restarts 2.44/0.46 c 2.44/0.46 c 2.44/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.44/0.47 c 0 1 5334 133606 535 0 0 0 0 2.44/0.49 c 0 1 5334 133606 535 0 0 0 0 2.44/0.49 c 0 2 5342 133611 535 0 0 0 0 2.44/0.49 c 0 1 5334 133606 535 0 0 0 0 2.44/0.50 c 0 1 5334 133606 535 0 0 0 0 2.44/0.50 c 0 2 5346 133617 535 0 0 0 0 2.44/0.50 c 0 3 5495 133706 535 0 0 0 0 2.44/0.50 c 0 1 5334 133606 535 0 0 0 0 2.44/0.50 c 0 2 5489 133707 535 0 0 0 0 2.44/0.51 c 0 3 5606 133766 535 0 0 0 0 2.44/0.51 c 0 4 5618 133771 535 0 0 0 0 2.44/0.51 c 0 5 5631 133774 535 0 0 0 0 2.44/0.51 c 0 1 5334 133606 535 0 0 0 0 2.44/0.51 c 0 1 5342 133613 535 0 0 0 0 2.44/0.51 c 0 1 5334 133606 535 0 0 0 0c 0 2 5546 133772 535 0 2.44/0.51 0 0 0 2.44/0.51 c 0 3 5570 133786 535 0 0 0 0 2.44/0.51 c 0 4 5587 133790 535 0 0 0 0 2.44/0.51 c 0 2 5553 133785 535 0 0 0 0 2.44/0.51 c 0 3 5660 133818 535 0 0 0 0 2.44/0.51 c 0 4 5666 133820 535 0 0 0 0 3.08/0.53 c 0 2 5554 133772 535 0 0 0 0 3.08/0.53 c 0 3 5733 133966 535 0 0 0 0 3.08/0.53 c 0 4 5757 133973 535 0 0 0 0 3.08/0.53 c 0 5 5775 133977 535 0 0 0 0 3.08/0.53 c 0 6 6081 134218 535 0 0 0 0 3.08/0.53 c 0 7 6115 134225 535 0 0 0 0 3.08/0.54 c 32 37 8614 354809 535 0 1 1 0 3.08/0.55 c 33 38 8638 356315 535 0 1 1 0 3.08/0.57 c 64 69 11702 552223 536 0 1 1 0 3.08/0.58 c 65 70 11791 569958 536 0 1 1 0 3.08/0.58 c 66 71 11858 582463 536 0 1 1 0 3.08/0.58 c 67 72 11965 599751 536 0 1 1 0 3.08/0.59 c 32 35 14040 708300 536 0 1 2 1 3.08/0.60 c 33 36 14175 727767 536 0 1 1 0 3.81/0.62 c 32 40 15214 725802 536 0 1 2 1 3.81/0.63 c 33 41 15252 730357 536 0 1 1 0 3.81/0.66 c 101 107 20481 862278 536 0 1 2 1 3.81/0.68 c 101 107 20652 1132481 536 0 1 2 1 3.81/0.69 c First solution is found 4.49/0.71 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 0. 4.49/0.71 c [pFactory][Group N°0] Thread N°0 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°1 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°2 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°3 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°4 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°5 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°6 is joined. 4.49/0.71 c [pFactory][Group N°0] Thread N°7 is joined. 4.49/0.71 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5) 4.49/0.71 s SATISFIABLE 4.49/0.71 c restarts : 1 4.49/0.71 c conflicts : 21 (5 /sec) 4.49/0.71 c decisions : 563 (128 /sec) 4.49/0.71 c propagations : 959671 (218564 /sec) 4.49/0.71 c root propagations : 133605 4.49/0.71 c filter calls : 23708 (5399 /sec) 4.49/0.71 c useless filter calls : 15561 (65 %) 4.49/0.71 c Memory used : 685.40 MB 4.49/0.71 c CPU time : 4.39081 s 4.49/0.71 c real time : 0.707635 s 4.49/0.71 4.49/0.71 c solution 1 4.49/0.71 4.49/0.71 v <instantiation type='solution'> 4.49/0.71 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] </list> 4.49/0.71 v <values>177 167 551 325 489 457 147 137 408 565 299 342 473 488 317 25 20 592 410 98 73 229 571 406 220 540 477 165 206 433 510 397 291 389 130 522 555 47 10 30 427 578 5 553 121 569 122 226 450 499 466 253 581 395 194 83 576 598 361 89 72 402 475 446 246 111 161 211 470 413 222 22 380 123 574 497 16 346 305 304 59 374 523 252 567 532 297 530 136 599 528 100 388 443 267 277 582 529 316 9 15 163 535 407 139 517 96 258 549 520 67 164 560 40 559 375 243 439 116 107 357 335 425 179 509 23 218 74 464 134 398 128 239 271 495 110 60 544 308 492 35 469 42 458 362 526 412 577 190 334 210 46 264 580 512 309 348 64 436 221 262 274 50 188 405 154 451 563 302 109 432 533 203 276 538 200 101 426 265 119 345 192 225 507 579 71 506 251 460 561 195 294 593 481 217 545 202 331 452 502 198 568 332 485 296 301 353 65 255 511 21 94 124 189 366 444 496 365 487 79 244 524 562 62 448 503 266 376 483 431 349 479 235 504 293 564 288 117 486 429 7 129 273 231 423 465 596 337 534 515 144 191 471 570 184 289 152 284 126 421 174 153 278 41 537 321 355 558 387 193 219 392 338 318 333 36 393 354 145 55 286 422 441 279 583 1 369 17 186 180 169 127 525 290 80 447 298 282 56 112 172 8 371 63 52 552 292 498 383 0 514 268 236 48 103 228 424 372 513 541 449 185 445 13 557 314 368 125 320 93 584 591 159 118 359 404 401 548 148 176 411 87 26 516 3 543 300 58 339 70 546 390 182 263 85 588 400 550 589 38 78 454 508 140 18 261 76 171 442 275 259 241 204 141 29 173 113 323 484 162 438 97 478 356 476 329 90 160 370 352 24 104 501 102 328 106 86 518 480 493 539 199 505 57 260 256 319 230 245 201 364 66 313 311 587 146 519 373 157 2 53 120 37 43 39 69 238 114 115 597 467 208 312 326 455 32 6 170 234 351 27 166 494 417 391 340 566 272 437 350 49 216 430 149 242 435 287 363 344 31 99 385 232 187 34 303 51 233 336 61 572 409 212 472 257 138 347 178 105 419 12 223 33 213 459 386 168 575 396 281 307 132 482 11 322 573 44 205 418 81 224 196 227 151 88 490 197 456 420 415 343 394 367 68 461 500 360 381 556 283 19 324 4 428 377 379 14 536 183 28 285 248 84 590 358 237 542 207 175 586 </values> 4.49/0.71 v </instantiation> 4.49/0.71
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14677 MiB free) memory of node 1: 16384 MiB (15693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398058-1568605540/watcher-4398058-1568605540 -o /tmp/evaluation-result-4398058-1568605540/solver-4398058-1568605540 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398058-1568605540.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 solver pid=15267, runsolver pid=15264 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100172 s]* /proc/loadavg: 1.41 1.69 4.10 2/192 15268 /proc/meminfo: memFree=31001304/32770624 swapFree=66952652/67108860 [pid=15267] ppid=15264 vsize=143584 memory=119848 CPUtime=0.1 cores=0-7 /proc/15267/stat : 15267 (cosoco) R 15264 15267 13237 0 -1 4202496 30166 0 0 0 7 3 0 0 20 0 1 0 436822860 147030016 29962 33554432000 4194304 6211092 140725342458240 140725342454360 139987937344485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 /proc/15267/statm: 35896 29962 824 493 0 29201 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 143584 KiB Current children cumulated memory: 119848 KiB [startup+0.209546 s]* /proc/loadavg: 1.41 1.69 4.10 6/200 15276 /proc/meminfo: memFree=30973956/32770624 swapFree=66952652/67108860 [pid=15267] ppid=15264 vsize=734628 memory=133544 CPUtime=0.91 cores=0-7 /proc/15267/stat : 15267 (cosoco) S 15264 15267 13237 0 -1 1077944320 33714 0 0 0 86 5 0 0 20 0 9 0 436822860 752259072 33386 33554432000 4194304 6211092 140725342458240 140725342456496 139987953385207 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 /proc/15267/statm: 183657 33386 868 493 0 176962 0 [pid=15267/tid=15269] ppid=15264 vsize=734628 memory=8316850467074736180 CPUtime=0.1 cores=0-7 /proc/15267/task/15269/stat : 15269 (cosoco) R 15264 15267 13237 0 -1 4202560 419 0 0 0 10 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987930242008 139987937344485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15270] ppid=15264 vsize=734628 memory=1947269 CPUtime=0.09 cores=0-7 /proc/15267/task/15270/stat : 15270 (cosoco) R 15264 15267 13237 0 -1 4202560 424 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987921849304 139987937344485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15271] ppid=15264 vsize=734628 memory=139716260181497 CPUtime=0.09 cores=0-7 /proc/15267/task/15271/stat : 15271 (cosoco) R 15264 15267 13237 0 -1 4202560 404 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987913456504 139987937340222 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15272] ppid=15264 vsize=734628 memory=-1 CPUtime=0.09 cores=0-7 /proc/15267/task/15272/stat : 15272 (cosoco) R 15264 15267 13237 0 -1 4202560 397 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987905063896 139987937344485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15273] ppid=15264 vsize=734628 memory=0 CPUtime=0.1 cores=0-7 /proc/15267/task/15273/stat : 15273 (cosoco) D 15264 15267 13237 0 -1 4202560 405 0 0 0 10 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987896671192 139987937820247 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15274] ppid=15264 vsize=734628 memory=0 CPUtime=0.09 cores=0-7 /proc/15267/task/15274/stat : 15274 (cosoco) R 15264 15267 13237 0 -1 4202560 397 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987888278488 139987937344485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15275] ppid=15264 vsize=734628 memory=-1 CPUtime=0.09 cores=0-7 /proc/15267/task/15275/stat : 15275 (cosoco) R 15264 15267 13237 0 -1 4202560 388 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987879885784 139987937344485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15276] ppid=15264 vsize=734628 memory=0 CPUtime=0.09 cores=0-7 /proc/15267/task/15276/stat : 15276 (cosoco) R 15264 15267 13237 0 -1 4202560 377 0 0 0 9 0 0 0 20 0 9 0 436822871 752259072 33386 33554432000 4194304 6211092 140725342458240 139987871493080 139987937340222 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 Current children cumulated CPU time: 0.91 s Current children cumulated vsize: 734628 KiB Current children cumulated memory: 133544 KiB [startup+0.311806 s]* /proc/loadavg: 1.41 1.69 4.10 9/200 15276 /proc/meminfo: memFree=30961556/32770624 swapFree=66952652/67108860 [pid=15267] ppid=15264 vsize=734628 memory=146480 CPUtime=1.68 cores=0-7 /proc/15267/stat : 15267 (cosoco) S 15264 15267 13237 0 -1 1077944320 36986 0 0 0 162 6 0 0 20 0 9 0 436822860 752259072 36620 33554432000 4194304 6211092 140725342458240 140725342456496 139987953385207 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 /proc/15267/statm: 183657 36620 868 493 0 176962 0 [pid=15267/tid=15269] ppid=15264 vsize=734628 memory=8317482817917895235 CPUtime=0.19 cores=0-7 /proc/15267/task/15269/stat : 15269 (cosoco) R 15264 15267 13237 0 -1 4202560 829 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987930242008 5017679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15270] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15270/stat : 15270 (cosoco) R 15264 15267 13237 0 -1 4202560 836 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987921849208 139987937344485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15271] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15271/stat : 15271 (cosoco) R 15264 15267 13237 0 -1 4202560 826 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987913456600 139987937344485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15272] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15272/stat : 15272 (cosoco) R 15264 15267 13237 0 -1 4202560 802 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987905063896 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15273] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15273/stat : 15273 (cosoco) R 15264 15267 13237 0 -1 4202560 827 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987896671192 139987937340222 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15274] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15274/stat : 15274 (cosoco) R 15264 15267 13237 0 -1 4202560 802 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987888278488 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15275] ppid=15264 vsize=734628 memory=0 CPUtime=0.19 cores=0-7 /proc/15267/task/15275/stat : 15275 (cosoco) R 15264 15267 13237 0 -1 4202560 802 0 0 0 19 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987879885688 139987937344485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 [pid=15267/tid=15276] ppid=15264 vsize=734628 memory=0 CPUtime=0.18 cores=0-7 /proc/15267/task/15276/stat : 15276 (cosoco) R 15264 15267 13237 0 -1 4202560 749 0 0 0 18 0 0 0 20 0 9 0 436822871 752259072 36620 33554432000 4194304 6211092 140725342458240 139987871493080 5017600 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 Current children cumulated CPU time: 1.68 s Current children cumulated vsize: 734628 KiB Current children cumulated memory: 146480 KiB [startup+0.700587 s] /proc/loadavg: 1.41 1.69 4.10 6/200 15276 /proc/meminfo: memFree=30830240/32770624 swapFree=66952652/67108860 [pid=15267] ppid=15264 vsize=742824 memory=222656 CPUtime=4.49 cores=0-7 /proc/15267/stat : 15267 (cosoco) S 15264 15267 13237 0 -1 1077944320 55775 0 0 0 438 11 0 0 20 0 2 0 436822860 760651776 55664 33554432000 4194304 6211092 140725342458240 140725342456496 139987953385207 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 /proc/15267/statm: 185706 55664 875 493 0 179011 0 [pid=15267/tid=15272] ppid=15264 vsize=742824 memory=2828 CPUtime=0.55 cores=0-7 /proc/15267/task/15272/stat : 15272 (cosoco) R 15264 15267 13237 0 -1 4202560 3220 0 0 0 54 1 0 0 20 0 2 0 436822871 760651776 55664 33554432000 4194304 6211092 140725342458240 139987905064144 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 Current children cumulated CPU time: 4.49 s Current children cumulated vsize: 742824 KiB Current children cumulated memory: 222656 KiB [startup+0.725427 s] # the end of solver process 15267 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.39106 s, system=0.131151 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.700587 s] /proc/loadavg: 1.41 1.69 4.10 6/200 15276 /proc/meminfo: memFree=30830240/32770624 swapFree=66952652/67108860 [pid=15267] ppid=15264 vsize=742824 memory=222656 CPUtime=4.49 cores=0-7 /proc/15267/stat : 15267 (cosoco) S 15264 15267 13237 0 -1 1077944320 55775 0 0 0 438 11 0 0 20 0 2 0 436822860 760651776 55664 33554432000 4194304 6211092 140725342458240 140725342456496 139987953385207 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 /proc/15267/statm: 185706 55664 875 493 0 179011 0 [pid=15267/tid=15272] ppid=15264 vsize=742824 memory=2828 CPUtime=0.55 cores=0-7 /proc/15267/task/15272/stat : 15272 (cosoco) R 15264 15267 13237 0 -1 4202560 3220 0 0 0 54 1 0 0 20 0 2 0 436822871 760651776 55664 33554432000 4194304 6211092 140725342458240 139987905064144 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28254208 140725342462993 140725342463085 140725342463085 140725342465998 0 Current children cumulated CPU time: 4.49 s Current children cumulated vsize: 742824 KiB Current children cumulated memory: 222656 KiB Child status: 0 Real time (s): 0.72549 CPU time (s): 4.52221 CPU user time (s): 4.39106 CPU system time (s): 0.131151 CPU usage (%): 623.332 Max. virtual memory (cumulated for all children) (KiB): 800196 Max. memory (cumulated for all children) (KiB): 274392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.39106 system time used= 0.131151 maximum resident set size= 274392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55792 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2327 involuntary context switches= 29 # summary of solver processes directly reported to runsolver: # pid: 15267 # total CPU time (s): 4.52221 # total CPU user time (s): 4.39106 # total CPU system time (s): 0.131151 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029674 second user time and 0.043269 second system time The end
Begin job on node127 at 2019-09-16 05:45:00 IDJOB=4398058 IDBENCH=131280 IDSOLVER=2851 FILE ID=node127/4398058-1568605540 RUNJOBID= node127-1568598290-13264 PBS_JOBID= 21703425 Free space on /tmp= 61312 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-B-08.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398058-1568605540/watcher-4398058-1568605540 -o /tmp/evaluation-result-4398058-1568605540/solver-4398058-1568605540 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398058-1568605540.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 47da5ea68f3d94e6d7990d40a1ef4aa5 RANDOM SEED=811597796 node127.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.55 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.55 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 31100884 kB MemAvailable: 31831428 kB Buffers: 45148 kB Cached: 971612 kB SwapCached: 51316 kB Active: 392588 kB Inactive: 678324 kB Active(anon): 12936 kB Inactive(anon): 90388 kB Active(file): 379652 kB Inactive(file): 587936 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66952652 kB Dirty: 3000 kB Writeback: 0 kB AnonPages: 114776 kB Mapped: 46112 kB Shmem: 40556 kB Slab: 187340 kB SReclaimable: 157584 kB SUnreclaim: 29756 kB KernelStack: 3568 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61308 MiB End job on node127 at 2019-09-16 05:45:01