Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 310 | 15.5787 | 1.98965 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml |
MD5SUM | 54271acf01ec811f7f01e8acfeb7516d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 310 |
Best CPU time to get the best result obtained on this benchmark | 14.4427 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 329 |
Number of constraints | 321 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":10},{"size":25,"count":30},{"size":26,"count":289}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":320},{"degree":33,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":288},{"arity":9,"count":1},{"arity":10,"count":32}] |
Number of extensional constraints | 288 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":288},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4398581-1568610159.xml 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.03 s 0.00/0.04 c | 0.00/0.04 c | Variables: 329 0.00/0.04 c | Domain Sizes: 23..26 0.00/0.04 c | 0.00/0.04 c | Constraints: 329 0.00/0.04 c | Arity: 2..32 -- Binary: 296 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | (X - Y < k): 8 0.00/0.04 c | Extension: 288 (nb tuples: 26..26) -- (shared: 2096) 0.00/0.04 c | Minimum Variable: 32 0.00/0.04 c | Sum: 1 0.00/0.04 c | 0.00/0.04 c | Objective: Minimize Sum 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 c Parallel mode: Portfolio 0.00/0.04 c [pFactory][Group N°0] created (threads:8). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] task 7 launched on thread 3. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 2 launched on thread 7. 0.00/0.04 c [pFactory][Group N°0] task 1 launched on thread 4. 0.00/0.04 c [pFactory][Group N°0] task 0 launched on thread 5. 0.00/0.04 o 2378 0.00/0.04 o 415 0.60/0.13 o 412 0.60/0.14 o 409 0.60/0.20 o 403 0.60/0.21 o 402 1.47/0.26 o 400 1.47/0.29 o 383 1.47/0.31 o 370 4.57/0.64 o 368 4.57/0.67 o 361 6.10/0.83 o 356 6.10/0.86 o 353 6.10/0.89 o 346 6.90/0.93 o 335 6.90/0.95 o 332 6.90/0.99 o 324 8.55/1.14 o 321 8.55/1.19 o 310 14.88/1.98 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4. 14.88/1.98 c [pFactory][Group N°0] Thread N°0 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°1 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°2 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°3 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°4 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°5 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°6 is joined. 14.88/1.98 c [pFactory][Group N°0] Thread N°7 is joined. 14.88/1.98 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 14.88/1.98 s OPTIMUM FOUND 14.88/1.98 c call to solver : 22 14.88/1.98 c 14.88/1.98 c restarts : 786 14.88/1.98 c conflicts : 2583 (166 /sec) 14.88/1.98 c decisions : 35582 (2287 /sec) 14.88/1.98 c propagations : 2897484 (186230 /sec) 14.88/1.98 c root propagations : 2606 14.88/1.98 c filter calls : 1439045 (92492 /sec) 14.88/1.98 c useless filter calls : 565659 (39 %) 14.88/1.98 c Memory used : 581.17 MB 14.88/1.98 c Best bound time (wc) : 1.18767 s 14.88/1.98 c CPU time : 15.5586 s 14.88/1.98 c real time : 1.9837 s 14.88/1.98 14.88/1.98 14.88/1.98 v <instantiation type='solution' cost='310'> 14.88/1.98 v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] </list> 14.88/1.98 v <values>0 0 2 0 50 18 0 0 9 5 0 12 0 0 0 29 0 0 0 0 0 11 15 36 34 15 8 14 22 4 23 3 114 75 42 0 72 330 375 469 524 72 33 0 42 114 372 417 511 566 2 37 70 112 184 442 487 581 636 0 39 72 114 186 444 489 583 638 688 649 616 574 502 244 199 105 50 18 21 54 96 168 426 471 565 620 489 450 417 375 303 45 0 94 149 489 450 417 375 303 45 0 94 149 81 42 9 33 105 363 408 502 557 44 5 28 70 142 400 445 539 594 638 599 566 524 452 194 149 55 0 27 12 45 87 159 417 462 556 611 638 599 566 524 452 194 149 55 0 444 405 372 330 258 0 45 139 194 444 405 372 330 258 0 45 139 194 215 176 143 101 29 229 274 368 423 39 0 33 75 147 405 450 544 599 39 0 33 75 147 405 450 544 599 583 544 511 469 397 139 94 0 55 583 544 511 469 397 139 94 0 55 186 147 114 72 0 258 303 397 452 11 50 83 125 197 455 500 594 649 99 60 27 15 87 345 390 484 539 525 486 453 411 339 81 36 58 113 523 484 451 409 337 79 34 60 115 99 60 27 15 87 345 390 484 539 64 25 8 50 122 380 425 519 574 58 19 14 56 128 386 431 525 580 164 125 92 50 22 280 325 419 474 35 4 37 79 151 409 454 548 603 137 98 65 23 49 307 352 446 501 75 36 3 39 111 369 414 508 563 23 62 95 137 209 467 512 606 661 </values> 14.88/1.98 v </instantiation> 14.88/1.98
OK 310
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 (15401 MiB free) memory of node 1: 16384 MiB (15829 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398581-1568610159/watcher-4398581-1568610159 -o /tmp/evaluation-result-4398581-1568610159/solver-4398581-1568610159 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568598281-5777 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398581-1568610159.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=8745, runsolver pid=8742 [startup+0.100208 s]* /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31967188/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=18060 CPUtime=0.6 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 5371 0 0 0 59 1 0 0 20 0 9 0 437278498 642965504 4515 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 4515 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=8317482817917895235 CPUtime=0.07 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 168 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140416041806440 5125793 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=4342489072520795238 CPUtime=0.07 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 188 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140416033414160 5126655 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=140494101321344 CPUtime=0.07 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 189 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140416025021032 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=0 CPUtime=0.06 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 178 0 0 0 6 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140416016628864 5409431 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=0 CPUtime=0.07 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 170 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140416008236048 5250301 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=0.07 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 187 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140415999842840 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=-1 CPUtime=0.07 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 209 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140415991450640 5126560 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=0 CPUtime=0.07 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 204 0 0 0 7 0 0 0 20 0 9 0 437278502 642965504 4515 33554432000 4194304 6211092 140731214685456 140415983058248 5396400 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 18060 KiB [startup+0.210206 s]* /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31966816/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=18840 CPUtime=1.47 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 5527 0 0 0 146 1 0 0 20 0 9 0 437278498 642965504 4710 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 4710 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=8316850467074736180 CPUtime=0.18 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 199 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140416041806520 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=2996192 CPUtime=0.18 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 205 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140416033414160 5250465 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=140494101329642 CPUtime=0.18 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 204 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140416025021112 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=-1 CPUtime=0.16 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 192 0 0 0 16 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140416016628408 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=0 CPUtime=0.18 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 193 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140416008235704 5193744 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=0.18 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 204 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140415999843344 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=-1 CPUtime=0.18 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 236 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140415991450896 5393063 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=0 CPUtime=0.18 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 216 0 0 0 18 0 0 0 20 0 9 0 437278502 642965504 4710 33554432000 4194304 6211092 140731214685456 140415983058248 5250284 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 18840 KiB [startup+0.310206 s]* /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31965972/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=19880 CPUtime=2.26 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 5632 0 0 0 225 1 0 0 20 0 9 0 437278498 642965504 4970 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 4970 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=8317482817917895235 CPUtime=0.28 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 213 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416041806520 5158051 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=4126316290023845779 CPUtime=0.28 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 224 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416033414416 5393428 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=0 CPUtime=0.28 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 222 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416025021112 5250279 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=6944656592455359580 CPUtime=0.25 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 211 0 0 0 25 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416016629008 5125779 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=6656426216303648864 CPUtime=0.28 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 193 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416008235704 5125793 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=0.28 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 204 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415999843344 5250450 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=0 CPUtime=0.28 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 258 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415991450896 5393063 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=0 CPUtime=0.28 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 229 0 0 0 28 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415983058248 5250284 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 2.26 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 19880 KiB [startup+0.706205 s] /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31965600/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=19880 CPUtime=5.34 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 5632 0 0 0 533 1 0 0 20 0 9 0 437278498 642965504 4970 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 4970 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=-7035114785800479027 CPUtime=0.67 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 213 0 0 0 67 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416041806520 5250301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=1764 CPUtime=0.66 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 224 0 0 0 66 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416033414272 5409424 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=111632 CPUtime=0.66 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 222 0 0 0 66 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416025021112 5125793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=804 CPUtime=0.61 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 211 0 0 0 61 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416016629008 5193754 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=1648 CPUtime=0.66 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 193 0 0 0 66 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140416008236048 5390130 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=908 CPUtime=0.66 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 204 0 0 0 66 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415999843344 5250458 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=7100839861465685612 CPUtime=0.66 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 258 0 0 0 66 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415991450896 5017373 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=3054156605268465310 CPUtime=0.67 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 229 0 0 0 67 0 0 0 20 0 9 0 437278502 642965504 4970 33554432000 4194304 6211092 140731214685456 140415983057592 5393434 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 5.34 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 19880 KiB [startup+1.50121 s] /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31966844/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=20428 CPUtime=11.68 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 9602 0 0 0 1167 1 0 0 20 0 9 0 437278498 642965504 5107 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 5107 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=6433861010613 CPUtime=1.46 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 523 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416041806440 5126560 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=288230617509003574 CPUtime=1.46 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 749 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416033414416 5397368 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=0 CPUtime=1.46 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 606 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416025021112 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=0 CPUtime=1.4 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 788 0 0 0 140 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416016629008 5008918 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=0 CPUtime=1.45 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 599 0 0 0 145 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416008235624 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=1.46 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 785 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415999843344 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=-7241597079701628969 CPUtime=1.46 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 1126 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415991450896 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=0 CPUtime=1.46 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 549 0 0 0 146 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415983057592 140416048909285 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 11.68 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 20428 KiB [startup+1.98961 s] # the end of solver process 8745 was just reported to runsolver # cumulated CPU time of all completed processes: user=15.5587 s, system=0.019993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.6012 s] /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31966844/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=20428 CPUtime=12.48 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 9603 0 0 0 1247 1 0 0 20 0 9 0 437278498 642965504 5107 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 5107 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=280987900575984 CPUtime=1.56 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 523 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416041806440 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=280987900575984 CPUtime=1.56 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 749 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416033414416 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=280987900575984 CPUtime=1.56 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 606 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416025021112 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=280987900575984 CPUtime=1.5 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 788 0 0 0 150 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416016629008 5250275 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=280987900575984 CPUtime=1.55 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 599 0 0 0 155 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140416008235624 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=8243122710528917583 CPUtime=1.56 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 785 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415999843344 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=280987901056032 CPUtime=1.56 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 1126 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415991450896 5392960 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=140493950413232 CPUtime=1.56 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 549 0 0 0 156 0 0 0 20 0 9 0 437278502 642965504 5107 33554432000 4194304 6211092 140731214685456 140415983057592 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 12.48 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 20428 KiB [startup+1.8012 s] /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31966844/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=20440 CPUtime=14.08 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 9642 0 0 0 1407 1 0 0 20 0 9 0 437278498 642965504 5110 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 5110 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=0 CPUtime=1.76 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 529 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416041806440 5396407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=0 CPUtime=1.76 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 749 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416033414416 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=0 CPUtime=1.76 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 615 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416025021112 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=0 CPUtime=1.69 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 796 0 0 0 169 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416016628408 5193754 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=0 CPUtime=1.75 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 603 0 0 0 175 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416008235704 5393441 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=1.76 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 792 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415999843360 5250293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=3560 CPUtime=1.76 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 1128 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415991450896 5126118 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=27876 CPUtime=1.76 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 552 0 0 0 176 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415983057592 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 14.08 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 20440 KiB [startup+1.9012 s] /proc/loadavg: 7.37 8.13 8.39 9/202 8754 /proc/meminfo: memFree=31966844/32770624 swapFree=66974136/67108860 [pid=8745] ppid=8742 vsize=627896 memory=20440 CPUtime=14.88 cores=0-7 /proc/8745/stat : 8745 (cosoco) S 8742 8745 5749 0 -1 1077944320 9642 0 0 0 1487 1 0 0 20 0 9 0 437278498 642965504 5110 33554432000 4194304 6211092 140731214685456 140731214683712 140416064950007 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 /proc/8745/statm: 156974 5110 873 493 0 150279 0 [pid=8745/tid=8747] ppid=8742 vsize=627896 memory=6433861010613 CPUtime=1.86 cores=0-7 /proc/8745/task/8747/stat : 8747 (cosoco) R 8742 8745 5749 0 -1 4202560 529 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416041806440 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8748] ppid=8742 vsize=627896 memory=288230617509003574 CPUtime=1.86 cores=0-7 /proc/8745/task/8748/stat : 8748 (cosoco) R 8742 8745 5749 0 -1 4202560 749 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416033414416 5193744 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8749] ppid=8742 vsize=627896 memory=140494101321344 CPUtime=1.86 cores=0-7 /proc/8745/task/8749/stat : 8749 (cosoco) R 8742 8745 5749 0 -1 4202560 615 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416025021112 5392960 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8750] ppid=8742 vsize=627896 memory=0 CPUtime=1.79 cores=0-7 /proc/8745/task/8750/stat : 8750 (cosoco) R 8742 8745 5749 0 -1 4202560 796 0 0 0 179 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416016628408 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8751] ppid=8742 vsize=627896 memory=0 CPUtime=1.85 cores=0-7 /proc/8745/task/8751/stat : 8751 (cosoco) R 8742 8745 5749 0 -1 4202560 603 0 0 0 185 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140416008235704 5008994 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8752] ppid=8742 vsize=627896 memory=0 CPUtime=1.86 cores=0-7 /proc/8745/task/8752/stat : 8752 (cosoco) R 8742 8745 5749 0 -1 4202560 792 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415999843360 5392985 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8753] ppid=8742 vsize=627896 memory=0 CPUtime=1.86 cores=0-7 /proc/8745/task/8753/stat : 8753 (cosoco) R 8742 8745 5749 0 -1 4202560 1128 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415991450896 5390145 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 [pid=8745/tid=8754] ppid=8742 vsize=627896 memory=0 CPUtime=1.86 cores=0-7 /proc/8745/task/8754/stat : 8754 (cosoco) R 8742 8745 5749 0 -1 4202560 552 0 0 0 186 0 0 0 20 0 9 0 437278502 642965504 5110 33554432000 4194304 6211092 140731214685456 140415983057592 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 18087936 140731214693398 140731214693490 140731214693490 140731214696398 0 Current children cumulated CPU time: 14.88 s Current children cumulated vsize: 627896 KiB Current children cumulated memory: 20440 KiB Child status: 0 Real time (s): 1.98965 CPU time (s): 15.5787 CPU user time (s): 15.5587 CPU system time (s): 0.019993 CPU usage (%): 782.986 Max. virtual memory (cumulated for all children) (KiB): 627896 Max. memory (cumulated for all children) (KiB): 20440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.5587 system time used= 0.019993 maximum resident set size= 20872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9746 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= 252 involuntary context switches= 175 # summary of solver processes directly reported to runsolver: # pid: 8745 # total CPU time (s): 15.5787 # total CPU user time (s): 15.5587 # total CPU system time (s): 0.019993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036226 second user time and 0.049373 second system time The end
Begin job on node121 at 2019-09-16 07:01:56 IDJOB=4398581 IDBENCH=138337 IDSOLVER=2852 FILE ID=node121/4398581-1568610159 RUNJOBID= node121-1568598281-5777 PBS_JOBID= 21703423 Free space on /tmp= 61408 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff76.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398581-1568610159/watcher-4398581-1568610159 -o /tmp/evaluation-result-4398581-1568610159/solver-4398581-1568610159 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568598281-5777 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398581-1568610159.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54271acf01ec811f7f01e8acfeb7516d RANDOM SEED=1362145257 node121.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.75 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.75 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.75 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.75 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: 31981852 kB MemAvailable: 31932672 kB Buffers: 12432 kB Cached: 227672 kB SwapCached: 9052 kB Active: 47312 kB Inactive: 204024 kB Active(anon): 2896 kB Inactive(anon): 38732 kB Active(file): 44416 kB Inactive(file): 165292 kB Unevictable: 109604 kB Mlocked: 109604 kB SwapTotal: 67108860 kB SwapFree: 66974136 kB Dirty: 3024 kB Writeback: 0 kB AnonPages: 151524 kB Mapped: 37452 kB Shmem: 21780 kB Slab: 127472 kB SReclaimable: 98348 kB SUnreclaim: 29124 kB KernelStack: 3872 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 106496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61404 MiB End job on node121 at 2019-09-16 07:01:58