Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 10.3769 | 1.38359 |
Name | Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r001-m600-08.xml |
MD5SUM | 8e810070148f78cd392ecc5d984ef703 |
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 | 8.69989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 817 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":240}] |
Minimum variable degree | 2 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":2,"count":3},{"degree":3,"count":18},{"degree":4,"count":26},{"degree":5,"count":33},{"degree":7,"count":51},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":15},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 240 |
Distribution of constraint arities | [{"arity":1,"count":160},{"arity":2,"count":656},{"arity":240,"count":1}] |
Number of extensional constraints | 816 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":816},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.36/0.13 c root propagations : 5704 0.36/0.13 c restarts enabled, print stats at every restarts 0.36/0.13 c 0.36/0.13 c 0.36/0.13 c 0.36/0.13 c This is cosoco 2.00 -- 0.36/0.13 c 0.36/0.13 c command line: cosoco -model -nbcores=8 HOME/instance-4409438-1569827805.xml 0.36/0.13 c ========================================[ Problem Statistics ]=========================================== 0.36/0.13 c | 0.36/0.13 c | Parse time : 0.05 s 0.36/0.13 c | 0.36/0.13 c | Variables: 240 0.36/0.13 c | Domain Sizes: 600..600 0.36/0.13 c | 0.36/0.13 c | Constraints: 817 0.36/0.13 c | Arity: 1..240 -- Unary: 160 -- Binary: 656 0.36/0.13 c | 0.36/0.13 c | Types: 0.36/0.13 c | All Different: 1 0.36/0.13 c | Extension: 656 (nb tuples: 7242..7242) -- (shared: 6456) 0.36/0.13 c | Unary: 160 0.36/0.13 c | 0.36/0.13 c ========================================================================================================= 0.36/0.13 c Parallel mode: Portfolio 0.36/0.14 c [pFactory][Group N°0] created (threads:8). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.36/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.36/0.14 c [pFactory][Group N°0] concurrent mode: enabled. 0.36/0.14 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.36/0.14 c [pFactory][Group N°0] task 7 launched on thread 0. 0.36/0.14 c [pFactory][Group N°0] task 6 launched on thread 1. 0.36/0.14 c [pFactory][Group N°0] task 5 launched on thread 6. 0.36/0.14 c [pFactory][Group N°0] task 4 launched on thread 2. 0.36/0.14 c [pFactory][Group N°0] task 3 launched on thread 7. 0.36/0.14 c [pFactory][Group N°0] task 2 launched on thread 4. 0.36/0.14 c [pFactory][Group N°0] task 1 launched on thread 3. 0.36/0.14 c [pFactory][Group N°0] task 0 launched on thread 5. 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c root propagations : 5704 0.36/0.14 c restarts enabled, print stats at every restarts 0.36/0.14 c 0.36/0.14 c 0.36/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.14 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 2 2040 5706 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 2 2040 5706 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c 0 1 2040 5705 160 0 0 0 0 0.36/0.15 c root propagations : 5704 0.36/0.15 c restarts enabled, print stats at every restarts 0.36/0.15 c 0.36/0.15 c 0.36/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.36/0.15 c 0 4 2860 11574 160 0 0 0 0 0.36/0.15 c 0 3 2882 19400 160 0 0 0 0 0.36/0.16 c 0 3 2913 27787 160 0 0 0 0 0.36/0.16 c 0 3 2894 32922 160 0 0 0 0 0.36/0.16 c 0 4 2936 27790 160 0 0 0 0 0.36/0.16 c 0 6 3702 17442 160 0 0 0 0 0.36/0.16 c 0 3 2982 46486 160 0 0 0 0 0.36/0.16 c 0 5 3468 33539 160 0 0 0 0 0.36/0.16 c 0 6 3809 49870 160 0 0 0 0 0.36/0.16 c 0 5 3770 60141 160 0 0 0 0 0.36/0.16 c 0 8 4521 23308 160 0 0 0 0 0.36/0.17 c 0 2 2936 47468 160 0 0 0 0 0.36/0.19 c 0 9 6217 95436 160 0 0 0 0 0.36/0.19 c 0 12 7112 84329 160 0 0 0 0 0.36/0.20 c 0 10 6231 95438 160 0 0 0 0 0.36/0.20 c 0 5 4758 96937 160 0 0 0 0 0.36/0.20 c 0 14 7945 90196 160 0 0 0 0 0.36/0.20 c 0 12 7074 109131 160 0 0 0 0 1.21/0.22 c 0 14 7637 123268 160 0 0 0 0 1.21/0.22 c 0 15 7649 123270 160 0 0 0 0 1.21/0.22 c 0 17 9454 111986 160 0 0 0 0 1.21/0.22 c 0 17 8212 137407 160 0 0 0 0 1.21/0.25 c 0 19 10285 117853 160 0 0 0 0 1.21/0.25 c 0 7 5645 138700 160 0 0 0 0 1.21/0.25 c 0 19 9052 151100 160 0 0 0 0 1.21/0.25 c 0 21 11108 123720 161 0 0 0 0 1.21/0.25 c 0 21 9619 165238 161 0 0 0 0 1.21/0.25 c 0 23 11927 129586 161 0 0 0 0 1.21/0.25 c 0 9 6535 160807 161 0 0 0 0 1.21/0.25 c 0 25 12758 135454 161 0 0 0 0 1.21/0.25 c 0 23 10470 178933 161 0 0 0 0 1.21/0.26 c 0 26 11945 215258 161 0 0 0 0 1.21/0.27 c 0 29 15054 170540 161 0 0 0 0 1.21/0.27 c 0 28 12797 228952 161 0 0 0 0 1.21/0.28 c 32 48 18257 339637 160 0 2 6 2 1.21/0.28 c 0 33 17656 231558 161 0 0 0 0 1.21/0.30 c 0 37 19977 266645 161 0 0 0 0 1.21/0.32 c 33 53 21679 414951 161 0 5 5 2 1.21/0.33 c 0 41 22578 327678 161 0 0 0 0 1.21/0.34 c 0 45 24894 362762 161 0 0 0 0 2.27/0.35 c 0 47 25725 368629 161 0 0 0 0 2.27/0.36 c 0 50 27081 382428 161 0 0 0 0 2.27/0.36 c 0 51 27085 382430 161 0 0 0 0 2.27/0.38 c 0 55 29676 443473 161 0 0 0 0 2.80/0.50 c 32 58 40007 673527 161 0 1 4 3 3.59/0.52 c 33 60 42027 734428 161 0 2 2 1 3.59/0.53 c 32 55 34958 919129 161 0 2 4 2 3.59/0.54 c 33 56 34995 927692 161 0 1 1 0 4.32/0.62 c 64 97 51054 1052739 161 0 1 3 2 4.32/0.64 c 65 99 52120 1110580 161 0 2 2 1 4.32/0.66 c 66 101 53014 1164706 161 0 2 2 1 4.32/0.66 c 67 102 53056 1170503 161 0 1 1 0 4.32/0.67 c 32 97 62185 923010 161 0 4 5 4 4.32/0.67 c 33 98 62311 935378 161 0 1 1 0 4.32/0.69 c 101 159 77410 1251156 160 0 1 6 4 5.84/0.80 c 101 143 59743 1246034 161 0 1 5 2 5.84/0.81 c 64 103 64127 1296705 161 0 1 2 1 5.84/0.83 c 65 105 65260 1357514 161 0 2 2 1 5.84/0.83 c 64 98 59544 1612458 161 0 1 2 1 5.84/0.84 c 66 107 66507 1398700 161 0 2 2 1 5.84/0.86 c 65 100 60711 1675930 161 0 2 2 1 5.84/0.86 c 67 109 67727 1417269 161 0 2 2 1 5.84/0.87 c 66 102 61879 1728151 161 0 2 2 1 5.84/0.89 c 67 104 63571 1784026 161 0 2 2 1 6.64/0.92 c 64 143 87534 1484482 161 0 1 4 2 6.64/0.94 c 65 145 88490 1528749 161 0 2 2 1 6.64/0.95 c 66 146 88549 1531853 161 0 1 1 0 6.64/0.96 c 67 148 90054 1571957 161 0 2 2 1 6.64/0.98 c 101 184 89668 1350254 161 0 2 6 4 8.29/1.16 c 101 144 76573 2048069 161 0 1 3 2 8.29/1.17 c 128 185 92220 2472555 161 0 1 3 1 8.29/1.18 c 129 186 92282 2480446 161 0 1 1 0 8.29/1.19 c 130 188 93599 2530494 161 0 2 2 1 9.03/1.20 c 131 189 93675 2537966 161 0 1 1 0 9.03/1.21 c 132 191 95397 2592922 161 0 2 2 1 9.03/1.23 c 133 193 96389 2642728 161 0 2 2 1 9.03/1.25 c 134 195 98081 2692953 161 0 2 2 1 9.03/1.27 c 135 197 99291 2741220 161 0 2 2 1 9.83/1.36 c First solution is found 9.83/1.37 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 9.83/1.37 c [pFactory][Group N°0] Thread N°0 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°1 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°2 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°3 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°4 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°5 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°6 is joined. 9.83/1.37 c [pFactory][Group N°0] Thread N°7 is joined. 9.83/1.37 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 9.83/1.37 s SATISFIABLE 9.83/1.37 c restarts : 8 9.83/1.37 c conflicts : 125 (12 /sec) 9.83/1.37 c decisions : 187 (18 /sec) 9.83/1.37 c propagations : 2448719 (237739 /sec) 9.83/1.37 c root propagations : 5704 9.83/1.37 c filter calls : 112681 (10940 /sec) 9.83/1.37 c useless filter calls : 78335 (69 %) 9.83/1.37 c Memory used : 616.57 MB 9.83/1.37 c CPU time : 10.2999 s 9.83/1.37 c real time : 1.37411 s 9.83/1.37 9.83/1.37 c solution 1 9.83/1.37 9.83/1.37 v <instantiation type='solution'> 9.83/1.37 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] </list> 9.83/1.37 v <values>423 141 147 588 172 233 249 91 390 27 558 382 455 539 519 197 434 414 593 179 591 9 33 0 184 55 222 113 385 532 551 413 240 439 306 286 69 250 501 112 525 227 23 494 92 403 526 107 28 499 41 122 259 74 340 89 377 402 255 521 356 194 42 290 235 106 77 393 549 217 126 101 111 31 469 400 100 130 280 552 321 325 524 125 473 274 449 395 562 124 212 19 375 577 93 34 6 548 46 213 305 318 202 420 537 167 270 560 262 550 45 264 332 88 230 283 463 73 133 354 333 485 361 478 594 520 302 563 177 533 468 296 546 349 56 510 596 317 583 481 433 504 470 246 540 36 18 304 534 530 536 364 376 326 374 83 52 292 486 346 339 195 90 479 427 173 465 271 373 487 480 64 587 288 8 351 399 225 53 459 475 170 50 2 193 152 527 556 47 371 531 362 191 151 78 178 281 564 575 372 87 62 188 576 98 186 348 412 491 297 138 324 541 506 553 419 142 257 384 309 231 502 301 131 127 574 25 571 245 117 22 350 513 95 416 338 267 366 71 561 </values> 9.83/1.37 v </instantiation> 9.83/1.37
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 (15440 MiB free) memory of node 1: 16384 MiB (15677 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409438-1569827805/watcher-4409438-1569827805 -o /tmp/evaluation-result-4409438-1569827805/solver-4409438-1569827805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409438-1569827805.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16359, runsolver pid=16356 Current StackSize limit: 8192 KiB [startup+0.100359 s]* /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31816988/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=664152 memory=50716 CPUtime=0.36 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 13103 0 0 0 35 1 0 0 20 0 9 0 559052820 680091648 12679 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 166038 12679 836 493 0 159343 0 [pid=16359/tid=16361] ppid=16356 vsize=664152 memory=-7318199385721108672 CPUtime=0.03 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969899126368 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=664152 memory=732370646968220645 CPUtime=0.03 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969890733664 5017679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=664152 memory=140508630767232 CPUtime=0.02 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969882340616 5017690 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=664152 memory=0 CPUtime=0.03 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969873948256 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=664152 memory=0 CPUtime=0.03 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969865555208 5017664 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=664152 memory=0 CPUtime=0.03 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969857162848 5017617 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=664152 memory=-1 CPUtime=0.03 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969848770144 5017476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=664152 memory=0 CPUtime=0.03 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 559052827 680091648 12679 33554432000 4194304 6211132 140736945608608 139969840377440 5017617 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 0.36 s Current children cumulated vsize: 664152 KiB Current children cumulated memory: 50716 KiB [startup+0.210357 s]* /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811976/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58600 CPUtime=1.21 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 15053 0 0 0 120 1 0 0 20 0 9 0 559052820 684318720 14650 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14650 846 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=281017025822960 CPUtime=0.14 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 270 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969899125968 5017186 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=281017143678712 CPUtime=0.14 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 269 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969890733152 5017373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=140508630767232 CPUtime=0.12 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 260 0 0 0 12 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969882340448 5017679 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=0 CPUtime=0.14 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969873947464 5081379 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=0 CPUtime=0.14 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969865555152 5081337 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=0 CPUtime=0.14 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969857162336 5017472 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=-1 CPUtime=0.14 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969848769632 5017664 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=0 CPUtime=0.14 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 14 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969840376648 5017569 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 1.21 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58600 KiB [startup+0.342359 s]* /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811696/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58600 CPUtime=2.27 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 15053 0 0 0 225 2 0 0 20 0 9 0 559052820 684318720 14650 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14650 846 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=0 CPUtime=0.28 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 270 0 0 0 28 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969899125968 5393095 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=3472468787678578352 CPUtime=0.27 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 269 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969890733152 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=140508630767232 CPUtime=0.25 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 260 0 0 0 25 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969882340448 5017476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=0 CPUtime=0.27 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969873947464 5389855 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=0 CPUtime=0.27 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969865555040 5017617 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=0 CPUtime=0.27 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969857162336 5017664 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=0 CPUtime=0.27 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969848769632 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=0 CPUtime=0.27 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 27 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969840376648 5389840 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 2.27 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58600 KiB [startup+0.701362 s] /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811176/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58600 CPUtime=5.04 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 15053 0 0 0 502 2 0 0 20 0 9 0 559052820 684318720 14650 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14650 846 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=140512925734527 CPUtime=0.63 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 270 0 0 0 63 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969899125856 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=10540 CPUtime=0.62 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 269 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969890733152 5017440 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=988 CPUtime=0.57 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 260 0 0 0 57 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969882340448 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=0 CPUtime=0.62 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969873947744 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=0 CPUtime=0.62 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969865555040 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=0 CPUtime=0.62 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969857162336 5017679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=0 CPUtime=0.62 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969848769632 5082478 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=2832 CPUtime=0.62 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 62 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969840376928 5079027 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 5.04 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58600 KiB [startup+1.38353 s] # the end of solver process 16359 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.3 s, system=0.076922 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801361 s] /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811176/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58600 CPUtime=5.84 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 15053 0 0 0 582 2 0 0 20 0 9 0 559052820 684318720 14650 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14650 846 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=1060 CPUtime=0.73 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 270 0 0 0 73 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969899125856 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=1592 CPUtime=0.72 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 269 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969890733152 5017600 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=1060 CPUtime=0.67 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 260 0 0 0 67 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969882340448 5017462 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=3592 CPUtime=0.72 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969873947744 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=0 CPUtime=0.72 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969865555040 5017491 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=140508512929898 CPUtime=0.72 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 265 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969857162336 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=0 CPUtime=0.72 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969848769632 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=0 CPUtime=0.72 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 264 0 0 0 72 0 0 0 20 0 9 0 559052827 684318720 14650 33554432000 4194304 6211132 140736945608608 139969840376928 5017472 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 5.84 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58600 KiB [startup+1.20136 s] /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811176/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58940 CPUtime=9.03 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 27264 0 0 0 896 7 0 0 20 0 9 0 559052820 684318720 14735 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14735 848 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=0 CPUtime=1.12 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 1445 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969899125856 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=0 CPUtime=1.12 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 2163 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969890733152 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=19876 CPUtime=1.06 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 1742 0 0 0 105 1 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969882340448 5017373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=0 CPUtime=1.12 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 1931 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969873947744 5078728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=7020452021399643305 CPUtime=1.12 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 2137 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969865555040 5079432 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=5787495302175155264 CPUtime=1.12 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 1818 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969857162336 5017600 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=4640770713788629089 CPUtime=1.12 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 1600 0 0 0 112 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969848769632 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=8470556299110360193 CPUtime=1.12 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 1496 0 0 0 111 1 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969840376928 5079063 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 9.03 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58940 KiB [startup+1.30136 s] /proc/loadavg: 1.48 3.08 5.50 9/197 16368 /proc/meminfo: memFree=31811176/32770624 swapFree=66904512/67108860 [pid=16359] ppid=16356 vsize=668280 memory=58940 CPUtime=9.83 cores=0-7 /proc/16359/stat : 16359 (cosoco) S 16356 16359 14059 0 -1 1077944320 27316 0 0 0 976 7 0 0 20 0 9 0 559052820 684318720 14735 33554432000 4194304 6211132 140736945608608 140736945606864 139969922268919 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 /proc/16359/statm: 167070 14735 848 493 0 160375 0 [pid=16359/tid=16361] ppid=16356 vsize=668280 memory=58600 CPUtime=1.22 cores=0-7 /proc/16359/task/16361/stat : 16361 (cosoco) R 16356 16359 14059 0 -1 4202560 1445 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969899125856 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16362] ppid=16356 vsize=668280 memory=10540 CPUtime=1.22 cores=0-7 /proc/16359/task/16362/stat : 16362 (cosoco) R 16356 16359 14059 0 -1 4202560 2164 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969890733152 5390068 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16363] ppid=16356 vsize=668280 memory=988 CPUtime=1.16 cores=0-7 /proc/16359/task/16363/stat : 16363 (cosoco) R 16356 16359 14059 0 -1 4202560 1742 0 0 0 115 1 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969882340448 5017569 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16364] ppid=16356 vsize=668280 memory=288230574492221466 CPUtime=1.22 cores=0-7 /proc/16359/task/16364/stat : 16364 (cosoco) R 16356 16359 14059 0 -1 4202560 1933 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969873947744 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16365] ppid=16356 vsize=668280 memory=288230596050944315 CPUtime=1.22 cores=0-7 /proc/16359/task/16365/stat : 16365 (cosoco) R 16356 16359 14059 0 -1 4202560 2137 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969865555040 5017664 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16366] ppid=16356 vsize=668280 memory=13571487609129518 CPUtime=1.22 cores=0-7 /proc/16359/task/16366/stat : 16366 (cosoco) R 16356 16359 14059 0 -1 4202560 1818 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969857162336 5079027 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16367] ppid=16356 vsize=668280 memory=0 CPUtime=1.22 cores=0-7 /proc/16359/task/16367/stat : 16367 (cosoco) R 16356 16359 14059 0 -1 4202560 1645 0 0 0 122 0 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969848769632 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 [pid=16359/tid=16368] ppid=16356 vsize=668280 memory=0 CPUtime=1.22 cores=0-7 /proc/16359/task/16368/stat : 16368 (cosoco) R 16356 16359 14059 0 -1 4202560 1500 0 0 0 121 1 0 0 20 0 9 0 559052827 684318720 14735 33554432000 4194304 6211132 140736945608608 139969840376928 5017679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13557760 140736945611793 140736945611885 140736945611885 140736945614798 0 Current children cumulated CPU time: 9.83 s Current children cumulated vsize: 668280 KiB Current children cumulated memory: 58940 KiB Child status: 0 Real time (s): 1.38359 CPU time (s): 10.3769 CPU user time (s): 10.3 CPU system time (s): 0.076922 CPU usage (%): 750.002 Max. virtual memory (cumulated for all children) (KiB): 668280 Max. memory (cumulated for all children) (KiB): 58940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3 system time used= 0.076922 maximum resident set size= 58940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27406 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= 217 involuntary context switches= 146 # summary of solver processes directly reported to runsolver: # pid: 16359 # total CPU time (s): 10.3769 # total CPU user time (s): 10.3 # total CPU system time (s): 0.076922 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.028781 second user time and 0.058511 second system time The end
Begin job on node139 at 2019-09-30 09:19:14 IDJOB=4409438 IDBENCH=131667 IDSOLVER=2877 FILE ID=node139/4409438-1569827805 RUNJOBID= node139-1569817401-14086 PBS_JOBID= 21705915 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r001-m600-08.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409438-1569827805/watcher-4409438-1569827805 -o /tmp/evaluation-result-4409438-1569827805/solver-4409438-1569827805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409438-1569827805.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703 RANDOM SEED=1491384086 node139.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.57 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.57 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.57 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.57 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: 31865520 kB MemAvailable: 31844316 kB Buffers: 62712 kB Cached: 222804 kB SwapCached: 75780 kB Active: 96336 kB Inactive: 266960 kB Active(anon): 12140 kB Inactive(anon): 108208 kB Active(file): 84196 kB Inactive(file): 158752 kB Unevictable: 109076 kB Mlocked: 109076 kB SwapTotal: 67108860 kB SwapFree: 66904512 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 123844 kB Mapped: 24036 kB Shmem: 33856 kB Slab: 133152 kB SReclaimable: 103368 kB SUnreclaim: 29784 kB KernelStack: 3680 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 529772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62028 MiB End job on node139 at 2019-09-30 09:19:15