Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.03 | 2400.31 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-10-m021.xml |
MD5SUM | bb8f18d9394a9daa2d276ef3f55d21f6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 361 |
Number of constraints | 64 |
Number of domains | 1 |
Minimum domain size | 271 |
Maximum domain size | 271 |
Distribution of domain sizes | [{"size":271,"count":271}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":90},{"degree":4,"count":265},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 271 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":3},{"arity":271,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":57}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c intension x[0][0]<x[0][9] using generic constraint 0.00/0.01 c intension x[0][0]<x[9][18] using generic constraint 0.00/0.01 c intension x[0][0]<x[18][9] using generic constraint 0.00/0.01 c intension x[0][0]<x[18][0] using generic constraint 0.00/0.01 c intension x[0][0]<x[9][0] using generic constraint 0.00/0.01 c intension x[0][9]<x[9][0] using generic constraint 0.00/0.01 c root propagations : 9 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.0 -- 0.00/0.01 c 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 361 0.00/0.01 c | Domain Sizes: 271..271 0.00/0.01 c | 0.00/0.01 c | Constraints: 64 0.00/0.01 c | Arity: 2..271 -- Binary: 6 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 6 0.00/0.01 c | All Different: 1 0.00/0.01 c | Sum: 57 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[0][10] 0.00/0.01 c remove useless variable x[0][11] 0.00/0.01 c remove useless variable x[0][12] 0.00/0.01 c remove useless variable x[0][13] 0.00/0.01 c remove useless variable x[0][14] 0.00/0.01 c remove useless variable x[0][15] 0.00/0.01 c remove useless variable x[0][16] 0.00/0.01 c remove useless variable x[0][17] 0.00/0.01 c remove useless variable x[0][18] 0.00/0.01 c remove useless variable x[1][11] 0.00/0.01 c remove useless variable x[1][12] 0.00/0.01 c remove useless variable x[1][13] 0.00/0.01 c remove useless variable x[1][14] 0.00/0.01 c remove useless variable x[1][15] 0.00/0.01 c remove useless variable x[1][16] 0.00/0.01 c remove useless variable x[1][17] 0.00/0.01 c remove useless variable x[1][18] 0.00/0.01 c remove useless variable x[2][12] 0.00/0.01 c remove useless variable x[2][13] 0.00/0.01 c remove useless variable x[2][14] 0.00/0.01 c remove useless variable x[2][15] 0.00/0.01 c remove useless variable x[2][16] 0.00/0.01 c remove useless variable x[2][17] 0.00/0.01 c remove useless variable x[2][18] 0.00/0.01 c remove useless variable x[3][13] 0.00/0.01 c remove useless variable x[3][14] 0.00/0.01 c remove useless variable x[3][15] 0.00/0.01 c remove useless variable x[3][16] 0.00/0.01 c remove useless variable x[3][17] 0.00/0.01 c remove useless variable x[3][18] 0.00/0.01 c remove useless variable x[4][14] 0.00/0.01 c remove useless variable x[4][15] 0.00/0.01 c remove useless variable x[4][16] 0.00/0.01 c remove useless variable x[4][17] 0.00/0.01 c remove useless variable x[4][18] 0.00/0.01 c remove useless variable x[5][15] 0.00/0.01 c remove useless variable x[5][16] 0.00/0.01 c remove useless variable x[5][17] 0.00/0.01 c remove useless variable x[5][18] 0.00/0.01 c remove useless variable x[6][16] 0.00/0.01 c remove useless variable x[6][17] 0.00/0.01 c remove useless variable x[6][18] 0.00/0.01 c remove useless variable x[7][17] 0.00/0.01 c remove useless variable x[7][18] 0.00/0.01 c remove useless variable x[8][18] 0.00/0.01 c remove useless variable x[10][18] 0.00/0.01 c remove useless variable x[11][17] 0.00/0.01 c remove useless variable x[11][18] 0.00/0.01 c remove useless variable x[12][16] 0.00/0.01 c remove useless variable x[12][17] 0.00/0.01 c remove useless variable x[12][18] 0.00/0.01 c remove useless variable x[13][15] 0.00/0.01 c remove useless variable x[13][16] 0.00/0.01 c remove useless variable x[13][17] 0.00/0.01 c remove useless variable x[13][18] 0.00/0.01 c remove useless variable x[14][14] 0.00/0.01 c remove useless variable x[14][15] 0.00/0.01 c remove useless variable x[14][16] 0.00/0.01 c remove useless variable x[14][17] 0.00/0.01 c remove useless variable x[14][18] 0.00/0.01 c remove useless variable x[15][13] 0.00/0.01 c remove useless variable x[15][14] 0.00/0.01 c remove useless variable x[15][15] 0.00/0.02 c remove useless variable x[15][16] 0.00/0.02 c remove useless variable x[15][17] 0.00/0.02 c remove useless variable x[15][18] 0.00/0.02 c remove useless variable x[16][12] 0.00/0.02 c remove useless variable x[16][13] 0.00/0.02 c remove useless variable x[16][14] 0.00/0.02 c remove useless variable x[16][15] 0.00/0.02 c remove useless variable x[16][16] 0.00/0.02 c remove useless variable x[16][17] 0.00/0.02 c remove useless variable x[16][18] 0.00/0.02 c remove useless variable x[17][11] 0.00/0.02 c remove useless variable x[17][12] 0.00/0.02 c remove useless variable x[17][13] 0.00/0.02 c remove useless variable x[17][14] 0.00/0.02 c remove useless variable x[17][15] 0.00/0.02 c remove useless variable x[17][16] 0.00/0.02 c remove useless variable x[17][17] 0.00/0.02 c remove useless variable x[17][18] 0.00/0.02 c remove useless variable x[18][10] 0.00/0.02 c remove useless variable x[18][11] 0.00/0.02 c remove useless variable x[18][12] 0.00/0.02 c remove useless variable x[18][13] 0.00/0.02 c remove useless variable x[18][14] 0.00/0.02 c remove useless variable x[18][15] 0.00/0.02 c remove useless variable x[18][16] 0.00/0.02 c remove useless variable x[18][17] 0.00/0.02 c remove useless variable x[18][18] 0.09/0.11 c 101 142 3118 32532 6 0 19 22 20 0.09/0.18 c 211 279 5577 75746 6 0 8 11 9 0.19/0.23 c 332 429 8194 122591 6 0 8 11 9 0.19/0.29 c 465 594 11087 173429 6 0 8 11 9 0.29/0.36 c 611 775 14268 228528 6 0 8 11 9 0.39/0.43 c 771 972 17640 284853 6 0 8 11 9 0.49/0.50 c 947 1188 21299 344565 6 0 8 11 9 0.49/0.58 c 1140 1425 25314 410220 6 0 8 11 10 0.59/0.67 c 1352 1683 29605 491229 6 0 8 11 9 0.69/0.77 c 1585 1966 34293 578386 6 0 8 11 9 0.79/0.87 c 1841 2276 39388 672551 6 0 8 11 9 0.89/0.98 c 2122 2616 44937 773617 6 0 8 11 9 1.10/1.11 c 2431 2990 51008 880453 6 0 8 11 9 1.20/1.24 c 2770 3400 57646 997178 6 0 8 11 9 1.29/1.39 c 3142 3849 64855 1120407 6 0 8 11 10 1.49/1.56 c 3551 4341 72704 1264858 6 0 8 11 10 1.69/1.74 c 4000 4881 81328 1422062 6 0 8 11 9 1.89/1.93 c 4493 5473 90708 1590090 6 0 8 11 9 2.09/2.15 c 5035 6125 101083 1772191 6 0 8 11 10 2.30/2.38 c 5631 6840 112399 1978046 6 0 8 11 10 2.59/2.64 c 6286 7625 124789 2200886 6 0 8 11 10 2.89/2.92 c 7006 8488 138340 2441810 6 0 8 11 10 3.19/3.22 c 7798 9436 153198 2710810 6 0 8 11 10 3.49/3.56 c 8669 10478 169501 3003439 6 0 8 11 10 3.89/3.94 c 9627 11624 187361 3316290 6 0 8 11 10 4.29/4.35 c 10680 12886 207050 3653672 6 0 8 12 10 4.79/4.81 c 11838 14282 229104 4026032 6 0 8 12 10 5.29/5.32 c 13111 15823 253581 4430689 6 0 8 12 10 5.79/5.89 c 14511 17523 280732 4871877 6 0 8 12 10 6.49/6.54 c 16051 19402 310923 5354368 6 0 8 12 10 7.19/7.25 c 17745 21481 344515 5887696 6 0 8 12 10 7.99/8.04 c 19608 23773 381797 6474080 6 0 8 12 10 8.90/8.91 c 21657 26301 423062 7115295 6 0 8 12 10 9.79/9.89 c 23910 29095 468943 7820837 6 0 8 12 10 10.89/10.98 c 26388 32175 519991 8599833 6 0 8 12 10 12.10/12.19 c 29113 35578 576779 9457355 6 0 8 12 10 13.49/13.55 c 32110 39324 639366 10395286 6 0 8 12 10 14.99/15.04 c 35406 43446 708129 11417557 6 0 8 12 10 16.60/16.69 c 39031 47983 784074 12556003 6 0 8 12 10 18.49/18.52 c 43018 52982 867805 13798537 6 0 8 12 10 20.49/20.56 c 47403 58526 962092 15196237 6 0 8 13 10 22.79/22.83 c 52226 64643 1067027 16739006 6 0 8 13 10 25.30/25.34 c 57531 71377 1182901 18429032 6 0 8 13 10 27.99/28.09 c 63366 78797 1310358 20278768 6 0 8 13 10 31.19/31.22 c 69784 87013 1453040 22350841 6 0 8 13 11 34.69/34.70 c 76843 96087 1611966 24666378 6 0 8 13 11 38.39/38.48 c 84607 106053 1785912 27183840 6 0 8 13 11 42.69/42.76 c 93147 117073 1980879 29995971 6 0 8 13 11 47.59/47.68 c 102541 129352 2203119 33231381 6 0 8 13 11 52.98/53.06 c 112874 142905 2448426 36818431 6 0 8 13 11 58.98/59.02 c 124240 157816 2718706 40765455 6 0 8 13 11 65.58/65.66 c 136742 174204 3016499 45078001 6 0 8 13 11 72.88/72.91 c 150494 192246 3344360 49818196 6 0 8 13 11 80.98/81.08 c 165621 212311 3714899 55173274 6 0 8 13 11 90.38/90.41 c 182260 234654 4133450 61231846 6 0 8 13 11 100.68/100.74 c 200562 259341 4598904 68008115 6 0 8 13 11 111.98/112.07 c 220694 286484 5109957 75419010 6 0 8 13 11 124.78/124.87 c 242839 316696 5686910 83804027 6 0 8 13 11 138.97/139.01 c 267198 349958 6323799 92997830 6 0 8 13 11 155.18/155.24 c 293992 387284 7049219 103356276 6 0 8 13 11 172.87/172.94 c 323465 428342 7844480 114588883 6 0 8 13 11 192.97/193.01 c 355885 474118 8741663 127181787 6 0 8 13 11 214.87/214.98 c 391547 524457 9725629 140876970 6 0 8 13 11 239.06/239.12 c 430775 579842 10811463 155935573 6 0 8 13 11 265.86/265.90 c 473925 640824 12018225 172432023 6 0 8 31 13 294.76/294.90 c 521390 707086 13317505 190418709 6 0 9 28 14 325.95/326.05 c 573601 779972 14722342 210584629 6 0 9 33 16 358.95/359.09 c 631033 859462 16225577 231770386 6 0 9 32 17 398.54/398.62 c 694208 948168 18043104 256701108 6 0 9 24 16 442.54/442.64 c 763700 1046038 20069678 284450382 6 0 9 24 16 491.43/491.51 c 840141 1154050 22327038 315336371 6 0 9 24 17 541.03/541.14 c 924226 1273173 24554219 347593338 6 0 10 32 18 592.72/592.89 c 1016719 1400387 26899466 384359474 6 0 9 40 23 650.32/650.40 c 1118461 1542326 29504220 424135418 6 0 9 40 25 712.72/712.89 c 1230377 1697446 32331293 468073981 6 0 9 40 25 780.70/780.89 c 1353484 1869554 35447066 514803948 6 0 9 51 28 855.39/855.57 c 1488901 2060017 38914788 566224829 6 0 9 51 31 937.09/937.30 c 1637859 2270449 42727189 622119425 6 0 9 51 33 1024.37/1024.54 c 1801712 2500570 46840476 682036709 6 0 9 71 36 1123.86/1124.09 c 1981950 2754771 51469710 748060456 6 0 9 59 37 1232.15/1232.32 c 2180211 3035468 56484422 822954401 6 0 10 59 40 1346.44/1346.68 c 2398298 3340337 61888504 900046119 6 0 9 67 41 1467.62/1467.88 c 2638193 3673039 67760907 983202242 6 0 9 68 43 1598.11/1598.39 c 2902077 4037477 74104125 1074394960 6 0 9 68 45 1737.39/1737.61 c 3192349 4433844 81004114 1171872104 6 0 9 68 47 1906.37/1906.61 c 3511648 4875753 88576539 1313457799 6 0 9 71 50 2079.55/2079.88 c 3862876 5400012 98605356 1452629779 6 0 9 161 72 2273.83/2274.17 c 4249226 5937536 107893911 1597675038 6 0 9 76 54
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242207-1500658973/watcher-4242207-1500658973 -o /tmp/evaluation-result-4242207-1500658973/solver-4242207-1500658973 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242207-1500658973.xml pid=4627 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4630 /proc/meminfo: memFree=32045564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28040 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1249 0 0 0 1 0 0 0 20 0 1 0 1165066 28712960 1071 33554432000 4194304 5970956 140734318069120 140734318065768 140000740117477 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7010 1071 736 434 0 374 0 [startup+0.100209 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4630 /proc/meminfo: memFree=32045564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1331 0 0 0 9 0 0 0 20 0 1 0 1165066 28872704 1136 33554432000 4194304 5970956 140734318069120 140734318065896 4974415 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1136 769 434 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28196 [startup+0.200263 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4630 /proc/meminfo: memFree=32045564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1332 0 0 0 19 0 0 0 20 0 1 0 1165066 28872704 1136 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1136 769 434 0 413 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28196 [startup+0.300236 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4630 /proc/meminfo: memFree=32045564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1332 0 0 0 29 0 0 0 20 0 1 0 1165066 28872704 1136 33554432000 4194304 5970956 140734318069120 140734318066456 4977332 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1136 769 434 0 413 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28196 [startup+0.700208 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4630 /proc/meminfo: memFree=32045564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1332 0 0 0 69 0 0 0 20 0 1 0 1165066 28872704 1136 33554432000 4194304 5970956 140734318069120 140734318066456 5093213 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1136 769 434 0 413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28196 [startup+1.50022 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4631 /proc/meminfo: memFree=32043324/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1332 0 0 0 149 0 0 0 20 0 1 0 1165066 28872704 1136 33554432000 4194304 5970956 140734318069120 140734318066456 4969776 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1136 769 434 0 413 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28196 [startup+3.1002 s] /proc/loadavg: 1.92 2.00 2.04 3/243 4631 /proc/meminfo: memFree=32042564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1597 0 0 0 309 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 4974128 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28196 [startup+6.30024 s] /proc/loadavg: 1.92 2.00 2.04 3/243 4631 /proc/meminfo: memFree=32042564/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 1863 0 0 0 629 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 4974403 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28196 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/243 4631 /proc/meminfo: memFree=32042192/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 2128 0 0 0 1269 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 4974228 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28196 [startup+25.5002 s] /proc/loadavg: 1.95 2.00 2.04 3/243 4631 /proc/meminfo: memFree=32042192/32770624 swapFree=5840/214548 [pid=4630] ppid=4627 vsize=28196 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 2659 0 0 0 2549 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 5039152 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28196 [startup+51.1003 s] /proc/loadavg: 1.96 2.00 2.04 3/243 4631 /proc/meminfo: memFree=32042436/32770624 swapFree=5840/214672 [pid=4630] ppid=4627 vsize=28196 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 2927 0 0 0 5108 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 5039183 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28196 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 4632 /proc/meminfo: memFree=32042068/32770624 swapFree=5840/214720 [pid=4630] ppid=4627 vsize=28196 CPUtime=102.29 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 3193 0 0 0 10229 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 28196 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 4633 /proc/meminfo: memFree=32042516/32770624 swapFree=5840/214764 [pid=4630] ppid=4627 vsize=28196 CPUtime=162.27 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 3459 0 0 0 16227 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 4974240 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 28196 [startup+222.308 s] /proc/loadavg: 2.12 2.03 2.05 3/243 4634 /proc/meminfo: memFree=32040996/32770624 swapFree=5840/214864 [pid=4630] ppid=4627 vsize=28196 CPUtime=222.27 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 3725 0 0 0 22227 0 0 0 20 0 1 0 1165066 28872704 1173 33554432000 4194304 5970956 140734318069120 140734318066456 4978376 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1173 795 434 0 413 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 28196 [startup+282.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 4635 /proc/meminfo: memFree=32040596/32770624 swapFree=5840/214888 [pid=4630] ppid=4627 vsize=28196 CPUtime=282.26 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 4005 0 0 0 28226 0 0 0 20 0 1 0 1165066 28872704 1176 33554432000 4194304 5970956 140734318069120 140734318066456 5098933 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1176 795 434 0 413 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 28196 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.05 3/242 4636 /proc/meminfo: memFree=32041156/32770624 swapFree=5840/214956 [pid=4630] ppid=4627 vsize=28196 CPUtime=342.25 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 4278 0 0 0 34225 0 0 0 20 0 1 0 1165066 28872704 1178 33554432000 4194304 5970956 140734318069120 140734318066456 4970927 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1178 795 434 0 413 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 28196 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.05 3/243 4638 /proc/meminfo: memFree=32040292/32770624 swapFree=5840/214800 [pid=4630] ppid=4627 vsize=28196 CPUtime=402.24 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 4551 0 0 0 40224 0 0 0 20 0 1 0 1165066 28872704 1178 33554432000 4194304 5970956 140734318069120 140734318066456 5098933 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1178 795 434 0 413 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 28196 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 4647 /proc/meminfo: memFree=32039528/32770624 swapFree=5840/214868 [pid=4630] ppid=4627 vsize=28196 CPUtime=462.24 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 4824 0 0 0 46224 0 0 0 20 0 1 0 1165066 28872704 1178 33554432000 4194304 5970956 140734318069120 140734318066456 4974237 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1178 795 434 0 413 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 28196 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 4648 /proc/meminfo: memFree=32039120/32770624 swapFree=5840/214892 [pid=4630] ppid=4627 vsize=28196 CPUtime=522.23 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 5097 0 0 0 52223 0 0 0 20 0 1 0 1165066 28872704 1178 33554432000 4194304 5970956 140734318069120 140734318066456 4974138 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1178 795 434 0 413 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 28196 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 4649 /proc/meminfo: memFree=32039444/32770624 swapFree=5840/214972 [pid=4630] ppid=4627 vsize=28196 CPUtime=582.22 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 5370 0 0 0 58222 0 0 0 20 0 1 0 1165066 28872704 1178 33554432000 4194304 5970956 140734318069120 140734318066456 5327113 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1178 795 434 0 413 0 Current children cumulated CPU time (s) 582.22 Current children cumulated vsize (KiB) 28196 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4696 /proc/meminfo: memFree=32036888/32770624 swapFree=5840/215584 [pid=4630] ppid=4627 vsize=28196 CPUtime=1542.12 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 9842 0 0 0 154212 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1542.12 Current children cumulated vsize (KiB) 28196 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4697 /proc/meminfo: memFree=32037136/32770624 swapFree=5840/215668 [pid=4630] ppid=4627 vsize=28196 CPUtime=1602.11 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 10132 0 0 0 160211 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1602.11 Current children cumulated vsize (KiB) 28196 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4705 /proc/meminfo: memFree=32036388/32770624 swapFree=5840/215668 [pid=4630] ppid=4627 vsize=28196 CPUtime=1662.1 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 10403 0 0 0 166210 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 4974224 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1662.1 Current children cumulated vsize (KiB) 28196 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.05 3/243 4706 /proc/meminfo: memFree=32036892/32770624 swapFree=5840/215748 [pid=4630] ppid=4627 vsize=28196 CPUtime=1722.09 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 10675 0 0 0 172209 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5322314 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 28196 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.05 3/243 4707 /proc/meminfo: memFree=32036808/32770624 swapFree=5840/215748 [pid=4630] ppid=4627 vsize=28196 CPUtime=1782.09 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 10965 0 0 0 178209 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5039186 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 28196 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 4708 /proc/meminfo: memFree=32036752/32770624 swapFree=5840/215816 [pid=4630] ppid=4627 vsize=28196 CPUtime=1842.08 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 11236 0 0 0 184208 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 28196 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 4709 /proc/meminfo: memFree=32037860/32770624 swapFree=5840/215824 [pid=4630] ppid=4627 vsize=28196 CPUtime=1902.07 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 11504 0 0 0 190207 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1902.07 Current children cumulated vsize (KiB) 28196 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4776 /proc/meminfo: memFree=32000228/32770624 swapFree=5840/215720 [pid=4630] ppid=4627 vsize=28196 CPUtime=1962.07 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 11796 0 0 0 196207 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 1962.07 Current children cumulated vsize (KiB) 28196 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4777 /proc/meminfo: memFree=31998548/32770624 swapFree=5840/215720 [pid=4630] ppid=4627 vsize=28196 CPUtime=2022.06 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 12073 0 0 0 202206 0 0 0 20 0 1 0 1165066 28872704 1191 33554432000 4194304 5970956 140734318069120 140734318066456 5098933 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7049 1191 795 434 0 413 0 Current children cumulated CPU time (s) 2022.06 Current children cumulated vsize (KiB) 28196 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4778 /proc/meminfo: memFree=31999608/32770624 swapFree=5840/216032 [pid=4630] ppid=4627 vsize=28560 CPUtime=2082.06 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 12463 0 0 0 208206 0 0 0 20 0 1 0 1165066 29245440 1243 33554432000 4194304 5970956 140734318069120 140734318066456 4974643 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1243 795 434 0 504 0 Current children cumulated CPU time (s) 2082.06 Current children cumulated vsize (KiB) 28560 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4779 /proc/meminfo: memFree=31999160/32770624 swapFree=5840/216032 [pid=4630] ppid=4627 vsize=28560 CPUtime=2142.04 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 12756 0 0 0 214204 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 5039178 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2142.04 Current children cumulated vsize (KiB) 28560 [startup+2202.31 s] /proc/loadavg: 2.06 2.04 2.05 3/243 4780 /proc/meminfo: memFree=31999540/32770624 swapFree=5840/216084 [pid=4630] ppid=4627 vsize=28560 CPUtime=2202.04 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 13048 0 0 0 220204 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 4974152 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2202.04 Current children cumulated vsize (KiB) 28560 [startup+2262.3 s] /proc/loadavg: 2.06 2.05 2.05 3/243 4788 /proc/meminfo: memFree=32000048/32770624 swapFree=5840/216128 [pid=4630] ppid=4627 vsize=28560 CPUtime=2262.03 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 13338 0 0 0 226203 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 5327850 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2262.03 Current children cumulated vsize (KiB) 28560 [startup+2322.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 4789 /proc/meminfo: memFree=31999928/32770624 swapFree=5840/216164 [pid=4630] ppid=4627 vsize=28560 CPUtime=2322.02 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 13653 0 0 0 232202 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2322.02 Current children cumulated vsize (KiB) 28560 [startup+2382.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 4790 /proc/meminfo: memFree=31999064/32770624 swapFree=5840/216164 [pid=4630] ppid=4627 vsize=28560 CPUtime=2382.02 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 13945 0 0 0 238202 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2382.02 Current children cumulated vsize (KiB) 28560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.03 2.05 3/243 4790 /proc/meminfo: memFree=31999064/32770624 swapFree=5840/216164 [pid=4630] ppid=4627 vsize=28560 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 14234 0 0 0 240002 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 4976815 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 28560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4630 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.03 2.05 3/243 4790 /proc/meminfo: memFree=31999064/32770624 swapFree=5840/216164 [pid=4630] ppid=4627 vsize=28560 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/4630/stat : 4630 (cosoco) R 4627 4630 2458 0 -1 4202496 14234 0 0 0 240002 0 0 0 20 0 1 0 1165066 29245440 1250 33554432000 4194304 5970956 140734318069120 140734318066456 4976815 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 38850560 140734318077121 140734318077251 140734318077251 140734318079950 0 /proc/4630/statm: 7140 1250 795 434 0 504 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 28560 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.03 CPU user time (s): 2400.03 CPU system time (s): 0.004999 CPU usage (%): 99.9885 Max. virtual memory (cumulated for all children) (KiB): 28560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.004999 maximum resident set size= 5044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14263 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= 6 involuntary context switches= 120630 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.36709 second user time and 10.3482 second system time The end
Begin job on node126 at 2017-07-21 19:42:53 IDJOB=4242207 IDBENCH=133588 IDSOLVER=2620 FILE ID=node126/4242207-1500658973 RUNJOBID= node126-1500648174-2492 PBS_JOBID= 20623294 Free space on /tmp= 61980 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-10-m021.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242207-1500658973/watcher-4242207-1500658973 -o /tmp/evaluation-result-4242207-1500658973/solver-4242207-1500658973 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242207-1500658973.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= bb8f18d9394a9daa2d276ef3f55d21f6 RANDOM SEED=2139273826 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32045644 kB MemAvailable: 32034324 kB Buffers: 33080 kB Cached: 267668 kB SwapCached: 0 kB Active: 133360 kB Inactive: 223204 kB Active(anon): 58368 kB Inactive(anon): 8656 kB Active(file): 74992 kB Inactive(file): 214548 kB Unevictable: 5840 kB Mlocked: 5840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2428 kB Writeback: 0 kB AnonPages: 71244 kB Mapped: 30648 kB Shmem: 8840 kB Slab: 61788 kB SReclaimable: 29952 kB SUnreclaim: 31836 kB KernelStack: 4256 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 328564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61976 MiB End job on node126 at 2017-07-21 20:22:53